Module Digestif.MakeSource

Parameters

module H : Hash
module D : Desc

Signature

include sig ... end
type t = string
type ctx = H.ctx
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.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t -> unit
val unsafe_get : H.ctx -> By.t
val get_into_bytes : H.ctx -> ?off:int -> bytes -> unit
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 : 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 : String.t -> String.t -> int
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.int8_unsigned_elt, Bigarray.c_layout) Bigarray.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.int8_unsigned_elt, Bigarray.c_layout) Bigarray.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.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t -> string
val digesti_bytes : ((By.t -> unit) -> 'a) -> string
val digesti_string : ((string -> unit) -> 'a) -> string
val digesti_bigstring : (((char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t -> unit) -> 'a) -> string
val digestv_bytes : By.t list -> string
val digestv_string : string list -> string
val digestv_bigstring : (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t list -> string
type hmac = ctx * string
val bytes_opad : bytes
val bytes_ipad : bytes
val norm_bytes : string -> bytes
val hmac_init : key:string -> H.ctx * string
val hmac_feed_bytes : (H.ctx * 'a) -> ?off:int -> ?len:int -> By.t -> H.ctx * 'a
val hmac_feed_string : (H.ctx * 'a) -> ?off:int -> ?len:int -> string -> H.ctx * 'a
val hmac_feed_bigstring : (H.ctx * 'a) -> ?off:int -> ?len:int -> (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t -> H.ctx * 'a
val hmac_get : (H.ctx * string) -> string
val hmac_feedi_bytes : (H.ctx * 'a) -> ((By.t -> unit) -> 'b) -> H.ctx * 'a
val hmac_feedi_string : (H.ctx * 'a) -> ((string -> unit) -> 'b) -> H.ctx * 'a
val hmac_feedi_bigstring : (H.ctx * 'a) -> (((char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t -> unit) -> 'b) -> H.ctx * 'a
val hmaci_bytes : key:string -> ((By.t -> unit) -> 'a) -> string
val hmaci_string : key:string -> ((string -> unit) -> 'a) -> string
val hmaci_bigstring : key:string -> (((char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t -> unit) -> 'a) -> string
val hmac_bytes : key:string -> ?off:int -> ?len:int -> By.t -> string
val hmac_string : key:string -> ?off:int -> ?len:int -> string -> string
val hmac_bigstring : key:string -> ?off:int -> ?len:int -> (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t -> string
val hmacv_bytes : key:string -> By.t list -> string
val hmacv_string : key:string -> string list -> string
val hmacv_bigstring : key:string -> (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t list -> string