package paf

You can search for identifiers within the package.

in-package search v0.2.0

package paf

paf
- Paf
  - RUNTIME
paf.alpn
- Alpn
paf.mirage
- Paf_mirage
  - Make
    
    Stack
    
    IP
    
    TCP
    
    UDP
    
    TCP
    
    TLS
    
    Time
  - S
    
    TCP
    
    TLS

Legend:
Library
Module
Module type
Parameter
Class
Class type

type error = [

| `Read of TCP.error
| `Tls_alert of Tls.Packet.alert_type
| `Tls_failure of Tls.Engine.failure
| `Write of TCP.write_error

]

type write_error = [

| `Closed
| `Read of TCP.error
| `Tls_alert of Tls.Packet.alert_type
| `Tls_failure of Tls.Engine.failure
| `Write of TCP.write_error

]

val pp_error : error Fmt.t

val pp_write_error : write_error Fmt.t

type flow = Tls_mirage.Make(TCP).flow

val read : flow -> (Cstruct.t Mirage_flow.or_eof, error) result Lwt.t

val write : flow -> Cstruct.t -> (unit, write_error) result Lwt.t

val writev : flow -> Cstruct.t list -> (unit, write_error) result Lwt.t

val shutdown : flow -> [ `read | `read_write | `write ] -> unit Lwt.t

val close : flow -> unit Lwt.t

val underlying : flow -> TCP.flow

val reneg : 
  ?authenticator:X509.Authenticator.t ->
  ?acceptable_cas:X509.Distinguished_name.t list ->
  ?cert:Tls.Config.own_cert ->
  ?drop:bool ->
  flow ->
  (unit,
    [ `Closed
    | `Msg of string
    | `Read of TCP.error
    | `Tls_alert of Tls.Packet.alert_type
    | `Tls_failure of Tls.Engine.failure
    | `Write of TCP.write_error ])
    result
    Lwt.t

val key_update : 
  ?request:bool ->
  flow ->
  (unit,
    [ `Closed
    | `Msg of string
    | `Read of TCP.error
    | `Tls_alert of Tls.Packet.alert_type
    | `Tls_failure of Tls.Engine.failure
    | `Write of TCP.write_error ])
    result
    Lwt.t

val client_of_flow : 
  Tls.Config.client ->
  ?host:[ `host ] Domain_name.t ->
  TCP.flow ->
  (flow, write_error) result Lwt.t

val server_of_flow : 
  Tls.Config.server ->
  TCP.flow ->
  (flow, write_error) result Lwt.t

val epoch : flow -> (Tls.Core.epoch_data, unit) result