Module DigestifSource

Sourcetype 'a iter = ('a -> unit) -> unit

A general (inner) iterator. It applies the provided function to a collection of elements. For instance:

  • let iter_k : 'a -> 'a iter = fun x f -> f x
  • let iter_pair : 'a * 'a -> 'a iter = fun (x, y) -> f x; f y
  • let iter_list : 'a list -> 'a iter = fun l f -> List.iter f l
Sourcetype 'a compare = 'a -> 'a -> int
Sourcetype 'a equal = 'a -> 'a -> bool
Sourcetype 'a pp = Format.formatter -> 'a -> unit
Sourcemodule type S = sig ... end
Sourcetype kind = [
  1. | `MD5
  2. | `SHA1
  3. | `RMD160
  4. | `SHA224
  5. | `SHA256
  6. | `SHA384
  7. | `SHA512
  8. | `BLAKE2B
  9. | `BLAKE2S
]
Sourcetype 'k 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. | BLAKE2B : int -> [ `BLAKE2B ] hash
  9. | BLAKE2S : int -> [ `BLAKE2S ] hash
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 BLAKE2B : S with type kind = [ `BLAKE2B ]
Sourcemodule BLAKE2S : S with type kind = [ `BLAKE2S ]
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 ]
Sourceval md5 : [ `MD5 ] hash
Sourceval sha1 : [ `SHA1 ] hash
Sourceval rmd160 : [ `RMD160 ] hash
Sourceval sha224 : [ `SHA224 ] hash
Sourceval sha256 : [ `SHA256 ] hash
Sourceval sha384 : [ `SHA384 ] hash
Sourceval sha512 : [ `SHA512 ] hash
Sourceval blake2b : int -> [ `BLAKE2B ] hash
Sourceval blake2s : int -> [ `BLAKE2S ] hash
Sourcetype 'kind t = private string
Sourceval module_of : 'k hash -> (module S with type kind = 'k)
Sourceval digesti_bytes : 'k hash -> Bytes.t iter -> 'k t
Sourceval digesti_string : 'k hash -> String.t iter -> 'k t
Sourceval digesti_bigstring : 'k hash -> bigstring iter -> 'k t
Sourceval hmaci_bytes : 'k hash -> key:Bytes.t -> Bytes.t iter -> 'k t
Sourceval hmaci_string : 'k hash -> key:String.t -> String.t iter -> 'k t
Sourceval hmaci_bigstring : 'k hash -> key:bigstring -> bigstring iter -> 'k t
Sourceval pp : 'k hash -> 'k t pp
Sourceval eq : 'k hash -> 'k t equal
Sourceval neq : 'k hash -> 'k t equal
Sourceval unsafe_compare : 'k hash -> 'k t compare
Sourceval to_hex : 'k hash -> 'k t -> string
Sourceval of_hex : 'k hash -> string -> 'k t