| 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) → 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) → 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 #
Orphan instances
| EraUTxO MaryEra Source # | |||||
Associated Types
Methods getConsumedValue ∷ ∀ (t ∷ TxLevel). PParams MaryEra → (Credential 'Staking → Maybe Coin) → UTxO MaryEra → TxBody t MaryEra → Value MaryEra Source # getProducedValue ∷ PParams MaryEra → (KeyHash 'StakePool → Bool) → TxBody 'TopTx MaryEra → Value MaryEra Source # getScriptsProvided ∷ ∀ (t ∷ TxLevel). UTxO MaryEra → Tx t MaryEra → ScriptsProvided MaryEra Source # getScriptsNeeded ∷ ∀ (t ∷ TxLevel). UTxO MaryEra → TxBody t MaryEra → ScriptsNeeded MaryEra Source # getScriptsHashesNeeded ∷ ScriptsNeeded MaryEra → Set ScriptHash Source # getWitsVKeyNeeded ∷ ∀ (t ∷ TxLevel). CertState MaryEra → UTxO MaryEra → TxBody t MaryEra → Set (KeyHash 'Witness) Source # getMinFeeTxUtxo ∷ ∀ (t ∷ TxLevel). PParams MaryEra → Tx t MaryEra → UTxO MaryEra → Coin Source # | |||||