Ctl.Internal.ProcessConstraints.State

type ConstraintsM (a :: Type) = StateT ConstraintProcessingState Contract a

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

_cpsTransaction :: Lens' ConstraintProcessingState Transaction

_cpsUsedUtxos :: Lens' ConstraintProcessingState UtxoMap

_valueSpentBalancesInputs :: Lens' ConstraintProcessingState ValueSpentBalances

_valueSpentBalancesOutputs :: Lens' ConstraintProcessingState ValueSpentBalances

_datums :: Lens' ConstraintProcessingState (Array PlutusData)

_costModels :: Lens' ConstraintProcessingState (Map Language CostModel)

_redeemers :: Lens' ConstraintProcessingState (Array DetachedRedeemer)

_lookups :: Lens' ConstraintProcessingState ScriptLookups

_refScriptsUtxoMap :: Lens' ConstraintProcessingState UtxoMap

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

• ValueSpentBalances { provided :: Val, required :: Val }

Instances

• Generic ValueSpentBalances _
• Show ValueSpentBalances
• Semigroup ValueSpentBalances

missingValueSpent :: ValueSpentBalances -> Val

totalMissingValue :: ConstraintProcessingState -> Val

provideValue :: Value -> ValueSpentBalances

requireValue :: Value -> ValueSpentBalances

sumValueSpentBalances :: ValueSpentBalances -> ValueSpentBalances -> ValueSpentBalances