Cardano.Ledger.Allegra.Translation
Contents
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 #
type TranslationError (AllegraEra c) WitnessSet Source #
translateEra :: TranslationContext (AllegraEra c) -> WitnessSet (PreviousEra (AllegraEra c)) -> Except (TranslationError (AllegraEra c) WitnessSet) (WitnessSet (AllegraEra c)) Source #
type TranslationError (AllegraEra c) EpochState Source #
translateEra :: TranslationContext (AllegraEra c) -> EpochState (PreviousEra (AllegraEra c)) -> Except (TranslationError (AllegraEra c) EpochState) (EpochState (AllegraEra c)) Source #
type TranslationError (AllegraEra c) LedgerState Source #
translateEra :: TranslationContext (AllegraEra c) -> LedgerState (PreviousEra (AllegraEra c)) -> Except (TranslationError (AllegraEra c) LedgerState) (LedgerState (AllegraEra c)) Source #
type TranslationError (AllegraEra c) UTxOState Source #
translateEra :: TranslationContext (AllegraEra c) -> UTxOState (PreviousEra (AllegraEra c)) -> Except (TranslationError (AllegraEra c) UTxOState) (UTxOState (AllegraEra c)) Source #
type TranslationError (AllegraEra c) UTxO Source #
translateEra :: TranslationContext (AllegraEra c) -> UTxO (PreviousEra (AllegraEra c)) -> Except (TranslationError (AllegraEra c) UTxO) (UTxO (AllegraEra c)) Source #
type TranslationError (AllegraEra c) TxOut Source #
translateEra :: TranslationContext (AllegraEra c) -> TxOut (PreviousEra (AllegraEra c)) -> Except (TranslationError (AllegraEra c) TxOut) (TxOut (AllegraEra c)) Source #
type TranslationError (AllegraEra c) PPUPState Source #
translateEra :: TranslationContext (AllegraEra c) -> PPUPState (PreviousEra (AllegraEra c)) -> Except (TranslationError (AllegraEra c) PPUPState) (PPUPState (AllegraEra c)) Source #
type TranslationError (AllegraEra c) ProposedPPUpdates Source #
translateEra :: TranslationContext (AllegraEra c) -> ProposedPPUpdates (PreviousEra (AllegraEra c)) -> Except (TranslationError (AllegraEra c) ProposedPPUpdates) (ProposedPPUpdates (AllegraEra c)) Source #
type TranslationError (AllegraEra c) ShelleyGenesis Source #
translateEra :: TranslationContext (AllegraEra c) -> ShelleyGenesis (PreviousEra (AllegraEra c)) -> Except (TranslationError (AllegraEra c) ShelleyGenesis) (ShelleyGenesis (AllegraEra c)) Source #
type TranslationError (AllegraEra c) Tx Source #
translateEra :: TranslationContext (AllegraEra c) -> Tx (PreviousEra (AllegraEra c)) -> Except (TranslationError (AllegraEra c) Tx) (Tx (AllegraEra c)) Source #
type TranslationError (AllegraEra c) NewEpochState Source #
translateEra :: TranslationContext (AllegraEra c) -> NewEpochState (PreviousEra (AllegraEra c)) -> Except (TranslationError (AllegraEra c) NewEpochState) (NewEpochState (AllegraEra c)) Source #
type TranslationError (AllegraEra c) (PParams' f) Source #
translateEra :: TranslationContext (AllegraEra c) -> PParams' f (PreviousEra (AllegraEra c)) -> Except (TranslationError (AllegraEra c) (PParams' f)) (PParams' f (AllegraEra c)) Source #