| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Dijkstra.Rules
Contents
Orphan instances
| InjectRuleEvent "EPOCH" ConwayHardForkEvent DijkstraEra Source # | |
Methods injectEvent ∷ ConwayHardForkEvent DijkstraEra → EraRuleEvent "EPOCH" DijkstraEra Source # | |
| InjectRuleEvent "NEWEPOCH" ConwayEpochEvent DijkstraEra Source # | |
Methods injectEvent ∷ ConwayEpochEvent DijkstraEra → EraRuleEvent "NEWEPOCH" DijkstraEra Source # | |
| InjectRuleEvent "NEWEPOCH" ConwayHardForkEvent DijkstraEra Source # | |
Methods injectEvent ∷ ConwayHardForkEvent DijkstraEra → EraRuleEvent "NEWEPOCH" DijkstraEra Source # | |
| InjectRuleEvent "TICK" ConwayEpochEvent DijkstraEra Source # | |
Methods injectEvent ∷ ConwayEpochEvent DijkstraEra → EraRuleEvent "TICK" DijkstraEra Source # | |
| InjectRuleEvent "TICK" ConwayHardForkEvent DijkstraEra Source # | |
Methods injectEvent ∷ ConwayHardForkEvent DijkstraEra → EraRuleEvent "TICK" DijkstraEra Source # | |
| InjectRuleEvent "TICK" ConwayNewEpochEvent DijkstraEra Source # | |
Methods injectEvent ∷ ConwayNewEpochEvent DijkstraEra → EraRuleEvent "TICK" DijkstraEra Source # | |