package digestif

  1. Overview
  2. Docs

Module DigestifSource

Sourcetype 'a iter = ('a -> unit) -> unit
Sourcetype 'a compare = 'a -> 'a -> int
Sourcetype 'a equal = 'a -> 'a -> bool
Sourcetype 'a pp = Format.formatter -> 'a -> unit
Sourcemodule By = Digestif_by
Sourcemodule Bi = Digestif_bi
Sourcemodule Eq = Digestif_eq
Sourcemodule Hash = Digestif_hash
Sourcemodule Conv = Digestif_conv
Sourceval failwith : ('a, unit, string, 'b) format4 -> 'a
Sourcemodule type S = sig ... end
Sourcemodule type MAC = sig ... end
Sourcemodule type Desc = sig ... end
Sourcemodule type Hash = sig ... end
Sourcemodule Unsafe (Hash : Hash) (D : Desc) : sig ... end
Sourcemodule Core (Hash : Hash) (D : Desc) : sig ... end
Sourcemodule Make (H : Hash) (D : Desc) : sig ... end
Sourcemodule type Hash_BLAKE2 = sig ... end
Sourcemodule Make_BLAKE2 (H : Hash_BLAKE2) (D : Desc) : sig ... end
Sourcemodule MD5 : S with type kind = [ `MD5 ]
Sourcemodule SHA1 : S with type kind = [ `SHA1 ]
Sourcemodule SHA224 : S with type kind = [ `SHA224 ]
Sourcemodule SHA256 : S with type kind = [ `SHA256 ]
Sourcemodule SHA384 : S with type kind = [ `SHA384 ]
Sourcemodule SHA512 : S with type kind = [ `SHA512 ]
Sourcemodule SHA3_224 : S with type kind = [ `SHA3_224 ]
Sourcemodule SHA3_256 : S with type kind = [ `SHA3_256 ]
Sourcemodule SHA3_384 : S with type kind = [ `SHA3_384 ]
Sourcemodule SHA3_512 : S with type kind = [ `SHA3_512 ]
Sourcemodule WHIRLPOOL : S with type kind = [ `WHIRLPOOL ]
Sourcemodule BLAKE2B : sig ... end
Sourcemodule BLAKE2S : sig ... end
Sourcemodule RMD160 : S with type kind = [ `RMD160 ]
Sourcemodule Make_BLAKE2B (D : sig ... end) : S with type kind = [ `BLAKE2B ]
Sourcemodule Make_BLAKE2S (D : sig ... end) : S with type kind = [ `BLAKE2S ]
include module type of struct include Hash end
type !'kind hash = 'kind Digestif_hash.hash =
  1. | MD5 : [ `MD5 ] hash
  2. | SHA1 : [ `SHA1 ] hash
  3. | RMD160 : [ `RMD160 ] hash
  4. | SHA224 : [ `SHA224 ] hash
  5. | SHA256 : [ `SHA256 ] hash
  6. | SHA384 : [ `SHA384 ] hash
  7. | SHA512 : [ `SHA512 ] hash
  8. | SHA3_224 : [ `SHA3_224 ] hash
  9. | SHA3_256 : [ `SHA3_256 ] hash
  10. | SHA3_384 : [ `SHA3_384 ] hash
  11. | SHA3_512 : [ `SHA3_512 ] hash
  12. | WHIRLPOOL : [ `WHIRLPOOL ] hash
  13. | BLAKE2B : int -> [ `BLAKE2B ] hash
  14. | BLAKE2S : int -> [ `BLAKE2S ] hash
