| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Mary.UTxO
Contents
Synopsis
- getConsumedMaryValue ∷ (MaryEraTxBody era, Value era ~ MaryValue (EraCrypto era)) ⇒ PParams era → (Credential 'Staking (EraCrypto era) → Maybe Coin) → (Credential 'DRepRole (EraCrypto era) → Maybe Coin) → UTxO era → TxBody era → MaryValue (EraCrypto era)
- getProducedMaryValue ∷ (MaryEraTxBody era, Value era ~ MaryValue (EraCrypto era)) ⇒ PParams era → (KeyHash 'StakePool (EraCrypto era) → Bool) → TxBody era → MaryValue (EraCrypto era)
Documentation
getConsumedMaryValue ∷ (MaryEraTxBody era, Value era ~ MaryValue (EraCrypto era)) ⇒ PParams era → (Credential 'Staking (EraCrypto era) → Maybe Coin) → (Credential 'DRepRole (EraCrypto era) → Maybe Coin) → UTxO era → TxBody era → MaryValue (EraCrypto era) Source #
Calculate the value consumed by the transation.
This differs from the corresponding Shelley function coinConsumed
since it works on Value and it also considers the "mint" field which
creates or destroys non-Ada tokens.
Note that this is slightly confusing, since it also covers non-Ada assets _created_ by the transaction, depending on the sign of the quantities in the mint field.