| 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
- codecTxSubmission2Id :: forall {k} {k1} (txid :: k) (tx :: k1) (m :: Type -> Type). Monad m => Codec (TxSubmission2 txid tx) CodecFailure m (AnyMessage (TxSubmission2 txid tx))
- encodeTxSubmission2 :: (txid -> Encoding) -> (tx -> Encoding) -> forall (st :: TxSubmission2 txid tx) (st' :: TxSubmission2 txid tx). Message (TxSubmission2 txid tx) st st' -> Encoding
- decodeTxSubmission2 :: (forall s. Decoder s txid) -> (forall s. Decoder s tx) -> forall (st :: TxSubmission2 txid tx) s. ActiveState st => StateToken st -> Int -> Word -> Decoder s (SomeMessage st)
- byteLimitsTxSubmission2 :: forall {k} {k1} bytes (txid :: k) (tx :: k1). (bytes -> Word) -> ProtocolSizeLimits (TxSubmission2 txid tx) bytes
- timeLimitsTxSubmission2 :: forall {k} {k1} (txid :: k) (tx :: k1). ProtocolTimeLimits (TxSubmission2 txid tx)
Documentation
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 Source #
codecTxSubmission2Id :: forall {k} {k1} (txid :: k) (tx :: k1) (m :: Type -> Type). Monad m => Codec (TxSubmission2 txid tx) CodecFailure m (AnyMessage (TxSubmission2 txid tx)) Source #
encodeTxSubmission2 :: (txid -> Encoding) -> (tx -> Encoding) -> forall (st :: TxSubmission2 txid tx) (st' :: TxSubmission2 txid tx). Message (TxSubmission2 txid tx) st st' -> Encoding Source #
decodeTxSubmission2 :: (forall s. Decoder s txid) -> (forall s. Decoder s tx) -> forall (st :: TxSubmission2 txid tx) s. ActiveState st => StateToken st -> Int -> Word -> Decoder s (SomeMessage st) Source #
byteLimitsTxSubmission2 :: forall {k} {k1} bytes (txid :: k) (tx :: k1). (bytes -> Word) -> ProtocolSizeLimits (TxSubmission2 txid tx) bytes Source #
Byte Limits.
timeLimitsTxSubmission2 :: forall {k} {k1} (txid :: k) (tx :: k1). ProtocolTimeLimits (TxSubmission2 txid tx) Source #