ouroboros-network-protocols:testlib
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Network.Protocol.TxSubmission2.Test

Synopsis

Documentation

tests :: TestTree Source #

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.15.0.0-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

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-protocols-0.15.0.0-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.15.0.0-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

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