| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.MiniProtocol.LeiosFetch.Server
Description
The upstream side of LeiosFetch.
Synopsis
- data ExnLeiosInvalidRequest
- newtype LeiosFetchRequestHandler point eb tx (m ∷ Type → Type) = MkLeiosFetchRequestHandler (∀ (st ∷ LeiosFetchBusy point eb tx). Message (LeiosFetch point eb tx) ('StIdle ∷ LeiosFetch point eb tx) ('StBusy st) → m (Message (LeiosFetch point eb tx) ('StBusy st) ('StIdle ∷ LeiosFetch point eb tx)))
- type LeiosFetchServerPeer point eb tx (m ∷ Type → Type) a = Peer (LeiosFetch point eb tx) 'AsServer ('NonPipelined ∷ IsPipelined (LeiosFetch point eb tx)) ('StIdle ∷ LeiosFetch point eb tx) m a
- leiosFetchServerPeer ∷ ∀ point eb tx (m ∷ Type → Type). Functor m ⇒ LeiosFetchRequestHandler point eb tx m → LeiosFetchServerPeer point eb tx m ()
Documentation
data ExnLeiosInvalidRequest Source #
Thrown by the node's LeiosFetch server, which disconnects a client that requests what the node does not hold.
Constructors
| ExnLeiosUnknownBlockRequested !LeiosPoint | An endorser block whose body the node does not hold. |
| ExnLeiosUnknownTxsRequested !LeiosPoint ![Int] | Offsets into an endorser block that it does not have, or whose transactions the node does not hold. |
Instances
newtype LeiosFetchRequestHandler point eb tx (m ∷ Type → Type) Source #
How a server answers each request.
Constructors
| MkLeiosFetchRequestHandler (∀ (st ∷ LeiosFetchBusy point eb tx). Message (LeiosFetch point eb tx) ('StIdle ∷ LeiosFetch point eb tx) ('StBusy st) → m (Message (LeiosFetch point eb tx) ('StBusy st) ('StIdle ∷ LeiosFetch point eb tx))) |
type LeiosFetchServerPeer point eb tx (m ∷ Type → Type) a = Peer (LeiosFetch point eb tx) 'AsServer ('NonPipelined ∷ IsPipelined (LeiosFetch point eb tx)) ('StIdle ∷ LeiosFetch point eb tx) m a Source #
leiosFetchServerPeer ∷ ∀ point eb tx (m ∷ Type → Type). Functor m ⇒ LeiosFetchRequestHandler point eb tx m → LeiosFetchServerPeer point eb tx m () Source #
A server that answers each request with the handler, and ends when the
client sends MsgDone.