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

Documentation

spec ∷ ∀ era. (ConwayEraImp era, InjectRuleFailure "LEDGER" ConwayGovCertPredFailure era, InjectRuleFailure "LEDGER" ConwayGovPredFailure era) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #