ouroboros-network-protocols:testlib
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Network.Protocol.LocalTxSubmission.Test

Documentation

tests :: TestTree Source #

newtype Tx Source #

Constructors

Tx Any 

Instances

Instances details
Arbitrary Tx Source # 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Test

Methods

arbitrary :: Gen Tx #

shrink :: Tx -> [Tx] #

CoArbitrary Tx Source # 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Test

Methods

coarbitrary :: Tx -> Gen b -> Gen b #

NFData Tx Source # 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Test

Methods

rnf :: Tx -> () #

Generic Tx Source # 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Test

Associated Types

type Rep Tx 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Test

type Rep Tx = D1 ('MetaData "Tx" "Ouroboros.Network.Protocol.LocalTxSubmission.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 Any)))

Methods

from :: Tx -> Rep Tx x #

to :: Rep Tx x -> Tx #

Show Tx Source # 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Test

Methods

showsPrec :: Int -> Tx -> ShowS #

show :: Tx -> String #

showList :: [Tx] -> ShowS #

Eq Tx Source # 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Test

Methods

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

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

Serialise Tx Source # 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.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.LocalTxSubmission.Test

Methods

showProxy :: Proxy Tx -> String #

Arbitrary (AnyMessageAndAgency (LocalTxSubmission Tx Reject)) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Test

Methods

arbitrary :: Gen (AnyMessageAndAgency (LocalTxSubmission Tx Reject)) #

shrink :: AnyMessageAndAgency (LocalTxSubmission Tx Reject) -> [AnyMessageAndAgency (LocalTxSubmission Tx Reject)] #

type Rep Tx Source # 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Test

type Rep Tx = D1 ('MetaData "Tx" "Ouroboros.Network.Protocol.LocalTxSubmission.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 Any)))

newtype Reject Source #

Constructors

Reject Int 

Instances

Instances details
Arbitrary Reject Source # 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Test

Methods

arbitrary :: Gen Reject #

shrink :: Reject -> [Reject] #

NFData Reject Source # 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Test

Methods

rnf :: Reject -> () #

Generic Reject Source # 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Test

Associated Types

type Rep Reject 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Test

type Rep Reject = D1 ('MetaData "Reject" "Ouroboros.Network.Protocol.LocalTxSubmission.Test" "ouroboros-network-protocols-0.10.0.2-inplace-testlib" 'True) (C1 ('MetaCons "Reject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from :: Reject -> Rep Reject x #

to :: Rep Reject x -> Reject #

Show Reject Source # 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Test

Methods

showsPrec :: Int -> Reject -> ShowS #

show :: Reject -> String #

showList :: [Reject] -> ShowS #

Eq Reject Source # 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Test

Methods

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

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

Serialise Reject Source # 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Test

Methods

encode :: Reject -> Encoding #

decode :: Decoder s Reject #

encodeList :: [Reject] -> Encoding #

decodeList :: Decoder s [Reject] #

ShowProxy Reject Source # 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Test

Methods

showProxy :: Proxy Reject -> String #

Arbitrary (AnyMessageAndAgency (LocalTxSubmission Tx Reject)) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Test

Methods

arbitrary :: Gen (AnyMessageAndAgency (LocalTxSubmission Tx Reject)) #

shrink :: AnyMessageAndAgency (LocalTxSubmission Tx Reject) -> [AnyMessageAndAgency (LocalTxSubmission Tx Reject)] #

type Rep Reject Source # 
Instance details

Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Test

type Rep Reject = D1 ('MetaData "Reject" "Ouroboros.Network.Protocol.LocalTxSubmission.Test" "ouroboros-network-protocols-0.10.0.2-inplace-testlib" 'True) (C1 ('MetaCons "Reject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Orphan instances

Arbitrary a => Arbitrary (SubmitResult a) Source # 
Instance details

Methods

arbitrary :: Gen (SubmitResult a) #

shrink :: SubmitResult a -> [SubmitResult a] #

(Eq tx, Eq reject) => Eq (AnyMessage (LocalTxSubmission tx reject)) Source # 
Instance details

Methods

(==) :: AnyMessage (LocalTxSubmission tx reject) -> AnyMessage (LocalTxSubmission tx reject) -> Bool #

(/=) :: AnyMessage (LocalTxSubmission tx reject) -> AnyMessage (LocalTxSubmission tx reject) -> Bool #