Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type LatestTickEventConstraints ledgerera = (Event (EraRule "TICK" ledgerera) ~ ShelleyTickEvent ledgerera, Event (EraRule "RUPD" ledgerera) ~ RupdEvent StandardCrypto, Event (EraRule "NEWEPOCH" ledgerera) ~ ShelleyNewEpochEvent ledgerera, Event (EraRule "EPOCH" ledgerera) ~ ShelleyEpochEvent ledgerera, Event (EraRule "POOLREAP" ledgerera) ~ ShelleyPoolreapEvent ledgerera) Source #
handleShelleyNEWEPOCHEvents :: (EraCrypto ledgerera ~ StandardCrypto, Event (EraRule "EPOCH" ledgerera) ~ ShelleyEpochEvent ledgerera, Event (EraRule "POOLREAP" ledgerera) ~ ShelleyPoolreapEvent ledgerera) => ShelleyNewEpochEvent ledgerera -> Maybe LedgerEvent Source #
handleLedgerTICKEvents :: (EraCrypto ledgerera ~ StandardCrypto, LatestTickEventConstraints ledgerera) => ShelleyTickEvent ledgerera -> Maybe LedgerEvent Source #
handleConwayNEWEPOCHEvents :: (EraCrypto ledgerera ~ StandardCrypto, EraPParams ledgerera, Event (EraRule "EPOCH" ledgerera) ~ ConwayEpochEvent ledgerera, Event (EraRule "POOLREAP" ledgerera) ~ ShelleyPoolreapEvent ledgerera, Event (EraRule "RUPD" ledgerera) ~ RupdEvent StandardCrypto) => ConwayNewEpochEvent ledgerera -> Maybe LedgerEvent Source #