ouroboros-network:protocols

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

codecTxSubmission2 Source #

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

anncodecTxSubmission2 Source #

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.

anncodecTxSubmission2' Source #

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.

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 #

TxSubmission2 time limits.

`TxSubmission2` state	timeout (s)
`StInit`	`waitForever`
`StIdle`	`waitForever`
`StTxIds StBlocking`	`waitForever`
`StTxIds StNonBlocking`	`shortWait`
`StTxs`	`shortWait`

data WithBytes a Source #

Constructors

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

Instances

Instances details

Typeable a => ShowProxy (WithBytes a :: Type) Source #

Instance details

Defined in Ouroboros.Network.Protocol.Codec.Utils

Methods

showProxy :: Proxy (WithBytes a) -> String

Generic (WithBytes a) Source #

Instance details

Defined in Ouroboros.Network.Protocol.Codec.Utils

Associated Types

type Rep (WithBytes a)

Instance details

Defined in Ouroboros.Network.Protocol.Codec.Utils

type Rep (WithBytes a) = D1 ('MetaData "WithBytes" "Ouroboros.Network.Protocol.Codec.Utils" "ouroboros-network-1.1.0.0-inplace-protocols" 'False) (C1 ('MetaCons "WithBytes" 'PrefixI 'True) (S1 ('MetaSel ('Just "cborBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "cborPayload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from :: WithBytes a -> Rep (WithBytes a) x #

to :: Rep (WithBytes a) x -> WithBytes a #

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 #

NoThunks a => NoThunks (WithBytes a) Source #

Instance details

Defined in Ouroboros.Network.Protocol.Codec.Utils

Methods

noThunks :: Context -> WithBytes a -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> WithBytes a -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (WithBytes a) -> String #

type Rep (WithBytes a) Source #

Instance details

Defined in Ouroboros.Network.Protocol.Codec.Utils

type Rep (WithBytes a) = D1 ('MetaData "WithBytes" "Ouroboros.Network.Protocol.Codec.Utils" "ouroboros-network-1.1.0.0-inplace-protocols" 'False) (C1 ('MetaCons "WithBytes" 'PrefixI 'True) (S1 ('MetaSel ('Just "cborBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "cborPayload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))