cardano-ledger-alonzo-0.1.0.0: Cardano ledger introducing Plutus Core
Safe Haskell None
Language Haskell2010

Cardano.Ledger.Alonzo.Translation

Documentation

newtype Tx era Source #

Constructors

Tx

Fields

Instances

Instances details
( Crypto c, Tx ( AlonzoEra c) ~ ValidatedTx ( AlonzoEra c)) => TranslateEra ( AlonzoEra c) Tx Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError ( AlonzoEra c) Tx Source #

Methods

translateEra :: TranslationContext ( AlonzoEra c) -> Tx ( PreviousEra ( AlonzoEra c)) -> Except ( TranslationError ( AlonzoEra c) Tx ) ( Tx ( AlonzoEra c)) Source #

type TranslationError ( AlonzoEra c) Tx Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError ( AlonzoEra c) Tx = DecoderError

translateTxOut :: Crypto c => TxOut ( MaryEra c) -> TxOut ( AlonzoEra c) Source #

translatePParams :: AlonzoGenesis -> PParams ( MaryEra c) -> PParams ( AlonzoEra c) Source #

translatePParamsUpdate :: PParamsUpdate ( MaryEra c) -> PParamsUpdate ( AlonzoEra c) Source #

Orphan instances

Crypto c => TranslateEra ( AlonzoEra c) ProposedPPUpdates Source #
Instance details

Associated Types

type TranslationError ( AlonzoEra c) ProposedPPUpdates Source #

Methods

translateEra :: TranslationContext ( AlonzoEra c) -> ProposedPPUpdates ( PreviousEra ( AlonzoEra c)) -> Except ( TranslationError ( AlonzoEra c) ProposedPPUpdates ) ( ProposedPPUpdates ( AlonzoEra c)) Source #

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

Associated Types

type TranslationError ( AlonzoEra c) PPUPState Source #

Methods

translateEra :: TranslationContext ( AlonzoEra c) -> PPUPState ( PreviousEra ( AlonzoEra c)) -> Except ( TranslationError ( AlonzoEra c) PPUPState ) ( PPUPState ( AlonzoEra c)) Source #

Crypto c => TranslateEra ( AlonzoEra c) UTxO Source #
Instance details

Associated Types

type TranslationError ( AlonzoEra c) UTxO Source #

Methods

translateEra :: TranslationContext ( AlonzoEra c) -> UTxO ( PreviousEra ( AlonzoEra c)) -> Except ( TranslationError ( AlonzoEra c) UTxO ) ( UTxO ( AlonzoEra c)) Source #

Crypto c => TranslateEra ( AlonzoEra c) UTxOState Source #
Instance details

Associated Types

type TranslationError ( AlonzoEra c) UTxOState Source #

Methods

translateEra :: TranslationContext ( AlonzoEra c) -> UTxOState ( PreviousEra ( AlonzoEra c)) -> Except ( TranslationError ( AlonzoEra c) UTxOState ) ( UTxOState ( AlonzoEra c)) Source #

Crypto c => TranslateEra ( AlonzoEra c) LedgerState Source #
Instance details

Associated Types

type TranslationError ( AlonzoEra c) LedgerState Source #

Methods

translateEra :: TranslationContext ( AlonzoEra c) -> LedgerState ( PreviousEra ( AlonzoEra c)) -> Except ( TranslationError ( AlonzoEra c) LedgerState ) ( LedgerState ( AlonzoEra c)) Source #

Crypto c => TranslateEra ( AlonzoEra c) EpochState Source #
Instance details

Associated Types

type TranslationError ( AlonzoEra c) EpochState Source #

Methods

translateEra :: TranslationContext ( AlonzoEra c) -> EpochState ( PreviousEra ( AlonzoEra c)) -> Except ( TranslationError ( AlonzoEra c) EpochState ) ( EpochState ( AlonzoEra c)) Source #

Crypto c => TranslateEra ( AlonzoEra c) ShelleyGenesis Source #
Instance details

Associated Types

type TranslationError ( AlonzoEra c) ShelleyGenesis Source #

Methods

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

Crypto c => TranslateEra ( AlonzoEra c) NewEpochState Source #
Instance details

Associated Types

type TranslationError ( AlonzoEra c) NewEpochState Source #

Methods

translateEra :: TranslationContext ( AlonzoEra c) -> NewEpochState ( PreviousEra ( AlonzoEra c)) -> Except ( TranslationError ( AlonzoEra c) NewEpochState ) ( NewEpochState ( AlonzoEra c)) Source #

( Crypto c, Functor f) => TranslateEra ( AlonzoEra c) ( PParams' f) Source #
Instance details

Associated Types

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

Methods

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