ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

Test.Consensus.Genesis.Tests

Synopsis

Documentation

data TestKey Source #

Each value of this type uniquely corresponds to a Genesis test.

Instances

Instances details
Eq TestKey Source # 
Instance details

Defined in Test.Consensus.Genesis.Tests

Methods

(==) ∷ TestKey → TestKey → Bool #

(/=) ∷ TestKey → TestKey → Bool #

Ord TestKey Source # 
Instance details

Defined in Test.Consensus.Genesis.Tests

Methods

compare ∷ TestKey → TestKey → Ordering #

(<) ∷ TestKey → TestKey → Bool #

(<=) ∷ TestKey → TestKey → Bool #

(>) ∷ TestKey → TestKey → Bool #

(>=) ∷ TestKey → TestKey → Bool #

max ∷ TestKey → TestKey → TestKey #

min ∷ TestKey → TestKey → TestKey #

Generic TestKey Source # 
Instance details

Defined in Test.Consensus.Genesis.Tests

Associated Types

type Rep TestKey 
Instance details

Defined in Test.Consensus.Genesis.Tests

type Rep TestKey = D1 ('MetaData "TestKey" "Test.Consensus.Genesis.Tests" "ouroboros-consensus-4.0.0.0-inplace-consensus-diffusion-test" 'False) ((C1 ('MetaCons "Uniform" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestKey)) :+: (C1 ('MetaCons "CSJ" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestKey)) :+: C1 ('MetaCons "GDD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestKey)))) :+: (C1 ('MetaCons "LongRangeAttack" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestKey)) :+: (C1 ('MetaCons "LoE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestKey)) :+: C1 ('MetaCons "LoP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestKey)))))

Methods

from ∷ TestKey → Rep TestKey x #

to ∷ Rep TestKey x → TestKey #

SmallKey TestKey Source # 
Instance details

Defined in Test.Consensus.Genesis.Tests

Methods

allKeys ∷ [TestKey]

type Rep TestKey Source # 
Instance details

Defined in Test.Consensus.Genesis.Tests

type Rep TestKey = D1 ('MetaData "TestKey" "Test.Consensus.Genesis.Tests" "ouroboros-consensus-4.0.0.0-inplace-consensus-diffusion-test" 'False) ((C1 ('MetaCons "Uniform" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestKey)) :+: (C1 ('MetaCons "CSJ" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestKey)) :+: C1 ('MetaCons "GDD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestKey)))) :+: (C1 ('MetaCons "LongRangeAttack" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestKey)) :+: (C1 ('MetaCons "LoE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestKey)) :+: C1 ('MetaCons "LoP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestKey)))))

testSuite ∷ (HasHeader blk, GetHeader blk, IssueTestBlock blk, Condense (Header blk), Ord blk, Eq (Header blk)) ⇒ TestSuite blk TestKey Source #

tests ∷ TestTree Source #