| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Dijkstra.Imp
Contents
Documentation
spec ∷ (DijkstraEraImp era, EraSpecificSpec era, Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era, Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era, InjectRuleFailure "LEDGER" DijkstraUtxoPredFailure era) ⇒ Spec Source #
dijkstraEraGenericSpec ∷ (DijkstraEraImp era, InjectRuleFailure "LEDGER" DijkstraUtxoPredFailure era) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #
Orphan instances
| EraSpecificSpec DijkstraEra Source # | |
Methods eraSpecificSpec ∷ SpecWith (ImpInit (LedgerSpec DijkstraEra)) Source # | |