Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Babbage.Translation

Contents

Orphan instances

Synopsis

newtype Tx era = Tx {
- unTx :: Tx era
}
translateTxOut :: Crypto c => TxOut ( AlonzoEra c) -> TxOut ( BabbageEra c)
coinsPerUTxOWordToCoinsPerUTxOByte :: Coin -> Coin
translatePParams :: forall f c. HKDFunctor f => PParams' f ( AlonzoEra c) -> PParams' f ( BabbageEra c)

Documentation

newtype Tx era Source #

Constructors

Tx
Fields unTx :: Tx era

Instances

Instances details

( Crypto c, Tx ( BabbageEra c) ~ ValidatedTx ( BabbageEra c)) => TranslateEra ( BabbageEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError ( BabbageEra c) Tx Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> Tx ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) Tx ) ( Tx ( BabbageEra c)) Source #
type TranslationError ( BabbageEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError ( BabbageEra c) Tx = DecoderError

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

coinsPerUTxOWordToCoinsPerUTxOByte :: Coin -> Coin Source #

A word is 8 bytes, so to convert from coinsPerUTxOWord to coinsPerUTxOByte, rounding down.

translatePParams :: forall f c. HKDFunctor f => PParams' f ( AlonzoEra c) -> PParams' f ( BabbageEra c) Source #

Orphan instances

Crypto c => TranslateEra ( BabbageEra c) ProposedPPUpdates Source #
Instance details Associated Types type TranslationError ( BabbageEra c) ProposedPPUpdates Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> ProposedPPUpdates ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) ProposedPPUpdates ) ( ProposedPPUpdates ( BabbageEra c)) Source #
Crypto c => TranslateEra ( BabbageEra c) PPUPState Source #
Instance details Associated Types type TranslationError ( BabbageEra c) PPUPState Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> PPUPState ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) PPUPState ) ( PPUPState ( BabbageEra c)) Source #
Crypto c => TranslateEra ( BabbageEra c) UTxO Source #
Instance details Associated Types type TranslationError ( BabbageEra c) UTxO Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> UTxO ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) UTxO ) ( UTxO ( BabbageEra c)) Source #
Crypto c => TranslateEra ( BabbageEra c) UTxOState Source #
Instance details Associated Types type TranslationError ( BabbageEra c) UTxOState Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> UTxOState ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) UTxOState ) ( UTxOState ( BabbageEra c)) Source #
Crypto c => TranslateEra ( BabbageEra c) LedgerState Source #
Instance details Associated Types type TranslationError ( BabbageEra c) LedgerState Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> LedgerState ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) LedgerState ) ( LedgerState ( BabbageEra c)) Source #
Crypto c => TranslateEra ( BabbageEra c) EpochState Source #
Instance details Associated Types type TranslationError ( BabbageEra c) EpochState Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> EpochState ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) EpochState ) ( EpochState ( BabbageEra c)) Source #
Crypto c => TranslateEra ( BabbageEra c) ShelleyGenesis Source #
Instance details Associated Types type TranslationError ( BabbageEra c) ShelleyGenesis Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> ShelleyGenesis ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) ShelleyGenesis ) ( ShelleyGenesis ( BabbageEra c)) Source #
Crypto c => TranslateEra ( BabbageEra c) NewEpochState Source #
Instance details Associated Types type TranslationError ( BabbageEra c) NewEpochState Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> NewEpochState ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) NewEpochState ) ( NewEpochState ( BabbageEra c)) Source #
( Crypto c, Functor f) => TranslateEra ( BabbageEra c) ( PParams' f) Source #
Instance details Associated Types type TranslationError ( BabbageEra c) ( PParams' f) Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> PParams' f ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) ( PParams' f)) ( PParams' f ( BabbageEra c)) Source #