Module `Digestif`Source

Source

type bigstring =
  (char, Bigarray_compat.int8_unsigned_elt, Bigarray_compat.c_layout)
    Bigarray_compat.Array1.t

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 =

| MD5 : [ `MD5 ] hash
| SHA1 : [ `SHA1 ] hash
| RMD160 : [ `RMD160 ] hash
| SHA224 : [ `SHA224 ] hash
| SHA256 : [ `SHA256 ] hash
| SHA384 : [ `SHA384 ] hash
| SHA512 : [ `SHA512 ] hash
| SHA3_224 : [ `SHA3_224 ] hash
| SHA3_256 : [ `SHA3_256 ] hash
| SHA3_384 : [ `SHA3_384 ] hash
| SHA3_512 : [ `SHA3_512 ] hash
| WHIRLPOOL : [ `WHIRLPOOL ] hash
| BLAKE2B : int -> [ `BLAKE2B ] hash
| BLAKE2S : int -> [ `BLAKE2S ] hash

and kind = [

| `BLAKE2B
| `BLAKE2S
| `MD5
| `RMD160
| `SHA1
| `SHA224
| `SHA256
| `SHA384
| `SHA3_224
| `SHA3_256
| `SHA3_384
| `SHA3_512
| `SHA512
| `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

Source

val 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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/digestif.ocaml/Digestif/index.html

Module `Digestif`Source

package digestif

Install

Dune Dependency

Authors

Maintainers

Sources

doc/digestif.ocaml/Digestif/index.html

Module DigestifSource

Module `Digestif`Source