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

val hash_alg : SharedDefs.HashDefs.alg

val expand : 
  SharedDefs.CBytes.buf ->
  SharedDefs.CBytes.buf ->
  Unsigned.uint32 ->
  SharedDefs.CBytes.buf ->
  Unsigned.uint32 ->
  Unsigned.uint32 ->
  unit

val extract : 
  SharedDefs.CBytes.buf ->
  SharedDefs.CBytes.buf ->
  Unsigned.uint32 ->
  SharedDefs.CBytes.buf ->
  Unsigned.uint32 ->
  unit