cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Constrained.Conway.Pool

Description

Specs necessary to generate, environment, state, and signal for the POOL rule

Documentation

currentEpoch ∷ SlotNo → EpochNo Source #

poolEnvSpec ∷ ∀ fn era. (EraSpecPParams era, IsConwayUniv fn) ⇒ WitUniv era → Specification fn (PoolEnv era) Source #

pStateSpec ∷ ∀ fn era. (Era era, IsConwayUniv fn) ⇒ WitUniv era → Specification fn (PState era) Source #

poolCertSpec ∷ ∀ fn era. (EraSpecPParams era, IsConwayUniv fn) ⇒ WitUniv era → PoolEnv era → PState era → Specification fn PoolCert Source #