| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Dijkstra.Imp
Documentation
spec ∷ (DijkstraEraImp era, Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era, Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era, Event (EraRule "RUPD" era) ~ RupdEvent, HashAnnotated (Tx 'TopTx era) EraIndependentTx) ⇒ proxy era → Spec Source #