| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Mary.Imp
Contents
Documentation
spec ∷ (MaryEraImp era, EraSpecificSpec era, Event (EraRule "RUPD" era) ~ RupdEvent) ⇒ Spec Source #
Orphan instances
| EraSpecificSpec MaryEra Source # | |
Methods eraSpecificSpec ∷ SpecWith (ImpInit (LedgerSpec MaryEra)) Source # | |