package hacl-star

  1. Overview
  2. Docs
package hacl-star
Legend:
Library
Module
Module type
Parameter
Class
Class type
include sig ... end
module Hacl_Spec_applied : sig ... end
val hacl_Hash_Definitions_word_len : (Unsigned.uint8 -> Unsigned.uint32 Hacl_Hash_Base_stubs.return) Hacl_Hash_Base_stubs.result
val hacl_Hash_Definitions_block_len : (Unsigned.uint8 -> Unsigned.uint32 Hacl_Hash_Base_stubs.return) Hacl_Hash_Base_stubs.result
val hacl_Hash_Definitions_hash_word_len : (Unsigned.uint8 -> Unsigned.uint32 Hacl_Hash_Base_stubs.return) Hacl_Hash_Base_stubs.result
val hacl_Hash_Definitions_hash_len : (Unsigned.uint8 -> Unsigned.uint32 Hacl_Hash_Base_stubs.return) Hacl_Hash_Base_stubs.result
include sig ... end
val hacl_Hash_Core_MD5_legacy_init : (Unsigned.uint32 Ctypes_static.ptr -> unit Hacl_Hash_MD5_stubs.return) Hacl_Hash_MD5_stubs.result
val hacl_Hash_Core_MD5_legacy_update : (Unsigned.uint32 Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_MD5_stubs.return) Hacl_Hash_MD5_stubs.result
val hacl_Hash_Core_MD5_legacy_finish : (Unsigned.uint32 Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_MD5_stubs.return) Hacl_Hash_MD5_stubs.result
val hacl_Hash_MD5_legacy_update_multi : (Unsigned.uint32 Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> Unsigned.uint32 -> unit Hacl_Hash_MD5_stubs.return) Hacl_Hash_MD5_stubs.result
val hacl_Hash_MD5_legacy_update_last : (Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint64 -> bytes Ctypes_static.ocaml -> Unsigned.uint32 -> unit Hacl_Hash_MD5_stubs.return) Hacl_Hash_MD5_stubs.result
val hacl_Hash_MD5_legacy_hash : (bytes Ctypes_static.ocaml -> Unsigned.uint32 -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_MD5_stubs.return) Hacl_Hash_MD5_stubs.result
include sig ... end
val hacl_Hash_Core_SHA1_legacy_init : (Unsigned.uint32 Ctypes_static.ptr -> unit Hacl_Hash_SHA1_stubs.return) Hacl_Hash_SHA1_stubs.result
val hacl_Hash_Core_SHA1_legacy_update : (Unsigned.uint32 Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_SHA1_stubs.return) Hacl_Hash_SHA1_stubs.result
val hacl_Hash_Core_SHA1_legacy_finish : (Unsigned.uint32 Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_SHA1_stubs.return) Hacl_Hash_SHA1_stubs.result
val hacl_Hash_SHA1_legacy_update_multi : (Unsigned.uint32 Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> Unsigned.uint32 -> unit Hacl_Hash_SHA1_stubs.return) Hacl_Hash_SHA1_stubs.result
val hacl_Hash_SHA1_legacy_update_last : (Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint64 -> bytes Ctypes_static.ocaml -> Unsigned.uint32 -> unit Hacl_Hash_SHA1_stubs.return) Hacl_Hash_SHA1_stubs.result
val hacl_Hash_SHA1_legacy_hash : (bytes Ctypes_static.ocaml -> Unsigned.uint32 -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_SHA1_stubs.return) Hacl_Hash_SHA1_stubs.result
include sig ... end
val hacl_Hash_Core_SHA2_init_224 : (Unsigned.uint32 Ctypes_static.ptr -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_Core_SHA2_init_256 : (Unsigned.uint32 Ctypes_static.ptr -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_Core_SHA2_init_384 : (Unsigned.uint64 Ctypes_static.ptr -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_Core_SHA2_init_512 : (Unsigned.uint64 Ctypes_static.ptr -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_Core_SHA2_update_384 : (Unsigned.uint64 Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_Core_SHA2_update_512 : (Unsigned.uint64 Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_Core_SHA2_pad_256 : (Unsigned.uint64 -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_Core_SHA2_finish_224 : (Unsigned.uint32 Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_Core_SHA2_finish_256 : (Unsigned.uint32 Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_Core_SHA2_finish_384 : (Unsigned.uint64 Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_Core_SHA2_finish_512 : (Unsigned.uint64 Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_SHA2_update_multi_224 : (Unsigned.uint32 Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> Unsigned.uint32 -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_SHA2_update_multi_256 : (Unsigned.uint32 Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> Unsigned.uint32 -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_SHA2_update_multi_384 : (Unsigned.uint64 Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> Unsigned.uint32 -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_SHA2_update_multi_512 : (Unsigned.uint64 Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> Unsigned.uint32 -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_SHA2_update_last_224 : (Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint64 -> bytes Ctypes_static.ocaml -> Unsigned.uint32 -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_SHA2_update_last_256 : (Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint64 -> bytes Ctypes_static.ocaml -> Unsigned.uint32 -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_SHA2_hash_224 : (bytes Ctypes_static.ocaml -> Unsigned.uint32 -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_SHA2_hash_256 : (bytes Ctypes_static.ocaml -> Unsigned.uint32 -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_SHA2_hash_384 : (bytes Ctypes_static.ocaml -> Unsigned.uint32 -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
val hacl_Hash_SHA2_hash_512 : (bytes Ctypes_static.ocaml -> Unsigned.uint32 -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_SHA2_stubs.return) Hacl_Hash_SHA2_stubs.result
include sig ... end
type hacl_Impl_Blake2_Core_m_spec = Unsigned.UInt8.t
val hacl_Impl_Blake2_Core_m_spec : Unsigned.uint8 Ctypes.typ
val hacl_Impl_Blake2_Core_m_spec_Hacl_Impl_Blake2_Core_M32 : Unsigned.UInt8.t
val hacl_Impl_Blake2_Core_m_spec_Hacl_Impl_Blake2_Core_M128 : Unsigned.UInt8.t
val hacl_Impl_Blake2_Core_m_spec_Hacl_Impl_Blake2_Core_M256 : Unsigned.UInt8.t
val hacl_Hash_Core_Blake2_init_blake2s_32 : (Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint64 Hacl_Hash_Blake2_stubs.return) Hacl_Hash_Blake2_stubs.result
val hacl_Hash_Core_Blake2_update_blake2s_32 : (Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint64 -> bytes Ctypes_static.ocaml -> Unsigned.uint64 Hacl_Hash_Blake2_stubs.return) Hacl_Hash_Blake2_stubs.result
val hacl_Hash_Core_Blake2_finish_blake2s_32 : (Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint64 -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_Blake2_stubs.return) Hacl_Hash_Blake2_stubs.result
val hacl_Hash_Blake2_update_multi_blake2s_32 : (Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint64 -> bytes Ctypes_static.ocaml -> Unsigned.uint32 -> Unsigned.uint64 Hacl_Hash_Blake2_stubs.return) Hacl_Hash_Blake2_stubs.result
val hacl_Hash_Blake2_update_last_blake2s_32 : (Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint64 -> Unsigned.uint64 -> bytes Ctypes_static.ocaml -> Unsigned.uint32 -> Unsigned.uint64 Hacl_Hash_Blake2_stubs.return) Hacl_Hash_Blake2_stubs.result
val hacl_Hash_Blake2_hash_blake2s_32 : (bytes Ctypes_static.ocaml -> Unsigned.uint32 -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_Blake2_stubs.return) Hacl_Hash_Blake2_stubs.result
val hacl_Hash_Blake2_hash_blake2b_32 : (bytes Ctypes_static.ocaml -> Unsigned.uint32 -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_Blake2_stubs.return) Hacl_Hash_Blake2_stubs.result
val hacl_Blake2b_32_blake2b_init : (Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint32 -> Unsigned.uint32 -> unit Hacl_Hash_Blake2_stubs.return) Hacl_Hash_Blake2_stubs.result
val hacl_Blake2b_32_blake2b_update_key : (Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint64 Ctypes_static.ptr -> Unsigned.uint32 -> bytes Ctypes_static.ocaml -> Unsigned.uint32 -> unit Hacl_Hash_Blake2_stubs.return) Hacl_Hash_Blake2_stubs.result
val hacl_Blake2b_32_blake2b_finish : (Unsigned.uint32 -> bytes Ctypes_static.ocaml -> Unsigned.uint64 Ctypes_static.ptr -> unit Hacl_Hash_Blake2_stubs.return) Hacl_Hash_Blake2_stubs.result
val hacl_Blake2b_32_blake2b : (Unsigned.uint32 -> bytes Ctypes_static.ocaml -> Unsigned.uint32 -> bytes Ctypes_static.ocaml -> Unsigned.uint32 -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_Blake2_stubs.return) Hacl_Hash_Blake2_stubs.result
val hacl_Blake2s_32_blake2s_init : (Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 -> Unsigned.uint32 -> unit Hacl_Hash_Blake2_stubs.return) Hacl_Hash_Blake2_stubs.result
val hacl_Blake2s_32_blake2s_update_key : (Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 -> bytes Ctypes_static.ocaml -> Unsigned.uint32 -> unit Hacl_Hash_Blake2_stubs.return) Hacl_Hash_Blake2_stubs.result
val hacl_Blake2s_32_blake2s_update_multi : (Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint64 -> bytes Ctypes_static.ocaml -> Unsigned.uint32 -> unit Hacl_Hash_Blake2_stubs.return) Hacl_Hash_Blake2_stubs.result
val hacl_Blake2s_32_blake2s_update_last : (Unsigned.uint32 -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint32 Ctypes_static.ptr -> Unsigned.uint64 -> Unsigned.uint32 -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_Blake2_stubs.return) Hacl_Hash_Blake2_stubs.result
val hacl_Blake2s_32_blake2s_finish : (Unsigned.uint32 -> bytes Ctypes_static.ocaml -> Unsigned.uint32 Ctypes_static.ptr -> unit Hacl_Hash_Blake2_stubs.return) Hacl_Hash_Blake2_stubs.result
val hacl_Blake2s_32_blake2s : (Unsigned.uint32 -> bytes Ctypes_static.ocaml -> Unsigned.uint32 -> bytes Ctypes_static.ocaml -> Unsigned.uint32 -> bytes Ctypes_static.ocaml -> unit Hacl_Hash_Blake2_stubs.return) Hacl_Hash_Blake2_stubs.result
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