Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Mary.Imp
Contents
Documentation
spec ∷ ∀ era. (MaryEraImp era, EraSpecificSpec era, InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure era, InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure era, InjectRuleFailure "LEDGER" ShelleyPoolPredFailure era) ⇒ Spec Source #
Orphan instances
EraSpecificSpec MaryEra Source # | |
Methods eraSpecificSpec ∷ SpecWith (ImpInit (LedgerSpec MaryEra)) Source # |