Make_BLAKE2S (p.digestif.1.4.0.doc.digestif.ocaml.Digestif.Make

Parameters

module D : sig ... end

Signature

include sig ... end

Sourcetype t = string

Sourcetype ctx = Baijiu_blake2s.Unsafe.ctx

Sourceval digest_size : int

val block_size : int

Sourceval empty : Baijiu_blake2s.Unsafe.ctx

Sourceval init : unit -> Baijiu_blake2s.Unsafe.ctx

val unsafe_feed_bytes : 
  Baijiu_blake2s.Unsafe.ctx ->
  ?off:??? ->
  ?len:??? ->
  By.t ->
  unit

val unsafe_feed_string : 
  Baijiu_blake2s.Unsafe.ctx ->
  ?off:??? ->
  ?len:??? ->
  string ->
  unit

val unsafe_feed_bigstring : 
  Baijiu_blake2s.Unsafe.ctx ->
  ?off:??? ->
  ?len:??? ->
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
  unit

val unsafe_get : Baijiu_blake2s.Unsafe.ctx -> By.t

Sourceval get_into_bytes : Baijiu_blake2s.Unsafe.ctx -> ?off:??? -> 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

Sourceval get : Baijiu_blake2s.Unsafe.ctx -> string

Source

val feed_bytes : 
  Baijiu_blake2s.Unsafe.ctx ->
  ?off:??? ->
  ?len:??? ->
  By.t ->
  Baijiu_blake2s.Unsafe.ctx

Source

val feed_string : 
  Baijiu_blake2s.Unsafe.ctx ->
  ?off:??? ->
  ?len:??? ->
  string ->
  Baijiu_blake2s.Unsafe.ctx

Source

val feed_bigstring : 
  Baijiu_blake2s.Unsafe.ctx ->
  ?off:??? ->
  ?len:??? ->
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
  Baijiu_blake2s.Unsafe.ctx

Source

val feedi_bytes : 
  Baijiu_blake2s.Unsafe.ctx ->
  ((By.t -> unit) -> 'a) ->
  Baijiu_blake2s.Unsafe.ctx

Source

val feedi_string : 
  Baijiu_blake2s.Unsafe.ctx ->
  ((string -> unit) -> 'a) ->
  Baijiu_blake2s.Unsafe.ctx

Source

val feedi_bigstring : 
  Baijiu_blake2s.Unsafe.ctx ->
  (((char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
     unit) ->
    'a) ->
  Baijiu_blake2s.Unsafe.ctx

Sourceval digest_bytes : ?off:??? -> ?len:??? -> By.t -> string

Sourceval digest_string : ?off:??? -> ?len:??? -> string -> string

Source

val digest_bigstring : 
  ?off:??? ->
  ?len:??? ->
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
  string

Sourceval digesti_bytes : ((By.t -> unit) -> 'a) -> string

Sourceval digesti_string : ((string -> unit) -> 'a) -> string

Source

val digesti_bigstring : 
  (((char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
     unit) ->
    'a) ->
  string

Sourceval digestv_bytes : By.t list -> string

Sourceval digestv_string : string list -> string

Source

val digestv_bigstring : 
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t list ->
  string

Sourcetype hmac = ctx * string

val bytes_opad : bytes

val bytes_ipad : bytes

val norm_bytes : string -> bytes

Sourceval hmac_init : key:string -> Baijiu_blake2s.Unsafe.ctx * string

Source

val hmac_feed_bytes : 
  (Baijiu_blake2s.Unsafe.ctx * 'a) ->
  ?off:??? ->
  ?len:??? ->
  By.t ->
  Baijiu_blake2s.Unsafe.ctx * 'a

Source

val hmac_feed_string : 
  (Baijiu_blake2s.Unsafe.ctx * 'a) ->
  ?off:??? ->
  ?len:??? ->
  string ->
  Baijiu_blake2s.Unsafe.ctx * 'a

Source

val hmac_feed_bigstring : 
  (Baijiu_blake2s.Unsafe.ctx * 'a) ->
  ?off:??? ->
  ?len:??? ->
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
  Baijiu_blake2s.Unsafe.ctx * 'a

Sourceval hmac_get : (Baijiu_blake2s.Unsafe.ctx * string) -> string

Source

val hmac_feedi_bytes : 
  (Baijiu_blake2s.Unsafe.ctx * 'a) ->
  ((By.t -> unit) -> 'b) ->
  Baijiu_blake2s.Unsafe.ctx * 'a

Source

val hmac_feedi_string : 
  (Baijiu_blake2s.Unsafe.ctx * 'a) ->
  ((string -> unit) -> 'b) ->
  Baijiu_blake2s.Unsafe.ctx * 'a

Source

val hmac_feedi_bigstring : 
  (Baijiu_blake2s.Unsafe.ctx * 'a) ->
  (((char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
     unit) ->
    'b) ->
  Baijiu_blake2s.Unsafe.ctx * 'a

Sourceval hmaci_bytes : key:string -> ((By.t -> unit) -> 'a) -> string

Sourceval hmaci_string : key:string -> ((string -> unit) -> 'a) -> string

Source

val hmaci_bigstring : 
  key:string ->
  (((char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
     unit) ->
    'a) ->
  string

Sourceval hmac_bytes : key:string -> ?off:??? -> ?len:??? -> By.t -> string

Sourceval hmac_string : key:string -> ?off:??? -> ?len:??? -> string -> string

Source

val hmac_bigstring : 
  key:string ->
  ?off:??? ->
  ?len:??? ->
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
  string

Sourceval hmacv_bytes : key:string -> By.t list -> string

Sourceval hmacv_string : key:string -> string list -> string

Source

val hmacv_bigstring : 
  key:string ->
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t list ->
  string

type outer = t

Sourcemodule Keyed : sig ... end