ouroboros-consensus

Safe Haskell	None
Language	Haskell2010

Test.Consensus.PeerSimulator.Tests.Rollback

Documentation

data TestKey Source #

Instances

Instances details

Eq TestKey Source #

Instance details

Defined in Test.Consensus.PeerSimulator.Tests.Rollback

Methods

(==) ∷ TestKey → TestKey → Bool #

(/=) ∷ TestKey → TestKey → Bool #

Ord TestKey Source #

Instance details

Defined in Test.Consensus.PeerSimulator.Tests.Rollback

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.PeerSimulator.Tests.Rollback

Associated Types

type Rep TestKey
Instance details Defined in Test.Consensus.PeerSimulator.Tests.Rollback type Rep TestKey = D1 ('MetaData "TestKey" "Test.Consensus.PeerSimulator.Tests.Rollback" "ouroboros-consensus-4.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "CanRollback" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CannotRollback" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ TestKey → Rep TestKey x #

to ∷ Rep TestKey x → TestKey #

SmallKey TestKey Source #

Instance details

Defined in Test.Consensus.PeerSimulator.Tests.Rollback

Methods

allKeys ∷ [TestKey]

type Rep TestKey Source #

Instance details

Defined in Test.Consensus.PeerSimulator.Tests.Rollback

type Rep TestKey = D1 ('MetaData "TestKey" "Test.Consensus.PeerSimulator.Tests.Rollback" "ouroboros-consensus-4.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "CanRollback" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CannotRollback" 'PrefixI 'False) (U1 ∷ Type → Type))

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