and kind = [
  1. | `BLAKE2B
  2. | `BLAKE2S
  3. | `MD5
  4. | `RMD160
  5. | `SHA1
  6. | `SHA224
  7. | `SHA256
  8. | `SHA384
  9. | `SHA3_224
  10. | `SHA3_256
  11. | `SHA3_384
  12. | `SHA3_512
  13. | `SHA512
  14. | `WHIRLPOOL
]
val md5 : [ `MD5 ] hash
val sha1 : [ `SHA1 ] hash
val rmd160 : [ `RMD160 ] hash
val sha224 : [ `SHA224 ] hash
val sha256 : [ `SHA256 ] hash
val sha384 : [ `SHA384 ] hash
val sha512 : [ `SHA512 ] hash
val sha3_224 : [ `SHA3_224 ] hash
val sha3_256 : [ `SHA3_256 ] hash
val sha3_384 : [ `SHA3_384 ] hash
val sha3_512 : [ `SHA3_512 ] hash
val whirlpool : [ `WHIRLPOOL ] hash
val blake2b : int -> [ `BLAKE2B ] hash
val blake2s : int -> [ `BLAKE2S ] hash
Sourcetype blake2b = (module S with type kind = [ `BLAKE2B ])
Sourcetype blake2s = (module S with type kind = [ `BLAKE2S ])
Sourceval module_of : 'k. 'k hash -> (module S with type kind = 'k)
Sourcetype 'kind t = string
Sourceval digest_bytes : 'k. 'k hash -> Bytes.t -> 'k t
Sourceval digest_string : 'k. 'k hash -> String.t -> 'k t
Sourceval digest_bigstring : 'k. 'k hash -> bigstring -> 'k t
Sourceval digesti_bytes : 'k. 'k hash -> Bytes.t iter -> 'k t
Sourceval digesti_string : 'k. 'k hash -> String.t iter -> 'k t
Sourceval digesti_bigstring : 'k. 'k hash -> bigstring iter -> 'k t
Sourceval hmaci_bytes : 'k. 'k hash -> key:Bytes.t -> Bytes.t iter -> 'k t
Sourceval hmaci_string : 'k. 'k hash -> key:String.t -> String.t iter -> 'k t
Sourceval hmaci_bigstring : 'k. 'k hash -> key:bigstring -> bigstring iter -> 'k t
Sourceval unsafe_compare : 'k. 'k hash -> 'k t -> 'k t -> int
Sourceval equal : 'k. 'k hash -> 'k t equal
Sourceval pp : 'k. 'k hash -> 'k t pp
Sourceval of_hex : 'k. 'k hash -> string -> 'k t
Sourceval of_hex_opt : 'k. 'k hash -> string -> 'k t option
Sourceval consistent_of_hex : 'k. 'k hash -> string -> 'k t
Sourceval consistent_of_hex_opt : 'k. 'k hash -> string -> 'k t option
Sourceval to_hex : 'k. 'k hash -> 'k t -> string
Sourceval of_raw_string : 'k. 'k hash -> string -> 'k t
Sourceval of_raw_string_opt : 'k. 'k hash -> string -> 'k t option
Sourceval to_raw_string : 'k. 'k hash -> 'k t -> string
Sourceval of_digest : (module H : S with type kind = 'kind and type t = 'hash) -> H.t -> string
Sourceval of_md5 : MD5.t -> [ `MD5 ] t
Sourceval of_sha1 : SHA1.t -> [ `SHA1 ] t
Sourceval of_rmd160 : RMD160.t -> [ `RMD160 ] t
Sourceval of_sha224 : SHA224.t -> [ `SHA224 ] t
Sourceval of_sha256 : SHA256.t -> [ `SHA256 ] t
Sourceval of_sha384 : SHA384.t -> [ `SHA384 ] t
Sourceval of_sha512 : SHA512.t -> [ `SHA512 ] t
Sourceval of_sha3_224 : SHA3_224.t -> [ `SHA3_224 ] t
Sourceval of_sha3_256 : SHA3_256.t -> [ `SHA3_256 ] t
Sourceval of_sha3_384 : SHA3_384.t -> [ `SHA3_384 ] t
Sourceval of_sha3_512 : SHA3_512.t -> [ `SHA3_512 ] t
Sourceval of_whirlpool : WHIRLPOOL.t -> [ `WHIRLPOOL ] t
Sourceval of_blake2b : BLAKE2B.t -> [ `BLAKE2B ] t
Sourceval of_blake2s : BLAKE2S.t -> [ `BLAKE2S ] t