cardano-ledger-mary- Cardano ledger with multiasset support.
Safe HaskellSafe-Inferred




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.

getProducedMaryValue Source #


∷ (MaryEraTxBody era, Value era ~ MaryValue (EraCrypto era)) 
PParams era 
→ (KeyHash 'StakePool (EraCrypto era) → Bool)

Check whether a pool with a supplied PoolStakeId is already registered.

TxBody era 
MaryValue (EraCrypto era) 

Orphan instances