Safe Haskell	None
Language	Haskell2010

DMQ.Protocol.SigSubmission.Type

Contents

Data types
TxSubmission mini-protocol
Utilities

Synopsis

newtype SigHash = SigHash {
- getSigHash :: ByteString
}
newtype SigId = SigId {
- getSigId :: SigHash
}
newtype SigBody = SigBody {
- getSigBody :: ByteString
}
newtype SigKESSignature = SigKESSignature {
- getSigKESSignature :: ByteString
}
type SigKESPeriod = Word
newtype SigOpCertificate crypto = SigOpCertificate {
- getSigOpCertificate :: OCert crypto
}
newtype SigColdKey = SigColdKey {
- getSigColdKey :: ByteString
}
data SigRaw crypto = SigRaw {
- sigRawId :: SigId
- sigRawBody :: SigBody
- sigRawKESPeriod :: SigKESPeriod
- sigRawExpiresAt :: POSIXTime
- sigRawKESSignature :: SigKESSignature
- sigRawOpCertificate :: SigOpCertificate crypto
- sigRawColdKey :: SigColdKey
}
data SigRawWithSignedBytes crypto = SigRawWithSignedBytes {
- sigRawSignedBytes :: ByteString
- sigRaw :: SigRaw crypto
}
data Sig crypto where
- SigWithBytes {
  - sigRawBytes :: ByteString
  - sigRawWithSignedBytes :: SigRawWithSignedBytes crypto
  }
