package digestif

  1. Overview
  2. Docs
package digestif
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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 S with type kind = 'kind and type t = 'hash) -> 'hash -> 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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct