Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Network.Protocol.TxSubmission2.Codec

Synopsis

codecTxSubmission2 ∷ ∀ txid tx m. MonadST m ⇒ (txid → Encoding) → (∀ s. Decoder s txid) → (tx → Encoding) → (∀ s. Decoder s tx) → Codec (TxSubmission2 txid tx) DeserialiseFailure m ByteString
codecTxSubmission2Id ∷ ∀ txid tx m. Monad m ⇒ Codec (TxSubmission2 txid tx) CodecFailure m (AnyMessage (TxSubmission2 txid tx))
encodeTxSubmission2 ∷ ∀ txid tx. (txid → Encoding) → (tx → Encoding) → ∀ (pr ∷ PeerRole) (st ∷ TxSubmission2 txid tx) (st' ∷ TxSubmission2 txid tx). PeerHasAgency pr st → Message (TxSubmission2 txid tx) st st' → Encoding
decodeTxSubmission2 ∷ ∀ txid tx. (∀ s. Decoder s txid) → (∀ s. Decoder s tx) → ∀ (pr ∷ PeerRole) (st ∷ TxSubmission2 txid tx) s. PeerHasAgency pr st → Int → Word → Decoder s (SomeMessage st)
byteLimitsTxSubmission2 ∷ ∀ bytes txid tx. (bytes → Word) → ProtocolSizeLimits (TxSubmission2 txid tx) bytes
timeLimitsTxSubmission2 ∷ ∀ txid tx. ProtocolTimeLimits (TxSubmission2 txid tx)

Documentation

codecTxSubmission2 ∷ ∀ txid tx m. MonadST m ⇒ (txid → Encoding) → (∀ s. Decoder s txid) → (tx → Encoding) → (∀ s. Decoder s tx) → Codec (TxSubmission2 txid tx) DeserialiseFailure m ByteString Source #

encodeTxSubmission2 ∷ ∀ txid tx. (txid → Encoding) → (tx → Encoding) → ∀ (pr ∷ PeerRole) (st ∷ TxSubmission2 txid tx) (st' ∷ TxSubmission2 txid tx). PeerHasAgency pr st → Message (TxSubmission2 txid tx) st st' → Encoding Source #

decodeTxSubmission2 ∷ ∀ txid tx. (∀ s. Decoder s txid) → (∀ s. Decoder s tx) → ∀ (pr ∷ PeerRole) (st ∷ TxSubmission2 txid tx) s. PeerHasAgency pr st → Int → Word → Decoder s (SomeMessage st) Source #

Byte Limits.

Time Limits.

`TokTxIds TokBlocking` No timeout `TokTxIds TokNonBlocking` shortWait timeout TokTxs shortWait timeout TokIdle shortWait timeout