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

Test.Cardano.Ledger.Conway.Imp.CertsSpec

Documentation

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