type Rep Tx
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Test type Rep Tx = D1 ('MetaData "Tx" "Ouroboros.Network.Protocol.TxSubmission2.Test" "ouroboros-network-0.23.0.0-inplace-protocols-tests-lib" 'True) (C1 ('MetaCons "Tx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId)))

Methods

from :: Tx -> Rep Tx x #

to :: Rep Tx x -> Tx #

Show Tx Source #

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

Methods

showsPrec :: Int -> Tx -> ShowS #

show :: Tx -> String #

showList :: [Tx] -> ShowS #

Eq Tx Source #

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

Methods

(==) :: Tx -> Tx -> Bool #

(/=) :: Tx -> Tx -> Bool #

Serialise Tx Source #

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

Methods

encode :: Tx -> Encoding #

decode :: Decoder s Tx #

encodeList :: [Tx] -> Encoding #

decodeList :: Decoder s [Tx] #

ShowProxy Tx Source #

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

Methods

showProxy :: Proxy Tx -> String

type Rep Tx Source #

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

type Rep Tx = D1 ('MetaData "Tx" "Ouroboros.Network.Protocol.TxSubmission2.Test" "ouroboros-network-0.23.0.0-inplace-protocols-tests-lib" 'True) (C1 ('MetaCons "Tx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId)))

newtype TxId Source #

We use any Term. This allows us to use any in cddl specs.

Constructors

TxId Any

Instances

Instances details

Arbitrary TxId Source #

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

Methods

arbitrary :: Gen TxId #

shrink :: TxId -> [TxId] #

NFData TxId Source #

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

Methods

rnf :: TxId -> () #

Generic TxId Source #

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

Associated Types

type Rep TxId
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Test type Rep TxId = D1 ('MetaData "TxId" "Ouroboros.Network.Protocol.TxSubmission2.Test" "ouroboros-network-0.23.0.0-inplace-protocols-tests-lib" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Any)))

Methods

from :: TxId -> Rep TxId x #

to :: Rep TxId x -> TxId #

Show TxId Source #

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

Methods

showsPrec :: Int -> TxId -> ShowS #

show :: TxId -> String #

showList :: [TxId] -> ShowS #

Eq TxId Source #

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

Methods

(==) :: TxId -> TxId -> Bool #

(/=) :: TxId -> TxId -> Bool #

Ord TxId Source #

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

Methods

compare :: TxId -> TxId -> Ordering #

(<) :: TxId -> TxId -> Bool #

(<=) :: TxId -> TxId -> Bool #

(>) :: TxId -> TxId -> Bool #

(>=) :: TxId -> TxId -> Bool #

max :: TxId -> TxId -> TxId #

min :: TxId -> TxId -> TxId #

Serialise TxId Source #

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

Methods

encode :: TxId -> Encoding #

decode :: Decoder s TxId #

encodeList :: [TxId] -> Encoding #

decodeList :: Decoder s [TxId] #

ShowProxy TxId Source #

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

Methods

showProxy :: Proxy TxId -> String

type Rep TxId Source #

Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

type Rep TxId = D1 ('MetaData "TxId" "Ouroboros.Network.Protocol.TxSubmission2.Test" "ouroboros-network-0.23.0.0-inplace-protocols-tests-lib" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Any)))

labelMsg :: Testable prop => AnyMessage (TxSubmission2 txid tx) -> prop -> Property Source #

Orphan instances

Arbitrary NumTxIdsToAck Source #
Instance details Methods arbitrary :: Gen NumTxIdsToAck # shrink :: NumTxIdsToAck -> [NumTxIdsToAck] #
Arbitrary NumTxIdsToReq Source #
Instance details Methods arbitrary :: Gen NumTxIdsToReq # shrink :: NumTxIdsToReq -> [NumTxIdsToReq] #
(Serialise a, Arbitrary a) => Arbitrary (WithBytes a) Source #
Instance details Methods arbitrary :: Gen (WithBytes a) # shrink :: WithBytes a -> [WithBytes a] #
(Arbitrary txid, Arbitrary tx) => Arbitrary (AnyMessage (TxSubmission2 txid tx)) Source #
Instance details Methods arbitrary :: Gen (AnyMessage (TxSubmission2 txid tx)) # shrink :: AnyMessage (TxSubmission2 txid tx) -> [AnyMessage (TxSubmission2 txid tx)] #
(Eq txid, Eq tx) => Eq (AnyMessage (TxSubmission2 txid tx)) Source #
Instance details Methods (==) :: AnyMessage (TxSubmission2 txid tx) -> AnyMessage (TxSubmission2 txid tx) -> Bool # (/=) :: AnyMessage (TxSubmission2 txid tx) -> AnyMessage (TxSubmission2 txid tx) -> Bool #