Safe Haskell | None |
---|---|
Language | Haskell2010 |
Test.Consensus.HardFork.Infra
Description
Infrastructure shared by the various HardFork
tests
Synopsis
- data Era = Era {}
- data Eras (a ∷ [Type]) where
- 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
chooseEras ∷ (∀ (xs ∷ [Type]). (SListI xs, IsNonEmpty xs) ⇒ Eras xs → Gen r) → Gen r 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
genEraParams ∷ Gen EraParams Source #
Generate era parameters