cardano-ledger-conway-1.18.0.0: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Conway.Imp.EpochSpec

Documentation

spec ∷ ∀ era. (ConwayEraImp era, InjectRuleEvent "TICK" ConwayEpochEvent era, Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era) ⇒ SpecWith (ImpTestState era) Source #

relevantDuringBootstrapSpec ∷ ∀ era. (ConwayEraImp era, InjectRuleEvent "TICK" ConwayEpochEvent era, Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era) ⇒ SpecWith (ImpTestState era) Source #