Module Digestif

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