Safe Haskell	None
Language	Haskell2010

Ouroboros.Network.Protocol.ObjectDiffusion.Type

Description

The type of the object diffusion protocol.

This is used to diffuse generic objects between nodes.

Synopsis

data ObjectDiffusion objectId object where
- StInit :: forall objectId object. ObjectDiffusion objectId object
- StIdle :: forall objectId object. ObjectDiffusion objectId object
- StObjectIds :: forall objectId object. StBlockingStyle -> ObjectDiffusion objectId object
- StObjects :: forall objectId object. ObjectDiffusion objectId object
- StDone :: forall objectId object. ObjectDiffusion objectId object
data family Message ps (st :: ps) (st' :: ps)
data SingObjectDiffusion (k :: ObjectDiffusion objectId object) where
- SingInit :: forall {objectId} {object}. SingObjectDiffusion ('StInit :: ObjectDiffusion objectId object)
- SingIdle :: forall {objectId} {object}. SingObjectDiffusion ('StIdle :: ObjectDiffusion objectId object)
- SingObjectIds :: forall {objectId} {object} (stBlocking :: StBlockingStyle). SingBlockingStyle stBlocking -> SingObjectDiffusion ('StObjectIds stBlocking :: ObjectDiffusion objectId object)
- SingObjects :: forall {objectId} {object}. SingObjectDiffusion ('StObjects :: ObjectDiffusion objectId object)
- SingDone :: forall {objectId} {object}. SingObjectDiffusion ('StDone :: ObjectDiffusion objectId object)
newtype NumObjectIdsAck = NumObjectIdsAck {
- getNumObjectIdsAck :: Word16
}
newtype NumObjectIdsReq = NumObjectIdsReq {
- getNumObjectIdsReq :: Word16
}
newtype NumObjectsReq = NumObjectsReq {
- getNumObjectsReq :: Word16
}
newtype NumObjectsUnacknowledged = NumObjectsUnacknowledged {
- getNumObjectsUnacknowledged :: Word16
}
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
newtype SizeInBytes = SizeInBytes {
- getSizeInBytes :: Word32
}
data StBlockingStyle where
- StBlocking :: StBlockingStyle
- StNonBlocking :: StBlockingStyle

Documentation

data ObjectDiffusion objectId object where Source #

The kind of the object diffusion protocol, and the types of the states in the protocol state machine.

We describe this protocol using indiscriminately the labels "inbound"/"client" for the peer that is receiving objects, and "outbound"/"server" for the one sending them.

Constructors

StInit :: forall objectId object. ObjectDiffusion objectId object	Initial protocol message.
StIdle :: forall objectId object. ObjectDiffusion objectId object	The inbound node has agency; it can either terminate, ask for object identifiers or ask for objects. There is no timeout in this state.
StObjectIds :: forall objectId object. StBlockingStyle -> ObjectDiffusion objectId object	The outbound node has agency; it must reply with a list of object identifiers that it wishes to submit. There are two sub-states for this, for blocking and non-blocking cases.
StObjects :: forall objectId object. ObjectDiffusion objectId object	The outbound node has agency; it must reply with the list of objects.
StDone :: forall objectId object. ObjectDiffusion objectId object	Nobody has agency; termination state.

Instances

Instances details

(ShowProxy objectId, ShowProxy object) => ShowProxy (ObjectDiffusion objectId object :: Type) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

showProxy :: Proxy (ObjectDiffusion objectId object) -> String

Protocol (ObjectDiffusion objectId object) Source #

There are some constraints of the protocol that are not captured in the types of the messages, but are documented with the messages. Violation of these constraints is also a protocol error. The constraints are intended to ensure that implementations are able to work in bounded space.

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Associated Types

type StateToken
Instance details Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type type StateToken = SingObjectDiffusion :: ObjectDiffusion objectId object -> Type

ShowProxy ('StIdle :: ObjectDiffusion objectId object) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

showProxy :: Proxy ('StIdle :: ObjectDiffusion objectId object) -> String

StateTokenI ('StDone :: ObjectDiffusion objectId object) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

stateToken :: StateToken ('StDone :: ObjectDiffusion objectId object) #

StateTokenI ('StIdle :: ObjectDiffusion objectId object) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

stateToken :: StateToken ('StIdle :: ObjectDiffusion objectId object) #

StateTokenI ('StInit :: ObjectDiffusion objectId object) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

stateToken :: StateToken ('StInit :: ObjectDiffusion objectId object) #

StateTokenI ('StObjects :: ObjectDiffusion objectId object) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

stateToken :: StateToken ('StObjects :: ObjectDiffusion objectId object) #

SingI stBlocking => StateTokenI ('StObjectIds stBlocking :: ObjectDiffusion objectId object) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

stateToken :: StateToken ('StObjectIds stBlocking :: ObjectDiffusion objectId object) #

(NFData objectId, NFData object) => NFData (Message (ObjectDiffusion objectId object) from to) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

rnf :: Message (ObjectDiffusion objectId object) from to -> () #

(Show objectId, Show object) => Show (Message (ObjectDiffusion objectId object) from to) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

showsPrec :: Int -> Message (ObjectDiffusion objectId object) from to -> ShowS #

show :: Message (ObjectDiffusion objectId object) from to -> String #

showList :: [Message (ObjectDiffusion objectId object) from to] -> ShowS #

(Eq objectId, Eq object) => Eq (Message (ObjectDiffusion objectId object) from to) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

(==) :: Message (ObjectDiffusion objectId object) from to -> Message (ObjectDiffusion objectId object) from to -> Bool #

(/=) :: Message (ObjectDiffusion objectId object) from to -> Message (ObjectDiffusion objectId object) from to -> Bool #

data Message (ObjectDiffusion objectId object) (from :: ObjectDiffusion objectId object) (to :: ObjectDiffusion objectId object) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

data Message (ObjectDiffusion objectId object) (from :: ObjectDiffusion objectId object) (to :: ObjectDiffusion objectId object) where

MsgInit :: forall objectId object. Message (ObjectDiffusion objectId object) ('StInit :: ObjectDiffusion objectId object) ('StIdle :: ObjectDiffusion objectId object)
MsgRequestObjectIds :: forall (blocking :: StBlockingStyle) objectId object. SingBlockingStyle blocking -> NumObjectIdsAck -> NumObjectIdsReq -> Message (ObjectDiffusion objectId object) ('StIdle :: ObjectDiffusion objectId object) ('StObjectIds blocking :: ObjectDiffusion objectId object)
MsgReplyObjectIds :: forall (blocking :: StBlockingStyle) objectId object. BlockingReplyList blocking objectId -> Message (ObjectDiffusion objectId object) ('StObjectIds blocking :: ObjectDiffusion objectId object) ('StIdle :: ObjectDiffusion objectId object)
MsgRequestObjects :: forall objectId object. [objectId] -> Message (ObjectDiffusion objectId object) ('StIdle :: ObjectDiffusion objectId object) ('StObjects :: ObjectDiffusion objectId object)
MsgReplyObjects :: forall object objectId. [object] -> Message (ObjectDiffusion objectId object) ('StObjects :: ObjectDiffusion objectId object) ('StIdle :: ObjectDiffusion objectId object)
MsgDone :: forall objectId object. Message (ObjectDiffusion objectId object) ('StIdle :: ObjectDiffusion objectId object) ('StDone :: ObjectDiffusion objectId object)

type StateToken Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

type StateToken = SingObjectDiffusion :: ObjectDiffusion objectId object -> Type

type StateAgency ('StDone :: ObjectDiffusion objectId object) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

type StateAgency ('StDone :: ObjectDiffusion objectId object) = 'NobodyAgency

type StateAgency ('StIdle :: ObjectDiffusion objectId object) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

type StateAgency ('StIdle :: ObjectDiffusion objectId object) = 'ClientAgency

type StateAgency ('StInit :: ObjectDiffusion objectId object) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

type StateAgency ('StInit :: ObjectDiffusion objectId object) = 'ClientAgency

type StateAgency ('StObjects :: ObjectDiffusion objectId object) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

type StateAgency ('StObjects :: ObjectDiffusion objectId object) = 'ServerAgency

type StateAgency ('StObjectIds b :: ObjectDiffusion objectId object) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

type StateAgency ('StObjectIds b :: ObjectDiffusion objectId object) = 'ServerAgency

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 block, NFData point) => NFData (Message (BlockFetch block point) from to) Source #
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) Source #
Instance details Defined in Ouroboros.Network.Protocol.ChainSync.Type Methods rnf :: Message (ChainSync header point tip) from to -> () #
NFData (Message KeepAlive from to) Source #
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) Source #
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) Source #
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) Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type Methods rnf :: Message (LocalTxSubmission tx reject) from to -> () #
(NFData objectId, NFData object) => NFData (Message (ObjectDiffusion objectId object) from to) Source #
Instance details Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type Methods rnf :: Message (ObjectDiffusion objectId object) from to -> () #
NFData peerAddress => NFData (Message (PeerSharing peerAddress) from to) Source #
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) Source #
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods rnf :: Message (TxSubmission2 txid tx) from to -> () #
(Show block, Show point) => Show (Message (BlockFetch block point) from to) Source #
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) Source #
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) Source #
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) Source #
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) Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type Methods showsPrec :: Int -> Message (LocalTxSubmission tx reject) from to -> ShowS # show :: Message (LocalTxSubmission tx reject) from to -> String # showList :: [Message (LocalTxSubmission tx reject) from to] -> ShowS #
(Show objectId, Show object) => Show (Message (ObjectDiffusion objectId object) from to) Source #
Instance details Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type Methods showsPrec :: Int -> Message (ObjectDiffusion objectId object) from to -> ShowS # show :: Message (ObjectDiffusion objectId object) from to -> String # showList :: [Message (ObjectDiffusion objectId object) from to] -> ShowS #
Show peer => Show (Message (PeerSharing peer) from to) Source #
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) Source #
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) Source #
Instance details Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type Methods (==) :: Message (LocalTxSubmission tx reject) from to -> Message (LocalTxSubmission tx reject) from to -> Bool # (/=) :: Message (LocalTxSubmission tx reject) from to -> Message (LocalTxSubmission tx reject) from to -> Bool #
(Eq objectId, Eq object) => Eq (Message (ObjectDiffusion objectId object) from to) Source #
Instance details Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type Methods (==) :: Message (ObjectDiffusion objectId object) from to -> Message (ObjectDiffusion objectId object) from to -> Bool # (/=) :: Message (ObjectDiffusion objectId object) from to -> Message (ObjectDiffusion objectId object) from to -> Bool #
(Eq txid, Eq tx) => Eq (Message (TxSubmission2 txid tx) from to) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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 (ObjectDiffusion objectId object) (from :: ObjectDiffusion objectId object) (to :: ObjectDiffusion objectId object) Source #
Instance details Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type data Message (ObjectDiffusion objectId object) (from :: ObjectDiffusion objectId object) (to :: ObjectDiffusion objectId object) where MsgInit :: forall objectId object. Message (ObjectDiffusion objectId object) ('StInit :: ObjectDiffusion objectId object) ('StIdle :: ObjectDiffusion objectId object) MsgRequestObjectIds :: forall (blocking :: StBlockingStyle) objectId object. SingBlockingStyle blocking -> NumObjectIdsAck -> NumObjectIdsReq -> Message (ObjectDiffusion objectId object) ('StIdle :: ObjectDiffusion objectId object) ('StObjectIds blocking :: ObjectDiffusion objectId object) MsgReplyObjectIds :: forall (blocking :: StBlockingStyle) objectId object. BlockingReplyList blocking objectId -> Message (ObjectDiffusion objectId object) ('StObjectIds blocking :: ObjectDiffusion objectId object) ('StIdle :: ObjectDiffusion objectId object) MsgRequestObjects :: forall objectId object. [objectId] -> Message (ObjectDiffusion objectId object) ('StIdle :: ObjectDiffusion objectId object) ('StObjects :: ObjectDiffusion objectId object) MsgReplyObjects :: forall object objectId. [object] -> Message (ObjectDiffusion objectId object) ('StObjects :: ObjectDiffusion objectId object) ('StIdle :: ObjectDiffusion objectId object) MsgDone :: forall objectId object. Message (ObjectDiffusion objectId object) ('StIdle :: ObjectDiffusion objectId object) ('StDone :: ObjectDiffusion objectId object)
data Message (TxSubmission2 txid tx) (from :: TxSubmission2 txid tx) (to :: TxSubmission2 txid tx) Source #
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) Source #
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) Source #
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) Source #
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 SingObjectDiffusion (k :: ObjectDiffusion objectId object) where Source #

Constructors

SingInit :: forall {objectId} {object}. SingObjectDiffusion ('StInit :: ObjectDiffusion objectId object)
SingIdle :: forall {objectId} {object}. SingObjectDiffusion ('StIdle :: ObjectDiffusion objectId object)
SingObjectIds :: forall {objectId} {object} (stBlocking :: StBlockingStyle). SingBlockingStyle stBlocking -> SingObjectDiffusion ('StObjectIds stBlocking :: ObjectDiffusion objectId object)
SingObjects :: forall {objectId} {object}. SingObjectDiffusion ('StObjects :: ObjectDiffusion objectId object)
SingDone :: forall {objectId} {object}. SingObjectDiffusion ('StDone :: ObjectDiffusion objectId object)

Instances

Instances details

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

newtype NumObjectIdsAck Source #

Constructors

NumObjectIdsAck
Fields getNumObjectIdsAck :: Word16

Instances

Instances details

NFData NumObjectIdsAck Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

rnf :: NumObjectIdsAck -> () #

Monoid NumObjectIdsAck Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

mempty :: NumObjectIdsAck #

mappend :: NumObjectIdsAck -> NumObjectIdsAck -> NumObjectIdsAck #

mconcat :: [NumObjectIdsAck] -> NumObjectIdsAck #

Semigroup NumObjectIdsAck Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

(<>) :: NumObjectIdsAck -> NumObjectIdsAck -> NumObjectIdsAck #

sconcat :: NonEmpty NumObjectIdsAck -> NumObjectIdsAck #

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

Bounded NumObjectIdsAck Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

minBound :: NumObjectIdsAck #

maxBound :: NumObjectIdsAck #

Enum NumObjectIdsAck Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

succ :: NumObjectIdsAck -> NumObjectIdsAck #

pred :: NumObjectIdsAck -> NumObjectIdsAck #

toEnum :: Int -> NumObjectIdsAck #

fromEnum :: NumObjectIdsAck -> Int #

enumFrom :: NumObjectIdsAck -> [NumObjectIdsAck] #

enumFromThen :: NumObjectIdsAck -> NumObjectIdsAck -> [NumObjectIdsAck] #

enumFromTo :: NumObjectIdsAck -> NumObjectIdsAck -> [NumObjectIdsAck] #

enumFromThenTo :: NumObjectIdsAck -> NumObjectIdsAck -> NumObjectIdsAck -> [NumObjectIdsAck] #

Generic NumObjectIdsAck Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Associated Types

type Rep NumObjectIdsAck

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

type Rep NumObjectIdsAck = D1 ('MetaData "NumObjectIdsAck" "Ouroboros.Network.Protocol.ObjectDiffusion.Type" "ouroboros-network-1.1.0.0-inplace-protocols" 'True) (C1 ('MetaCons "NumObjectIdsAck" 'PrefixI 'True) (S1 ('MetaSel ('Just "getNumObjectIdsAck") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

Methods

from :: NumObjectIdsAck -> Rep NumObjectIdsAck x #

to :: Rep NumObjectIdsAck x -> NumObjectIdsAck #

Num NumObjectIdsAck Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

(+) :: NumObjectIdsAck -> NumObjectIdsAck -> NumObjectIdsAck #

(-) :: NumObjectIdsAck -> NumObjectIdsAck -> NumObjectIdsAck #

(*) :: NumObjectIdsAck -> NumObjectIdsAck -> NumObjectIdsAck #

negate :: NumObjectIdsAck -> NumObjectIdsAck #

abs :: NumObjectIdsAck -> NumObjectIdsAck #

signum :: NumObjectIdsAck -> NumObjectIdsAck #

fromInteger :: Integer -> NumObjectIdsAck #

Integral NumObjectIdsAck Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

quot :: NumObjectIdsAck -> NumObjectIdsAck -> NumObjectIdsAck #

rem :: NumObjectIdsAck -> NumObjectIdsAck -> NumObjectIdsAck #

div :: NumObjectIdsAck -> NumObjectIdsAck -> NumObjectIdsAck #

mod :: NumObjectIdsAck -> NumObjectIdsAck -> NumObjectIdsAck #

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

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

toInteger :: NumObjectIdsAck -> Integer #

Real NumObjectIdsAck Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

toRational :: NumObjectIdsAck -> Rational #

Show NumObjectIdsAck Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

showsPrec :: Int -> NumObjectIdsAck -> ShowS #

show :: NumObjectIdsAck -> String #

showList :: [NumObjectIdsAck] -> ShowS #

Eq NumObjectIdsAck Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

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

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

Ord NumObjectIdsAck Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

compare :: NumObjectIdsAck -> NumObjectIdsAck -> Ordering #

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

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

(>) :: NumObjectIdsAck -> NumObjectIdsAck -> Bool #

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

max :: NumObjectIdsAck -> NumObjectIdsAck -> NumObjectIdsAck #

min :: NumObjectIdsAck -> NumObjectIdsAck -> NumObjectIdsAck #

NoThunks NumObjectIdsAck Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

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

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

showTypeOf :: Proxy NumObjectIdsAck -> String #

type Rep NumObjectIdsAck Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

type Rep NumObjectIdsAck = D1 ('MetaData "NumObjectIdsAck" "Ouroboros.Network.Protocol.ObjectDiffusion.Type" "ouroboros-network-1.1.0.0-inplace-protocols" 'True) (C1 ('MetaCons "NumObjectIdsAck" 'PrefixI 'True) (S1 ('MetaSel ('Just "getNumObjectIdsAck") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

newtype NumObjectIdsReq Source #

Constructors

NumObjectIdsReq
Fields getNumObjectIdsReq :: Word16

Instances

Instances details

NFData NumObjectIdsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

rnf :: NumObjectIdsReq -> () #

Monoid NumObjectIdsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

mempty :: NumObjectIdsReq #

mappend :: NumObjectIdsReq -> NumObjectIdsReq -> NumObjectIdsReq #

mconcat :: [NumObjectIdsReq] -> NumObjectIdsReq #

Semigroup NumObjectIdsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

(<>) :: NumObjectIdsReq -> NumObjectIdsReq -> NumObjectIdsReq #

sconcat :: NonEmpty NumObjectIdsReq -> NumObjectIdsReq #

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

Bounded NumObjectIdsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

minBound :: NumObjectIdsReq #

maxBound :: NumObjectIdsReq #

Enum NumObjectIdsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

succ :: NumObjectIdsReq -> NumObjectIdsReq #

pred :: NumObjectIdsReq -> NumObjectIdsReq #

toEnum :: Int -> NumObjectIdsReq #

fromEnum :: NumObjectIdsReq -> Int #

enumFrom :: NumObjectIdsReq -> [NumObjectIdsReq] #

enumFromThen :: NumObjectIdsReq -> NumObjectIdsReq -> [NumObjectIdsReq] #

enumFromTo :: NumObjectIdsReq -> NumObjectIdsReq -> [NumObjectIdsReq] #

enumFromThenTo :: NumObjectIdsReq -> NumObjectIdsReq -> NumObjectIdsReq -> [NumObjectIdsReq] #

Generic NumObjectIdsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Associated Types

type Rep NumObjectIdsReq

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

type Rep NumObjectIdsReq = D1 ('MetaData "NumObjectIdsReq" "Ouroboros.Network.Protocol.ObjectDiffusion.Type" "ouroboros-network-1.1.0.0-inplace-protocols" 'True) (C1 ('MetaCons "NumObjectIdsReq" 'PrefixI 'True) (S1 ('MetaSel ('Just "getNumObjectIdsReq") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

Methods

from :: NumObjectIdsReq -> Rep NumObjectIdsReq x #

to :: Rep NumObjectIdsReq x -> NumObjectIdsReq #

Num NumObjectIdsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

(+) :: NumObjectIdsReq -> NumObjectIdsReq -> NumObjectIdsReq #

(-) :: NumObjectIdsReq -> NumObjectIdsReq -> NumObjectIdsReq #

(*) :: NumObjectIdsReq -> NumObjectIdsReq -> NumObjectIdsReq #

negate :: NumObjectIdsReq -> NumObjectIdsReq #

abs :: NumObjectIdsReq -> NumObjectIdsReq #

signum :: NumObjectIdsReq -> NumObjectIdsReq #

fromInteger :: Integer -> NumObjectIdsReq #

Integral NumObjectIdsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

quot :: NumObjectIdsReq -> NumObjectIdsReq -> NumObjectIdsReq #

rem :: NumObjectIdsReq -> NumObjectIdsReq -> NumObjectIdsReq #

div :: NumObjectIdsReq -> NumObjectIdsReq -> NumObjectIdsReq #

mod :: NumObjectIdsReq -> NumObjectIdsReq -> NumObjectIdsReq #

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

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

toInteger :: NumObjectIdsReq -> Integer #

Real NumObjectIdsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

toRational :: NumObjectIdsReq -> Rational #

Show NumObjectIdsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

showsPrec :: Int -> NumObjectIdsReq -> ShowS #

show :: NumObjectIdsReq -> String #

showList :: [NumObjectIdsReq] -> ShowS #

Eq NumObjectIdsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

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

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

Ord NumObjectIdsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

compare :: NumObjectIdsReq -> NumObjectIdsReq -> Ordering #

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

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

(>) :: NumObjectIdsReq -> NumObjectIdsReq -> Bool #

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

max :: NumObjectIdsReq -> NumObjectIdsReq -> NumObjectIdsReq #

min :: NumObjectIdsReq -> NumObjectIdsReq -> NumObjectIdsReq #

NoThunks NumObjectIdsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

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

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

showTypeOf :: Proxy NumObjectIdsReq -> String #

type Rep NumObjectIdsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

type Rep NumObjectIdsReq = D1 ('MetaData "NumObjectIdsReq" "Ouroboros.Network.Protocol.ObjectDiffusion.Type" "ouroboros-network-1.1.0.0-inplace-protocols" 'True) (C1 ('MetaCons "NumObjectIdsReq" 'PrefixI 'True) (S1 ('MetaSel ('Just "getNumObjectIdsReq") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

newtype NumObjectsReq Source #

Constructors

NumObjectsReq
Fields getNumObjectsReq :: Word16

Instances

Instances details

NFData NumObjectsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

rnf :: NumObjectsReq -> () #

Monoid NumObjectsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

mempty :: NumObjectsReq #

mappend :: NumObjectsReq -> NumObjectsReq -> NumObjectsReq #

mconcat :: [NumObjectsReq] -> NumObjectsReq #

Semigroup NumObjectsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

(<>) :: NumObjectsReq -> NumObjectsReq -> NumObjectsReq #

sconcat :: NonEmpty NumObjectsReq -> NumObjectsReq #

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

Bounded NumObjectsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

minBound :: NumObjectsReq #

maxBound :: NumObjectsReq #

Enum NumObjectsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

succ :: NumObjectsReq -> NumObjectsReq #

pred :: NumObjectsReq -> NumObjectsReq #

toEnum :: Int -> NumObjectsReq #

fromEnum :: NumObjectsReq -> Int #

enumFrom :: NumObjectsReq -> [NumObjectsReq] #

enumFromThen :: NumObjectsReq -> NumObjectsReq -> [NumObjectsReq] #

enumFromTo :: NumObjectsReq -> NumObjectsReq -> [NumObjectsReq] #

enumFromThenTo :: NumObjectsReq -> NumObjectsReq -> NumObjectsReq -> [NumObjectsReq] #

Generic NumObjectsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Associated Types

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

Methods

from :: NumObjectsReq -> Rep NumObjectsReq x #

to :: Rep NumObjectsReq x -> NumObjectsReq #

Num NumObjectsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

(+) :: NumObjectsReq -> NumObjectsReq -> NumObjectsReq #

(-) :: NumObjectsReq -> NumObjectsReq -> NumObjectsReq #

(*) :: NumObjectsReq -> NumObjectsReq -> NumObjectsReq #

negate :: NumObjectsReq -> NumObjectsReq #

abs :: NumObjectsReq -> NumObjectsReq #

signum :: NumObjectsReq -> NumObjectsReq #

fromInteger :: Integer -> NumObjectsReq #

Integral NumObjectsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

quot :: NumObjectsReq -> NumObjectsReq -> NumObjectsReq #

rem :: NumObjectsReq -> NumObjectsReq -> NumObjectsReq #

div :: NumObjectsReq -> NumObjectsReq -> NumObjectsReq #

mod :: NumObjectsReq -> NumObjectsReq -> NumObjectsReq #

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

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

toInteger :: NumObjectsReq -> Integer #

Real NumObjectsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

toRational :: NumObjectsReq -> Rational #

Show NumObjectsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

showsPrec :: Int -> NumObjectsReq -> ShowS #

show :: NumObjectsReq -> String #

showList :: [NumObjectsReq] -> ShowS #

Eq NumObjectsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

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

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

Ord NumObjectsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

compare :: NumObjectsReq -> NumObjectsReq -> Ordering #

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

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

(>) :: NumObjectsReq -> NumObjectsReq -> Bool #

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

max :: NumObjectsReq -> NumObjectsReq -> NumObjectsReq #

min :: NumObjectsReq -> NumObjectsReq -> NumObjectsReq #

NoThunks NumObjectsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

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

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

showTypeOf :: Proxy NumObjectsReq -> String #

type Rep NumObjectsReq Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

type Rep NumObjectsReq = D1 ('MetaData "NumObjectsReq" "Ouroboros.Network.Protocol.ObjectDiffusion.Type" "ouroboros-network-1.1.0.0-inplace-protocols" 'True) (C1 ('MetaCons "NumObjectsReq" 'PrefixI 'True) (S1 ('MetaSel ('Just "getNumObjectsReq") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

newtype NumObjectsUnacknowledged Source #

Constructors

NumObjectsUnacknowledged
Fields getNumObjectsUnacknowledged :: Word16

Instances

Instances details

NFData NumObjectsUnacknowledged Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

rnf :: NumObjectsUnacknowledged -> () #

Monoid NumObjectsUnacknowledged Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

mempty :: NumObjectsUnacknowledged #

mappend :: NumObjectsUnacknowledged -> NumObjectsUnacknowledged -> NumObjectsUnacknowledged #

mconcat :: [NumObjectsUnacknowledged] -> NumObjectsUnacknowledged #

Semigroup NumObjectsUnacknowledged Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

(<>) :: NumObjectsUnacknowledged -> NumObjectsUnacknowledged -> NumObjectsUnacknowledged #

sconcat :: NonEmpty NumObjectsUnacknowledged -> NumObjectsUnacknowledged #

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

Bounded NumObjectsUnacknowledged Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

minBound :: NumObjectsUnacknowledged #

maxBound :: NumObjectsUnacknowledged #

Enum NumObjectsUnacknowledged Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Generic NumObjectsUnacknowledged Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Associated Types

type Rep NumObjectsUnacknowledged

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

type Rep NumObjectsUnacknowledged = D1 ('MetaData "NumObjectsUnacknowledged" "Ouroboros.Network.Protocol.ObjectDiffusion.Type" "ouroboros-network-1.1.0.0-inplace-protocols" 'True) (C1 ('MetaCons "NumObjectsUnacknowledged" 'PrefixI 'True) (S1 ('MetaSel ('Just "getNumObjectsUnacknowledged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

Methods

from :: NumObjectsUnacknowledged -> Rep NumObjectsUnacknowledged x #

to :: Rep NumObjectsUnacknowledged x -> NumObjectsUnacknowledged #

Num NumObjectsUnacknowledged Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Integral NumObjectsUnacknowledged Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Real NumObjectsUnacknowledged Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

toRational :: NumObjectsUnacknowledged -> Rational #

Show NumObjectsUnacknowledged Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

showsPrec :: Int -> NumObjectsUnacknowledged -> ShowS #

show :: NumObjectsUnacknowledged -> String #

showList :: [NumObjectsUnacknowledged] -> ShowS #

Eq NumObjectsUnacknowledged Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

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

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

Ord NumObjectsUnacknowledged Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

NoThunks NumObjectsUnacknowledged Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

Methods

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

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

showTypeOf :: Proxy NumObjectsUnacknowledged -> String #

type Rep NumObjectsUnacknowledged Source #

Instance details

Defined in Ouroboros.Network.Protocol.ObjectDiffusion.Type

type Rep NumObjectsUnacknowledged = D1 ('MetaData "NumObjectsUnacknowledged" "Ouroboros.Network.Protocol.ObjectDiffusion.Type" "ouroboros-network-1.1.0.0-inplace-protocols" 'True) (C1 ('MetaCons "NumObjectsUnacknowledged" 'PrefixI 'True) (S1 ('MetaSel ('Just "getNumObjectsUnacknowledged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

data BlockingReplyList (blocking :: StBlockingStyle) a where Source #

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) Source #
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) Source #
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods rnf :: BlockingReplyList blocking a -> () #
Show a => Show (BlockingReplyList blocking a) Source #
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) Source #
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 Source #

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) Source #
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods rnf :: SingBlockingStyle b -> () #
Show (SingBlockingStyle b) Source #
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) Source #
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods (==) :: SingBlockingStyle b -> SingBlockingStyle b -> Bool # (/=) :: SingBlockingStyle b -> SingBlockingStyle b -> Bool #

newtype SizeInBytes #

Constructors

SizeInBytes
Fields getSizeInBytes :: Word32

Instances

Instances details

ToJSON SizeInBytes

Instance details

Defined in Ouroboros.Network.SizeInBytes

Methods

toJSON :: SizeInBytes -> Value #

toEncoding :: SizeInBytes -> Encoding #

toJSONList :: [SizeInBytes] -> Value #

toEncodingList :: [SizeInBytes] -> Encoding #

omitField :: SizeInBytes -> Bool #

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-1.1.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-1.1.0.0-inplace-api" 'True) (C1 ('MetaCons "SizeInBytes" 'PrefixI 'True) (S1 ('MetaSel ('Just "getSizeInBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))

data StBlockingStyle where Source #

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 Source #
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods sing :: Sing 'StBlocking #
SingI 'StNonBlocking Source #
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods sing :: Sing 'StNonBlocking #
type Sing Source #
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type type Sing = SingBlockingStyle