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

Cardano.Ledger.Allegra.Translation

Synopsis

Documentation

shelleyToAllegraAVVMsToDelete ∷ NewEpochState (ShelleyEra c) → UTxO (ShelleyEra c) 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

Crypto c ⇒ TranslateEra (AllegraEra c) CertState Source # 
Instance details

Associated Types

type TranslationError (AllegraEra c) CertState Source #

Methods

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

Crypto c ⇒ TranslateEra (AllegraEra c) CommitteeState Source # 
Instance details

Associated Types

type TranslationError (AllegraEra c) CommitteeState Source #

Methods

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

Crypto c ⇒ TranslateEra (AllegraEra c) DState Source # 
Instance details

Associated Types

type TranslationError (AllegraEra c) DState Source #

Methods

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

Crypto c ⇒ TranslateEra (AllegraEra c) PState Source # 
Instance details

Associated Types

type TranslationError (AllegraEra c) PState Source #

Methods

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

Crypto c ⇒ TranslateEra (AllegraEra c) VState Source # 
Instance details

Associated Types

type TranslationError (AllegraEra c) VState Source #

Methods

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

Crypto c ⇒ TranslateEra (AllegraEra c) PParams Source # 
Instance details

Associated Types

type TranslationError (AllegraEra c) PParams Source #

Methods

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

Crypto c ⇒ TranslateEra (AllegraEra c) PParamsUpdate Source # 
Instance details

Associated Types

type TranslationError (AllegraEra c) PParamsUpdate Source #

Methods

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

Crypto c ⇒ TranslateEra (AllegraEra c) UTxO Source # 
Instance details

Associated Types

type TranslationError (AllegraEra c) UTxO Source #

Methods

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

Crypto c ⇒ TranslateEra (AllegraEra c) FuturePParams Source # 
Instance details

Associated Types

type TranslationError (AllegraEra c) FuturePParams Source #

Methods

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

Crypto c ⇒ TranslateEra (AllegraEra c) ShelleyGovState Source # 
Instance details

Associated Types

type TranslationError (AllegraEra c) ShelleyGovState Source #

Methods

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

Crypto c ⇒ TranslateEra (AllegraEra c) EpochState Source # 
Instance details

Associated Types

type TranslationError (AllegraEra c) EpochState Source #

Methods

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

Crypto c ⇒ TranslateEra (AllegraEra c) LedgerState Source # 
Instance details

Associated Types

type TranslationError (AllegraEra c) LedgerState Source #

Methods

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

Crypto c ⇒ TranslateEra (AllegraEra c) NewEpochState Source # 
Instance details

Associated Types

type TranslationError (AllegraEra c) NewEpochState Source #

Methods

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

Crypto c ⇒ TranslateEra (AllegraEra c) UTxOState Source # 
Instance details

Associated Types

type TranslationError (AllegraEra c) UTxOState Source #

Methods

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

Crypto c ⇒ TranslateEra (AllegraEra c) ProposedPPUpdates Source # 
Instance details

Associated Types

type TranslationError (AllegraEra c) ProposedPPUpdates Source #

Methods

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

Crypto c ⇒ TranslateEra (AllegraEra c) Update Source # 
Instance details

Associated Types

type TranslationError (AllegraEra c) Update Source #

Methods

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

Crypto c ⇒ TranslateEra (AllegraEra c) ShelleyTx Source # 
Instance details

Associated Types

type TranslationError (AllegraEra c) ShelleyTx Source #

Methods

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

Crypto c ⇒ TranslateEra (AllegraEra c) ShelleyTxOut Source # 
Instance details

Associated Types

type TranslationError (AllegraEra c) ShelleyTxOut Source #

Methods

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

Crypto c ⇒ TranslateEra (AllegraEra c) ShelleyTxWits Source # 
Instance details

Associated Types

type TranslationError (AllegraEra c) ShelleyTxWits Source #

Methods

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