Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Conway.Imp.GovSpec
Documentation
spec ∷ ∀ era. (ConwayEraImp era, InjectRuleFailure "LEDGER" ConwayGovPredFailure era) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Conway.Imp.GovSpec
spec ∷ ∀ era. (ConwayEraImp era, InjectRuleFailure "LEDGER" ConwayGovPredFailure era) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #