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

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

Associated Types

type TranslationError (MaryEra c) TxBody Source #

Methods

translateEra :: TranslationContext (MaryEra c) -> TxBody (PreviousEra (MaryEra c)) -> Except (TranslationError (MaryEra c) TxBody) (TxBody (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 #