| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ouroboros.Network.Protocol.PeerSharing.Client
Synopsis
- data PeerSharingClient peerAddress m a where
- SendMsgShareRequest ∷ PeerSharingAmount → ([peerAddress] → m (PeerSharingClient peerAddress m a)) → PeerSharingClient peerAddress m a
- SendMsgDone ∷ m a → PeerSharingClient peerAddress m a
- peerSharingClientPeer ∷ Monad m ⇒ PeerSharingClient peerAddress m a → Peer (PeerSharing peerAddress) AsClient StIdle m a
Documentation
data PeerSharingClient peerAddress m a where Source #
Constructors
| SendMsgShareRequest ∷ PeerSharingAmount → ([peerAddress] → m (PeerSharingClient peerAddress m a)) → PeerSharingClient peerAddress m a | |
| SendMsgDone ∷ m a → PeerSharingClient peerAddress m a |
peerSharingClientPeer ∷ Monad m ⇒ PeerSharingClient peerAddress m a → Peer (PeerSharing peerAddress) AsClient StIdle m a Source #
Interpret a particular client action sequence into the client side of the
PeerSharing protocol.