Safe Haskell	None
Language	Haskell2010

DMQ.Protocol.SigSubmission.Type

Contents

Data types
TxSubmission mini-protocol

Synopsis

newtype SigHash = SigHash {
- getSigHash :: ByteString
}
newtype SigId = SigId {
- getSigId :: SigHash
}
newtype SigBody = SigBody {
- getSigBody :: ByteString
}
newtype SigKesSignature = SigKesSignature {
- getSigKesSignature :: ByteString
}
newtype SigOpCertificate = SigOpCertificate {
- getSigOpCertificate :: ByteString
}
data Sig where
- SigRaw SigPayload SigKesSignature
- pattern Sig :: SigId -> SigBody -> POSIXTime -> SigOpCertificate -> SigKesSignature -> Sig
type SigSubmission = TxSubmission2 SigId Sig
data family Message ps (st :: ps) (st' :: ps)
newtype SizeInBytes = SizeInBytes {
- getSizeInBytes :: Word32
}
newtype NumTxIdsToReq = NumTxIdsToReq {
- getNumTxIdsToReq :: Word16
}
pattern StDone :: TxSubmission2 txid tx
pattern StIdle :: TxSubmission2 txid tx
pattern StInit :: TxSubmission2 txid tx
pattern StTxIds :: StBlockingStyle -> TxSubmission2 txid tx
pattern StTxs :: TxSubmission2 txid tx
data SingTxSubmission (k :: TxSubmission2 txid tx) where
- SingInit :: forall {txid} {tx}. SingTxSubmission ('StInit :: TxSubmission2 txid tx)
- SingIdle :: forall {txid} {tx}. SingTxSubmission ('StIdle :: TxSubmission2 txid tx)
- SingTxIds :: forall {txid} {tx} (stBlocking :: StBlockingStyle). SingBlockingStyle stBlocking -> SingTxSubmission ('StTxIds stBlocking :: TxSubmission2 txid tx)
- SingTxs :: forall {txid} {tx}. SingTxSubmission ('StTxs :: TxSubmission2 txid tx)
- SingDone :: forall {txid} {tx}. SingTxSubmission ('StDone :: TxSubmission2 txid tx)
data BlockingReplyList (blocking :: StBlockingStyle) a where
- BlockingReply :: forall a. NonEmpty a -> BlockingReplyList 'StBlocking a
- NonBlockingReply :: forall a. [a] -> BlockingReplyList 'StNonBlocking a
newtype NumTxIdsToAck = NumTxIdsToAck {
- getNumTxIdsToAck :: Word16
}
data SingBlockingStyle (k :: StBlockingStyle) where
- SingBlocking :: SingBlockingStyle 'StBlocking
- SingNonBlocking :: SingBlockingStyle 'StNonBlocking
data StBlockingStyle where
- StBlocking :: StBlockingStyle
- StNonBlocking :: StBlockingStyle

Data types

newtype SigHash Source #

Constructors

SigHash
Fields getSigHash :: ByteString

Instances

Instances details

Show SigHash Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods showsPrec :: Int -> SigHash -> ShowS # show :: SigHash -> String # showList :: [SigHash] -> ShowS #
Eq SigHash Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods (==) :: SigHash -> SigHash -> Bool # (/=) :: SigHash -> SigHash -> Bool #
Ord SigHash Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods compare :: SigHash -> SigHash -> Ordering # (<) :: SigHash -> SigHash -> Bool # (<=) :: SigHash -> SigHash -> Bool # (>) :: SigHash -> SigHash -> Bool # (>=) :: SigHash -> SigHash -> Bool # max :: SigHash -> SigHash -> SigHash # min :: SigHash -> SigHash -> SigHash #

newtype SigId Source #

Constructors

SigId
Fields getSigId :: SigHash

Instances

Instances details

Show SigId Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods showsPrec :: Int -> SigId -> ShowS # show :: SigId -> String # showList :: [SigId] -> ShowS #
Eq SigId Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods (==) :: SigId -> SigId -> Bool # (/=) :: SigId -> SigId -> Bool #
Ord SigId Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods compare :: SigId -> SigId -> Ordering # (<) :: SigId -> SigId -> Bool # (<=) :: SigId -> SigId -> Bool # (>) :: SigId -> SigId -> Bool # (>=) :: SigId -> SigId -> Bool # max :: SigId -> SigId -> SigId # min :: SigId -> SigId -> SigId #
ShowProxy SigId Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods showProxy :: Proxy SigId -> String #

newtype SigBody Source #

Constructors

SigBody
Fields getSigBody :: ByteString

Instances

Instances details

Show SigBody Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods showsPrec :: Int -> SigBody -> ShowS # show :: SigBody -> String # showList :: [SigBody] -> ShowS #
Eq SigBody Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods (==) :: SigBody -> SigBody -> Bool # (/=) :: SigBody -> SigBody -> Bool #

newtype SigKesSignature Source #

Constructors

SigKesSignature
Fields getSigKesSignature :: ByteString

Instances

Instances details

Show SigKesSignature Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods showsPrec :: Int -> SigKesSignature -> ShowS # show :: SigKesSignature -> String # showList :: [SigKesSignature] -> ShowS #
Eq SigKesSignature Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods (==) :: SigKesSignature -> SigKesSignature -> Bool # (/=) :: SigKesSignature -> SigKesSignature -> Bool #

newtype SigOpCertificate Source #

Constructors

SigOpCertificate
Fields getSigOpCertificate :: ByteString

Instances

Instances details

Show SigOpCertificate Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods showsPrec :: Int -> SigOpCertificate -> ShowS # show :: SigOpCertificate -> String # showList :: [SigOpCertificate] -> ShowS #
Eq SigOpCertificate Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods (==) :: SigOpCertificate -> SigOpCertificate -> Bool # (/=) :: SigOpCertificate -> SigOpCertificate -> Bool #

data Sig Source #

Sig type consists of payload and its KES signature.

Constructors

SigRaw SigPayload SigKesSignature

Bundled Patterns

pattern Sig :: SigId -> SigBody -> POSIXTime -> SigOpCertificate -> SigKesSignature -> Sig

A convenient bidirectional pattern synonym for the Sig type.

Instances

Instances details

Show Sig Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods showsPrec :: Int -> Sig -> ShowS # show :: Sig -> String # showList :: [Sig] -> ShowS #
Eq Sig Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods (==) :: Sig -> Sig -> Bool # (/=) :: Sig -> Sig -> Bool #
ShowProxy Sig Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods showProxy :: Proxy Sig -> String #

`TxSubmission` mini-protocol

type SigSubmission = TxSubmission2 SigId Sig Source #

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

newtype SizeInBytes #

Constructors

SizeInBytes
Fields getSizeInBytes :: Word32

Instances

Instances details

NFData SizeInBytes

Instance details

Defined in Ouroboros.Network.SizeInBytes

Methods

rnf :: SizeInBytes -> () #

Monoid SizeInBytes

Instance details

Defined in Ouroboros.Network.SizeInBytes

Methods

mempty :: SizeInBytes #

mappend :: SizeInBytes -> SizeInBytes -> SizeInBytes #

mconcat :: [SizeInBytes] -> SizeInBytes #

Semigroup SizeInBytes

Instance details

Defined in Ouroboros.Network.SizeInBytes

Methods

(<>) :: SizeInBytes -> SizeInBytes -> SizeInBytes #

sconcat :: NonEmpty SizeInBytes -> SizeInBytes #

stimes :: Integral b => b -> SizeInBytes -> SizeInBytes #

Bounded SizeInBytes

Instance details

Defined in Ouroboros.Network.SizeInBytes

Methods

minBound :: SizeInBytes #

maxBound :: SizeInBytes #

Enum SizeInBytes

Instance details

Defined in Ouroboros.Network.SizeInBytes

Methods

succ :: SizeInBytes -> SizeInBytes #

pred :: SizeInBytes -> SizeInBytes #

toEnum :: Int -> SizeInBytes #

fromEnum :: SizeInBytes -> Int #

enumFrom :: SizeInBytes -> [SizeInBytes] #

enumFromThen :: SizeInBytes -> SizeInBytes -> [SizeInBytes] #

enumFromTo :: SizeInBytes -> SizeInBytes -> [SizeInBytes] #

enumFromThenTo :: SizeInBytes -> SizeInBytes -> SizeInBytes -> [SizeInBytes] #

Generic SizeInBytes

Instance details

Defined in Ouroboros.Network.SizeInBytes

Associated Types

type Rep SizeInBytes
Instance details Defined in Ouroboros.Network.SizeInBytes type Rep SizeInBytes = D1 ('MetaData "SizeInBytes" "Ouroboros.Network.SizeInBytes" "ouroboros-network-api-0.16.0.0-inplace" 'True) (C1 ('MetaCons "SizeInBytes" 'PrefixI 'True) (S1 ('MetaSel ('Just "getSizeInBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))

Methods

from :: SizeInBytes -> Rep SizeInBytes x #

to :: Rep SizeInBytes x -> SizeInBytes #

Num SizeInBytes

Instance details

Defined in Ouroboros.Network.SizeInBytes

Methods

(+) :: SizeInBytes -> SizeInBytes -> SizeInBytes #

(-) :: SizeInBytes -> SizeInBytes -> SizeInBytes #

(*) :: SizeInBytes -> SizeInBytes -> SizeInBytes #

negate :: SizeInBytes -> SizeInBytes #

abs :: SizeInBytes -> SizeInBytes #

signum :: SizeInBytes -> SizeInBytes #

fromInteger :: Integer -> SizeInBytes #

Integral SizeInBytes

Instance details

Defined in Ouroboros.Network.SizeInBytes

Methods

quot :: SizeInBytes -> SizeInBytes -> SizeInBytes #

rem :: SizeInBytes -> SizeInBytes -> SizeInBytes #

div :: SizeInBytes -> SizeInBytes -> SizeInBytes #

mod :: SizeInBytes -> SizeInBytes -> SizeInBytes #

quotRem :: SizeInBytes -> SizeInBytes -> (SizeInBytes, SizeInBytes) #

divMod :: SizeInBytes -> SizeInBytes -> (SizeInBytes, SizeInBytes) #

toInteger :: SizeInBytes -> Integer #

Real SizeInBytes

Instance details

Defined in Ouroboros.Network.SizeInBytes

Methods

toRational :: SizeInBytes -> Rational #

Show SizeInBytes

Instance details

Defined in Ouroboros.Network.SizeInBytes

Methods

showsPrec :: Int -> SizeInBytes -> ShowS #

show :: SizeInBytes -> String #

showList :: [SizeInBytes] -> ShowS #

Eq SizeInBytes

Instance details

Defined in Ouroboros.Network.SizeInBytes

Methods

(==) :: SizeInBytes -> SizeInBytes -> Bool #

(/=) :: SizeInBytes -> SizeInBytes -> Bool #

Ord SizeInBytes

Instance details

Defined in Ouroboros.Network.SizeInBytes

Methods

compare :: SizeInBytes -> SizeInBytes -> Ordering #

(<) :: SizeInBytes -> SizeInBytes -> Bool #

(<=) :: SizeInBytes -> SizeInBytes -> Bool #

(>) :: SizeInBytes -> SizeInBytes -> Bool #

(>=) :: SizeInBytes -> SizeInBytes -> Bool #

max :: SizeInBytes -> SizeInBytes -> SizeInBytes #

min :: SizeInBytes -> SizeInBytes -> SizeInBytes #

BoundedMeasure SizeInBytes

Instance details

Defined in Ouroboros.Network.SizeInBytes

Methods

maxBound :: SizeInBytes #

Measure SizeInBytes

Instance details

Defined in Ouroboros.Network.SizeInBytes

Methods

zero :: SizeInBytes #

plus :: SizeInBytes -> SizeInBytes -> SizeInBytes #

min :: SizeInBytes -> SizeInBytes -> SizeInBytes #

max :: SizeInBytes -> SizeInBytes -> SizeInBytes #

NoThunks SizeInBytes

Instance details

Defined in Ouroboros.Network.SizeInBytes

Methods

noThunks :: Context -> SizeInBytes -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> SizeInBytes -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy SizeInBytes -> String #

type Rep SizeInBytes

Instance details

Defined in Ouroboros.Network.SizeInBytes

type Rep SizeInBytes = D1 ('MetaData "SizeInBytes" "Ouroboros.Network.SizeInBytes" "ouroboros-network-api-0.16.0.0-inplace" 'True) (C1 ('MetaCons "SizeInBytes" 'PrefixI 'True) (S1 ('MetaSel ('Just "getSizeInBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))

newtype NumTxIdsToReq #

Constructors

NumTxIdsToReq
Fields getNumTxIdsToReq :: Word16

Instances

Instances details

NFData NumTxIdsToReq

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

rnf :: NumTxIdsToReq -> () #

Monoid NumTxIdsToReq

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

mempty :: NumTxIdsToReq #

mappend :: NumTxIdsToReq -> NumTxIdsToReq -> NumTxIdsToReq #

mconcat :: [NumTxIdsToReq] -> NumTxIdsToReq #

Semigroup NumTxIdsToReq

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

(<>) :: NumTxIdsToReq -> NumTxIdsToReq -> NumTxIdsToReq #

sconcat :: NonEmpty NumTxIdsToReq -> NumTxIdsToReq #

stimes :: Integral b => b -> NumTxIdsToReq -> NumTxIdsToReq #

Bounded NumTxIdsToReq

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

minBound :: NumTxIdsToReq #

maxBound :: NumTxIdsToReq #

Enum NumTxIdsToReq

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

succ :: NumTxIdsToReq -> NumTxIdsToReq #

pred :: NumTxIdsToReq -> NumTxIdsToReq #

toEnum :: Int -> NumTxIdsToReq #

fromEnum :: NumTxIdsToReq -> Int #

enumFrom :: NumTxIdsToReq -> [NumTxIdsToReq] #

enumFromThen :: NumTxIdsToReq -> NumTxIdsToReq -> [NumTxIdsToReq] #

enumFromTo :: NumTxIdsToReq -> NumTxIdsToReq -> [NumTxIdsToReq] #

enumFromThenTo :: NumTxIdsToReq -> NumTxIdsToReq -> NumTxIdsToReq -> [NumTxIdsToReq] #

Generic NumTxIdsToReq

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Associated Types

type Rep NumTxIdsToReq
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type type Rep NumTxIdsToReq = D1 ('MetaData "NumTxIdsToReq" "Ouroboros.Network.Protocol.TxSubmission2.Type" "ouroboros-network-protocols-0.15.0.0-inplace" 'True) (C1 ('MetaCons "NumTxIdsToReq" 'PrefixI 'True) (S1 ('MetaSel ('Just "getNumTxIdsToReq") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

Methods

from :: NumTxIdsToReq -> Rep NumTxIdsToReq x #

to :: Rep NumTxIdsToReq x -> NumTxIdsToReq #

Num NumTxIdsToReq

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

(+) :: NumTxIdsToReq -> NumTxIdsToReq -> NumTxIdsToReq #

(-) :: NumTxIdsToReq -> NumTxIdsToReq -> NumTxIdsToReq #

(*) :: NumTxIdsToReq -> NumTxIdsToReq -> NumTxIdsToReq #

negate :: NumTxIdsToReq -> NumTxIdsToReq #

abs :: NumTxIdsToReq -> NumTxIdsToReq #

signum :: NumTxIdsToReq -> NumTxIdsToReq #

fromInteger :: Integer -> NumTxIdsToReq #

Integral NumTxIdsToReq

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

quot :: NumTxIdsToReq -> NumTxIdsToReq -> NumTxIdsToReq #

rem :: NumTxIdsToReq -> NumTxIdsToReq -> NumTxIdsToReq #

div :: NumTxIdsToReq -> NumTxIdsToReq -> NumTxIdsToReq #

mod :: NumTxIdsToReq -> NumTxIdsToReq -> NumTxIdsToReq #

quotRem :: NumTxIdsToReq -> NumTxIdsToReq -> (NumTxIdsToReq, NumTxIdsToReq) #

divMod :: NumTxIdsToReq -> NumTxIdsToReq -> (NumTxIdsToReq, NumTxIdsToReq) #

toInteger :: NumTxIdsToReq -> Integer #

Real NumTxIdsToReq

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

toRational :: NumTxIdsToReq -> Rational #

Show NumTxIdsToReq

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

showsPrec :: Int -> NumTxIdsToReq -> ShowS #

show :: NumTxIdsToReq -> String #

showList :: [NumTxIdsToReq] -> ShowS #

Eq NumTxIdsToReq

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

(==) :: NumTxIdsToReq -> NumTxIdsToReq -> Bool #

(/=) :: NumTxIdsToReq -> NumTxIdsToReq -> Bool #

Ord NumTxIdsToReq

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

compare :: NumTxIdsToReq -> NumTxIdsToReq -> Ordering #

(<) :: NumTxIdsToReq -> NumTxIdsToReq -> Bool #

(<=) :: NumTxIdsToReq -> NumTxIdsToReq -> Bool #

(>) :: NumTxIdsToReq -> NumTxIdsToReq -> Bool #

(>=) :: NumTxIdsToReq -> NumTxIdsToReq -> Bool #

max :: NumTxIdsToReq -> NumTxIdsToReq -> NumTxIdsToReq #

min :: NumTxIdsToReq -> NumTxIdsToReq -> NumTxIdsToReq #

NoThunks NumTxIdsToReq

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

noThunks :: Context -> NumTxIdsToReq -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> NumTxIdsToReq -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy NumTxIdsToReq -> String #

type Rep NumTxIdsToReq

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

type Rep NumTxIdsToReq = D1 ('MetaData "NumTxIdsToReq" "Ouroboros.Network.Protocol.TxSubmission2.Type" "ouroboros-network-protocols-0.15.0.0-inplace" 'True) (C1 ('MetaCons "NumTxIdsToReq" 'PrefixI 'True) (S1 ('MetaSel ('Just "getNumTxIdsToReq") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

pattern StDone :: TxSubmission2 txid tx #

Nobody has agency; termination state.

pattern StIdle :: TxSubmission2 txid tx #

The server (inbound side) has agency; it can either terminate, ask for transaction identifiers or ask for transactions.

There is no timeout in this state.

pattern StInit :: TxSubmission2 txid tx #

Initial protocol message.

pattern StTxIds :: StBlockingStyle -> TxSubmission2 txid tx #

The client (outbound side) has agency; it must reply with a list of transaction identifiers that it wishes to submit.

There are two sub-states for this, for blocking and non-blocking cases.

pattern StTxs :: TxSubmission2 txid tx #

The client (outbound side) has agency; it must reply with the list of transactions.

data SingTxSubmission (k :: TxSubmission2 txid tx) where #

Constructors

SingInit :: forall {txid} {tx}. SingTxSubmission ('StInit :: TxSubmission2 txid tx)
SingIdle :: forall {txid} {tx}. SingTxSubmission ('StIdle :: TxSubmission2 txid tx)
SingTxIds :: forall {txid} {tx} (stBlocking :: StBlockingStyle). SingBlockingStyle stBlocking -> SingTxSubmission ('StTxIds stBlocking :: TxSubmission2 txid tx)
SingTxs :: forall {txid} {tx}. SingTxSubmission ('StTxs :: TxSubmission2 txid tx)
SingDone :: forall {txid} {tx}. SingTxSubmission ('StDone :: TxSubmission2 txid tx)

Instances

Instances details

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

data BlockingReplyList (blocking :: StBlockingStyle) a where #

We have requests for lists of things. In the blocking case the corresponding reply must be non-empty, whereas in the non-blocking case and empty reply is fine.

Constructors

BlockingReply :: forall a. NonEmpty a -> BlockingReplyList 'StBlocking a
NonBlockingReply :: forall a. [a] -> BlockingReplyList 'StNonBlocking a

Instances

Instances details

Foldable (BlockingReplyList blocking)
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods fold :: Monoid m => BlockingReplyList blocking m -> m # foldMap :: Monoid m => (a -> m) -> BlockingReplyList blocking a -> m # foldMap' :: Monoid m => (a -> m) -> BlockingReplyList blocking a -> m # foldr :: (a -> b -> b) -> b -> BlockingReplyList blocking a -> b # foldr' :: (a -> b -> b) -> b -> BlockingReplyList blocking a -> b # foldl :: (b -> a -> b) -> b -> BlockingReplyList blocking a -> b # foldl' :: (b -> a -> b) -> b -> BlockingReplyList blocking a -> b # foldr1 :: (a -> a -> a) -> BlockingReplyList blocking a -> a # foldl1 :: (a -> a -> a) -> BlockingReplyList blocking a -> a # toList :: BlockingReplyList blocking a -> [a] # null :: BlockingReplyList blocking a -> Bool # length :: BlockingReplyList blocking a -> Int # elem :: Eq a => a -> BlockingReplyList blocking a -> Bool # maximum :: Ord a => BlockingReplyList blocking a -> a # minimum :: Ord a => BlockingReplyList blocking a -> a # sum :: Num a => BlockingReplyList blocking a -> a # product :: Num a => BlockingReplyList blocking a -> a #
NFData a => NFData (BlockingReplyList blocking a)
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods rnf :: BlockingReplyList blocking a -> () #
Show a => Show (BlockingReplyList blocking a)
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods showsPrec :: Int -> BlockingReplyList blocking a -> ShowS # show :: BlockingReplyList blocking a -> String # showList :: [BlockingReplyList blocking a] -> ShowS #
Eq a => Eq (BlockingReplyList blocking a)
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods (==) :: BlockingReplyList blocking a -> BlockingReplyList blocking a -> Bool # (/=) :: BlockingReplyList blocking a -> BlockingReplyList blocking a -> Bool #

newtype NumTxIdsToAck #

Constructors

NumTxIdsToAck
Fields getNumTxIdsToAck :: Word16

Instances

Instances details

NFData NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

rnf :: NumTxIdsToAck -> () #

Monoid NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

mempty :: NumTxIdsToAck #

mappend :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

mconcat :: [NumTxIdsToAck] -> NumTxIdsToAck #

Semigroup NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

(<>) :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

sconcat :: NonEmpty NumTxIdsToAck -> NumTxIdsToAck #

stimes :: Integral b => b -> NumTxIdsToAck -> NumTxIdsToAck #

Bounded NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

minBound :: NumTxIdsToAck #

maxBound :: NumTxIdsToAck #

Enum NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

succ :: NumTxIdsToAck -> NumTxIdsToAck #

pred :: NumTxIdsToAck -> NumTxIdsToAck #

toEnum :: Int -> NumTxIdsToAck #

fromEnum :: NumTxIdsToAck -> Int #

enumFrom :: NumTxIdsToAck -> [NumTxIdsToAck] #

enumFromThen :: NumTxIdsToAck -> NumTxIdsToAck -> [NumTxIdsToAck] #

enumFromTo :: NumTxIdsToAck -> NumTxIdsToAck -> [NumTxIdsToAck] #

enumFromThenTo :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck -> [NumTxIdsToAck] #

Generic NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Associated Types

type Rep NumTxIdsToAck
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type type Rep NumTxIdsToAck = D1 ('MetaData "NumTxIdsToAck" "Ouroboros.Network.Protocol.TxSubmission2.Type" "ouroboros-network-protocols-0.15.0.0-inplace" 'True) (C1 ('MetaCons "NumTxIdsToAck" 'PrefixI 'True) (S1 ('MetaSel ('Just "getNumTxIdsToAck") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

Methods

from :: NumTxIdsToAck -> Rep NumTxIdsToAck x #

to :: Rep NumTxIdsToAck x -> NumTxIdsToAck #

Num NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

(+) :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

(-) :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

(*) :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

negate :: NumTxIdsToAck -> NumTxIdsToAck #

abs :: NumTxIdsToAck -> NumTxIdsToAck #

signum :: NumTxIdsToAck -> NumTxIdsToAck #

fromInteger :: Integer -> NumTxIdsToAck #

Integral NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

quot :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

rem :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

div :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

mod :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

quotRem :: NumTxIdsToAck -> NumTxIdsToAck -> (NumTxIdsToAck, NumTxIdsToAck) #

divMod :: NumTxIdsToAck -> NumTxIdsToAck -> (NumTxIdsToAck, NumTxIdsToAck) #

toInteger :: NumTxIdsToAck -> Integer #

Real NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

toRational :: NumTxIdsToAck -> Rational #

Show NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

showsPrec :: Int -> NumTxIdsToAck -> ShowS #

show :: NumTxIdsToAck -> String #

showList :: [NumTxIdsToAck] -> ShowS #

Eq NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

(==) :: NumTxIdsToAck -> NumTxIdsToAck -> Bool #

(/=) :: NumTxIdsToAck -> NumTxIdsToAck -> Bool #

Ord NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

compare :: NumTxIdsToAck -> NumTxIdsToAck -> Ordering #

(<) :: NumTxIdsToAck -> NumTxIdsToAck -> Bool #

(<=) :: NumTxIdsToAck -> NumTxIdsToAck -> Bool #

(>) :: NumTxIdsToAck -> NumTxIdsToAck -> Bool #

(>=) :: NumTxIdsToAck -> NumTxIdsToAck -> Bool #

max :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

min :: NumTxIdsToAck -> NumTxIdsToAck -> NumTxIdsToAck #

NoThunks NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

noThunks :: Context -> NumTxIdsToAck -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> NumTxIdsToAck -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy NumTxIdsToAck -> String #

type Rep NumTxIdsToAck

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

type Rep NumTxIdsToAck = D1 ('MetaData "NumTxIdsToAck" "Ouroboros.Network.Protocol.TxSubmission2.Type" "ouroboros-network-protocols-0.15.0.0-inplace" 'True) (C1 ('MetaCons "NumTxIdsToAck" 'PrefixI 'True) (S1 ('MetaSel ('Just "getNumTxIdsToAck") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

data SingBlockingStyle (k :: StBlockingStyle) where #

The value level equivalent of BlockingStyle.

This is also used in MsgRequestTxIds where it is interpreted (and can be encoded) as a Bool with True for blocking, and False for non-blocking.

Constructors

SingBlocking :: SingBlockingStyle 'StBlocking
SingNonBlocking :: SingBlockingStyle 'StNonBlocking

Instances

Instances details

NFData (SingBlockingStyle b)
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods rnf :: SingBlockingStyle b -> () #
Show (SingBlockingStyle b)
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods showsPrec :: Int -> SingBlockingStyle b -> ShowS # show :: SingBlockingStyle b -> String # showList :: [SingBlockingStyle b] -> ShowS #
Eq (SingBlockingStyle b)
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods (==) :: SingBlockingStyle b -> SingBlockingStyle b -> Bool # (/=) :: SingBlockingStyle b -> SingBlockingStyle b -> Bool #

data StBlockingStyle where #

Constructors

StBlocking :: StBlockingStyle	In this sub-state the reply need not be prompt. There is no timeout.
StNonBlocking :: StBlockingStyle	In this state the peer must reply. There is a timeout.

Instances

Instances details

SingI 'StBlocking
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods sing :: Sing 'StBlocking #
SingI 'StNonBlocking
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods sing :: Sing 'StNonBlocking #
type Sing
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type type Sing = SingBlockingStyle

Data types

Instances

Instances

Instances

Instances

Instances

Instances

TxSubmission mini-protocol

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

`TxSubmission` mini-protocol