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.EnactSpec

Documentation

spec ∷ ∀ era. (ConwayEraImp era, NFData (Event (EraRule "ENACT" era)), ToExpr (Event (EraRule "ENACT" era)), Eq (Event (EraRule "ENACT" era)), Typeable (Event (EraRule "ENACT" era)), Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era, Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era, InjectRuleEvent "TICK" ConwayEpochEvent era, InjectRuleFailure "LEDGER" ConwayGovPredFailure era) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #