package hacl-star

You can search for identifiers within the package.

in-package search v0.2.0

hacl-star
- Hacl_star
  - AutoConfig2
    
    EverCrypt_AutoConfig2
  - EverCrypt
    
    AEAD
    
    Chacha20_Poly1305
    
    Curve25519
    
    DRBG
    
    Ed25519
    
    Error
    
    HKDF
    
    HKDF_SHA2_256
    
    HKDF_SHA2_384
    
    HKDF_SHA2_512
    
    HMAC
    
    HMAC_SHA2_256
    
    HMAC_SHA2_384
    
    HMAC_SHA2_512
    
    Hash
    
    Poly1305
    
    SHA2_224
    
    SHA2_256
  - Hacl
    
    Blake2b_256
    
    Blake2b_32
    
    Blake2s_128
    
    Blake2s_32
    
    Chacha20_Poly1305_128
    
    Chacha20_Poly1305_256
    
    Chacha20_Poly1305_32
    
    Curve25519_51
    
    Curve25519_64
    
    ECDSA
    
    Ed25519
    
    HKDF_SHA2_256
    
    HKDF_SHA2_512
    
    HMAC_SHA2_256
    
    HMAC_SHA2_384
    
    HMAC_SHA2_512
    
    Keccak
    
    MD5
    
    NaCl
    
    Detached
    
    Easy
    
    Poly1305_128
    
    Poly1305_256
    
    Poly1305_32
    
    RandomBuffer
    
    SHA1
    
    SHA2_224
    
    SHA2_256
    
    SHA2_384
    
    SHA2_512
    
    SHA3_224
    
    SHA3_256
    
    SHA3_384
    
    SHA3_512
  - SharedDefs
    
    Blake2
    
    Blake2_generic
    
    Buffer
    
    CBytes
    
    Chacha20_Poly1305
    
    Chacha20_Poly1305_generic
    
    Curve25519
    
    Curve25519_generic
    
    EdDSA
    
    EdDSA_generic
    
    HKDF
    
    HKDF_generic
    
    Hacl_Hash
    
    Hacl_Spec_applied
    
    Hacl_Spec
    
    HashDefs
    
    HashFunction
    
    HashFunction_generic
    
    MAC
    
    MAC_generic
  - SharedFunctors
    
    Make_Blake2b
    
    Impl
    
    Make_Blake2b_generic
    
    C
    
    Impl
    
    Make_Blake2s
    
    Impl
    
    Make_Blake2s_generic
    
    C
    
    Impl
    
    Make_Chacha20_Poly1305
    
    Impl
    
    Make_Chacha20_Poly1305_generic
    
    C
    
    Impl
    
    Make_Curve25519
    
    Impl
    
    Make_Curve25519_generic
    
    C
    
    Impl
    
    Make_EdDSA
    
    Impl
    
    Make_EdDSA_generic
    
    C
    
    Impl
    
    Make_HKDF
    
    Impl
    
    Make_HKDF_generic
    
    C
    
    Impl
    
    Make_HMAC
    
    Impl
    
    Make_HMAC_generic
    
    C
    
    Impl
    
    Make_HashFunction
    
    Impl
    
    Make_HashFunction_generic
    
    C
    
    Impl
    
    Make_Poly1305
    
    Impl
    
    Make_Poly1305_generic
    
    C
    
    Impl

Legend:
Library
Module
Module type
Parameter
Class
Class type

module type Buffer = sig ... end

module CBytes : 
  Buffer with type t = Bytes.t and type buf = Bytes.t Ctypes.ocaml

module Hacl_Hash : sig ... end

module Hacl_Spec : sig ... end

val max_size_t : Z.t

module HashDefs : sig ... end

module type Chacha20_Poly1305_generic = sig ... end

module type Curve25519_generic = sig ... end

module type EdDSA_generic = sig ... end

module type HashFunction_generic = sig ... end

module type MAC_generic = sig ... end

module type HKDF_generic = sig ... end

module type Blake2_generic = sig ... end

module type Chacha20_Poly1305 =
  Chacha20_Poly1305_generic with type t = CBytes.t

module type Curve25519 = Curve25519_generic with type t = CBytes.t

module type EdDSA = EdDSA_generic with type t = CBytes.t

module type HashFunction = HashFunction_generic with type t = CBytes.t

module type MAC = MAC_generic with type t = CBytes.t

module type HKDF = HKDF_generic with type t = CBytes.t

module type Blake2 = Blake2_generic with type t = CBytes.t