Safe Haskell	None
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 (a ∷ [Type]) where
- Eras ∷ ∀ x (xs ∷ [Type]). Exactly (x ': xs) Era → Eras (x ': xs)
chooseEras ∷ (∀ (xs ∷ [Type]). (SListI xs, IsNonEmpty xs) ⇒ Eras xs → Gen r) → Gen r
eraIndices ∷ ∀ (xs ∷ [Type]). Eras xs → NP (K Era ∷ Type → Type) xs
erasMapStateM ∷ ∀ m s a (xs ∷ [Type]). Monad m ⇒ (Era → s → m (a, s)) → Eras xs → s → m (Exactly xs a)
erasUnfoldAtMost ∷ ∀ m (xs ∷ [Type]) a. Monad m ⇒ (Era → Bound → m (a, EraEnd)) → Eras xs → Bound → m (NonEmpty xs a)
genEraParams ∷ Gen EraParams
genShape ∷ ∀ (xs ∷ [Type]). Eras xs → Gen (Shape xs)
genStartOfNextEra ∷ EpochNo → EraParams → Gen (Maybe EpochNo)
genSummary ∷ ∀ (xs ∷ [Type]). 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 (a ∷ [Type]) where Source #

Constructors

Eras ∷ ∀ x (xs ∷ [Type]). 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 ∷ (∀ (xs ∷ [Type]). (SListI xs, IsNonEmpty xs) ⇒ Eras xs → Gen r) → Gen r Source #

eraIndices ∷ ∀ (xs ∷ [Type]). Eras xs → NP (K Era ∷ Type → Type) xs Source #

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

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

Era-specified generators

Generate era parameters

genShape ∷ ∀ (xs ∷ [Type]). Eras xs → Gen (Shape xs) Source #

Generate EpochNo for the start of the next era

genSummary ∷ ∀ (xs ∷ [Type]). Eras xs → Gen (Summary xs) Source #