package hacl-star

  1. Overview
  2. Docs
package hacl-star
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Hacl_star.SharedFunctorsSource

Sourceval check_reqs : AutoConfig2.feature list -> unit
Sourcemodule Make_Chacha20_Poly1305_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
Sourcemodule Make_Curve25519_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
Sourcemodule Make_EdDSA_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
Sourcetype all_hash_alg =
  1. | Agile of SharedDefs.HashDefs.alg
  2. | SHA3_224
  3. | SHA3_256
  4. | SHA3_384
  5. | SHA3_512
Sourcemodule Make_HashFunction_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
Sourcemodule Make_Poly1305_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
Sourcemodule Make_HMAC_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
Sourcemodule Make_HKDF_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
Sourcemodule Make_ECDSA_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
Sourcemodule Make_Blake2b_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
Sourcemodule Make_Blake2s_generic (C : SharedDefs.Buffer) (Impl : sig ... end) : sig ... end
Sourcemodule Make_Chacha20_Poly1305 (Impl : sig ... end) : sig ... end
Sourcemodule Make_Curve25519 (Impl : sig ... end) : sig ... end
Sourcemodule Make_EdDSA (Impl : sig ... end) : sig ... end
Sourcemodule Make_HashFunction (Impl : sig ... end) : sig ... end
Sourcemodule Make_Poly1305 (Impl : sig ... end) : sig ... end
Sourcemodule Make_HMAC (Impl : sig ... end) : sig ... end
Sourcemodule Make_HKDF (Impl : sig ... end) : sig ... end
Sourcemodule Make_ECDSA (Impl : sig ... end) : sig ... end
Sourcemodule Make_Blake2b (Impl : sig ... end) : sig ... end
Sourcemodule Make_Blake2s (Impl : sig ... end) : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct