Safe Haskell	None
Language	Haskell2010

DMQ.Protocol.LocalMsgSubmission.Type

Contents

re-exports

Description

This module provides the type of LocalMsgProtocol via LocalTxSubmission

Synopsis

type LocalMsgSubmission sig = LocalTxSubmission sig SigMempoolFail
data SigMempoolFail
- = SigInvalid Text
- | SigDuplicate
- | SigExpired
- | SigResultOther Text
module Network.TypedProtocol.Core
data family Message ps (st :: ps) (st' :: ps)
data family Message ps (st :: ps) (st' :: ps)
data LocalTxSubmission tx reject where
- StIdle :: forall tx reject. LocalTxSubmission tx reject
- StBusy :: forall tx reject. LocalTxSubmission tx reject
- StDone :: forall tx reject. LocalTxSubmission tx reject
data SingLocalTxSubmission (k :: LocalTxSubmission tx rejct) where
- SingIdle :: forall {tx} {rejct}. SingLocalTxSubmission ('StIdle :: LocalTxSubmission tx rejct)
- SingBusy :: forall {tx} {rejct}. SingLocalTxSubmission ('StBusy :: LocalTxSubmission tx rejct)
- SingDone :: forall {tx} {rejct}. SingLocalTxSubmission ('StDone :: LocalTxSubmission tx rejct)
data SubmitResult reason
- = SubmitSuccess
- | SubmitFail reason

Documentation

type LocalMsgSubmission sig = LocalTxSubmission sig SigMempoolFail Source #

The LocalMsgSubmission protocol is an alias for the LocalTxSubmission

data SigMempoolFail Source #

The type of failures when adding to the mempool

Constructors

SigInvalid Text
SigDuplicate
SigExpired
SigResultOther Text

Instances

Instances details

ToJSON SigMempoolFail Source #
Instance details Defined in DMQ.Protocol.LocalMsgSubmission.Type Methods toJSON :: SigMempoolFail -> Value # toEncoding :: SigMempoolFail -> Encoding # toJSONList :: [SigMempoolFail] -> Value # toEncodingList :: [SigMempoolFail] -> Encoding # omitField :: SigMempoolFail -> Bool #
Show SigMempoolFail Source #
Instance details Defined in DMQ.Protocol.LocalMsgSubmission.Type Methods showsPrec :: Int -> SigMempoolFail -> ShowS # show :: SigMempoolFail -> String # showList :: [SigMempoolFail] -> ShowS #
Eq SigMempoolFail Source #
Instance details Defined in DMQ.Protocol.LocalMsgSubmission.Type Methods (==) :: SigMempoolFail -> SigMempoolFail -> Bool # (/=) :: SigMempoolFail -> SigMempoolFail -> Bool #
ShowProxy SigMempoolFail Source #
Instance details Defined in DMQ.Protocol.LocalMsgSubmission.Type Methods showProxy :: Proxy SigMempoolFail -> String

re-exports

module Network.TypedProtocol.Core

data family Message ps (st :: ps) (st' :: ps) #

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 vNumber, NFData vParams) => NFData (Message (Handshake vNumber vParams) from to)
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Type Methods rnf :: Message (Handshake vNumber vParams) 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 -> () #
(forall 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 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 -> () #
Show msg => Show (Message (LocalMsgNotification msg) from to) Source #
Instance details Defined in DMQ.Protocol.LocalMsgNotification.Type Methods showsPrec :: Int -> Message (LocalMsgNotification msg) from to -> ShowS # show :: Message (LocalMsgNotification msg) from to -> String # showList :: [Message (LocalMsgNotification msg) from to] -> ShowS #
(Show vNumber, Show vParams) => Show (Message (Handshake vNumber vParams) from to)
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Type Methods showsPrec :: Int -> Message (Handshake vNumber vParams) from to -> ShowS # show :: Message (Handshake vNumber vParams) from to -> String # showList :: [Message (Handshake vNumber vParams) 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 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 #
Eq msg => Eq (Message (LocalMsgNotification msg) from to) Source #
Instance details Defined in DMQ.Protocol.LocalMsgNotification.Type Methods (==) :: Message (LocalMsgNotification msg) from to -> Message (LocalMsgNotification msg) from to -> Bool # (/=) :: Message (LocalMsgNotification msg) from to -> Message (LocalMsgNotification msg) 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 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 #
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 (LocalMsgNotification msg) (from :: LocalMsgNotification msg) (to :: LocalMsgNotification msg) Source #
Instance details Defined in DMQ.Protocol.LocalMsgNotification.Type data Message (LocalMsgNotification msg) (from :: LocalMsgNotification msg) (to :: LocalMsgNotification msg) where MsgRequest :: forall (blocking :: StBlockingStyle) msg. SingI blocking => SingBlockingStyle blocking -> Message (LocalMsgNotification msg) ('StIdle :: LocalMsgNotification msg) ('StBusy blocking :: LocalMsgNotification msg) MsgReply :: forall (blocking :: StBlockingStyle) msg. BlockingReplyList blocking msg -> HasMore -> Message (LocalMsgNotification msg) ('StBusy blocking :: LocalMsgNotification msg) ('StIdle :: LocalMsgNotification msg) MsgClientDone :: forall msg. Message (LocalMsgNotification msg) ('StIdle :: LocalMsgNotification msg) ('StDone :: LocalMsgNotification msg)
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 :: forall peerAddress. PeerSharingAmount -> Message (PeerSharing peerAddress) ('StIdle :: PeerSharing peerAddress) ('StBusy :: PeerSharing peerAddress) MsgSharePeers :: forall peerAddress. [peerAddress] -> Message (PeerSharing peerAddress) ('StBusy :: PeerSharing peerAddress) ('StIdle :: PeerSharing peerAddress) MsgDone :: forall 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 :: forall point block. ChainRange point -> Message (BlockFetch block point) ('BFIdle :: BlockFetch block point) ('BFBusy :: BlockFetch block point) MsgStartBatch :: forall block point. Message (BlockFetch block point) ('BFBusy :: BlockFetch block point) ('BFStreaming :: BlockFetch block point) MsgNoBlocks :: forall block point. Message (BlockFetch block point) ('BFBusy :: BlockFetch block point) ('BFIdle :: BlockFetch block point) MsgBlock :: forall block point. block -> Message (BlockFetch block point) ('BFStreaming :: BlockFetch block point) ('BFStreaming :: BlockFetch block point) MsgBatchDone :: forall block point. Message (BlockFetch block point) ('BFStreaming :: BlockFetch block point) ('BFIdle :: BlockFetch block point) MsgClientDone :: forall 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 :: forall tx reject. tx -> Message (LocalTxSubmission tx reject) ('StIdle :: LocalTxSubmission tx reject) ('StBusy :: LocalTxSubmission tx reject) MsgAcceptTx :: forall tx reject. Message (LocalTxSubmission tx reject) ('StBusy :: LocalTxSubmission tx reject) ('StIdle :: LocalTxSubmission tx reject) MsgRejectTx :: forall reject tx. reject -> Message (LocalTxSubmission tx reject) ('StBusy :: LocalTxSubmission tx reject) ('StIdle :: LocalTxSubmission tx reject) MsgDone :: forall tx reject. Message (LocalTxSubmission tx reject) ('StIdle :: LocalTxSubmission tx reject) ('StDone :: LocalTxSubmission tx reject)
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 :: forall txid tx. Message (TxSubmission2 txid tx) ('StInit :: TxSubmission2 txid tx) ('StIdle :: TxSubmission2 txid tx) MsgRequestTxIds :: forall (blocking :: StBlockingStyle) txid tx. SingI blocking => SingBlockingStyle blocking -> NumTxIdsToAck -> NumTxIdsToReq -> Message (TxSubmission2 txid tx) ('StIdle :: TxSubmission2 txid tx) ('StTxIds blocking :: TxSubmission2 txid tx) MsgReplyTxIds :: forall (blocking :: StBlockingStyle) txid tx. BlockingReplyList blocking (txid, SizeInBytes) -> Message (TxSubmission2 txid tx) ('StTxIds blocking :: TxSubmission2 txid tx) ('StIdle :: TxSubmission2 txid tx) MsgRequestTxs :: forall txid tx. [txid] -> Message (TxSubmission2 txid tx) ('StIdle :: TxSubmission2 txid tx) ('StTxs :: TxSubmission2 txid tx) MsgReplyTxs :: forall tx txid. [tx] -> Message (TxSubmission2 txid tx) ('StTxs :: TxSubmission2 txid tx) ('StIdle :: TxSubmission2 txid tx) MsgDone :: forall txid tx. Message (TxSubmission2 txid tx) ('StTxIds 'StBlocking :: TxSubmission2 txid tx) ('StDone :: TxSubmission2 txid tx)
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 :: forall header point tip. Message (ChainSync header point tip) ('StIdle :: ChainSync header point tip) ('StNext 'StCanAwait :: ChainSync header point tip) MsgAwaitReply :: forall header point tip. Message (ChainSync header point tip) ('StNext 'StCanAwait :: ChainSync header point tip) ('StNext 'StMustReply :: ChainSync header point tip) MsgRollForward :: forall header tip point (any :: StNextKind). header -> tip -> Message (ChainSync header point tip) ('StNext any :: ChainSync header point tip) ('StIdle :: ChainSync header point tip) MsgRollBackward :: forall point tip header (any :: StNextKind). point -> tip -> Message (ChainSync header point tip) ('StNext any :: ChainSync header point tip) ('StIdle :: ChainSync header point tip) MsgFindIntersect :: forall point header tip. [point] -> Message (ChainSync header point tip) ('StIdle :: ChainSync header point tip) ('StIntersect :: ChainSync header point tip) MsgIntersectFound :: forall point tip header. point -> tip -> Message (ChainSync header point tip) ('StIntersect :: ChainSync header point tip) ('StIdle :: ChainSync header point tip) MsgIntersectNotFound :: forall tip header point. tip -> Message (ChainSync header point tip) ('StIntersect :: ChainSync header point tip) ('StIdle :: ChainSync header point tip) MsgDone :: forall 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 :: forall point block (query :: Type -> Type). Target point -> Message (LocalStateQuery block point query) ('StIdle :: LocalStateQuery block point query) ('StAcquiring :: LocalStateQuery block point query) MsgAcquired :: forall block point (query :: Type -> Type). Message (LocalStateQuery block point query) ('StAcquiring :: LocalStateQuery block point query) ('StAcquired :: LocalStateQuery block point query) MsgFailure :: forall block point (query :: Type -> Type). AcquireFailure -> Message (LocalStateQuery block point query) ('StAcquiring :: LocalStateQuery block point query) ('StIdle :: LocalStateQuery block point query) MsgQuery :: forall (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 :: forall result block point (query :: Type -> Type). result -> Message (LocalStateQuery block point query) ('StQuerying result :: LocalStateQuery block point query) ('StAcquired :: LocalStateQuery block point query) MsgRelease :: forall block point (query :: Type -> Type). Message (LocalStateQuery block point query) ('StAcquired :: LocalStateQuery block point query) ('StIdle :: LocalStateQuery block point query) MsgReAcquire :: forall point block (query :: Type -> Type). Target point -> Message (LocalStateQuery block point query) ('StAcquired :: LocalStateQuery block point query) ('StAcquiring :: LocalStateQuery block point query) MsgDone :: forall 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 :: forall txid tx slot. Message (LocalTxMonitor txid tx slot) ('StIdle :: LocalTxMonitor txid tx slot) ('StAcquiring :: LocalTxMonitor txid tx slot) MsgAcquired :: forall slot txid tx. slot -> Message (LocalTxMonitor txid tx slot) ('StAcquiring :: LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) MsgAwaitAcquire :: forall txid tx slot. Message (LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) ('StAcquiring :: LocalTxMonitor txid tx slot) MsgNextTx :: forall txid tx slot. Message (LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) ('StBusy 'NextTx :: LocalTxMonitor txid tx slot) MsgReplyNextTx :: forall tx txid slot. Maybe tx -> Message (LocalTxMonitor txid tx slot) ('StBusy 'NextTx :: LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) MsgHasTx :: forall txid tx slot. txid -> Message (LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) ('StBusy 'HasTx :: LocalTxMonitor txid tx slot) MsgReplyHasTx :: forall txid tx slot. Bool -> Message (LocalTxMonitor txid tx slot) ('StBusy 'HasTx :: LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) MsgGetSizes :: forall txid tx slot. Message (LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) ('StBusy 'GetSizes :: LocalTxMonitor txid tx slot) MsgReplyGetSizes :: forall txid tx slot. MempoolSizeAndCapacity -> Message (LocalTxMonitor txid tx slot) ('StBusy 'GetSizes :: LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) MsgGetMeasures :: forall txid tx slot. Message (LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) ('StBusy 'GetMeasures :: LocalTxMonitor txid tx slot) MsgReplyGetMeasures :: forall txid tx slot. MempoolMeasures -> Message (LocalTxMonitor txid tx slot) ('StBusy 'GetMeasures :: LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) MsgRelease :: forall txid tx slot. Message (LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) ('StIdle :: LocalTxMonitor txid tx slot) MsgDone :: forall txid tx slot. Message (LocalTxMonitor txid tx slot) ('StIdle :: LocalTxMonitor txid tx slot) ('StDone :: LocalTxMonitor txid tx slot)
data Message (Handshake vNumber vParams) (from :: Handshake vNumber vParams) (to :: Handshake vNumber vParams)
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Type data Message (Handshake vNumber vParams) (from :: Handshake vNumber vParams) (to :: Handshake vNumber vParams) where MsgProposeVersions :: forall vNumber1 vParams1. Map vNumber1 vParams1 -> Message (Handshake vNumber1 vParams1) ('StPropose :: Handshake vNumber1 vParams1) ('StConfirm :: Handshake vNumber1 vParams1) MsgReplyVersions :: forall vNumber1 vParams1. Map vNumber1 vParams1 -> Message (Handshake vNumber1 vParams1) ('StConfirm :: Handshake vNumber1 vParams1) ('StDone :: Handshake vNumber1 vParams1) MsgQueryReply :: forall vNumber1 vParams1. Map vNumber1 vParams1 -> Message (Handshake vNumber1 vParams1) ('StConfirm :: Handshake vNumber1 vParams1) ('StDone :: Handshake vNumber1 vParams1) MsgAcceptVersion :: forall vNumber1 vParams1. vNumber1 -> vParams1 -> Message (Handshake vNumber1 vParams1) ('StConfirm :: Handshake vNumber1 vParams1) ('StDone :: Handshake vNumber1 vParams1) MsgRefuse :: forall {k1} vNumber1 (vParams :: k1). RefuseReason vNumber1 -> Message (Handshake vNumber1 vParams) ('StConfirm :: Handshake vNumber1 vParams) ('StDone :: Handshake vNumber1 vParams)

data family Message ps (st :: ps) (st' :: ps) #

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 vNumber, NFData vParams) => NFData (Message (Handshake vNumber vParams) from to)
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Type Methods rnf :: Message (Handshake vNumber vParams) 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 -> () #
(forall 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 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 -> () #
Show msg => Show (Message (LocalMsgNotification msg) from to) Source #
Instance details Defined in DMQ.Protocol.LocalMsgNotification.Type Methods showsPrec :: Int -> Message (LocalMsgNotification msg) from to -> ShowS # show :: Message (LocalMsgNotification msg) from to -> String # showList :: [Message (LocalMsgNotification msg) from to] -> ShowS #
(Show vNumber, Show vParams) => Show (Message (Handshake vNumber vParams) from to)
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Type Methods showsPrec :: Int -> Message (Handshake vNumber vParams) from to -> ShowS # show :: Message (Handshake vNumber vParams) from to -> String # showList :: [Message (Handshake vNumber vParams) 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 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 #
Eq msg => Eq (Message (LocalMsgNotification msg) from to) Source #
Instance details Defined in DMQ.Protocol.LocalMsgNotification.Type Methods (==) :: Message (LocalMsgNotification msg) from to -> Message (LocalMsgNotification msg) from to -> Bool # (/=) :: Message (LocalMsgNotification msg) from to -> Message (LocalMsgNotification msg) 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 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 #
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 (LocalMsgNotification msg) (from :: LocalMsgNotification msg) (to :: LocalMsgNotification msg) Source #
Instance details Defined in DMQ.Protocol.LocalMsgNotification.Type data Message (LocalMsgNotification msg) (from :: LocalMsgNotification msg) (to :: LocalMsgNotification msg) where MsgRequest :: forall (blocking :: StBlockingStyle) msg. SingI blocking => SingBlockingStyle blocking -> Message (LocalMsgNotification msg) ('StIdle :: LocalMsgNotification msg) ('StBusy blocking :: LocalMsgNotification msg) MsgReply :: forall (blocking :: StBlockingStyle) msg. BlockingReplyList blocking msg -> HasMore -> Message (LocalMsgNotification msg) ('StBusy blocking :: LocalMsgNotification msg) ('StIdle :: LocalMsgNotification msg) MsgClientDone :: forall msg. Message (LocalMsgNotification msg) ('StIdle :: LocalMsgNotification msg) ('StDone :: LocalMsgNotification msg)
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 :: forall peerAddress. PeerSharingAmount -> Message (PeerSharing peerAddress) ('StIdle :: PeerSharing peerAddress) ('StBusy :: PeerSharing peerAddress) MsgSharePeers :: forall peerAddress. [peerAddress] -> Message (PeerSharing peerAddress) ('StBusy :: PeerSharing peerAddress) ('StIdle :: PeerSharing peerAddress) MsgDone :: forall 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 :: forall point block. ChainRange point -> Message (BlockFetch block point) ('BFIdle :: BlockFetch block point) ('BFBusy :: BlockFetch block point) MsgStartBatch :: forall block point. Message (BlockFetch block point) ('BFBusy :: BlockFetch block point) ('BFStreaming :: BlockFetch block point) MsgNoBlocks :: forall block point. Message (BlockFetch block point) ('BFBusy :: BlockFetch block point) ('BFIdle :: BlockFetch block point) MsgBlock :: forall block point. block -> Message (BlockFetch block point) ('BFStreaming :: BlockFetch block point) ('BFStreaming :: BlockFetch block point) MsgBatchDone :: forall block point. Message (BlockFetch block point) ('BFStreaming :: BlockFetch block point) ('BFIdle :: BlockFetch block point) MsgClientDone :: forall 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 :: forall tx reject. tx -> Message (LocalTxSubmission tx reject) ('StIdle :: LocalTxSubmission tx reject) ('StBusy :: LocalTxSubmission tx reject) MsgAcceptTx :: forall tx reject. Message (LocalTxSubmission tx reject) ('StBusy :: LocalTxSubmission tx reject) ('StIdle :: LocalTxSubmission tx reject) MsgRejectTx :: forall reject tx. reject -> Message (LocalTxSubmission tx reject) ('StBusy :: LocalTxSubmission tx reject) ('StIdle :: LocalTxSubmission tx reject) MsgDone :: forall tx reject. Message (LocalTxSubmission tx reject) ('StIdle :: LocalTxSubmission tx reject) ('StDone :: LocalTxSubmission tx reject)
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 :: forall txid tx. Message (TxSubmission2 txid tx) ('StInit :: TxSubmission2 txid tx) ('StIdle :: TxSubmission2 txid tx) MsgRequestTxIds :: forall (blocking :: StBlockingStyle) txid tx. SingI blocking => SingBlockingStyle blocking -> NumTxIdsToAck -> NumTxIdsToReq -> Message (TxSubmission2 txid tx) ('StIdle :: TxSubmission2 txid tx) ('StTxIds blocking :: TxSubmission2 txid tx) MsgReplyTxIds :: forall (blocking :: StBlockingStyle) txid tx. BlockingReplyList blocking (txid, SizeInBytes) -> Message (TxSubmission2 txid tx) ('StTxIds blocking :: TxSubmission2 txid tx) ('StIdle :: TxSubmission2 txid tx) MsgRequestTxs :: forall txid tx. [txid] -> Message (TxSubmission2 txid tx) ('StIdle :: TxSubmission2 txid tx) ('StTxs :: TxSubmission2 txid tx) MsgReplyTxs :: forall tx txid. [tx] -> Message (TxSubmission2 txid tx) ('StTxs :: TxSubmission2 txid tx) ('StIdle :: TxSubmission2 txid tx) MsgDone :: forall txid tx. Message (TxSubmission2 txid tx) ('StTxIds 'StBlocking :: TxSubmission2 txid tx) ('StDone :: TxSubmission2 txid tx)
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 :: forall header point tip. Message (ChainSync header point tip) ('StIdle :: ChainSync header point tip) ('StNext 'StCanAwait :: ChainSync header point tip) MsgAwaitReply :: forall header point tip. Message (ChainSync header point tip) ('StNext 'StCanAwait :: ChainSync header point tip) ('StNext 'StMustReply :: ChainSync header point tip) MsgRollForward :: forall header tip point (any :: StNextKind). header -> tip -> Message (ChainSync header point tip) ('StNext any :: ChainSync header point tip) ('StIdle :: ChainSync header point tip) MsgRollBackward :: forall point tip header (any :: StNextKind). point -> tip -> Message (ChainSync header point tip) ('StNext any :: ChainSync header point tip) ('StIdle :: ChainSync header point tip) MsgFindIntersect :: forall point header tip. [point] -> Message (ChainSync header point tip) ('StIdle :: ChainSync header point tip) ('StIntersect :: ChainSync header point tip) MsgIntersectFound :: forall point tip header. point -> tip -> Message (ChainSync header point tip) ('StIntersect :: ChainSync header point tip) ('StIdle :: ChainSync header point tip) MsgIntersectNotFound :: forall tip header point. tip -> Message (ChainSync header point tip) ('StIntersect :: ChainSync header point tip) ('StIdle :: ChainSync header point tip) MsgDone :: forall 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 :: forall point block (query :: Type -> Type). Target point -> Message (LocalStateQuery block point query) ('StIdle :: LocalStateQuery block point query) ('StAcquiring :: LocalStateQuery block point query) MsgAcquired :: forall block point (query :: Type -> Type). Message (LocalStateQuery block point query) ('StAcquiring :: LocalStateQuery block point query) ('StAcquired :: LocalStateQuery block point query) MsgFailure :: forall block point (query :: Type -> Type). AcquireFailure -> Message (LocalStateQuery block point query) ('StAcquiring :: LocalStateQuery block point query) ('StIdle :: LocalStateQuery block point query) MsgQuery :: forall (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 :: forall result block point (query :: Type -> Type). result -> Message (LocalStateQuery block point query) ('StQuerying result :: LocalStateQuery block point query) ('StAcquired :: LocalStateQuery block point query) MsgRelease :: forall block point (query :: Type -> Type). Message (LocalStateQuery block point query) ('StAcquired :: LocalStateQuery block point query) ('StIdle :: LocalStateQuery block point query) MsgReAcquire :: forall point block (query :: Type -> Type). Target point -> Message (LocalStateQuery block point query) ('StAcquired :: LocalStateQuery block point query) ('StAcquiring :: LocalStateQuery block point query) MsgDone :: forall 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 :: forall txid tx slot. Message (LocalTxMonitor txid tx slot) ('StIdle :: LocalTxMonitor txid tx slot) ('StAcquiring :: LocalTxMonitor txid tx slot) MsgAcquired :: forall slot txid tx. slot -> Message (LocalTxMonitor txid tx slot) ('StAcquiring :: LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) MsgAwaitAcquire :: forall txid tx slot. Message (LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) ('StAcquiring :: LocalTxMonitor txid tx slot) MsgNextTx :: forall txid tx slot. Message (LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) ('StBusy 'NextTx :: LocalTxMonitor txid tx slot) MsgReplyNextTx :: forall tx txid slot. Maybe tx -> Message (LocalTxMonitor txid tx slot) ('StBusy 'NextTx :: LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) MsgHasTx :: forall txid tx slot. txid -> Message (LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) ('StBusy 'HasTx :: LocalTxMonitor txid tx slot) MsgReplyHasTx :: forall txid tx slot. Bool -> Message (LocalTxMonitor txid tx slot) ('StBusy 'HasTx :: LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) MsgGetSizes :: forall txid tx slot. Message (LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) ('StBusy 'GetSizes :: LocalTxMonitor txid tx slot) MsgReplyGetSizes :: forall txid tx slot. MempoolSizeAndCapacity -> Message (LocalTxMonitor txid tx slot) ('StBusy 'GetSizes :: LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) MsgGetMeasures :: forall txid tx slot. Message (LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) ('StBusy 'GetMeasures :: LocalTxMonitor txid tx slot) MsgReplyGetMeasures :: forall txid tx slot. MempoolMeasures -> Message (LocalTxMonitor txid tx slot) ('StBusy 'GetMeasures :: LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) MsgRelease :: forall txid tx slot. Message (LocalTxMonitor txid tx slot) ('StAcquired :: LocalTxMonitor txid tx slot) ('StIdle :: LocalTxMonitor txid tx slot) MsgDone :: forall txid tx slot. Message (LocalTxMonitor txid tx slot) ('StIdle :: LocalTxMonitor txid tx slot) ('StDone :: LocalTxMonitor txid tx slot)
data Message (Handshake vNumber vParams) (from :: Handshake vNumber vParams) (to :: Handshake vNumber vParams)
Instance details Defined in Ouroboros.Network.Protocol.Handshake.Type data Message (Handshake vNumber vParams) (from :: Handshake vNumber vParams) (to :: Handshake vNumber vParams) where MsgProposeVersions :: forall vNumber1 vParams1. Map vNumber1 vParams1 -> Message (Handshake vNumber1 vParams1) ('StPropose :: Handshake vNumber1 vParams1) ('StConfirm :: Handshake vNumber1 vParams1) MsgReplyVersions :: forall vNumber1 vParams1. Map vNumber1 vParams1 -> Message (Handshake vNumber1 vParams1) ('StConfirm :: Handshake vNumber1 vParams1) ('StDone :: Handshake vNumber1 vParams1) MsgQueryReply :: forall vNumber1 vParams1. Map vNumber1 vParams1 -> Message (Handshake vNumber1 vParams1) ('StConfirm :: Handshake vNumber1 vParams1) ('StDone :: Handshake vNumber1 vParams1) MsgAcceptVersion :: forall vNumber1 vParams1. vNumber1 -> vParams1 -> Message (Handshake vNumber1 vParams1) ('StConfirm :: Handshake vNumber1 vParams1) ('StDone :: Handshake vNumber1 vParams1) MsgRefuse :: forall {k1} vNumber1 (vParams :: k1). RefuseReason vNumber1 -> Message (Handshake vNumber1 vParams) ('StConfirm :: Handshake vNumber1 vParams) ('StDone :: Handshake vNumber1 vParams)

data LocalTxSubmission tx reject where #

Constructors

StIdle :: forall tx reject. LocalTxSubmission tx reject
StBusy :: forall tx reject. LocalTxSubmission tx reject
StDone :: forall tx reject. LocalTxSubmission tx reject

Instances

Instances details

(ShowProxy tx, ShowProxy reject) => ShowProxy (LocalTxSubmission tx reject :: Type)

Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type

Methods

showProxy :: Proxy (LocalTxSubmission tx reject) -> String

(ToJSON tx, ToJSON reason) => ToJSON (AnyMessage (LocalTxSubmission tx reason))

Instance details

Defined in Ouroboros.Network.OrphanInstances

Methods

toJSON :: AnyMessage (LocalTxSubmission tx reason) -> Value #

toEncoding :: AnyMessage (LocalTxSubmission tx reason) -> Encoding #

toJSONList :: [AnyMessage (LocalTxSubmission tx reason)] -> Value #

toEncodingList :: [AnyMessage (LocalTxSubmission tx reason)] -> Encoding #

omitField :: AnyMessage (LocalTxSubmission tx reason) -> Bool #

Protocol (LocalTxSubmission tx reject)

Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type

Associated Types

type StateToken
Instance details Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type type StateToken = SingLocalTxSubmission :: LocalTxSubmission tx reject -> Type

StateTokenI ('StBusy :: LocalTxSubmission tx reject)

Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type

Methods

stateToken :: StateToken ('StBusy :: LocalTxSubmission tx reject) #

StateTokenI ('StDone :: LocalTxSubmission tx reject)

Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type

Methods

stateToken :: StateToken ('StDone :: LocalTxSubmission tx reject) #

StateTokenI ('StIdle :: LocalTxSubmission tx reject)

Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type

Methods

stateToken :: StateToken ('StIdle :: LocalTxSubmission tx reject) #

(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 -> () #

(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 #

(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 #

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 :: forall tx reject. tx -> Message (LocalTxSubmission tx reject) ('StIdle :: LocalTxSubmission tx reject) ('StBusy :: LocalTxSubmission tx reject)
MsgAcceptTx :: forall tx reject. Message (LocalTxSubmission tx reject) ('StBusy :: LocalTxSubmission tx reject) ('StIdle :: LocalTxSubmission tx reject)
MsgRejectTx :: forall reject tx. reject -> Message (LocalTxSubmission tx reject) ('StBusy :: LocalTxSubmission tx reject) ('StIdle :: LocalTxSubmission tx reject)
MsgDone :: forall tx reject. Message (LocalTxSubmission tx reject) ('StIdle :: LocalTxSubmission tx reject) ('StDone :: LocalTxSubmission tx reject)

type StateToken

Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type

type StateToken = SingLocalTxSubmission :: LocalTxSubmission tx reject -> Type

type StateAgency ('StBusy :: LocalTxSubmission tx reject)

Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type

type StateAgency ('StBusy :: LocalTxSubmission tx reject) = 'ServerAgency

type StateAgency ('StDone :: LocalTxSubmission tx reject)

Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type

type StateAgency ('StDone :: LocalTxSubmission tx reject) = 'NobodyAgency

type StateAgency ('StIdle :: LocalTxSubmission tx reject)

Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type

type StateAgency ('StIdle :: LocalTxSubmission tx reject) = 'ClientAgency

data SingLocalTxSubmission (k :: LocalTxSubmission tx rejct) where #

Constructors

SingIdle :: forall {tx} {rejct}. SingLocalTxSubmission ('StIdle :: LocalTxSubmission tx rejct)
SingBusy :: forall {tx} {rejct}. SingLocalTxSubmission ('StBusy :: LocalTxSubmission tx rejct)
SingDone :: forall {tx} {rejct}. SingLocalTxSubmission ('StDone :: LocalTxSubmission tx rejct)

Instances

Instances details

Show (SingLocalTxSubmission k)
Instance details Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type Methods showsPrec :: Int -> SingLocalTxSubmission k -> ShowS # show :: SingLocalTxSubmission k -> String # showList :: [SingLocalTxSubmission k] -> ShowS #

data SubmitResult reason #

Constructors

SubmitSuccess
SubmitFail reason

Instances

Instances details

Functor SubmitResult
Instance details Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type Methods fmap :: (a -> b) -> SubmitResult a -> SubmitResult b # (<$) :: a -> SubmitResult b -> SubmitResult a #
Eq reason => Eq (SubmitResult reason)
Instance details Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type Methods (==) :: SubmitResult reason -> SubmitResult reason -> Bool # (/=) :: SubmitResult reason -> SubmitResult reason -> Bool #