BLAKE3 (p.digestif.1.4.0.doc.digestif.ocaml.Digestif.BLAKE3)

Sourcetype t = string

Sourcetype ctx = Baijiu_blake3.ctx

Sourceval digest_size : int

Sourceval block_size : int

Sourceval empty : Baijiu_blake3.ctx

Sourceval init : unit -> Baijiu_blake3.ctx

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

Source

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

Source

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

Sourceval unsafe_get : Baijiu_blake3.ctx -> By.t

Sourceval get_into_bytes : Baijiu_blake3.ctx -> ?off:??? -> bytes -> unit

val to_hex : string -> string

Sourceval code : char -> int

Sourceval 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_blake3.ctx -> string

Source

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

Source

val feed_string : 
  Baijiu_blake3.ctx ->
  ?off:??? ->
  ?len:??? ->
  string ->
  Baijiu_blake3.ctx

Source

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

Source

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

Source

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

Source

val feedi_bigstring : 
  Baijiu_blake3.ctx ->
  (((char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
     unit) ->
    'a) ->
  Baijiu_blake3.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

Sourceval bytes_opad : bytes

Sourceval bytes_ipad : bytes

Sourceval norm_bytes : string -> bytes

Sourceval hmac_init : key:string -> Baijiu_blake3.ctx * string

Source

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

Source

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

Source

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

Sourceval hmac_get : (Baijiu_blake3.ctx * string) -> string

Source

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

Source

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

Source

val hmac_feedi_bigstring : 
  (Baijiu_blake3.ctx * 'a) ->
  (((char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t ->
     unit) ->
    'b) ->
  Baijiu_blake3.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

Sourceval key_size : int

Sourceval init_keyed : key:string -> Baijiu_blake3.ctx

Sourceval init_derive_key : context:string -> Baijiu_blake3.ctx

Source

val get_xof_into_bytes : 
  Baijiu_blake3.ctx ->
  ?seek:??? ->
  ?off:??? ->
  ?len:??? ->
  By.t ->
  unit

Sourceval get_xof : Baijiu_blake3.ctx -> ?seek:??? -> int -> string

Sourcemodule Keyed : sig ... end

Sourcemodule Derive_key : sig ... end