Documentation

data ReqRespServer (req :: Type -> Type) (m :: Type -> Type) a Source #

reqRespServerPeer :: forall (m :: Type -> Type) (req :: Type -> Type) a. Functor m => ReqRespServer req m a -> Server (ReqResp req) ('StIdle :: ReqResp req) (State :: ReqResp req -> Type) m a Source #