ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

Test.Consensus.Genesis.Tests.CSJ

Description

ChainSync Jumping tests.

Synopsis

Documentation

data TestKey Source #

Each value of this type uniquely corresponds to a test defined in this module.

Instances

Instances details
Generic TestKey Source # 
Instance details

Defined in Test.Consensus.Genesis.Tests.CSJ

Associated Types

type Rep TestKey 
Instance details

Defined in Test.Consensus.Genesis.Tests.CSJ

type Rep TestKey = D1 ('MetaData "TestKey" "Test.Consensus.Genesis.Tests.CSJ" "ouroboros-consensus-3.0.0.0-inplace-consensus-diffusion-test" 'False) ((C1 ('MetaCons "WithNoAdversariesAndOneScheduleForAllPeers" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "WithNoAdversariesAndOneSchedulePerHonestPeer" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "WithAdversariesAndOneScheduleForAllPeers" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "WithAdversariesAndOneSchedulePerHonestPeer" 'PrefixI 'False) (U1TypeType)))

Methods

fromTestKeyRep TestKey x #

toRep TestKey x → TestKey #

Eq TestKey Source # 
Instance details

Defined in Test.Consensus.Genesis.Tests.CSJ

Methods

(==)TestKeyTestKeyBool #

(/=)TestKeyTestKeyBool #

Ord TestKey Source # 
Instance details

Defined in Test.Consensus.Genesis.Tests.CSJ

Methods

compareTestKeyTestKeyOrdering #

(<)TestKeyTestKeyBool #

(<=)TestKeyTestKeyBool #

(>)TestKeyTestKeyBool #

(>=)TestKeyTestKeyBool #

maxTestKeyTestKeyTestKey #

minTestKeyTestKeyTestKey #

SmallKey TestKey Source # 
Instance details

Defined in Test.Consensus.Genesis.Tests.CSJ

Methods

allKeys ∷ [TestKey]

type Rep TestKey Source # 
Instance details

Defined in Test.Consensus.Genesis.Tests.CSJ

type Rep TestKey = D1 ('MetaData "TestKey" "Test.Consensus.Genesis.Tests.CSJ" "ouroboros-consensus-3.0.0.0-inplace-consensus-diffusion-test" 'False) ((C1 ('MetaCons "WithNoAdversariesAndOneScheduleForAllPeers" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "WithNoAdversariesAndOneSchedulePerHonestPeer" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "WithAdversariesAndOneScheduleForAllPeers" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "WithAdversariesAndOneSchedulePerHonestPeer" 'PrefixI 'False) (U1TypeType)))