Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

Description

The LeiosNotify mini-protocol's types and codec.

Synopsis

data LeiosNotify point announcement vote where
- StIdle ∷ ∀ point announcement vote. LeiosNotify point announcement vote
- StBusy ∷ ∀ point announcement vote. LeiosNotify point announcement vote
- StQuit ∷ ∀ point announcement vote. LeiosNotify point announcement vote
- StDone ∷ ∀ point announcement vote. LeiosNotify point announcement vote
data family Message ps (st ∷ ps) (st' ∷ ps)
data SingLeiosNotify (st ∷ LeiosNotify point announcement vote) where
- SingIdle ∷ ∀ {point} {announcement} {vote}. SingLeiosNotify ('StIdle ∷ LeiosNotify point announcement vote)
- SingBusy ∷ ∀ {point} {announcement} {vote}. SingLeiosNotify ('StBusy ∷ LeiosNotify point announcement vote)
- SingQuit ∷ ∀ {point} {announcement} {vote}. SingLeiosNotify ('StQuit ∷ LeiosNotify point announcement vote)
- SingDone ∷ ∀ {point} {announcement} {vote}. SingLeiosNotify ('StDone ∷ LeiosNotify point announcement vote)
byteLimitsLeiosNotify ∷ (bytes → Word) → ProtocolSizeLimits (LeiosNotify point announcement vote) bytes
codecLeiosNotify ∷ ∀ point announcement vote (m ∷ Type → Type). MonadST m ⇒ (point → Encoding) → (∀ s. Decoder s point) → (announcement → Encoding) → (∀ s. Decoder s announcement) → (vote → Encoding) → (∀ s. Decoder s vote) → Codec (LeiosNotify point announcement vote) DeserialiseFailure m ByteString
codecLeiosNotifyId ∷ ∀ point announcement vote (m ∷ Type → Type). Monad m ⇒ Codec (LeiosNotify point announcement vote) CodecFailure m (AnyMessage (LeiosNotify point announcement vote))
maxLeiosVotesPerMessage ∷ Int
maxLeiosNotifyReplyBytes ∷ Word
timeLimitsLeiosNotify ∷ ProtocolTimeLimits (LeiosNotify point announcement vote)

Documentation

data LeiosNotify point announcement vote where Source #

The LeiosNotify mini-protocol's states, as the cardano-blueprint specifies them: https://cardano-scaling.github.io/cardano-blueprint/network/node-to-node/leios-notify/index.html?leios=on. CIP-0164 specifies the Leios mini-protocols, https://cips.cardano.org/cip/CIP-0164; see also https://github.com/cardano-foundation/CIPs/pull/1296.

Constructors

StIdle ∷ ∀ point announcement vote. LeiosNotify point announcement vote
StBusy ∷ ∀ point announcement vote. LeiosNotify point announcement vote
StQuit ∷ ∀ point announcement vote. LeiosNotify point announcement vote
StDone ∷ ∀ point announcement vote. LeiosNotify point announcement vote

Instances

Instances details

(ShowProxy point, ShowProxy announcement, ShowProxy vote) ⇒ ShowProxy (LeiosNotify point announcement vote ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

Methods

showProxy ∷ Proxy (LeiosNotify point announcement vote) → String #

NFData (Message (LeiosNotify point announcement vote) from to) Source #

Instance details

Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

Methods

rnf ∷ Message (LeiosNotify point announcement vote) from to → () #

(Eq point, Eq announcement, Eq vote) ⇒ Eq (Message (LeiosNotify point announcement vote) from to) Source #

Instance details

Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

Methods

(==) ∷ Message (LeiosNotify point announcement vote) from to → Message (LeiosNotify point announcement vote) from to → Bool #

(/=) ∷ Message (LeiosNotify point announcement vote) from to → Message (LeiosNotify point announcement vote) from to → Bool #

(Show point, Show announcement, Show vote) ⇒ Show (Message (LeiosNotify point announcement vote) from to) Source #

Instance details

Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

Methods

showsPrec ∷ Int → Message (LeiosNotify point announcement vote) from to → ShowS #

show ∷ Message (LeiosNotify point announcement vote) from to → String #

showList ∷ [Message (LeiosNotify point announcement vote) from to] → ShowS #

Protocol (LeiosNotify point announcement vote) Source #

Instance details

Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

Associated Types

type StateToken
Instance details Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type type StateToken = SingLeiosNotify ∷ LeiosNotify point announcement vote → Type

ShowProxy ('StBusy ∷ LeiosNotify point announcement vote) Source #

Instance details

Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

Methods

showProxy ∷ Proxy ('StBusy ∷ LeiosNotify point announcement vote) → String #

ShowProxy ('StDone ∷ LeiosNotify point announcement vote) Source #

Instance details

Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

Methods

showProxy ∷ Proxy ('StDone ∷ LeiosNotify point announcement vote) → String #

ShowProxy ('StIdle ∷ LeiosNotify point announcement vote) Source #

Instance details

Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

Methods

showProxy ∷ Proxy ('StIdle ∷ LeiosNotify point announcement vote) → String #

ShowProxy ('StQuit ∷ LeiosNotify point announcement vote) Source #

Instance details

Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

Methods

showProxy ∷ Proxy ('StQuit ∷ LeiosNotify point announcement vote) → String #

StateTokenI ('StBusy ∷ LeiosNotify point announcement vote) Source #

Instance details

Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

Methods

stateToken ∷ StateToken ('StBusy ∷ LeiosNotify point announcement vote) Source #

StateTokenI ('StDone ∷ LeiosNotify point announcement vote) Source #

Instance details

Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

Methods

stateToken ∷ StateToken ('StDone ∷ LeiosNotify point announcement vote) Source #

StateTokenI ('StIdle ∷ LeiosNotify point announcement vote) Source #

Instance details

Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

Methods

stateToken ∷ StateToken ('StIdle ∷ LeiosNotify point announcement vote) Source #

StateTokenI ('StQuit ∷ LeiosNotify point announcement vote) Source #

Instance details

Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

Methods

stateToken ∷ StateToken ('StQuit ∷ LeiosNotify point announcement vote) Source #

data Message (LeiosNotify point announcement vote) (from ∷ LeiosNotify point announcement vote) (to ∷ LeiosNotify point announcement vote) Source #

Instance details

Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

data Message (LeiosNotify point announcement vote) (from ∷ LeiosNotify point announcement vote) (to ∷ LeiosNotify point announcement vote) where

MsgDone ∷ ∀ point announcement vote. Message (LeiosNotify point announcement vote) ('StQuit ∷ LeiosNotify point announcement vote) ('StDone ∷ LeiosNotify point announcement vote)
MsgQuit ∷ ∀ point announcement vote. Message (LeiosNotify point announcement vote) ('StIdle ∷ LeiosNotify point announcement vote) ('StQuit ∷ LeiosNotify point announcement vote)
MsgCanceled ∷ ∀ point announcement vote. Message (LeiosNotify point announcement vote) ('StBusy ∷ LeiosNotify point announcement vote) ('StIdle ∷ LeiosNotify point announcement vote)
MsgLeiosNotificationRequestNext ∷ ∀ point announcement vote. Message (LeiosNotify point announcement vote) ('StIdle ∷ LeiosNotify point announcement vote) ('StBusy ∷ LeiosNotify point announcement vote)
MsgLeiosBlockAnnouncement ∷ ∀ announcement point vote. !announcement → Message (LeiosNotify point announcement vote) ('StBusy ∷ LeiosNotify point announcement vote) ('StIdle ∷ LeiosNotify point announcement vote)
MsgLeiosBlockOffer ∷ ∀ point announcement vote. !point → !Word32 → Message (LeiosNotify point announcement vote) ('StBusy ∷ LeiosNotify point announcement vote) ('StIdle ∷ LeiosNotify point announcement vote)
MsgLeiosBlockTxsOffer ∷ ∀ point announcement vote. !point → Message (LeiosNotify point announcement vote) ('StBusy ∷ LeiosNotify point announcement vote) ('StIdle ∷ LeiosNotify point announcement vote)
MsgLeiosVotes ∷ ∀ vote point announcement. NonEmpty vote → Message (LeiosNotify point announcement vote) ('StBusy ∷ LeiosNotify point announcement vote) ('StIdle ∷ LeiosNotify point announcement vote)

type StateToken Source #

Instance details

Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

type StateToken = SingLeiosNotify ∷ LeiosNotify point announcement vote → Type

type StateAgency ('StBusy ∷ LeiosNotify point announcement vote) Source #

Instance details

Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

type StateAgency ('StBusy ∷ LeiosNotify point announcement vote) = 'ServerAgency

type StateAgency ('StDone ∷ LeiosNotify point announcement vote) Source #

Instance details

Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

type StateAgency ('StDone ∷ LeiosNotify point announcement vote) = 'NobodyAgency

type StateAgency ('StIdle ∷ LeiosNotify point announcement vote) Source #

Instance details

Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

type StateAgency ('StIdle ∷ LeiosNotify point announcement vote) = 'ClientAgency

type StateAgency ('StQuit ∷ LeiosNotify point announcement vote) Source #

Instance details

Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type

type StateAgency ('StQuit ∷ LeiosNotify point announcement vote) = 'ServerAgency

data family Message ps (st ∷ ps) (st' ∷ ps) Source #

The messages for this protocol. It is expected to be a GADT that is indexed by the from and to protocol states. That is the protocol state the message transitions from, and the protocol state it transitions into. These are the edges of the protocol state transition system.

Instances

Instances details

NFData (Message (LeiosNotify point announcement vote) from to) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type Methods rnf ∷ Message (LeiosNotify point announcement vote) from to → () #
(NFData block, NFData point) ⇒ NFData (Message (BlockFetch block point) from to) #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods rnf ∷ Message (BlockFetch block point) from to → () #
(NFData header, NFData point, NFData tip) ⇒ NFData (Message (ChainSync header point tip) from to) #
Instance details Defined in Ouroboros.Network.Protocol.ChainSync.Type Methods rnf ∷ Message (ChainSync header point tip) from to → () #
NFData (Message KeepAlive from to) #
Instance details Defined in Ouroboros.Network.Protocol.KeepAlive.Type Methods rnf ∷ Message KeepAlive from to → () #
(∀ result. NFData (query result), NFData point) ⇒ NFData (Message (LocalStateQuery block point query) from to) #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Type Methods rnf ∷ Message (LocalStateQuery block point query) from to → () #
(NFData txid, NFData tx, NFData slot) ⇒ NFData (Message (LocalTxMonitor txid tx slot) from to) #
Instance details Defined in Ouroboros.Network.Protocol.LocalTxMonitor.Type Methods rnf ∷ Message (LocalTxMonitor txid tx slot) from to → () #
(NFData tx, NFData reject) ⇒ NFData (Message (LocalTxSubmission tx reject) from to) #
Instance details Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type Methods rnf ∷ Message (LocalTxSubmission tx reject) from to → () #
(NFData objectId, NFData object) ⇒ NFData (Message (ObjectDiffusion objectId object) from to) #
Instance details Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type Methods rnf ∷ Message (ObjectDiffusion objectId object) from to → () #
NFData peerAddress ⇒ NFData (Message (PeerSharing peerAddress) from to) #
Instance details Defined in Ouroboros.Network.Protocol.PeerSharing.Type Methods rnf ∷ Message (PeerSharing peerAddress) from to → () #
(NFData txid, NFData tx) ⇒ NFData (Message (TxSubmission2 txid tx) from to) #
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods rnf ∷ Message (TxSubmission2 txid tx) from to → () #
(Eq point, Eq announcement, Eq vote) ⇒ Eq (Message (LeiosNotify point announcement vote) from to) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type Methods (==) ∷ Message (LeiosNotify point announcement vote) from to → Message (LeiosNotify point announcement vote) from to → Bool # (/=) ∷ Message (LeiosNotify point announcement vote) from to → Message (LeiosNotify point announcement vote) from to → Bool #
(Eq tx, Eq reject) ⇒ Eq (Message (LocalTxSubmission tx reject) from to) #
Instance details Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type Methods (==) ∷ Message (LocalTxSubmission tx reject) from to → Message (LocalTxSubmission tx reject) from to → Bool # (/=) ∷ Message (LocalTxSubmission tx reject) from to → Message (LocalTxSubmission tx reject) from to → Bool #
(Eq objectId, Eq object) ⇒ Eq (Message (ObjectDiffusion objectId object) from to) #
Instance details Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type Methods (==) ∷ Message (ObjectDiffusion objectId object) from to → Message (ObjectDiffusion objectId object) from to → Bool # (/=) ∷ Message (ObjectDiffusion objectId object) from to → Message (ObjectDiffusion objectId object) from to → Bool #
(Eq txid, Eq tx) ⇒ Eq (Message (TxSubmission2 txid tx) from to) #
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods (==) ∷ Message (TxSubmission2 txid tx) from to → Message (TxSubmission2 txid tx) from to → Bool # (/=) ∷ Message (TxSubmission2 txid tx) from to → Message (TxSubmission2 txid tx) from to → Bool #
(Show point, Show announcement, Show vote) ⇒ Show (Message (LeiosNotify point announcement vote) from to) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type Methods showsPrec ∷ Int → Message (LeiosNotify point announcement vote) from to → ShowS # show ∷ Message (LeiosNotify point announcement vote) from to → String # showList ∷ [Message (LeiosNotify point announcement vote) from to] → ShowS #
(Show block, Show point) ⇒ Show (Message (BlockFetch block point) from to) #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods showsPrec ∷ Int → Message (BlockFetch block point) from to → ShowS # show ∷ Message (BlockFetch block point) from to → String # showList ∷ [Message (BlockFetch block point) from to] → ShowS #
(Show header, Show point, Show tip) ⇒ Show (Message (ChainSync header point tip) from to) #
Instance details Defined in Ouroboros.Network.Protocol.ChainSync.Type Methods showsPrec ∷ Int → Message (ChainSync header point tip) from to → ShowS # show ∷ Message (ChainSync header point tip) from to → String # showList ∷ [Message (ChainSync header point tip) from to] → ShowS #
Show (Message KeepAlive from to) #
Instance details Defined in Ouroboros.Network.Protocol.KeepAlive.Type Methods showsPrec ∷ Int → Message KeepAlive from to → ShowS # show ∷ Message KeepAlive from to → String # showList ∷ [Message KeepAlive from to] → ShowS #
(Show txid, Show tx, Show slot) ⇒ Show (Message (LocalTxMonitor txid tx slot) from to) #
Instance details Defined in Ouroboros.Network.Protocol.LocalTxMonitor.Type Methods showsPrec ∷ Int → Message (LocalTxMonitor txid tx slot) from to → ShowS # show ∷ Message (LocalTxMonitor txid tx slot) from to → String # showList ∷ [Message (LocalTxMonitor txid tx slot) from to] → ShowS #
(Show tx, Show reject) ⇒ Show (Message (LocalTxSubmission tx reject) from to) #
Instance details Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type Methods showsPrec ∷ Int → Message (LocalTxSubmission tx reject) from to → ShowS # show ∷ Message (LocalTxSubmission tx reject) from to → String # showList ∷ [Message (LocalTxSubmission tx reject) from to] → ShowS #
(Show objectId, Show object) ⇒ Show (Message (ObjectDiffusion objectId object) from to) #
Instance details Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type Methods showsPrec ∷ Int → Message (ObjectDiffusion objectId object) from to → ShowS # show ∷ Message (ObjectDiffusion objectId object) from to → String # showList ∷ [Message (ObjectDiffusion objectId object) from to] → ShowS #
Show peer ⇒ Show (Message (PeerSharing peer) from to) #
Instance details Defined in Ouroboros.Network.Protocol.PeerSharing.Type Methods showsPrec ∷ Int → Message (PeerSharing peer) from to → ShowS # show ∷ Message (PeerSharing peer) from to → String # showList ∷ [Message (PeerSharing peer) from to] → ShowS #
(Show txid, Show tx) ⇒ Show (Message (TxSubmission2 txid tx) from to) #
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods showsPrec ∷ Int → Message (TxSubmission2 txid tx) from to → ShowS # show ∷ Message (TxSubmission2 txid tx) from to → String # showList ∷ [Message (TxSubmission2 txid tx) from to] → ShowS #
data Message KeepAlive (from ∷ KeepAlive) (to ∷ KeepAlive) #
Instance details Defined in Ouroboros.Network.Protocol.KeepAlive.Type data Message KeepAlive (from ∷ KeepAlive) (to ∷ KeepAlive) where MsgKeepAlive ∷ Cookie → Message KeepAlive 'StClient 'StServer MsgKeepAliveResponse ∷ Cookie → Message KeepAlive 'StServer 'StClient MsgDone ∷ Message KeepAlive 'StClient 'StDone
data Message (PeerSharing peerAddress) (from ∷ PeerSharing peerAddress) (to ∷ PeerSharing peerAddress) #
Instance details Defined in Ouroboros.Network.Protocol.PeerSharing.Type data Message (PeerSharing peerAddress) (from ∷ PeerSharing peerAddress) (to ∷ PeerSharing peerAddress) where MsgShareRequest ∷ ∀ peerAddress. PeerSharingAmount → Message (PeerSharing peerAddress) ('StIdle ∷ PeerSharing peerAddress) ('StBusy ∷ PeerSharing peerAddress) MsgSharePeers ∷ ∀ peerAddress. [peerAddress] → Message (PeerSharing peerAddress) ('StBusy ∷ PeerSharing peerAddress) ('StIdle ∷ PeerSharing peerAddress) MsgDone ∷ ∀ peerAddress. Message (PeerSharing peerAddress) ('StIdle ∷ PeerSharing peerAddress) ('StDone ∷ PeerSharing peerAddress)
data Message (BlockFetch block point) (from ∷ BlockFetch block point) (to ∷ BlockFetch block point) #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type data Message (BlockFetch block point) (from ∷ BlockFetch block point) (to ∷ BlockFetch block point) where MsgRequestRange ∷ ∀ point block. ChainRange point → Message (BlockFetch block point) ('BFIdle ∷ BlockFetch block point) ('BFBusy ∷ BlockFetch block point) MsgStartBatch ∷ ∀ block point. Message (BlockFetch block point) ('BFBusy ∷ BlockFetch block point) ('BFStreaming ∷ BlockFetch block point) MsgNoBlocks ∷ ∀ block point. Message (BlockFetch block point) ('BFBusy ∷ BlockFetch block point) ('BFIdle ∷ BlockFetch block point) MsgBlock ∷ ∀ block point. block → Message (BlockFetch block point) ('BFStreaming ∷ BlockFetch block point) ('BFStreaming ∷ BlockFetch block point) MsgBatchDone ∷ ∀ block point. Message (BlockFetch block point) ('BFStreaming ∷ BlockFetch block point) ('BFIdle ∷ BlockFetch block point) MsgClientDone ∷ ∀ block point. Message (BlockFetch block point) ('BFIdle ∷ BlockFetch block point) ('BFDone ∷ BlockFetch block point)
data Message (LocalTxSubmission tx reject) (from ∷ LocalTxSubmission tx reject) (to ∷ LocalTxSubmission tx reject) #
Instance details Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type data Message (LocalTxSubmission tx reject) (from ∷ LocalTxSubmission tx reject) (to ∷ LocalTxSubmission tx reject) where MsgSubmitTx ∷ ∀ tx reject. tx → Message (LocalTxSubmission tx reject) ('StIdle ∷ LocalTxSubmission tx reject) ('StBusy ∷ LocalTxSubmission tx reject) MsgAcceptTx ∷ ∀ tx reject. Message (LocalTxSubmission tx reject) ('StBusy ∷ LocalTxSubmission tx reject) ('StIdle ∷ LocalTxSubmission tx reject) MsgRejectTx ∷ ∀ reject tx. reject → Message (LocalTxSubmission tx reject) ('StBusy ∷ LocalTxSubmission tx reject) ('StIdle ∷ LocalTxSubmission tx reject) MsgDone ∷ ∀ tx reject. Message (LocalTxSubmission tx reject) ('StIdle ∷ LocalTxSubmission tx reject) ('StDone ∷ LocalTxSubmission tx reject)
data Message (ObjectDiffusion objectId object) (from ∷ ObjectDiffusion objectId object) (to ∷ ObjectDiffusion objectId object) #
Instance details Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type data Message (ObjectDiffusion objectId object) (from ∷ ObjectDiffusion objectId object) (to ∷ ObjectDiffusion objectId object) where MsgInit ∷ ∀ objectId object. Message (ObjectDiffusion objectId object) ('StInit ∷ ObjectDiffusion objectId object) ('StIdle ∷ ObjectDiffusion objectId object) MsgRequestObjectIds ∷ ∀ (blocking ∷ StBlockingStyle) objectId object. SingBlockingStyle blocking → NumObjectIdsAck → NumObjectIdsReq → Message (ObjectDiffusion objectId object) ('StIdle ∷ ObjectDiffusion objectId object) ('StObjectIds blocking ∷ ObjectDiffusion objectId object) MsgReplyObjectIds ∷ ∀ (blocking ∷ StBlockingStyle) objectId object. BlockingReplyList blocking objectId → Message (ObjectDiffusion objectId object) ('StObjectIds blocking ∷ ObjectDiffusion objectId object) ('StIdle ∷ ObjectDiffusion objectId object) MsgRequestObjects ∷ ∀ objectId object. [objectId] → Message (ObjectDiffusion objectId object) ('StIdle ∷ ObjectDiffusion objectId object) ('StObjects ∷ ObjectDiffusion objectId object) MsgReplyObjects ∷ ∀ object objectId. [object] → Message (ObjectDiffusion objectId object) ('StObjects ∷ ObjectDiffusion objectId object) ('StIdle ∷ ObjectDiffusion objectId object) MsgDone ∷ ∀ objectId object. Message (ObjectDiffusion objectId object) ('StIdle ∷ ObjectDiffusion objectId object) ('StDone ∷ ObjectDiffusion objectId object)
data Message (TxSubmission2 txid tx) (from ∷ TxSubmission2 txid tx) (to ∷ TxSubmission2 txid tx) #
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type data Message (TxSubmission2 txid tx) (from ∷ TxSubmission2 txid tx) (to ∷ TxSubmission2 txid tx) where MsgInit ∷ ∀ txid tx. Message (TxSubmission2 txid tx) ('StInit ∷ TxSubmission2 txid tx) ('StIdle ∷ TxSubmission2 txid tx) MsgRequestTxIds ∷ ∀ (blocking ∷ StBlockingStyle) txid tx. SingI blocking ⇒ SingBlockingStyle blocking → NumTxIdsToAck → NumTxIdsToReq → Message (TxSubmission2 txid tx) ('StIdle ∷ TxSubmission2 txid tx) ('StTxIds blocking ∷ TxSubmission2 txid tx) MsgReplyTxIds ∷ ∀ (blocking ∷ StBlockingStyle) txid tx. BlockingReplyList blocking (txid, SizeInBytes) → Message (TxSubmission2 txid tx) ('StTxIds blocking ∷ TxSubmission2 txid tx) ('StIdle ∷ TxSubmission2 txid tx) MsgRequestTxs ∷ ∀ txid tx. [txid] → Message (TxSubmission2 txid tx) ('StIdle ∷ TxSubmission2 txid tx) ('StTxs ∷ TxSubmission2 txid tx) MsgReplyTxs ∷ ∀ tx txid. [tx] → Message (TxSubmission2 txid tx) ('StTxs ∷ TxSubmission2 txid tx) ('StIdle ∷ TxSubmission2 txid tx) MsgDone ∷ ∀ txid tx. Message (TxSubmission2 txid tx) ('StTxIds 'StBlocking ∷ TxSubmission2 txid tx) ('StDone ∷ TxSubmission2 txid tx)
data Message (LeiosNotify point announcement vote) (from ∷ LeiosNotify point announcement vote) (to ∷ LeiosNotify point announcement vote) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type data Message (LeiosNotify point announcement vote) (from ∷ LeiosNotify point announcement vote) (to ∷ LeiosNotify point announcement vote) where MsgDone ∷ ∀ point announcement vote. Message (LeiosNotify point announcement vote) ('StQuit ∷ LeiosNotify point announcement vote) ('StDone ∷ LeiosNotify point announcement vote) MsgQuit ∷ ∀ point announcement vote. Message (LeiosNotify point announcement vote) ('StIdle ∷ LeiosNotify point announcement vote) ('StQuit ∷ LeiosNotify point announcement vote) MsgCanceled ∷ ∀ point announcement vote. Message (LeiosNotify point announcement vote) ('StBusy ∷ LeiosNotify point announcement vote) ('StIdle ∷ LeiosNotify point announcement vote) MsgLeiosNotificationRequestNext ∷ ∀ point announcement vote. Message (LeiosNotify point announcement vote) ('StIdle ∷ LeiosNotify point announcement vote) ('StBusy ∷ LeiosNotify point announcement vote) MsgLeiosBlockAnnouncement ∷ ∀ announcement point vote. !announcement → Message (LeiosNotify point announcement vote) ('StBusy ∷ LeiosNotify point announcement vote) ('StIdle ∷ LeiosNotify point announcement vote) MsgLeiosBlockOffer ∷ ∀ point announcement vote. !point → !Word32 → Message (LeiosNotify point announcement vote) ('StBusy ∷ LeiosNotify point announcement vote) ('StIdle ∷ LeiosNotify point announcement vote) MsgLeiosBlockTxsOffer ∷ ∀ point announcement vote. !point → Message (LeiosNotify point announcement vote) ('StBusy ∷ LeiosNotify point announcement vote) ('StIdle ∷ LeiosNotify point announcement vote) MsgLeiosVotes ∷ ∀ vote point announcement. NonEmpty vote → Message (LeiosNotify point announcement vote) ('StBusy ∷ LeiosNotify point announcement vote) ('StIdle ∷ LeiosNotify point announcement vote)
data Message (ChainSync header point tip) (from ∷ ChainSync header point tip) (to ∷ ChainSync header point tip) #
Instance details Defined in Ouroboros.Network.Protocol.ChainSync.Type data Message (ChainSync header point tip) (from ∷ ChainSync header point tip) (to ∷ ChainSync header point tip) where MsgRequestNext ∷ ∀ header point tip. Message (ChainSync header point tip) ('StIdle ∷ ChainSync header point tip) ('StNext 'StCanAwait ∷ ChainSync header point tip) MsgAwaitReply ∷ ∀ header point tip. Message (ChainSync header point tip) ('StNext 'StCanAwait ∷ ChainSync header point tip) ('StNext 'StMustReply ∷ ChainSync header point tip) MsgRollForward ∷ ∀ header tip point (any ∷ StNextKind). header → tip → Message (ChainSync header point tip) ('StNext any ∷ ChainSync header point tip) ('StIdle ∷ ChainSync header point tip) MsgRollBackward ∷ ∀ point tip header (any ∷ StNextKind). point → tip → Message (ChainSync header point tip) ('StNext any ∷ ChainSync header point tip) ('StIdle ∷ ChainSync header point tip) MsgFindIntersect ∷ ∀ point header tip. [point] → Message (ChainSync header point tip) ('StIdle ∷ ChainSync header point tip) ('StIntersect ∷ ChainSync header point tip) MsgIntersectFound ∷ ∀ point tip header. point → tip → Message (ChainSync header point tip) ('StIntersect ∷ ChainSync header point tip) ('StIdle ∷ ChainSync header point tip) MsgIntersectNotFound ∷ ∀ tip header point. tip → Message (ChainSync header point tip) ('StIntersect ∷ ChainSync header point tip) ('StIdle ∷ ChainSync header point tip) MsgDone ∷ ∀ header point tip. Message (ChainSync header point tip) ('StIdle ∷ ChainSync header point tip) ('StDone ∷ ChainSync header point tip)
data Message (LocalStateQuery block point query) (from ∷ LocalStateQuery block point query) (to ∷ LocalStateQuery block point query) #
Instance details Defined in Ouroboros.Network.Protocol.LocalStateQuery.Type data Message (LocalStateQuery block point query) (from ∷ LocalStateQuery block point query) (to ∷ LocalStateQuery block point query) where MsgAcquire ∷ ∀ point block (query ∷ Type → Type). Target point → Message (LocalStateQuery block point query) ('StIdle ∷ LocalStateQuery block point query) ('StAcquiring ∷ LocalStateQuery block point query) MsgAcquired ∷ ∀ block point (query ∷ Type → Type). Message (LocalStateQuery block point query) ('StAcquiring ∷ LocalStateQuery block point query) ('StAcquired ∷ LocalStateQuery block point query) MsgFailure ∷ ∀ block point (query ∷ Type → Type). AcquireFailure → Message (LocalStateQuery block point query) ('StAcquiring ∷ LocalStateQuery block point query) ('StIdle ∷ LocalStateQuery block point query) MsgQuery ∷ ∀ (query ∷ Type → Type) result block point. query result → Message (LocalStateQuery block point query) ('StAcquired ∷ LocalStateQuery block point query) ('StQuerying result ∷ LocalStateQuery block point query) MsgResult ∷ ∀ result block point (query ∷ Type → Type). result → Message (LocalStateQuery block point query) ('StQuerying result ∷ LocalStateQuery block point query) ('StAcquired ∷ LocalStateQuery block point query) MsgRelease ∷ ∀ block point (query ∷ Type → Type). Message (LocalStateQuery block point query) ('StAcquired ∷ LocalStateQuery block point query) ('StIdle ∷ LocalStateQuery block point query) MsgReAcquire ∷ ∀ point block (query ∷ Type → Type). Target point → Message (LocalStateQuery block point query) ('StAcquired ∷ LocalStateQuery block point query) ('StAcquiring ∷ LocalStateQuery block point query) MsgDone ∷ ∀ block point (query ∷ Type → Type). Message (LocalStateQuery block point query) ('StIdle ∷ LocalStateQuery block point query) ('StDone ∷ LocalStateQuery block point query)
data Message (LocalTxMonitor txid tx slot) (from ∷ LocalTxMonitor txid tx slot) (to ∷ LocalTxMonitor txid tx slot) #
Instance details Defined in Ouroboros.Network.Protocol.LocalTxMonitor.Type data Message (LocalTxMonitor txid tx slot) (from ∷ LocalTxMonitor txid tx slot) (to ∷ LocalTxMonitor txid tx slot) where MsgAcquire ∷ ∀ txid tx slot. Message (LocalTxMonitor txid tx slot) ('StIdle ∷ LocalTxMonitor txid tx slot) ('StAcquiring ∷ LocalTxMonitor txid tx slot) MsgAcquired ∷ ∀ slot txid tx. slot → Message (LocalTxMonitor txid tx slot) ('StAcquiring ∷ LocalTxMonitor txid tx slot) ('StAcquired ∷ LocalTxMonitor txid tx slot) MsgAwaitAcquire ∷ ∀ txid tx slot. Message (LocalTxMonitor txid tx slot) ('StAcquired ∷ LocalTxMonitor txid tx slot) ('StAcquiring ∷ LocalTxMonitor txid tx slot) MsgNextTx ∷ ∀ txid tx slot. Message (LocalTxMonitor txid tx slot) ('StAcquired ∷ LocalTxMonitor txid tx slot) ('StBusy 'NextTx ∷ LocalTxMonitor txid tx slot) MsgReplyNextTx ∷ ∀ tx txid slot. Maybe tx → Message (LocalTxMonitor txid tx slot) ('StBusy 'NextTx ∷ LocalTxMonitor txid tx slot) ('StAcquired ∷ LocalTxMonitor txid tx slot) MsgHasTx ∷ ∀ txid tx slot. txid → Message (LocalTxMonitor txid tx slot) ('StAcquired ∷ LocalTxMonitor txid tx slot) ('StBusy 'HasTx ∷ LocalTxMonitor txid tx slot) MsgReplyHasTx ∷ ∀ txid tx slot. Bool → Message (LocalTxMonitor txid tx slot) ('StBusy 'HasTx ∷ LocalTxMonitor txid tx slot) ('StAcquired ∷ LocalTxMonitor txid tx slot) MsgGetSizes ∷ ∀ txid tx slot. Message (LocalTxMonitor txid tx slot) ('StAcquired ∷ LocalTxMonitor txid tx slot) ('StBusy 'GetSizes ∷ LocalTxMonitor txid tx slot) MsgReplyGetSizes ∷ ∀ txid tx slot. MempoolSizeAndCapacity → Message (LocalTxMonitor txid tx slot) ('StBusy 'GetSizes ∷ LocalTxMonitor txid tx slot) ('StAcquired ∷ LocalTxMonitor txid tx slot) MsgGetMeasures ∷ ∀ txid tx slot. Message (LocalTxMonitor txid tx slot) ('StAcquired ∷ LocalTxMonitor txid tx slot) ('StBusy 'GetMeasures ∷ LocalTxMonitor txid tx slot) MsgReplyGetMeasures ∷ ∀ txid tx slot. MempoolMeasures → Message (LocalTxMonitor txid tx slot) ('StBusy 'GetMeasures ∷ LocalTxMonitor txid tx slot) ('StAcquired ∷ LocalTxMonitor txid tx slot) MsgRelease ∷ ∀ txid tx slot. Message (LocalTxMonitor txid tx slot) ('StAcquired ∷ LocalTxMonitor txid tx slot) ('StIdle ∷ LocalTxMonitor txid tx slot) MsgDone ∷ ∀ txid tx slot. Message (LocalTxMonitor txid tx slot) ('StIdle ∷ LocalTxMonitor txid tx slot) ('StDone ∷ LocalTxMonitor txid tx slot)

data SingLeiosNotify (st ∷ LeiosNotify point announcement vote) where Source #

Constructors

SingIdle ∷ ∀ {point} {announcement} {vote}. SingLeiosNotify ('StIdle ∷ LeiosNotify point announcement vote)
SingBusy ∷ ∀ {point} {announcement} {vote}. SingLeiosNotify ('StBusy ∷ LeiosNotify point announcement vote)
SingQuit ∷ ∀ {point} {announcement} {vote}. SingLeiosNotify ('StQuit ∷ LeiosNotify point announcement vote)
SingDone ∷ ∀ {point} {announcement} {vote}. SingLeiosNotify ('StDone ∷ LeiosNotify point announcement vote)

Instances

Instances details

Show (SingLeiosNotify st) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.LeiosNotify.Type Methods showsPrec ∷ Int → SingLeiosNotify st → ShowS # show ∷ SingLeiosNotify st → String # showList ∷ [SingLeiosNotify st] → ShowS #

byteLimitsLeiosNotify ∷ (bytes → Word) → ProtocolSizeLimits (LeiosNotify point announcement vote) bytes Source #

codecLeiosNotify ∷ ∀ point announcement vote (m ∷ Type → Type). MonadST m ⇒ (point → Encoding) → (∀ s. Decoder s point) → (announcement → Encoding) → (∀ s. Decoder s announcement) → (vote → Encoding) → (∀ s. Decoder s vote) → Codec (LeiosNotify point announcement vote) DeserialiseFailure m ByteString Source #

codecLeiosNotifyId ∷ ∀ point announcement vote (m ∷ Type → Type). Monad m ⇒ Codec (LeiosNotify point announcement vote) CodecFailure m (AnyMessage (LeiosNotify point announcement vote)) Source #

maxLeiosVotesPerMessage ∷ Int Source #

The most votes one MsgLeiosVotes may carry.

It keeps every reply within maxLeiosNotifyReplyBytes.

maxLeiosNotifyReplyBytes ∷ Word Source #

The most bytes one reply may take, 1.5 KiB.

A vote encodes to at most 88 bytes, so a MsgLeiosVotes of maxLeiosVotesPerMessage votes takes at most 1411 bytes. An announcing header is bounded by the ledger's maximum header size, 1100 bytes on mainnet; raising that parameter past this would need this raised too. An offer takes tens of bytes.

timeLimitsLeiosNotify ∷ ProtocolTimeLimits (LeiosNotify point announcement vote) Source #