Module Digestif.Make

Parameters

module H : Hash
module D : Desc

Signature

include sig ... end
type t = string
type ctx = H.ctx
type kind = H.kind
val digest_size : int
val block_size : int
val empty : H.ctx
val init : unit -> H.ctx
val unsafe_feed_bytes : H.ctx -> ?⁠off:int -> ?⁠len:int -> By.t -> unit
val unsafe_feed_string : H.ctx -> ?⁠off:int -> ?⁠len:int -> string -> unit
val unsafe_feed_bigstring : H.ctx -> ?⁠off:int -> ?⁠len:int -> (char, Bigarray_compat.int8_unsigned_elt, Bigarray_compat.c_layout) Bigarray_compat.Array1.t -> unit
val unsafe_get : H.ctx -> By.t
val to_hex : string -> string
val code : char -> int
val decode : char -> char -> char
val of_hex : string -> string
val of_hex_opt : string -> string option
val consistent_of_hex : string -> string
val consistent_of_hex_opt : string -> string option
val pp : Stdlib.Format.formatter -> string -> unit
val of_raw_string : string -> string
val of_raw_string_opt : string -> string option
val to_raw_string : 'a -> 'a
val equal : string -> string -> bool
val unsafe_compare : Stdlib.String.t -> Stdlib.String.t -> int
val kind : D.kind
val get : H.ctx -> string
val feed_bytes : H.ctx -> ?⁠off:int -> ?⁠len:int -> By.t -> H.ctx
val feed_string : H.ctx -> ?⁠off:int -> ?⁠len:int -> string -> H.ctx
val feed_bigstring : H.ctx -> ?⁠off:int -> ?⁠len:int -> (char, Bigarray_compat.int8_unsigned_elt, Bigarray_compat.c_layout) Bigarray_compat.Array1.t -> H.ctx
val feedi_bytes : H.ctx -> ((By.t -> unit) -> 'a) -> H.ctx
val feedi_string : H.ctx -> ((string -> unit) -> 'a) -> H.ctx
val feedi_bigstring : H.ctx -> (((char, Bigarray_compat.int8_unsigned_elt, Bigarray_compat.c_layout) Bigarray_compat.Array1.t -> unit) -> 'a) -> H.ctx
val digest_bytes : ?⁠off:int -> ?⁠len:int -> By.t -> string
val digest_string : ?⁠off:int -> ?⁠len:int -> string -> string
val digest_bigstring : ?⁠off:int -> ?⁠len:int -> (char, Bigarray_compat.int8_unsigned_elt, Bigarray_compat.c_layout) Bigarray_compat.Array1.t -> string
val digesti_bytes : ((By.t -> unit) -> 'a) -> string
val digesti_string : ((string -> unit) -> 'a) -> string
val digesti_bigstring : (((char, Bigarray_compat.int8_unsigned_elt, Bigarray_compat.c_layout) Bigarray_compat.Array1.t -> unit) -> 'a) -> string
val digestv_bytes : By.t list -> string
val digestv_string : string list -> string
val bytes_opad : bytes
val bytes_ipad : bytes
val norm_bytes : By.t -> By.t
val bigstring_opad : (char, Bigarray_compat.int8_unsigned_elt, Bigarray_compat.c_layout) Bigarray_compat.Array1.t
val bigstring_ipad : (char, Bigarray_compat.int8_unsigned_elt, Bigarray_compat.c_layout) Bigarray_compat.Array1.t
val norm_bigstring : (char, 'a, 'b) Bigarray_compat.Array1.t -> (char, Bigarray_compat.int8_unsigned_elt, Bigarray_compat.c_layout) Bigarray_compat.Array1.t
val hmaci_bytes : key:By.t -> ((By.t -> unit) -> 'a) -> string
val hmaci_string : key:string -> ((string -> unit) -> 'a) -> string
val hmaci_bigstring : key:(char, 'a, 'b) Bigarray_compat.Array1.t -> (((char, Bigarray_compat.int8_unsigned_elt, Bigarray_compat.c_layout) Bigarray_compat.Array1.t -> unit) -> 'c) -> string
val hmac_bytes : key:By.t -> ?⁠off:int -> ?⁠len:int -> By.t -> string
val hmac_string : key:string -> ?⁠off:int -> ?⁠len:int -> string -> string
val hmac_bigstring : key:(char, 'a, 'b) Bigarray_compat.Array1.t -> ?⁠off:int -> ?⁠len:int -> (char, Bigarray_compat.int8_unsigned_elt, Bigarray_compat.c_layout) Bigarray_compat.Array1.t -> string
val hmacv_bytes : key:By.t -> By.t list -> string
val hmacv_string : key:string -> string list -> string
val hmacv_bigstring : key:(char, 'a, 'b) Bigarray_compat.Array1.t -> (char, Bigarray_compat.int8_unsigned_elt, Bigarray_compat.c_layout) Bigarray_compat.Array1.t list -> string