Ctl.Internal.BalanceTx.Constraints

type BalanceTxConstraintsBuilder = BalancerConstraints

newtype BalancerConstraints

Constructors

• BalancerConstraints (BalancerConfig -> BalancerConfig)

Instances

• Newtype BalancerConstraints _
• Semigroup BalancerConstraints
• Monoid BalancerConstraints

buildBalancerConfig :: BalancerConstraints -> BalancerConfig

newtype BalancerConfig

Constructors

• BalancerConfig { additionalUtxos :: UtxoMap, changeAddress :: Maybe Address, changeDatum :: Maybe OutputDatum, collateralUtxos :: Maybe UtxoMap, maxChangeOutputTokenQuantity :: Maybe BigInt, nonSpendableInputs :: Set TransactionInput, selectionStrategy :: SelectionStrategy, srcAddresses :: Maybe (Array Address) }

Instances

• Newtype BalancerConfig _

mustGenChangeOutsWithMaxTokenQuantity :: BigInt -> BalancerConstraints

Tells the balancer to split change outputs and equipartition change Value between them if the total change Value contains token quantities exceeding the specified upper bound. (See Cardano.Types.Value.equipartitionValueWithTokenQuantityUpperBound)

mustNotSpendUtxosWithOutRefs :: Set TransactionInput -> BalancerConstraints

Tells the balancer not to spend UTxO's with the specified output references.

mustNotSpendUtxoWithOutRef :: TransactionInput -> BalancerConstraints

Tells the balancer not to spend a UTxO with the specified output reference.

mustSendChangeToAddress :: Address -> BalancerConstraints

Tells the balancer to send all generated change to a given address. If this constraint is not set, then the default change address owned by the wallet is used.

NOTE: Setting mustUseUtxosAtAddresses or mustUseUtxosAtAddress does NOT have any effect on which address will be used as a change address.

mustSendChangeWithDatum :: OutputDatum -> BalancerConstraints

Tells the balancer to include the datum in each change UTxO. Useful when balancing a transactions for script owned UTxOs.

mustUseAdditionalUtxos :: UtxoMap -> BalancerConstraints

Tells the balancer to use the provided UTxO set when evaluating script execution units (sets additionalUtxoSet of Ogmios EvaluateTx). Note that you need to use unspentOutputs lookup to make these UTxO's spendable by the transaction (see Examples.TxChaining for reference).

mustUseCoinSelectionStrategy :: SelectionStrategy -> BalancerConstraints

Tells the balancer to use the given strategy for coin selection.

mustUseCollateralUtxos :: UtxoMap -> BalancerConstraints

Tells the balancer to select from the provided UTxO set when choosing collateral UTxOs, instead of UTxOs provided by the browser wallet.

mustUseUtxosAtAddress :: Address -> BalancerConstraints

Tells the balancer to use UTxO's at a given address. If this constraint is not set, then the default addresses owned by the wallet are used.

NOTE: Setting mustUseUtxosAtAddresses or mustUseUtxosAtAddress does NOT have any effect on which address will be used as a change address.

mustUseUtxosAtAddresses :: Array Address -> BalancerConstraints

Tells the balancer to use UTxO's at given addresses. If this constraint is not set, then the default addresses owned by the wallet are used.

NOTE: Setting mustUseUtxosAtAddresses or mustUseUtxosAtAddress does NOT have any effect on which address will be used as a change address.

_additionalUtxos :: Lens' BalancerConfig UtxoMap

_collateralUtxos :: Lens' BalancerConfig (Maybe UtxoMap)

_changeAddress :: Lens' BalancerConfig (Maybe Address)

_changeDatum :: Lens' BalancerConfig (Maybe OutputDatum)

_maxChangeOutputTokenQuantity :: Lens' BalancerConfig (Maybe BigInt)

_nonSpendableInputs :: Lens' BalancerConfig (Set TransactionInput)

_selectionStrategy :: Lens' BalancerConfig SelectionStrategy

_srcAddresses :: Lens' BalancerConfig (Maybe (Array Address))