| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Network.Protocol.KeepAlive.Client
Synopsis
- newtype KeepAliveClient (m :: Type -> Type) a = KeepAliveClient (m (KeepAliveClientSt m a))
- data KeepAliveClientSt (m :: Type -> Type) a where
- SendMsgKeepAlive :: forall (m :: Type -> Type) a. Cookie -> m (KeepAliveClientSt m a) -> KeepAliveClientSt m a
- SendMsgDone :: forall (m :: Type -> Type) a. m a -> KeepAliveClientSt m a
- keepAliveClientPeer :: forall (m :: Type -> Type) a. MonadThrow m => KeepAliveClient m a -> Client KeepAlive 'NonPipelined 'StClient m a
Documentation
newtype KeepAliveClient (m :: Type -> Type) a Source #
Constructors
| KeepAliveClient (m (KeepAliveClientSt m a)) |
data KeepAliveClientSt (m :: Type -> Type) a where Source #
Constructors
| SendMsgKeepAlive :: forall (m :: Type -> Type) a. Cookie -> m (KeepAliveClientSt m a) -> KeepAliveClientSt m a | |
| SendMsgDone :: forall (m :: Type -> Type) a. m a -> KeepAliveClientSt m a |
keepAliveClientPeer :: forall (m :: Type -> Type) a. MonadThrow m => KeepAliveClient m a -> Client KeepAlive 'NonPipelined 'StClient m a Source #
Interpret a particular client action sequence into the client side of the
KeepAlive protocol.