| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Mary.UTxO
Contents
Synopsis
- getConsumedMaryValue ∷ ∀ era (l ∷ TxLevel). (MaryEraTxBody era, Value era ~ MaryValue) ⇒ PParams era → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO era → TxBody l era → MaryValue
- getProducedMaryValue ∷ (MaryEraTxBody era, Value era ~ MaryValue) ⇒ PParams era → (KeyHash 'StakePool → Bool) → TxBody 'TopTx era → MaryValue
- burnedMultiAssets ∷ ∀ era (l ∷ TxLevel). MaryEraTxBody era ⇒ TxBody l era → MaryValue
Documentation
getConsumedMaryValue ∷ ∀ era (l ∷ TxLevel). (MaryEraTxBody era, Value era ~ MaryValue) ⇒ PParams era → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO era → TxBody l era → MaryValue 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.
burnedMultiAssets ∷ ∀ era (l ∷ TxLevel). MaryEraTxBody era ⇒ TxBody l era → MaryValue Source #