cardano-ledger-allegra-1.7.0.0: Allegra ledger era that introduces time lock support.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Allegra.Translation

Synopsis

Documentation

shelleyToAllegraAVVMsToDelete ∷ NewEpochState ShelleyEra → UTxO ShelleyEra Source #

Return the subset of UTxO corresponding to Byron-era AVVM addresses, which are to be removed on the Shelley/Allegra boundary. This set will be passed _back_ to the translation functions as the UTxO, allowing these addresses to be removed. This is needed because we cannot do a full scan on the UTxO at this point, since it has been persisted to disk.

Orphan instances

TranslateEra AllegraEra CertState Source # 
Instance details

Associated Types

type TranslationError AllegraEra CertState Source #

Methods

translateEra ∷ TranslationContext AllegraEra → CertState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra CertState) (CertState AllegraEra) Source #

TranslateEra AllegraEra CommitteeState Source # 
Instance details

Associated Types

type TranslationError AllegraEra CommitteeState Source #

Methods

translateEra ∷ TranslationContext AllegraEra → CommitteeState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra CommitteeState) (CommitteeState AllegraEra) Source #

TranslateEra AllegraEra DState Source # 
Instance details

Associated Types

type TranslationError AllegraEra DState Source #

Methods

translateEra ∷ TranslationContext AllegraEra → DState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra DState) (DState AllegraEra) Source #

TranslateEra AllegraEra PState Source # 
Instance details

Associated Types

type TranslationError AllegraEra PState Source #

Methods

translateEra ∷ TranslationContext AllegraEra → PState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra PState) (PState AllegraEra) Source #

TranslateEra AllegraEra VState Source # 
Instance details

Associated Types

type TranslationError AllegraEra VState Source #

Methods

translateEra ∷ TranslationContext AllegraEra → VState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra VState) (VState AllegraEra) Source #

TranslateEra AllegraEra PParams Source # 
Instance details

Associated Types

type TranslationError AllegraEra PParams Source #

Methods

translateEra ∷ TranslationContext AllegraEra → PParams (PreviousEra AllegraEra) → Except (TranslationError AllegraEra PParams) (PParams AllegraEra) Source #

TranslateEra AllegraEra PParamsUpdate Source # 
Instance details

Associated Types

type TranslationError AllegraEra PParamsUpdate Source #

Methods

translateEra ∷ TranslationContext AllegraEra → PParamsUpdate (PreviousEra AllegraEra) → Except (TranslationError AllegraEra PParamsUpdate) (PParamsUpdate AllegraEra) Source #

TranslateEra AllegraEra UTxO Source # 
Instance details

Associated Types

type TranslationError AllegraEra UTxO Source #

Methods

translateEra ∷ TranslationContext AllegraEra → UTxO (PreviousEra AllegraEra) → Except (TranslationError AllegraEra UTxO) (UTxO AllegraEra) Source #

TranslateEra AllegraEra FuturePParams Source # 
Instance details

Associated Types

type TranslationError AllegraEra FuturePParams Source #

Methods

translateEra ∷ TranslationContext AllegraEra → FuturePParams (PreviousEra AllegraEra) → Except (TranslationError AllegraEra FuturePParams) (FuturePParams AllegraEra) Source #

TranslateEra AllegraEra ShelleyGovState Source # 
Instance details

Associated Types

type TranslationError AllegraEra ShelleyGovState Source #

Methods

translateEra ∷ TranslationContext AllegraEra → ShelleyGovState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyGovState) (ShelleyGovState AllegraEra) Source #

TranslateEra AllegraEra EpochState Source # 
Instance details

Associated Types

type TranslationError AllegraEra EpochState Source #

Methods

translateEra ∷ TranslationContext AllegraEra → EpochState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra EpochState) (EpochState AllegraEra) Source #

TranslateEra AllegraEra LedgerState Source # 
Instance details

Associated Types

type TranslationError AllegraEra LedgerState Source #

Methods

translateEra ∷ TranslationContext AllegraEra → LedgerState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra LedgerState) (LedgerState AllegraEra) Source #

TranslateEra AllegraEra NewEpochState Source # 
Instance details

Associated Types

type TranslationError AllegraEra NewEpochState Source #

Methods

translateEra ∷ TranslationContext AllegraEra → NewEpochState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra NewEpochState) (NewEpochState AllegraEra) Source #

TranslateEra AllegraEra UTxOState Source # 
Instance details

Associated Types

type TranslationError AllegraEra UTxOState Source #

Methods

translateEra ∷ TranslationContext AllegraEra → UTxOState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra UTxOState) (UTxOState AllegraEra) Source #

TranslateEra AllegraEra ProposedPPUpdates Source # 
Instance details

Associated Types

type TranslationError AllegraEra ProposedPPUpdates Source #

Methods

translateEra ∷ TranslationContext AllegraEra → ProposedPPUpdates (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ProposedPPUpdates) (ProposedPPUpdates AllegraEra) Source #

TranslateEra AllegraEra Update Source # 
Instance details

Associated Types

type TranslationError AllegraEra Update Source #

Methods

translateEra ∷ TranslationContext AllegraEra → Update (PreviousEra AllegraEra) → Except (TranslationError AllegraEra Update) (Update AllegraEra) Source #

TranslateEra AllegraEra ShelleyTx Source # 
Instance details

Associated Types

type TranslationError AllegraEra ShelleyTx Source #

Methods

translateEra ∷ TranslationContext AllegraEra → ShelleyTx (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyTx) (ShelleyTx AllegraEra) Source #

TranslateEra AllegraEra ShelleyTxOut Source # 
Instance details

Associated Types

type TranslationError AllegraEra ShelleyTxOut Source #

Methods

translateEra ∷ TranslationContext AllegraEra → ShelleyTxOut (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyTxOut) (ShelleyTxOut AllegraEra) Source #

TranslateEra AllegraEra ShelleyTxWits Source # 
Instance details

Associated Types

type TranslationError AllegraEra ShelleyTxWits Source #

Methods

translateEra ∷ TranslationContext AllegraEra → ShelleyTxWits (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyTxWits) (ShelleyTxWits AllegraEra) Source #