package paf

  1. Overview
  2. Docs
module type RUNTIME = sig ... end
type 'conn runtime = (module RUNTIME with type t = 'conn)
type impl =
  1. | Runtime : 'conn runtime * 'conn -> impl
exception Flow of string
exception Flow_write of string
val server : 'conn runtime -> 'conn -> Mimic.flow -> unit Lwt.t
val run : 'conn runtime -> 'conn -> Mimic.flow -> unit Lwt.t
type 't service
val service : ('connected_flow -> (Mimic.flow * impl, 'error) Stdlib.result Lwt.t) -> ('flow -> ('connected_flow, 'error) Stdlib.result Lwt.t) -> ('t -> ('flow, [> `Closed ] as 'error) Stdlib.result Lwt.t) -> ('t -> unit Lwt.t) -> 't service
val serve : ?stop:Lwt_switch.t -> 't service -> 't -> [ `Initialized of unit Lwt.t ]