ouroboros-network-protocols
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Network.Protocol.TxSubmission2.Type

Description

The type of the transaction submission protocol.

This is used to relay transactions between nodes.

Synopsis

Documentation

data TxSubmission2 (txid :: k) (tx :: k1) where Source #

The kind of the transaction-submission protocol, and the types of the states in the protocol state machine.

We describe this protocol using the label "client" for the peer that is submitting transactions, and "server" for the one receiving them. The protocol is however pull based, so it is typically the server that has agency in this protocol. This is the opposite of the chain sync and block fetch protocols, but that makes sense because the information flow is also reversed: submitting transactions rather than receiving headers and blocks.

Because these client/server labels are somewhat confusing in this case, we sometimes clarify by using the terms inbound and outbound. This refers to whether transactions are flowing towards a peer or away, and thus indicates what role the peer is playing.

Constructors

StInit :: forall {k} {k1} (txid :: k) (tx :: k1). TxSubmission2 txid tx

Initial protocol message.

StIdle :: forall {k} {k1} (txid :: k) (tx :: k1). TxSubmission2 txid tx

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

There is no timeout in this state.

StTxIds :: forall {k} {k1} (txid :: k) (tx :: k1). StBlockingStyle -> TxSubmission2 txid tx

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

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

StTxs :: forall {k} {k1} (txid :: k) (tx :: k1). TxSubmission2 txid tx

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

StDone :: forall {k} {k1} (txid :: k) (tx :: k1). TxSubmission2 txid tx

Nobody has agency; termination state.

Instances

Instances details
(ShowProxy txid, ShowProxy tx) => ShowProxy (TxSubmission2 txid tx :: Type) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

showProxy :: Proxy (TxSubmission2 txid tx) -> String #

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

Protocol (TxSubmission2 txid tx) 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.TxSubmission2.Type

Associated Types

type StateToken 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

ShowProxy ('StIdle :: TxSubmission2 txid tx) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

showProxy :: Proxy ('StIdle :: TxSubmission2 txid tx) -> String #

StateTokenI ('StDone :: TxSubmission2 txid tx) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

stateToken :: StateToken ('StDone :: TxSubmission2 txid tx) #

StateTokenI ('StIdle :: TxSubmission2 txid tx) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

stateToken :: StateToken ('StIdle :: TxSubmission2 txid tx) #

StateTokenI ('StInit :: TxSubmission2 txid tx) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

stateToken :: StateToken ('StInit :: TxSubmission2 txid tx) #

StateTokenI ('StTxs :: TxSubmission2 txid tx) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

stateToken :: StateToken ('StTxs :: TxSubmission2 txid tx) #

SingI stBlocking => StateTokenI ('StTxIds stBlocking :: TxSubmission2 txid tx) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

stateToken :: StateToken ('StTxIds stBlocking :: TxSubmission2 txid tx) #

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
type StateToken Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

type StateAgency ('StDone :: TxSubmission2 txid tx) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

type StateAgency ('StIdle :: TxSubmission2 txid tx) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

type StateAgency ('StInit :: TxSubmission2 txid tx) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

type StateAgency ('StTxs :: TxSubmission2 txid tx) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

type StateAgency ('StTxIds b :: TxSubmission2 txid tx) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

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

data SingTxSubmission (k2 :: TxSubmission2 txid tx) where Source #

Constructors

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

Instances

Instances details
Show (SingTxSubmission k3) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

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.

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

type Sing Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

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

newtype NumTxIdsToAck Source #

Constructors

NumTxIdsToAck 

Instances

Instances details
NFData NumTxIdsToAck Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

rnf :: NumTxIdsToAck -> () #

Monoid NumTxIdsToAck Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Semigroup NumTxIdsToAck Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Bounded NumTxIdsToAck Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Enum NumTxIdsToAck Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Generic NumTxIdsToAck Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Associated Types

type Rep NumTxIdsToAck 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

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

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Integral NumTxIdsToAck Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Real NumTxIdsToAck Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Show NumTxIdsToAck Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Eq NumTxIdsToAck Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Ord NumTxIdsToAck Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

NoThunks NumTxIdsToAck Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

type Rep NumTxIdsToAck Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

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

newtype NumTxIdsToReq Source #

Constructors

NumTxIdsToReq 

Instances

Instances details
NFData NumTxIdsToReq Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Methods

rnf :: NumTxIdsToReq -> () #

Monoid NumTxIdsToReq Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Semigroup NumTxIdsToReq Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Bounded NumTxIdsToReq Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Enum NumTxIdsToReq Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Generic NumTxIdsToReq Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Associated Types

type Rep NumTxIdsToReq 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

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

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Integral NumTxIdsToReq Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Real NumTxIdsToReq Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Show NumTxIdsToReq Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Eq NumTxIdsToReq Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

Ord NumTxIdsToReq Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

NoThunks NumTxIdsToReq Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

type Rep NumTxIdsToReq Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Type

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

newtype SizeInBytes #

Constructors

SizeInBytes 

Instances

Instances details
NFData SizeInBytes 
Instance details

Defined in Ouroboros.Network.SizeInBytes

Methods

rnf :: SizeInBytes -> () #

Monoid SizeInBytes 
Instance details

Defined in Ouroboros.Network.SizeInBytes

Semigroup SizeInBytes 
Instance details

Defined in Ouroboros.Network.SizeInBytes

Enum SizeInBytes 
Instance details

Defined in Ouroboros.Network.SizeInBytes

Generic SizeInBytes 
Instance details

Defined in Ouroboros.Network.SizeInBytes

Associated Types

type Rep SizeInBytes 
Instance details

Defined in Ouroboros.Network.SizeInBytes

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

Defined in Ouroboros.Network.SizeInBytes

Integral SizeInBytes 
Instance details

Defined in Ouroboros.Network.SizeInBytes

Real SizeInBytes 
Instance details

Defined in Ouroboros.Network.SizeInBytes

Show SizeInBytes 
Instance details

Defined in Ouroboros.Network.SizeInBytes

Eq SizeInBytes 
Instance details

Defined in Ouroboros.Network.SizeInBytes

Ord SizeInBytes 
Instance details

Defined in Ouroboros.Network.SizeInBytes

BoundedMeasure SizeInBytes 
Instance details

Defined in Ouroboros.Network.SizeInBytes

Measure SizeInBytes 
Instance details

Defined in Ouroboros.Network.SizeInBytes

NoThunks SizeInBytes 
Instance details

Defined in Ouroboros.Network.SizeInBytes

type Rep SizeInBytes 
Instance details

Defined in Ouroboros.Network.SizeInBytes

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

type TxSizeInBytes = SizeInBytes Source #

Deprecated: Use SizeInBytes instead

Transactions are typically not big, but in principle in future we could have ones over 64k large.