Paf (paf.Paf)

module type RUNTIME = sig ... end

type 'conn runtime = (module RUNTIME with type t = 'conn)

type impl =

| 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 ]