| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Mary.UTxO
Contents
Synopsis
- getConsumedMaryValue ∷ (MaryEraTxBody era, Value era ~ MaryValue) ⇒ PParams era → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO era → TxBody era → MaryValue
- getProducedMaryValue ∷ (MaryEraTxBody era, Value era ~ MaryValue) ⇒ PParams era → (KeyHash 'StakePool → Bool) → TxBody era → MaryValue
Documentation
getConsumedMaryValue ∷ (MaryEraTxBody era, Value era ~ MaryValue) ⇒ PParams era → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO era → TxBody 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.
Orphan instances
| EraUTxO MaryEra Source # | |
Associated Types type ScriptsNeeded MaryEra = (r ∷ Type) Source # Methods getConsumedValue ∷ PParams MaryEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO MaryEra → TxBody MaryEra → Value MaryEra Source # getProducedValue ∷ PParams MaryEra → (KeyHash 'StakePool → Bool) → TxBody MaryEra → Value MaryEra Source # getScriptsProvided ∷ UTxO MaryEra → Tx MaryEra → ScriptsProvided MaryEra Source # getScriptsNeeded ∷ UTxO MaryEra → TxBody MaryEra → ScriptsNeeded MaryEra Source # getScriptsHashesNeeded ∷ ScriptsNeeded MaryEra → Set ScriptHash Source # getWitsVKeyNeeded ∷ CertState MaryEra → UTxO MaryEra → TxBody MaryEra → Set (KeyHash 'Witness) Source # getMinFeeTxUtxo ∷ PParams MaryEra → Tx MaryEra → UTxO MaryEra → Coin Source # | |