- pattern Sig :: SigId -> SigBody -> SigKESSignature -> SigKESPeriod -> SigOpCertificate crypto -> SigColdKey -> POSIXTime -> ByteString -> ByteString -> Sig crypto
type SigSubmission crypto = TxSubmission2 SigId (Sig crypto)
data family Message ps (st :: ps) (st' :: ps)
newtype SizeInBytes = SizeInBytes {
- getSizeInBytes :: Word32
}
newtype NumTxIdsToReq = NumTxIdsToReq {
- getNumTxIdsToReq :: Word16
}
data StBlockingStyle where
- StBlocking :: StBlockingStyle
- StNonBlocking :: StBlockingStyle
data BlockingReplyList (blocking :: StBlockingStyle) a where
- BlockingReply :: forall a. NonEmpty a -> BlockingReplyList 'StBlocking a
- NonBlockingReply :: forall a. [a] -> BlockingReplyList 'StNonBlocking a
data SingBlockingStyle (k :: StBlockingStyle) where
- SingBlocking :: SingBlockingStyle 'StBlocking
- SingNonBlocking :: SingBlockingStyle 'StNonBlocking
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)
newtype NumTxIdsToAck = NumTxIdsToAck {
- getNumTxIdsToAck :: 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
type POSIXTime = NominalDiffTime
newtype CBORBytes = CBORBytes {
- getCBORBytes :: ByteString
}

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

ToJSON SigId Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods toJSON :: SigId -> Value # toEncoding :: SigId -> Encoding # toJSONList :: [SigId] -> Value # toEncodingList :: [SigId] -> Encoding # omitField :: SigId -> Bool #
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 #

type SigKESPeriod = Word Source #

newtype SigOpCertificate crypto Source #

Constructors

SigOpCertificate
Fields getSigOpCertificate :: OCert crypto

Instances

Instances details

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

newtype SigColdKey Source #

Constructors

SigColdKey
Fields getSigColdKey :: ByteString

Instances

Instances details

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

data SigRaw crypto Source #

Sig type consists of payload and its KES signature.

TODO: add signed bytes.

Constructors

SigRaw

Fields

sigRawId :: SigId
sigRawBody :: SigBody
sigRawKESPeriod :: SigKESPeriod
KES period when this signature was created.
NOTE: `kes-agent` library is using Word for KES period, CIP-137 requires Word64, thus we're only supporting 64-bit architectures.
sigRawExpiresAt :: POSIXTime
sigRawKESSignature :: SigKESSignature
sigRawOpCertificate :: SigOpCertificate crypto
sigRawColdKey :: SigColdKey

Instances

Instances details

Crypto crypto => ToJSON (SigRaw crypto) Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods toJSON :: SigRaw crypto -> Value # toEncoding :: SigRaw crypto -> Encoding # toJSONList :: [SigRaw crypto] -> Value # toEncodingList :: [SigRaw crypto] -> Encoding # omitField :: SigRaw crypto -> Bool #
(DSIGNAlgorithm (DSIGN crypto), Show (VerKeyKES (KES crypto))) => Show (SigRaw crypto) Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods showsPrec :: Int -> SigRaw crypto -> ShowS # show :: SigRaw crypto -> String # showList :: [SigRaw crypto] -> ShowS #
(DSIGNAlgorithm (DSIGN crypto), Eq (VerKeyKES (KES crypto))) => Eq (SigRaw crypto) Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods (==) :: SigRaw crypto -> SigRaw crypto -> Bool # (/=) :: SigRaw crypto -> SigRaw crypto -> Bool #

data SigRawWithSignedBytes crypto Source #

Constructors

SigRawWithSignedBytes
Fields sigRawSignedBytes :: ByteString bytes signed by the KES key sigRaw :: SigRaw crypto the `SigRaw` data type

Instances

Instances details

Crypto crypto => ToJSON (SigRawWithSignedBytes crypto) Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods toJSON :: SigRawWithSignedBytes crypto -> Value # toEncoding :: SigRawWithSignedBytes crypto -> Encoding # toJSONList :: [SigRawWithSignedBytes crypto] -> Value # toEncodingList :: [SigRawWithSignedBytes crypto] -> Encoding # omitField :: SigRawWithSignedBytes crypto -> Bool #
(DSIGNAlgorithm (DSIGN crypto), Show (VerKeyKES (KES crypto))) => Show (SigRawWithSignedBytes crypto) Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods showsPrec :: Int -> SigRawWithSignedBytes crypto -> ShowS # show :: SigRawWithSignedBytes crypto -> String # showList :: [SigRawWithSignedBytes crypto] -> ShowS #
(DSIGNAlgorithm (DSIGN crypto), Eq (VerKeyKES (KES crypto))) => Eq (SigRawWithSignedBytes crypto) Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods (==) :: SigRawWithSignedBytes crypto -> SigRawWithSignedBytes crypto -> Bool # (/=) :: SigRawWithSignedBytes crypto -> SigRawWithSignedBytes crypto -> Bool #

data Sig crypto Source #

Constructors

SigWithBytes
Fields sigRawBytes :: ByteString encoded `SigRaw` data type sigRawWithSignedBytes :: SigRawWithSignedBytes crypto the `SigRaw` data type along with signed bytes

Bundled Patterns

pattern Sig :: SigId -> SigBody -> SigKESSignature -> SigKESPeriod -> SigOpCertificate crypto -> SigColdKey -> POSIXTime -> ByteString -> ByteString -> Sig crypto

A convenient bidirectional pattern synonym for the Sig type.

Instances

Instances details

Typeable crypto => ShowProxy (Sig crypto :: Type) Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods showProxy :: Proxy (Sig crypto) -> String
Crypto crypto => ToJSON (Sig crypto) Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods toJSON :: Sig crypto -> Value # toEncoding :: Sig crypto -> Encoding # toJSONList :: [Sig crypto] -> Value # toEncodingList :: [Sig crypto] -> Encoding # omitField :: Sig crypto -> Bool #
(DSIGNAlgorithm (DSIGN crypto), Show (VerKeyKES (KES crypto))) => Show (Sig crypto) Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods showsPrec :: Int -> Sig crypto -> ShowS # show :: Sig crypto -> String # showList :: [Sig crypto] -> ShowS #
(DSIGNAlgorithm (DSIGN crypto), Eq (VerKeyKES (KES crypto))) => Eq (Sig crypto) Source #
Instance details Defined in DMQ.Protocol.SigSubmission.Type Methods (==) :: Sig crypto -> Sig crypto -> Bool # (/=) :: Sig crypto -> Sig crypto -> Bool #

`TxSubmission` mini-protocol

type SigSubmission crypto = TxSubmission2 SigId (Sig crypto) 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 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)

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-0.23.0.0-inplace-api" '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-0.23.0.0-inplace-api" '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-0.23.0.0-inplace-protocols" '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-0.23.0.0-inplace-protocols" 'True) (C1 ('MetaCons "NumTxIdsToReq" 'PrefixI 'True) (S1 ('MetaSel ('Just "getNumTxIdsToReq") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

data StBlockingStyle where #

Constructors

StBlocking :: StBlockingStyle
StNonBlocking :: StBlockingStyle

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 BlockingReplyList (blocking :: StBlockingStyle) a where #

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 #

data SingBlockingStyle (k :: StBlockingStyle) where #

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

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-0.23.0.0-inplace-protocols" '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-0.23.0.0-inplace-protocols" 'True) (C1 ('MetaCons "NumTxIdsToAck" 'PrefixI 'True) (S1 ('MetaSel ('Just "getNumTxIdsToAck") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 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 #

type POSIXTime = NominalDiffTime #

POSIX time is the nominal time since 1970-01-01 00:00 UTC

To convert from a CTime or System.Posix.EpochTime, use realToFrac.

Utilities

newtype CBORBytes Source #

A newtype wrapper to show CBOR bytes in hex format.

Constructors

CBORBytes
Fields getCBORBytes :: ByteString

Instances

Instances details

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

Data types

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

TxSubmission mini-protocol

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Utilities

Instances

`TxSubmission` mini-protocol