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 tx) -> AnnotatedCodec (TxSubmission2 txid (WithBytes tx)) 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 |
-> (forall s. Decoder s txid) | decode |
-> (tx -> Encoding) | encode transaction |
-> (forall s. Decoder s tx) | decode transaction |
-> Codec (TxSubmission2 txid tx) DeserialiseFailure m ByteString |
anncodecTxSubmission2 Source #
Arguments
:: forall txid tx (m :: Type -> Type). MonadST m | |
=> (txid -> Encoding) | encode |
-> (forall s. Decoder s txid) | decode |
-> (forall s. Decoder s tx) | decode transaction |
-> AnnotatedCodec (TxSubmission2 txid (WithBytes tx)) DeserialiseFailure m ByteString |
codecTxSubmission2Id :: forall txid tx (m :: Type -> Type). Monad m => Codec (TxSubmission2 txid tx) CodecFailure m (AnyMessage (TxSubmission2 txid tx)) Source #
byteLimitsTxSubmission2 :: (bytes -> Word) -> ProtocolSizeLimits (TxSubmission2 txid tx) bytes Source #
Byte Limits.
timeLimitsTxSubmission2 :: ProtocolTimeLimits (TxSubmission2 txid tx) Source #