ouroboros-consensus-test-0.1.0.0: Tests of the consensus layer
Safe HaskellNone
LanguageHaskell2010

Test.Util.HardFork.Future

Synopsis

Documentation

newtype EraSize Source #

Number of epochs

Constructors

EraSize 

Fields

Instances

Instances details
Eq EraSize Source # 
Instance details

Defined in Test.Util.HardFork.Future

Methods

(==)EraSizeEraSizeBool Source #

(/=)EraSizeEraSizeBool Source #

Show EraSize Source # 
Instance details

Defined in Test.Util.HardFork.Future

Generic EraSize Source # 
Instance details

Defined in Test.Util.HardFork.Future

Associated Types

type Rep EraSizeTypeType Source #

Methods

fromEraSizeRep EraSize x Source #

toRep EraSize x → EraSize Source #

type Rep EraSize Source # 
Instance details

Defined in Test.Util.HardFork.Future

type Rep EraSize = D1 ('MetaData "EraSize" "Test.Util.HardFork.Future" "ouroboros-consensus-test-0.1.0.0-inplace" 'True) (C1 ('MetaCons "EraSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEraSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

data Future Source #

Every era in the test

INVARIANT: every number is > 0

Instances

Instances details
Eq Future Source # 
Instance details

Defined in Test.Util.HardFork.Future

Methods

(==)FutureFutureBool Source #

(/=)FutureFutureBool Source #

Show Future Source # 
Instance details

Defined in Test.Util.HardFork.Future

futureEpochInFirstEraFutureEpochNoBool Source #

Whether the epoch is in the first era

futureSlotLengthsFutureStream SlotLength Source #

Length of each slot in the whole Future

futureSlotToEpochFutureSlotNoEpochNo Source #

Which epoch the slot is in

futureSlotToTimeFutureSlotNoNominalDiffTime Source #

When the slot begins

futureTimeToSlotFutureNominalDiffTime → (SlotNo, NominalDiffTime, SlotLength) Source #

(slot, time left in slot, length of slot)