cardano-ledger-shelley-ma-0.1.0.0: Shelley ledger with multiasset and time lock support.
Safe Haskell None
Language Haskell2010

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) 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) WitnessSet Source #
Instance details

Associated Types

type TranslationError ( AllegraEra c) WitnessSet Source #

Methods

translateEra :: TranslationContext ( AllegraEra c) -> WitnessSet ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) WitnessSet ) ( WitnessSet ( 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) 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) 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) TxOut Source #
Instance details

Associated Types

type TranslationError ( AllegraEra c) TxOut Source #

Methods

translateEra :: TranslationContext ( AllegraEra c) -> TxOut ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) TxOut ) ( TxOut ( AllegraEra c)) Source #

Crypto c => TranslateEra ( AllegraEra c) PPUPState Source #
Instance details

Associated Types

type TranslationError ( AllegraEra c) PPUPState Source #

Methods

translateEra :: TranslationContext ( AllegraEra c) -> PPUPState ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) PPUPState ) ( PPUPState ( 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) ShelleyGenesis Source #
Instance details

Associated Types

type TranslationError ( AllegraEra c) ShelleyGenesis Source #

Methods

translateEra :: TranslationContext ( AllegraEra c) -> ShelleyGenesis ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) ShelleyGenesis ) ( ShelleyGenesis ( AllegraEra c)) Source #

Crypto c => TranslateEra ( AllegraEra c) Tx Source #
Instance details

Associated Types

type TranslationError ( AllegraEra c) Tx Source #

Methods

translateEra :: TranslationContext ( AllegraEra c) -> Tx ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) Tx ) ( Tx ( 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) ( PParams' f) Source #
Instance details

Associated Types

type TranslationError ( AllegraEra c) ( PParams' f) Source #

Methods

translateEra :: TranslationContext ( AllegraEra c) -> PParams' f ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) ( PParams' f)) ( PParams' f ( AllegraEra c)) Source #