-
Notifications
You must be signed in to change notification settings - Fork 23
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use functions instead of using pattern synonyms to retrieve the ledge…
…r events we want GHC will warn us when a new ledger event is introduced in cardano-ledger Create modules Cardano.Api.LedgerEvents.Rule.X based on the specific ledger rules from where these ledger events are emitted
- Loading branch information
Showing
11 changed files
with
573 additions
and
11 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
220 changes: 220 additions & 0 deletions
220
cardano-api/internal/Cardano/Api/LedgerEvents/ConvertLedgerEvent.hs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,220 @@ | ||
| {-# LANGUAGE ConstraintKinds #-} | ||
| {-# LANGUAGE DataKinds #-} | ||
| {-# LANGUAGE FlexibleContexts #-} | ||
| {-# LANGUAGE FlexibleInstances #-} | ||
| {-# LANGUAGE GADTs #-} | ||
| {-# LANGUAGE PartialTypeSignatures #-} | ||
| {-# LANGUAGE PatternSynonyms #-} | ||
| {-# LANGUAGE TypeOperators #-} | ||
| {-# LANGUAGE UndecidableInstances #-} | ||
|
|
||
| {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-} | ||
|
|
||
| module Cardano.Api.LedgerEvents.ConvertLedgerEvent | ||
| ( LedgerEvent (..), | ||
| toLedgerEvent, | ||
| ) where | ||
|
|
||
| import Cardano.Api.LedgerEvents.LedgerEvent | ||
| import Cardano.Api.LedgerEvents.Rule.DELEGS | ||
| import Cardano.Api.LedgerEvents.Rule.LEDGER | ||
| import Cardano.Api.LedgerEvents.Rule.NEWEPOCH | ||
| import Cardano.Api.LedgerEvents.Rule.RUPD | ||
| import Cardano.Api.LedgerEvents.Rule.UTXOW | ||
|
|
||
| import qualified Cardano.Ledger.Allegra.Rules as Allegra | ||
| import Cardano.Ledger.Alonzo.Rules (AlonzoBbodyEvent (..)) | ||
| import Cardano.Ledger.Api.Era (AllegraEra, AlonzoEra, BabbageEra, ConwayEra, MaryEra, | ||
| ShelleyEra) | ||
| import qualified Cardano.Ledger.Conway.Rules as Conway | ||
| import Cardano.Ledger.Core | ||
| import qualified Cardano.Ledger.Core as Ledger.Core | ||
| import Cardano.Ledger.Crypto (StandardCrypto) | ||
| import Cardano.Ledger.Shelley.Rules (RupdEvent (..), ShelleyBbodyEvent (LedgersEvent), | ||
| ShelleyNewEpochEvent (..), ShelleyTickEvent (TickNewEpochEvent, TickRupdEvent), | ||
| ShelleyUtxowEvent (..)) | ||
| import qualified Cardano.Ledger.Shelley.Rules as Shelley | ||
| import Ouroboros.Consensus.Byron.Ledger.Block (ByronBlock) | ||
| import Ouroboros.Consensus.Cardano.Block (HardForkBlock) | ||
| import qualified Ouroboros.Consensus.Cardano.Block as Consensus | ||
| import Ouroboros.Consensus.HardFork.Combinator.AcrossEras (getOneEraLedgerEvent) | ||
| import qualified Ouroboros.Consensus.Protocol.Praos as Consensus | ||
| import qualified Ouroboros.Consensus.Protocol.TPraos as Consensus | ||
| import Ouroboros.Consensus.Shelley.Ledger (ShelleyBlock, | ||
| ShelleyLedgerEvent (ShelleyLedgerEventBBODY, ShelleyLedgerEventTICK)) | ||
| import Ouroboros.Consensus.TypeFamilyWrappers (WrapLedgerEvent (unwrapLedgerEvent)) | ||
|
|
||
| import Control.State.Transition (Event) | ||
| import Data.SOP.Strict | ||
|
|
||
| class ConvertLedgerEvent blk where | ||
| toLedgerEvent :: WrapLedgerEvent blk -> Maybe LedgerEvent | ||
|
|
||
| instance ConvertLedgerEvent ByronBlock where | ||
| toLedgerEvent _ = Nothing | ||
|
|
||
| instance ConvertLedgerEvent (ShelleyBlock protocol (ShelleyEra StandardCrypto)) where | ||
| toLedgerEvent = toLedgerEventShelley | ||
|
|
||
| toLedgerEventShelley | ||
| :: EraCrypto ledgerera ~ StandardCrypto | ||
| => Event (Ledger.Core.EraRule "TICK" ledgerera) ~ ShelleyTickEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "NEWEPOCH" ledgerera) ~ ShelleyNewEpochEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "POOLREAP" ledgerera) ~ Shelley.ShelleyPoolreapEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "EPOCH" ledgerera) ~ Shelley.ShelleyEpochEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "RUPD" ledgerera) ~ RupdEvent StandardCrypto | ||
| => Event (Ledger.Core.EraRule "BBODY" ledgerera) ~ ShelleyBbodyEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "LEDGERS" ledgerera) ~ Shelley.ShelleyLedgersEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "LEDGER" ledgerera) ~ Shelley.ShelleyLedgerEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "UTXOW" ledgerera) ~ ShelleyUtxowEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "UTXO" ledgerera) ~ Shelley.UtxoEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "PPUP" ledgerera) ~ Shelley.PpupEvent ledgerera | ||
| => Event (EraRule "DELEGS" ledgerera) ~ Shelley.ShelleyDelegsEvent ledgerera | ||
| => WrapLedgerEvent (ShelleyBlock protocol ledgerera) -> Maybe LedgerEvent | ||
| toLedgerEventShelley evt = case unwrapLedgerEvent evt of | ||
| ShelleyLedgerEventTICK e -> handleLedgerTICKEvents e | ||
| ShelleyLedgerEventBBODY e -> handleShelleyLedgerBBODYEvents e | ||
|
|
||
| handleShelleyLedgerBBODYEvents | ||
| :: Event (Ledger.Core.EraRule "LEDGERS" ledgerera) ~ Shelley.ShelleyLedgersEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "LEDGER" ledgerera) ~ Shelley.ShelleyLedgerEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "UTXOW" ledgerera) ~ ShelleyUtxowEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "UTXO" ledgerera) ~ Shelley.UtxoEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "PPUP" ledgerera) ~ Shelley.PpupEvent ledgerera | ||
| => Event (EraRule "DELEGS" ledgerera) ~ Shelley.ShelleyDelegsEvent ledgerera | ||
| => ShelleyBbodyEvent ledgerera -> Maybe LedgerEvent | ||
| handleShelleyLedgerBBODYEvents (LedgersEvent (Shelley.LedgerEvent e)) = | ||
| case e of | ||
| Shelley.UtxowEvent ev -> handlePreAlonzoUTxOWEvent ev | ||
| Shelley.DelegsEvent ev -> handleShelleyDELEGSEvent ev | ||
|
|
||
|
|
||
| instance ConvertLedgerEvent (ShelleyBlock protocol (MaryEra StandardCrypto)) where | ||
| toLedgerEvent = toLedgerEventAllegraMary | ||
|
|
||
| instance ConvertLedgerEvent (ShelleyBlock protocol (AllegraEra StandardCrypto)) where | ||
| toLedgerEvent = toLedgerEventAllegraMary | ||
|
|
||
| toLedgerEventAllegraMary | ||
| :: EraCrypto ledgerera ~ StandardCrypto | ||
| => Event (Ledger.Core.EraRule "TICK" ledgerera) ~ ShelleyTickEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "NEWEPOCH" ledgerera) ~ ShelleyNewEpochEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "POOLREAP" ledgerera) ~ Shelley.ShelleyPoolreapEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "EPOCH" ledgerera) ~ Shelley.ShelleyEpochEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "RUPD" ledgerera) ~ RupdEvent StandardCrypto | ||
| => Event (Ledger.Core.EraRule "BBODY" ledgerera) ~ ShelleyBbodyEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "LEDGERS" ledgerera) ~ Shelley.ShelleyLedgersEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "LEDGER" ledgerera) ~ Shelley.ShelleyLedgerEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "UTXOW" ledgerera) ~ ShelleyUtxowEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "UTXO" ledgerera) ~ Allegra.AllegraUtxoEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "PPUP" ledgerera) ~ Shelley.PpupEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "DELEGS" ledgerera) ~ Shelley.ShelleyDelegsEvent ledgerera | ||
| => WrapLedgerEvent (ShelleyBlock protocol ledgerera) -> | ||
| Maybe LedgerEvent | ||
| toLedgerEventAllegraMary evt = case unwrapLedgerEvent evt of | ||
| ShelleyLedgerEventTICK e -> handleLedgerTICKEvents e | ||
| ShelleyLedgerEventBBODY e -> handleAllegraMaryLedgerBBODYEvents e | ||
|
|
||
| handleAllegraMaryLedgerBBODYEvents | ||
| :: Event (Ledger.Core.EraRule "LEDGERS" ledgerera) ~ Shelley.ShelleyLedgersEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "LEDGER" ledgerera) ~ Shelley.ShelleyLedgerEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "UTXOW" ledgerera) ~ ShelleyUtxowEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "UTXO" ledgerera) ~ Allegra.AllegraUtxoEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "PPUP" ledgerera) ~ Shelley.PpupEvent ledgerera | ||
| => Event (Ledger.Core.EraRule "DELEGS" ledgerera) ~ Shelley.ShelleyDelegsEvent ledgerera | ||
| => ShelleyBbodyEvent ledgerera -> Maybe LedgerEvent | ||
| handleAllegraMaryLedgerBBODYEvents (LedgersEvent (Shelley.LedgerEvent e)) = | ||
| case e of | ||
| Shelley.UtxowEvent ev -> handleAllegraMaryUTxOWEvent ev | ||
| Shelley.DelegsEvent ev -> handleShelleyDELEGSEvent ev | ||
|
|
||
| instance ConvertLedgerEvent (ShelleyBlock protocol (AlonzoEra StandardCrypto)) where | ||
| toLedgerEvent = toAlonzoOrBabbageLedgerEvents | ||
|
|
||
| instance ConvertLedgerEvent (ShelleyBlock protocol (BabbageEra StandardCrypto)) where | ||
| toLedgerEvent = toAlonzoOrBabbageLedgerEvents | ||
|
|
||
| toAlonzoOrBabbageLedgerEvents | ||
| :: EraCrypto ledgerera ~ StandardCrypto | ||
| => LatestTickEventConstraints ledgerera | ||
| => LatestBBodyEventConstraints ledgerera | ||
| => WrapLedgerEvent (ShelleyBlock protocol ledgerera) -> Maybe LedgerEvent | ||
| toAlonzoOrBabbageLedgerEvents e = | ||
| case unwrapLedgerEvent e of | ||
| ShelleyLedgerEventTICK tickEvent -> handleLedgerTICKEvents tickEvent | ||
| ShelleyLedgerEventBBODY bbodyEvent -> handleAlonzoToBabbageLedgerBBODYEvents bbodyEvent | ||
|
|
||
| handleAlonzoToBabbageLedgerBBODYEvents | ||
| :: LatestBBodyEventConstraints ledgerera | ||
| => AlonzoBbodyEvent ledgerera -> Maybe LedgerEvent | ||
| handleAlonzoToBabbageLedgerBBODYEvents (ShelleyInAlonzoEvent (LedgersEvent (Shelley.LedgerEvent ledgerEvent))) = | ||
| handleShelleyLEDGEREvents ledgerEvent | ||
|
|
||
|
|
||
| instance ConvertLedgerEvent (ShelleyBlock protocol (ConwayEra StandardCrypto)) where | ||
| toLedgerEvent = toLedgerEventConway | ||
| -- LEDGER rule is defined anew in Conway | ||
|
|
||
| toLedgerEventConway | ||
| :: WrapLedgerEvent (ShelleyBlock protocol (ConwayEra StandardCrypto)) | ||
| -> Maybe LedgerEvent | ||
| toLedgerEventConway evt = | ||
| case unwrapLedgerEvent evt of | ||
| ShelleyLedgerEventTICK (TickNewEpochEvent newEpochEvent) -> handleConwayNEWEPOCHEvents newEpochEvent | ||
| ShelleyLedgerEventTICK (TickRupdEvent rewardUpdate) -> handleLedgerRUPDEvents rewardUpdate | ||
| ShelleyLedgerEventBBODY (ShelleyInAlonzoEvent (LedgersEvent (Shelley.LedgerEvent conwayLedgerEvent))) -> | ||
| case conwayLedgerEvent of | ||
| Conway.UtxowEvent{} -> Nothing | ||
| Conway.CertsEvent{} -> Nothing | ||
| Conway.GovEvent govEvent -> | ||
| case govEvent of | ||
| Conway.GovNewProposals txid props -> | ||
| Just $ NewGovernanceProposals txid (AnyProposals props) | ||
|
|
||
| instance ConvertLedgerEvent (HardForkBlock (Consensus.CardanoEras StandardCrypto)) where | ||
| toLedgerEvent wrappedLedgerEvent = | ||
| case getOneEraLedgerEvent $ unwrapLedgerEvent wrappedLedgerEvent of | ||
| ShelleyLedgerEvent ledgerEvent -> toLedgerEvent ledgerEvent | ||
| AllegraLedgerEvent ledgerEvent -> toLedgerEvent ledgerEvent | ||
| MaryLedgerEvent ledgerEvent -> toLedgerEvent ledgerEvent | ||
| AlonzoLedgerEvent ledgerEvent -> toLedgerEvent ledgerEvent | ||
| BabbageLedgerEvent ledgerEvent -> toLedgerEvent ledgerEvent | ||
| ConwayLedgerEvent ledgerEvent -> toLedgerEvent ledgerEvent | ||
|
|
||
| {-# COMPLETE ShelleyLedgerEvent, | ||
| AllegraLedgerEvent, | ||
| MaryLedgerEvent, | ||
| AlonzoLedgerEvent, | ||
| BabbageLedgerEvent, | ||
| ConwayLedgerEvent #-} | ||
|
|
||
|
|
||
| pattern ShelleyLedgerEvent | ||
| :: WrapLedgerEvent (ShelleyBlock (Consensus.TPraos StandardCrypto) (ShelleyEra StandardCrypto)) | ||
| -> NS WrapLedgerEvent (Consensus.CardanoEras StandardCrypto) | ||
| pattern ShelleyLedgerEvent x = S (Z x) | ||
|
|
||
| pattern AllegraLedgerEvent | ||
| :: WrapLedgerEvent (ShelleyBlock (Consensus.TPraos StandardCrypto) (AllegraEra StandardCrypto)) | ||
| -> NS WrapLedgerEvent (Consensus.CardanoEras StandardCrypto) | ||
| pattern AllegraLedgerEvent x = S (S (Z x)) | ||
|
|
||
| pattern MaryLedgerEvent | ||
| :: WrapLedgerEvent (ShelleyBlock (Consensus.TPraos StandardCrypto) (MaryEra StandardCrypto)) | ||
| -> NS WrapLedgerEvent (Consensus.CardanoEras StandardCrypto) | ||
| pattern MaryLedgerEvent x = S (S (S (Z x))) | ||
|
|
||
| pattern AlonzoLedgerEvent | ||
| :: WrapLedgerEvent (ShelleyBlock (Consensus.TPraos StandardCrypto) (AlonzoEra StandardCrypto)) | ||
| -> NS WrapLedgerEvent (Consensus.CardanoEras StandardCrypto) | ||
| pattern AlonzoLedgerEvent x = S (S (S (S (Z x)))) | ||
|
|
||
| pattern BabbageLedgerEvent | ||
| :: WrapLedgerEvent (ShelleyBlock (Consensus.Praos StandardCrypto) (BabbageEra StandardCrypto)) | ||
| -> NS WrapLedgerEvent (Consensus.CardanoEras StandardCrypto) | ||
| pattern BabbageLedgerEvent x = S (S (S (S (S (Z x))))) | ||
|
|
||
| pattern ConwayLedgerEvent | ||
| :: WrapLedgerEvent (ShelleyBlock (Consensus.Praos StandardCrypto) (ConwayEra StandardCrypto)) | ||
| -> NS WrapLedgerEvent (Consensus.CardanoEras StandardCrypto) | ||
| pattern ConwayLedgerEvent x = S (S (S (S (S (S (Z x)))))) |
111 changes: 111 additions & 0 deletions
111
cardano-api/internal/Cardano/Api/LedgerEvents/LedgerEvent.hs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,111 @@ | ||
| {-# LANGUAGE DataKinds #-} | ||
| {-# LANGUAGE FlexibleContexts #-} | ||
| {-# LANGUAGE FlexibleInstances #-} | ||
| {-# LANGUAGE GADTs #-} | ||
| {-# LANGUAGE PartialTypeSignatures #-} | ||
| {-# LANGUAGE StandaloneDeriving #-} | ||
| {-# LANGUAGE UndecidableInstances #-} | ||
|
|
||
| module Cardano.Api.LedgerEvents.LedgerEvent | ||
| ( LedgerEvent(..) | ||
| , AnyProposals(..) | ||
| , AnyRatificationState(..) | ||
| , MIRDistributionDetails(..) | ||
| , PoolReapDetails(..) | ||
| , convertRetiredPoolsMap | ||
| ) where | ||
|
|
||
| import Cardano.Api.Address (StakeCredential, fromShelleyStakeCredential) | ||
| import Cardano.Api.Block (EpochNo) | ||
| import Cardano.Api.Keys.Shelley (Hash (..), StakePoolKey) | ||
| import Cardano.Api.Value (Lovelace, fromShelleyLovelace) | ||
|
|
||
| import Cardano.Ledger.Alonzo.Plutus.TxInfo (PlutusDebug) | ||
| import qualified Cardano.Ledger.Coin as Ledger | ||
| import qualified Cardano.Ledger.Conway.Governance as Ledger | ||
| import qualified Cardano.Ledger.Core as Ledger.Core | ||
| import qualified Cardano.Ledger.Credential as Ledger | ||
| import Cardano.Ledger.Crypto (StandardCrypto) | ||
| import qualified Cardano.Ledger.Keys as Ledger | ||
| import Cardano.Ledger.Shelley.Rewards (Reward) | ||
| import qualified Cardano.Ledger.TxIn as Ledger | ||
|
|
||
| import Data.List.NonEmpty (NonEmpty) | ||
| import Data.Map.Strict (Map) | ||
| import qualified Data.Map.Strict as Map | ||
| import Data.Set (Set) | ||
|
|
||
|
|
||
| data AnyProposals | ||
| = forall era. Ledger.Core.EraPParams era => AnyProposals (Ledger.Proposals era) | ||
|
|
||
| deriving instance Show AnyProposals | ||
|
|
||
| data AnyRatificationState | ||
| = forall era. Ledger.Core.EraPParams era => AnyRatificationState (Ledger.RatifyState era) | ||
|
|
||
| deriving instance Show AnyRatificationState | ||
|
|
||
| data LedgerEvent | ||
| = -- | The given pool is being registered for the first time on chain. | ||
| PoolRegistration | ||
| | -- | The given pool already exists and is being re-registered. | ||
| PoolReRegistration | ||
| | -- | Incremental rewards are being computed. | ||
| IncrementalRewardsDistribution EpochNo (Map StakeCredential (Set (Reward StandardCrypto))) | ||
| | -- | Reward distribution has completed. | ||
| RewardsDistribution EpochNo (Map StakeCredential (Set (Reward StandardCrypto))) | ||
| | -- | MIR are being distributed. | ||
| MIRDistribution MIRDistributionDetails | ||
| | -- | Pools have been reaped and deposits refunded. | ||
| PoolReap PoolReapDetails | ||
| -- | A number of succeeded Plutus script evaluations. | ||
| | SuccessfulPlutusScript (NonEmpty PlutusDebug) | ||
| -- | A number of failed Plutus script evaluations. | ||
| | FailedPlutusScript (NonEmpty PlutusDebug) | ||
|
|
||
|
|
||
| -- Only events available on the Conway Era. | ||
| -- TODO: Update the above constructors to work in the conway era. | ||
| -- See toLedgerEventConway | ||
| -- | Newly submittted governance proposals in a single transaction. | ||
| | NewGovernanceProposals (Ledger.TxId StandardCrypto) AnyProposals | ||
| -- | The current state of governance matters at the epoch boundary. | ||
| -- I.E the current constitution, committee, protocol parameters, etc. | ||
| | EpochBoundaryRatificationState AnyRatificationState | ||
| deriving Show | ||
|
|
||
|
|
||
| -------------------------------------------------------------------------------- | ||
| -- Event details | ||
| -------------------------------------------------------------------------------- | ||
|
|
||
| -- | Details of fund transfers due to MIR certificates. | ||
| -- | ||
| -- Note that the transfers from reserves to treasury and treasury to reserves | ||
| -- are inverse; a transfer of 100 ADA in either direction will result in a net | ||
| -- movement of 0, but we include both directions for assistance in debugging. | ||
| data MIRDistributionDetails = MIRDistributionDetails | ||
| { mirddReservePayouts :: Map StakeCredential Lovelace, | ||
| mirddTreasuryPayouts :: Map StakeCredential Lovelace, | ||
| mirddReservesToTreasury :: Lovelace, | ||
| mirddTreasuryToReserves :: Lovelace | ||
| } deriving Show | ||
|
|
||
| data PoolReapDetails = PoolReapDetails | ||
| { prdEpochNo :: EpochNo, | ||
| -- | Refunded deposits. The pools referenced are now retired, and the | ||
| -- 'StakeCredential' accounts are credited with the deposits. | ||
| prdRefunded :: Map StakeCredential (Map (Hash StakePoolKey) Lovelace), | ||
| -- | Unclaimed deposits. The 'StakeCredential' referenced in this map is not | ||
| -- actively registered at the time of the pool reaping, and as such the | ||
| -- funds are returned to the treasury. | ||
| prdUnclaimed :: Map StakeCredential (Map (Hash StakePoolKey) Lovelace) | ||
| } deriving Show | ||
|
|
||
| convertRetiredPoolsMap | ||
| :: Map (Ledger.StakeCredential StandardCrypto) (Map (Ledger.KeyHash Ledger.StakePool StandardCrypto) Ledger.Coin) | ||
| -> Map StakeCredential (Map (Hash StakePoolKey) Lovelace) | ||
| convertRetiredPoolsMap = | ||
| Map.mapKeys fromShelleyStakeCredential | ||
| . fmap (Map.mapKeys StakePoolKeyHash . fmap fromShelleyLovelace) |
13 changes: 13 additions & 0 deletions
13
cardano-api/internal/Cardano/Api/LedgerEvents/Rule/DELEGS.hs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,13 @@ | ||
| {-# LANGUAGE DataKinds #-} | ||
| {-# LANGUAGE TypeFamilies #-} | ||
|
|
||
| module Cardano.Api.LedgerEvents.Rule.DELEGS | ||
| ( handleShelleyDELEGSEvent | ||
| ) where | ||
|
|
||
| import Cardano.Api.LedgerEvents.LedgerEvent | ||
|
|
||
| import qualified Cardano.Ledger.Shelley.Rules as Shelley | ||
|
|
||
| handleShelleyDELEGSEvent :: Shelley.ShelleyDelegsEvent ledgerera -> Maybe LedgerEvent | ||
| handleShelleyDELEGSEvent _ = Nothing |
Oops, something went wrong.