ouroboros-consensus-0.18.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Util.HardFork.Future

Synopsis

Documentation

newtype EraSize Source #

Number of epochs

Constructors

EraSize 

Fields

Instances

Instances details
Generic EraSize Source # 
Instance details

Defined in Test.Util.HardFork.Future

Associated Types

type Rep EraSize ∷ Type → Type #

Methods

from ∷ EraSize → Rep EraSize x #

to ∷ Rep EraSize x → EraSize #

Show EraSize Source # 
Instance details

Defined in Test.Util.HardFork.Future

Methods

showsPrec ∷ Int → EraSize → ShowS #

show ∷ EraSize → String #

showList ∷ [EraSize] → ShowS #

Eq EraSize Source # 
Instance details

Defined in Test.Util.HardFork.Future

Methods

(==) ∷ EraSize → EraSize → Bool #

(/=) ∷ EraSize → EraSize → Bool #

type Rep EraSize Source # 
Instance details

Defined in Test.Util.HardFork.Future

type Rep EraSize = D1 ('MetaData "EraSize" "Test.Util.HardFork.Future" "ouroboros-consensus-0.18.0.0-inplace-unstable-consensus-testlib" '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
Show Future Source # 
Instance details

Defined in Test.Util.HardFork.Future

Methods

showsPrec ∷ Int → Future → ShowS #

show ∷ Future → String #

showList ∷ [Future] → ShowS #

Eq Future Source # 
Instance details

Defined in Test.Util.HardFork.Future

Methods

(==) ∷ Future → Future → Bool #

(/=) ∷ Future → Future → Bool #

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