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