| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Conway.Imp.EpochSpec
Documentation
spec ∷ (ConwayEraImp era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era, Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #