| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Network.Protocol.PeerSharing.Client
Synopsis
- data PeerSharingClient peerAddress (m :: Type -> Type) a where
- SendMsgShareRequest :: forall peerAddress (m :: Type -> Type) a. PeerSharingAmount -> ([peerAddress] -> m (PeerSharingClient peerAddress m a)) -> PeerSharingClient peerAddress m a
- SendMsgDone :: forall (m :: Type -> Type) a peerAddress. m a -> PeerSharingClient peerAddress m a
- peerSharingClientPeer :: forall (m :: Type -> Type) peerAddress a. Monad m => PeerSharingClient peerAddress m a -> Client (PeerSharing peerAddress) 'NonPipelined ('StIdle :: PeerSharing peerAddress) m a
Documentation
data PeerSharingClient peerAddress (m :: Type -> Type) a where Source #
Constructors
| SendMsgShareRequest :: forall peerAddress (m :: Type -> Type) a. PeerSharingAmount -> ([peerAddress] -> m (PeerSharingClient peerAddress m a)) -> PeerSharingClient peerAddress m a | |
| SendMsgDone :: forall (m :: Type -> Type) a peerAddress. m a -> PeerSharingClient peerAddress m a |
peerSharingClientPeer :: forall (m :: Type -> Type) peerAddress a. Monad m => PeerSharingClient peerAddress m a -> Client (PeerSharing peerAddress) 'NonPipelined ('StIdle :: PeerSharing peerAddress) m a Source #
Interpret a particular client action sequence into the client side of the
PeerSharing protocol.