{-# LANGUAGE DataKinds #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE TypeFamilies #-} {-# OPTIONS_GHC -Wno-orphans #-} module Cardano.Ledger.Conway.Rules ( module Cardano.Ledger.Conway.Rules.Bbody, module Cardano.Ledger.Conway.Rules.Cert, module Cardano.Ledger.Conway.Rules.Deleg, module Cardano.Ledger.Conway.Rules.GovCert, module Cardano.Ledger.Conway.Rules.Certs, module Cardano.Ledger.Conway.Rules.Enact, module Cardano.Ledger.Conway.Rules.Epoch, module Cardano.Ledger.Conway.Rules.HardFork, module Cardano.Ledger.Conway.Rules.Ledger, module Cardano.Ledger.Conway.Rules.Mempool, module Cardano.Ledger.Conway.Rules.NewEpoch, module Cardano.Ledger.Conway.Rules.Tickf, module Cardano.Ledger.Conway.Rules.Ratify, module Cardano.Ledger.Conway.Rules.Gov, module Cardano.Ledger.Conway.Rules.Utxo, module Cardano.Ledger.Conway.Rules.Utxos, module Cardano.Ledger.Conway.Rules.Utxow, ) where import Cardano.Ledger.Conway.Core (EraRuleEvent, InjectRuleEvent (..)) import Cardano.Ledger.Conway.Era (ConwayEra) import Cardano.Ledger.Conway.Rules.Bbody import Cardano.Ledger.Conway.Rules.Cert import Cardano.Ledger.Conway.Rules.Certs import Cardano.Ledger.Conway.Rules.Deleg import Cardano.Ledger.Conway.Rules.Enact import Cardano.Ledger.Conway.Rules.Epoch import Cardano.Ledger.Conway.Rules.Gov import Cardano.Ledger.Conway.Rules.GovCert import Cardano.Ledger.Conway.Rules.HardFork import Cardano.Ledger.Conway.Rules.Ledger import Cardano.Ledger.Conway.Rules.Ledgers () import Cardano.Ledger.Conway.Rules.Mempool import Cardano.Ledger.Conway.Rules.NewEpoch import Cardano.Ledger.Conway.Rules.Pool () import Cardano.Ledger.Conway.Rules.Ratify import Cardano.Ledger.Conway.Rules.Tickf import Cardano.Ledger.Conway.Rules.Utxo import Cardano.Ledger.Conway.Rules.Utxos import Cardano.Ledger.Conway.Rules.Utxow import Cardano.Ledger.Shelley.Rules (ShelleyTickEvent (..)) type instance EraRuleEvent "TICK" ConwayEra = ShelleyTickEvent ConwayEra instance InjectRuleEvent "TICK" ConwayEpochEvent ConwayEra where injectEvent :: ConwayEpochEvent ConwayEra -> EraRuleEvent "TICK" ConwayEra injectEvent = Event (EraRule "NEWEPOCH" ConwayEra) -> ShelleyTickEvent ConwayEra ConwayNewEpochEvent ConwayEra -> ShelleyTickEvent ConwayEra forall era. Event (EraRule "NEWEPOCH" era) -> ShelleyTickEvent era TickNewEpochEvent (ConwayNewEpochEvent ConwayEra -> ShelleyTickEvent ConwayEra) -> (ConwayEpochEvent ConwayEra -> ConwayNewEpochEvent ConwayEra) -> ConwayEpochEvent ConwayEra -> ShelleyTickEvent ConwayEra forall b c a. (b -> c) -> (a -> b) -> a -> c . Event (EraRule "EPOCH" ConwayEra) -> ConwayNewEpochEvent ConwayEra ConwayEpochEvent ConwayEra -> ConwayNewEpochEvent ConwayEra forall era. Event (EraRule "EPOCH" era) -> ConwayNewEpochEvent era EpochEvent