Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Conway.Imp
Contents
Documentation
spec ∷ ∀ era. (ConwayEraImp era, EraSpecificSpec era, Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era, Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era) ⇒ Spec Source #
Orphan instances
EraSpecificSpec ConwayEra Source # | |
Methods eraSpecificSpec ∷ SpecWith (ImpInit (LedgerSpec ConwayEra)) Source # |