package tls

You can search for identifiers within the package.

in-package search v0.2.0

tls
- Tls
  - Ciphersuite
    
    H
  - Config
    
    Ciphers
  - Control
    
    Monad
    
    Monad_ext
    
    Monad_ext_make
    
    M
    
    Option
    
    Or_error
    
    Or_error_make
    
    M
  - Core
    
    Cert
    
    PreSharedKeyID
    
    Ptime
    
    SessionID
  - Crypto
    
    Ciphers
  - Engine
  - Explorator
  - Handshake_client
  - Handshake_client13
  - Handshake_common
    
    Group
    
    GroupSet
    
    Log
  - Handshake_crypto
  - Handshake_crypto13
  - Handshake_server
  - Handshake_server13
  - Packet
  - Reader
  - State
    
    V_err
  - Tracing
  - Utils
    
    Cs
    
    List_set
  - Writer
tls.lwt
- Tls_lwt
  - Unix
- X509_lwt

Legend:
Library
Module
Module type
Parameter
Class
Class type

val (<+>) : Cstruct.t -> Cstruct.t -> Cstruct.t

val dh_params_pack : 
  Mirage_crypto_pk.Dh.group ->
  Cstruct_sexp.t ->
  Core.dh_parameters

val dh_params_unpack : 
  Core.dh_parameters ->
  (Mirage_crypto_pk.Dh.group * Cstruct_sexp.t, [> `Msg of string ])
    Stdlib.result

module Ciphers : sig ... end

val digest_eq : 
  [< Mirage_crypto.Hash.hash ] ->
  target:Cstruct.t ->
  Cstruct.t ->
  bool

val sequence_buf : Cstruct.uint64 -> Cstruct.t

val aead_nonce : Cstruct.t -> Cstruct.uint64 -> Cstruct.t

val adata_1_3 : Cstruct.uint16 -> Cstruct.t

val pseudo_header : 
  Cstruct.uint64 ->
  Packet.content_type ->
  (Cstruct.uint8 * Cstruct.uint8) ->
  Cstruct.uint16 ->
  Cstruct.t

val mac : 
  [< Mirage_crypto.Hash.hash ] ->
  Cstruct.t ->
  Cstruct.t ->
  Cstruct.t ->
  Mirage_crypto.Hash.digest

val cbc_block : 
  (module Mirage_crypto.Cipher_block.S.CBC with type key = 'a) ->
  int

val cbc_pad : int -> Cstruct.t -> Cstruct.t

val cbc_unpad : Cstruct.t -> Cstruct.t option

val tag_len : 'a State.aead_cipher -> int

val encrypt_aead : 
  cipher:'a State.aead_cipher ->
  key:'a ->
  nonce:Cstruct.t ->
  ?adata:Cstruct.t ->
  Cstruct.t ->
  Cstruct.t

val decrypt_aead : 
  cipher:'a State.aead_cipher ->
  key:'a ->
  nonce:Cstruct.t ->
  ?adata:Cstruct.t ->
  Cstruct.t ->
  Cstruct.t option

val encrypt_cbc : 
  cipher:(module Mirage_crypto.Cipher_block.S.CBC with type key = 'a) ->
  key:'a ->
  iv:Cstruct.t ->
  Cstruct.t ->
  Cstruct.t * Cstruct.t

val decrypt_cbc : 
  cipher:(module Mirage_crypto.Cipher_block.S.CBC with type key = 'a) ->
  key:'a ->
  iv:Cstruct.t ->
  Cstruct.t ->
  (Cstruct.t * Cstruct.t) option