typed-protocols-examples
Safe HaskellNone
LanguageHaskell2010

Network.TypedProtocol.Stateful.ReqResp.Client

Documentation

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

Constructors

SendMsgReq :: forall resp (req :: Type -> Type) (m :: Type -> Type) a. Typeable resp => req resp -> (resp -> m (ReqRespClient req m a)) -> ReqRespClient req m a 
SendMsgDone :: forall a (req :: Type -> Type) (m :: Type -> Type). a -> ReqRespClient req m a 

reqRespClientPeer :: forall (m :: Type -> Type) (req :: Type -> Type) a. Monad m => ReqRespClient req m a -> Client (ReqResp req) ('StIdle :: ReqResp req) (State :: ReqResp req -> Type) m a Source #