ouroboros-network-protocols:testlib
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Network.Protocol.TxSubmission2.Test

Synopsis

Documentation

newtype Tx Source #

Constructors

Tx TxId 

Instances

Instances details
Arbitrary Tx Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

Methods

arbitrary :: Gen Tx #

shrink :: Tx -> [Tx] #

NFData Tx Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

Methods

rnf :: Tx -> () #

Generic Tx Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

Associated Types

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-protocols-0.10.0.2-inplace-testlib" '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

ShowProxy Tx Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

Methods

showProxy :: Proxy Tx -> String #

Arbitrary (AnyMessage (TxSubmission2 TxId Tx)) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

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-protocols-0.10.0.2-inplace-testlib" '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-protocols-0.10.0.2-inplace-testlib" '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

ShowProxy TxId Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

Methods

showProxy :: Proxy TxId -> String #

Arbitrary (AnyMessage (TxSubmission2 TxId Tx)) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.TxSubmission2.Test

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-protocols-0.10.0.2-inplace-testlib" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Any)))

Orphan instances

Arbitrary NumTxIdsToAck Source # 
Instance details

Arbitrary NumTxIdsToReq Source # 
Instance details

(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 #