ouroboros-consensus-test-0.3.1.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

(==) ∷ EraSize → EraSize → Bool Source #

(/=) ∷ EraSize → EraSize → Bool Source #

Show EraSize Source # 
Instance details

Defined in Test.Util.HardFork.Future

Methods

showsPrec ∷ Int → EraSize → ShowS Source #

show ∷ EraSize → String Source #

showList ∷ [EraSize] → ShowS Source #

Generic EraSize Source # 
Instance details

Defined in Test.Util.HardFork.Future

Associated Types

type Rep EraSize ∷ Type → Type Source #

Methods

from ∷ EraSize → Rep EraSize x Source #

to ∷ Rep 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.3.1.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

Constructors

EraFinal SlotLength EpochSize 
EraCons SlotLength EpochSize EraSize Future 

Instances

Instances details
Eq Future Source # 
Instance details

Defined in Test.Util.HardFork.Future

Methods

(==) ∷ Future → Future → Bool Source #

(/=) ∷ Future → Future → Bool Source #

Show Future Source # 
Instance details

Defined in Test.Util.HardFork.Future

Methods

showsPrec ∷ Int → Future → ShowS Source #

show ∷ Future → String Source #

showList ∷ [Future] → ShowS Source #

futureEpochInFirstEra ∷ Future → EpochNo → Bool Source #

Whether the epoch is in the first era

futureFirstEpochSize ∷ Future → EpochSize Source #

EpochSize of the first era

futureFirstSlotLength ∷ Future → SlotLength Source #

SlotLength of the first era

futureSlotLengths ∷ Future → Stream SlotLength Source #

Length of each slot in the whole Future

futureSlotToEpoch ∷ Future → SlotNo → EpochNo Source #

Which epoch the slot is in

futureSlotToTime ∷ Future → SlotNo → NominalDiffTime Source #

When the slot begins

futureTimeToSlot ∷ Future → NominalDiffTime → (SlotNo, NominalDiffTime, SlotLength) Source #

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

singleEraFuture ∷ SlotLength → EpochSize → Future Source #

Future with only one era