Safe Haskell	None
Language	Haskell2010

Ouroboros.Network.Protocol.TxSubmission2.Codec

Synopsis

codecTxSubmission2 :: forall txid tx (m :: Type -> Type). MonadST m => (txid -> Encoding) -> (forall s. Decoder s txid) -> (tx -> Encoding) -> (forall s. Decoder s tx) -> Codec (TxSubmission2 txid tx) DeserialiseFailure m ByteString
anncodecTxSubmission2 :: forall txid tx (m :: Type -> Type). MonadST m => (txid -> Encoding) -> (forall s. Decoder s txid) -> (forall s. Decoder s (ByteString -> tx)) -> AnnotatedCodec (TxSubmission2 txid (WithBytes tx)) DeserialiseFailure m ByteString
anncodecTxSubmission2' :: forall txid tx txWithBytes (m :: Type -> Type). MonadST m => (ByteString -> tx -> txWithBytes) -> (txid -> Encoding) -> (forall s. Decoder s txid) -> (txWithBytes -> Encoding) -> (forall s. Decoder s (ByteString -> tx)) -> AnnotatedCodec (TxSubmission2 txid txWithBytes) DeserialiseFailure m ByteString
codecTxSubmission2Id :: forall txid tx (m :: Type -> Type). Monad m => Codec (TxSubmission2 txid tx) CodecFailure m (AnyMessage (TxSubmission2 txid tx))
byteLimitsTxSubmission2 :: (bytes -> Word) -> ProtocolSizeLimits (TxSubmission2 txid tx) bytes
timeLimitsTxSubmission2 :: ProtocolTimeLimits (TxSubmission2 txid tx)
data WithBytes a = WithBytes {
- cborBytes :: ByteString
- cborPayload :: a
}

Documentation

Arguments

:: forall txid tx (m :: Type -> Type). MonadST m
=> (txid -> Encoding)	encode `txid`
-> (forall s. Decoder s txid)	decode `txid`
-> (tx -> Encoding)	encode transaction
-> (forall s. Decoder s tx)	decode transaction
-> Codec (TxSubmission2 txid tx) DeserialiseFailure m ByteString

Arguments

:: forall txid tx (m :: Type -> Type). MonadST m
=> (txid -> Encoding)	encode `txid`
-> (forall s. Decoder s txid)	decode `txid`
-> (forall s. Decoder s (ByteString -> tx))	decode transaction
-> AnnotatedCodec (TxSubmission2 txid (WithBytes tx)) DeserialiseFailure m ByteString

An AnnotatedCodec paired with WithBytes functor.

Arguments

:: forall txid tx txWithBytes (m :: Type -> Type). MonadST m
=> (ByteString -> tx -> txWithBytes)	`withBytes` constructor
-> (txid -> Encoding)	encode `txid`
-> (forall s. Decoder s txid)	decode `txid`
-> (txWithBytes -> Encoding)	encode `tx`
-> (forall s. Decoder s (ByteString -> tx))	decode transaction
-> AnnotatedCodec (TxSubmission2 txid txWithBytes) DeserialiseFailure m ByteString

An AnnotatedCodec with a custom txWithBytes wrapper of tx, e.g. `txWithBytes ~ WithBytes tx` as in anncodecTxSubmission2.

byteLimitsTxSubmission2 :: (bytes -> Word) -> ProtocolSizeLimits (TxSubmission2 txid tx) bytes Source #

Byte Limits.

TxSubmission2 time limits.

Constructors

WithBytes
Fields cborBytes :: ByteString cbor encoding cborPayload :: a decoded structure

Instances details

Show a => Show (WithBytes a) Source #
Instance details Defined in Ouroboros.Network.Protocol.Codec.Utils Methods showsPrec :: Int -> WithBytes a -> ShowS # show :: WithBytes a -> String # showList :: [WithBytes a] -> ShowS #
Eq a => Eq (WithBytes a) Source #
Instance details Defined in Ouroboros.Network.Protocol.Codec.Utils Methods (==) :: WithBytes a -> WithBytes a -> Bool # (/=) :: WithBytes a -> WithBytes a -> Bool #