| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.MiniProtocol.LeiosFetch.Client
Description
The downstream side of LeiosFetch.
Synopsis
- type LeiosFetchClientPeer point eb tx (m ∷ Type → Type) a = Peer (LeiosFetch point eb tx) 'AsClient ('NonPipelined ∷ IsPipelined (LeiosFetch point eb tx)) ('StIdle ∷ LeiosFetch point eb tx) m a
- leiosFetchClientPeerIdle ∷ ∀ (m ∷ Type → Type) a point eb tx. MonadSTM m ⇒ STM m a → LeiosFetchClientPeer point eb tx m a
Documentation
type LeiosFetchClientPeer point eb tx (m ∷ Type → Type) a = Peer (LeiosFetch point eb tx) 'AsClient ('NonPipelined ∷ IsPipelined (LeiosFetch point eb tx)) ('StIdle ∷ LeiosFetch point eb tx) m a Source #
leiosFetchClientPeerIdle Source #
Arguments
| ∷ ∀ (m ∷ Type → Type) a point eb tx. MonadSTM m | |
| ⇒ STM m a | blocks until the client should stop |
| → LeiosFetchClientPeer point eb tx m a |
A client that requests nothing: it waits until told to stop, then sends
MsgDone.
TODO Replace it with a client that requests the endorser blocks and transactions its peer offers over LeiosNotify.