cardano-ledger-shelley-ma-0.1.0.0: Shelley ledger with multiasset and time lock support.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Allegra.Translation

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 #