Module

Ctl.Internal.ProcessConstraints.State

#ConstraintProcessingState

type ConstraintProcessingState = { costModels :: Map Language CostModel, datums :: Array PlutusData, lookups :: ScriptLookups, redeemers :: Array DetachedRedeemer, refScriptsUtxoMap :: UtxoMap, transaction :: Transaction, usedUtxos :: UtxoMap, valueSpentBalancesInputs :: ValueSpentBalances, valueSpentBalancesOutputs :: ValueSpentBalances }

#ValueSpentBalances

newtype ValueSpentBalances

The balances we track for computing the missing 'Value' (if any) that needs to be added to the transaction. See note [Balance of value spent].

Constructors

Instances

#missingValueSpent

Modules