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

Cardano.Ledger.Mary.Translation

Documentation

translateValue :: Crypto c => Coin -> Value c Source #

translateCompactValue :: Crypto c => CompactForm Coin -> CompactForm ( Value c) Source #

Orphan instances

Crypto c => TranslateEra ( MaryEra c) AuxiliaryData Source #
Instance details

Associated Types

type TranslationError ( MaryEra c) AuxiliaryData Source #

Methods

translateEra :: TranslationContext ( MaryEra c) -> AuxiliaryData ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) AuxiliaryData ) ( AuxiliaryData ( MaryEra c)) Source #

Crypto c => TranslateEra ( MaryEra c) Update Source #
Instance details

Associated Types

type TranslationError ( MaryEra c) Update Source #

Methods

translateEra :: TranslationContext ( MaryEra c) -> Update ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) Update ) ( Update ( MaryEra c)) Source #

Crypto c => TranslateEra ( MaryEra c) WitnessSet Source #
Instance details

Associated Types

type TranslationError ( MaryEra c) WitnessSet Source #

Methods

translateEra :: TranslationContext ( MaryEra c) -> WitnessSet ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) WitnessSet ) ( WitnessSet ( MaryEra c)) Source #

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

Associated Types

type TranslationError ( MaryEra c) UTxO Source #

Methods

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

Crypto c => TranslateEra ( MaryEra c) TxOut Source #
Instance details

Associated Types

type TranslationError ( MaryEra c) TxOut Source #

Methods

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

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

Associated Types

type TranslationError ( MaryEra c) UTxOState Source #

Methods

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

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

Associated Types

type TranslationError ( MaryEra c) PPUPState Source #

Methods

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

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

Associated Types

type TranslationError ( MaryEra c) ProposedPPUpdates Source #

Methods

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

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

Associated Types

type TranslationError ( MaryEra c) LedgerState Source #

Methods

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

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

Associated Types

type TranslationError ( MaryEra c) EpochState Source #

Methods

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

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

Associated Types

type TranslationError ( MaryEra c) ShelleyGenesis Source #

Methods

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

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

Associated Types

type TranslationError ( MaryEra c) Tx Source #

Methods

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

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

Associated Types

type TranslationError ( MaryEra c) NewEpochState Source #

Methods

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

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

Associated Types

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

Methods

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