package digestif

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module type S = Digestif_sig.S

type 'kind hash = 'kind Digestif_sig.hash =

and kind = Digestif_sig.kind

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

type 'a iter = 'a Digestif_sig.iter

type 'a pp = 'a Digestif_sig.pp

type 'a equal = 'a Digestif_sig.equal

type 'a compare = 'a Digestif_sig.compare

module MD5 : S with type kind = [ `MD5 ]

module SHA1 : S with type kind = [ `SHA1 ]

module SHA224 : S with type kind = [ `SHA224 ]

module SHA256 : S with type kind = [ `SHA256 ]

module SHA384 : S with type kind = [ `SHA384 ]

module SHA512 : S with type kind = [ `SHA512 ]

module BLAKE2B : S with type kind = [ `BLAKE2B ]

module BLAKE2S : S with type kind = [ `BLAKE2S ]

module RMD160 : S with type kind = [ `RMD160 ]

module Make_BLAKE2B (D : sig ... end) : S with type kind = [ `BLAKE2B ]

module Make_BLAKE2S (D : sig ... end) : S with type kind = [ `BLAKE2S ]

include Digestif_sig.Ctor

val md5 : [ `MD5 ] Digestif_sig.hash

val sha1 : [ `SHA1 ] Digestif_sig.hash

val rmd160 : [ `RMD160 ] Digestif_sig.hash

val sha224 : [ `SHA224 ] Digestif_sig.hash

val sha256 : [ `SHA256 ] Digestif_sig.hash

val sha384 : [ `SHA384 ] Digestif_sig.hash

val sha512 : [ `SHA512 ] Digestif_sig.hash

val blake2b : int -> [ `BLAKE2B ] Digestif_sig.hash

val blake2s : int -> [ `BLAKE2S ] Digestif_sig.hash

include Digestif_sig.Top

type 'kind t = private string

val module_of : 
  'k Digestif_sig.hash ->
  (module Digestif_sig.S
  with type kind = 'k)

val digesti_bytes : 'k Digestif_sig.hash -> Bytes.t Digestif_sig.iter -> 'k t

val digesti_string : 'k Digestif_sig.hash -> String.t Digestif_sig.iter -> 'k t

val digesti_bigstring : 
  'k Digestif_sig.hash ->
  Digestif_sig.bigstring Digestif_sig.iter ->
  'k t

val hmaci_bytes : 
  'k Digestif_sig.hash ->
  key:Bytes.t ->
  Bytes.t Digestif_sig.iter ->
  'k t

val hmaci_string : 
  'k Digestif_sig.hash ->
  key:String.t ->
  String.t Digestif_sig.iter ->
  'k t

val hmaci_bigstring : 
  'k Digestif_sig.hash ->
  key:Digestif_sig.bigstring ->
  Digestif_sig.bigstring Digestif_sig.iter ->
  'k t

val pp : 'k Digestif_sig.hash -> 'k t Digestif_sig.pp

val eq : 'k Digestif_sig.hash -> 'k t Digestif_sig.equal

val neq : 'k Digestif_sig.hash -> 'k t Digestif_sig.equal

val unsafe_compare : 'k Digestif_sig.hash -> 'k t Digestif_sig.compare

val to_hex : 'k Digestif_sig.hash -> 'k t -> string

val of_hex : 'k Digestif_sig.hash -> string -> 'k t