Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Consensus.HardFork.Infra

Contents

Description

Infrastructure shared by the various HardFork tests

Synopsis

data Era = Era {
- eraIndex ∷ Word64
- eraIsLast ∷ Bool
}
data Eras ∷ [Type] → Type where
- Eras ∷ Exactly (x ': xs) Era → Eras (x ': xs)
chooseEras ∷ ∀ r. (∀ xs. (SListI xs, IsNonEmpty xs) ⇒ Eras xs → Gen r) → Gen r
eraIndices ∷ Eras xs → NP (K Era) xs
erasMapStateM ∷ ∀ m s a xs. Monad m ⇒ (Era → s → m (a, s)) → Eras xs → s → m (Exactly xs a)
erasUnfoldAtMost ∷ ∀ m xs a. Monad m ⇒ (Era → Bound → m (a, EraEnd)) → Eras xs → Bound → m (NonEmpty xs a)
genEraParams ∷ Gen EraParams
genShape ∷ Eras xs → Gen (Shape xs)
genStartOfNextEra ∷ EpochNo → EraParams → Gen (Maybe EpochNo)
genSummary ∷ Eras xs → Gen (Summary xs)

Generate HardFork shape

Constructors

Era
Fields eraIndex ∷ Word64 eraIsLast ∷ Bool

Instances details

Show Era Source #
Instance details Defined in Test.Consensus.HardFork.Infra Methods showsPrec ∷ Int → Era → ShowS # show ∷ Era → String # showList ∷ [Era] → ShowS #
Eq Era Source #
Instance details Defined in Test.Consensus.HardFork.Infra Methods (==) ∷ Era → Era → Bool # (/=) ∷ Era → Era → Bool #
Ord Era Source #
Instance details Defined in Test.Consensus.HardFork.Infra Methods compare ∷ Era → Era → Ordering # (<) ∷ Era → Era → Bool # (<=) ∷ Era → Era → Bool # (>) ∷ Era → Era → Bool # (>=) ∷ Era → Era → Bool # max ∷ Era → Era → Era # min ∷ Era → Era → Era #

data Eras ∷ [Type] → Type where Source #

Constructors

Eras ∷ Exactly (x ': xs) Era → Eras (x ': xs)

Instances details

Show (Eras xs) Source #
Instance details Defined in Test.Consensus.HardFork.Infra Methods showsPrec ∷ Int → Eras xs → ShowS # show ∷ Eras xs → String # showList ∷ [Eras xs] → ShowS #

chooseEras ∷ ∀ r. (∀ xs. (SListI xs, IsNonEmpty xs) ⇒ Eras xs → Gen r) → Gen r Source #

erasMapStateM ∷ ∀ m s a xs. Monad m ⇒ (Era → s → m (a, s)) → Eras xs → s → m (Exactly xs a) Source #

erasUnfoldAtMost ∷ ∀ m xs a. Monad m ⇒ (Era → Bound → m (a, EraEnd)) → Eras xs → Bound → m (NonEmpty xs a) Source #

Era-specified generators

Generate era parameters

Generate EpochNo for the start of the next era