Copyright	© 2021 IOHK
License	Apache-2.0
Safe Haskell	None
Language	Haskell2010

Cardano.Wallet.CoinSelection.Internal

Contents

Performing selections
Output preparation
Verification of post conditions
Verification of selections and selection errors
Selection deltas
Selection collateral
Internal types and functions

Description

This module provides INTERNAL functions and types for coin selection.

It is recommended to import from CoinSelection instead.

Synopsis

performSelection :: ( HasCallStack , MonadRandom m, SelectionContext ctx) => PerformSelection m ctx ( Selection ctx)
data Selection ctx = Selection {
- inputs :: !( NonEmpty ( UTxO ctx, TokenBundle ))
- collateral :: ![( UTxO ctx, Coin )]
- outputs :: ![( Address ctx, TokenBundle )]
- change :: ![ TokenBundle ]
- assetsToMint :: ! TokenMap
- assetsToBurn :: ! TokenMap
- extraCoinSource :: ! Coin
- extraCoinSink :: ! Coin
}
data SelectionConstraints ctx = SelectionConstraints {
- assessTokenBundleSize :: TokenBundle -> TokenBundleSizeAssessment
- certificateDepositAmount :: Coin
- computeMinimumAdaQuantity :: Address ctx -> TokenMap -> Coin
- isBelowMinimumAdaQuantity :: Address ctx -> TokenBundle -> Bool
- computeMinimumCost :: SelectionSkeleton ctx -> Coin
- computeSelectionLimit :: [( Address ctx, TokenBundle )] -> SelectionLimit
- maximumCollateralInputCount :: Int
- minimumCollateralPercentage :: Natural
- maximumOutputAdaQuantity :: Coin
- maximumOutputTokenQuantity :: TokenQuantity
- maximumLengthChangeAddress :: Address ctx
- nullAddress :: Address ctx
}
data SelectionError ctx
- = SelectionBalanceErrorOf ( SelectionBalanceError ctx)
- | SelectionCollateralErrorOf ( SelectionCollateralError ctx)
- | SelectionOutputErrorOf ( SelectionOutputError ctx)
data SelectionParams ctx = SelectionParams {
- assetsToBurn :: ! TokenMap
- assetsToMint :: ! TokenMap
- extraCoinIn :: ! Coin
- extraCoinOut :: ! Coin
- outputsToCover :: ![( Address ctx, TokenBundle )]
- rewardWithdrawal :: ! Coin
- certificateDepositsTaken :: ! Natural
- certificateDepositsReturned :: ! Natural
- collateralRequirement :: ! SelectionCollateralRequirement
- utxoAvailableForCollateral :: !( Map ( UTxO ctx) Coin )
- utxoAvailableForInputs :: !( UTxOSelection ( UTxO ctx))
- selectionStrategy :: SelectionStrategy
}
data SelectionSkeleton ctx = SelectionSkeleton {
- skeletonInputCount :: ! Int
- skeletonOutputs :: ![( Address ctx, TokenBundle )]
- skeletonChange :: ![ Set AssetId ]
}
prepareOutputsWith :: forall f address. Functor f => (address -> TokenMap -> Coin ) -> f (address, TokenBundle ) -> f (address, TokenBundle )
data SelectionOutputError ctx
- = SelectionOutputCoinInsufficient ( SelectionOutputCoinInsufficientError ctx)
- | SelectionOutputSizeExceedsLimit ( SelectionOutputSizeExceedsLimitError ctx)
- | SelectionOutputTokenQuantityExceedsLimit ( SelectionOutputTokenQuantityExceedsLimitError ctx)
data SelectionOutputCoinInsufficientError ctx = SelectionOutputCoinInsufficientError {
- minimumExpectedCoin :: Coin
- output :: ( Address ctx, TokenBundle )
}
newtype SelectionOutputSizeExceedsLimitError ctx = SelectionOutputSizeExceedsLimitError {
- outputThatExceedsLimit :: ( Address ctx, TokenBundle )
}
data SelectionOutputTokenQuantityExceedsLimitError ctx = SelectionOutputTokenQuantityExceedsLimitError {
- address :: !( Address ctx)
- asset :: ! AssetId
- quantity :: ! TokenQuantity
- quantityMaxBound :: ! TokenQuantity
}
data VerificationResult
- = VerificationSuccess
- | VerificationFailure ( NonEmpty VerificationFailureReason)
verifySelection :: SelectionContext ctx => VerifySelection ctx
verifySelectionError :: SelectionContext ctx => VerifySelectionError ( SelectionError ctx) ctx
data SelectionDelta a
- = SelectionSurplus a
- | SelectionDeficit a
selectionDeltaAllAssets :: Selection ctx -> SelectionDelta TokenBundle
selectionDeltaCoin :: Selection ctx -> SelectionDelta Coin
selectionHasValidSurplus :: SelectionConstraints ctx -> SelectionParams ctx -> Selection ctx -> Bool
selectionMinimumCost :: SelectionConstraints ctx -> SelectionParams ctx -> Selection ctx -> Coin
selectionSurplusCoin :: Selection ctx -> Coin
data SelectionCollateralError ctx = SelectionCollateralError {
- largestCombinationAvailable :: Map ( UTxO ctx) Coin
- minimumSelectionAmount :: Coin
}
data SelectionCollateralRequirement
- = SelectionCollateralRequired
- | SelectionCollateralNotRequired
selectionCollateral :: Selection ctx -> Coin
selectionCollateralRequired :: SelectionParams ctx -> Bool
selectionHasSufficientCollateral :: SelectionConstraints ctx -> SelectionParams ctx -> Selection ctx -> Bool
selectionMinimumCollateral :: SelectionConstraints ctx -> SelectionParams ctx -> Selection ctx -> Coin
data ComputeMinimumCollateralParams = ComputeMinimumCollateralParams {
- minimumCollateralPercentage :: Natural
- transactionFee :: Coin
}
computeMinimumCollateral :: ComputeMinimumCollateralParams -> Coin
toBalanceConstraintsParams :: forall ctx. ( SelectionConstraints ctx, SelectionParams ctx) -> ( SelectionConstraints ctx, SelectionParams ctx)

Performing selections

performSelection :: ( HasCallStack , MonadRandom m, SelectionContext ctx) => PerformSelection m ctx ( Selection ctx) Source #

Performs a coin selection.

This function has the following responsibilities:

selecting inputs from the UTxO set to pay for user-specified outputs;
selecting inputs from the UTxO set to pay for collateral;
producing change outputs to return excess value to the wallet;
balancing a selection to pay for the transaction fee.

This function guarantees that given a set of SelectionConstraints cs and SelectionParams ps :

if creation of a selection succeeds, a value s of type Selection will be returned for which the following property holds:
```
>>> verifySelection cs ps s == VerificationSuccess
```
if creation of a selection fails, a value e of type SelectionError will be returned for which the following property holds:
```
>>> verifySelectionError cs ps e == VerificationSuccess
```

data Selection ctx Source #

Represents a balanced selection.

Constructors

Selection

Fields

inputs :: !( NonEmpty ( UTxO ctx, TokenBundle ))

Selected inputs.
collateral :: ![( UTxO ctx, Coin )]

Selected collateral inputs.
outputs :: ![( Address ctx, TokenBundle )]

User-specified outputs
change :: ![ TokenBundle ]

Generated change outputs.
assetsToMint :: ! TokenMap

Assets to mint.
assetsToBurn :: ! TokenMap

Assets to burn.
extraCoinSource :: ! Coin

An extra source of ada.
extraCoinSink :: ! Coin

An extra sink for ada.

Instances

Instances details

SelectionContext ctx => Eq ( Selection ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods (==) :: Selection ctx -> Selection ctx -> Bool Source # (/=) :: Selection ctx -> Selection ctx -> Bool Source #
SelectionContext ctx => Show ( Selection ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods showsPrec :: Int -> Selection ctx -> ShowS Source # show :: Selection ctx -> String Source # showList :: [ Selection ctx] -> ShowS Source #
Generic ( Selection ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Associated Types type Rep ( Selection ctx) :: Type -> Type Source # Methods from :: Selection ctx -> Rep ( Selection ctx) x Source # to :: Rep ( Selection ctx) x -> Selection ctx Source #
type Rep ( Selection ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal type Rep ( Selection ctx) = D1 (' MetaData "Selection" "Cardano.Wallet.CoinSelection.Internal" "cardano-wallet-core-2022.7.1-AGKhlyz9liLKN3QqZD1gj" ' False ) ( C1 (' MetaCons "Selection" ' PrefixI ' True ) ((( S1 (' MetaSel (' Just "inputs") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( NonEmpty ( UTxO ctx, TokenBundle ))) :: S1 (' MetaSel (' Just "collateral") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 [( UTxO ctx, Coin )])) :: ( S1 (' MetaSel (' Just "outputs") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 [( Address ctx, TokenBundle )]) :: S1 (' MetaSel (' Just "change") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 [ TokenBundle ]))) :: (( S1 (' MetaSel (' Just "assetsToMint") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 TokenMap ) :: S1 (' MetaSel (' Just "assetsToBurn") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 TokenMap )) :: ( S1 (' MetaSel (' Just "extraCoinSource") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin ) :*: S1 (' MetaSel (' Just "extraCoinSink") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin )))))

data SelectionConstraints ctx Source #

Specifies all constraints required for coin selection.

Selection constraints:

are dependent on the current set of protocol parameters.
are not specific to a given selection.
place limits on the coin selection algorithm, enabling it to produce selections that are acceptable to the ledger.

Constructors

SelectionConstraints

Fields

assessTokenBundleSize :: TokenBundle -> TokenBundleSizeAssessment

Assesses the size of a token bundle relative to the upper limit of what can be included in a transaction output. See documentation for the TokenBundleSizeAssessor type to learn about the expected properties of this field.
certificateDepositAmount :: Coin

Amount that should be taken from/returned back to the wallet for each stake key registration/de-registration in the transaction.
computeMinimumAdaQuantity :: Address ctx -> TokenMap -> Coin

Computes the minimum ada quantity required for a given output.
isBelowMinimumAdaQuantity :: Address ctx -> TokenBundle -> Bool

Returns True if the given TokenBundle has a Coin value that is below the minimum required.
computeMinimumCost :: SelectionSkeleton ctx -> Coin

Computes the minimum cost of a given selection skeleton.
computeSelectionLimit :: [( Address ctx, TokenBundle )] -> SelectionLimit

Computes an upper bound for the number of ordinary inputs to select, given a current set of outputs.
maximumCollateralInputCount :: Int

Specifies an inclusive upper bound on the number of unique inputs that can be selected as collateral.
minimumCollateralPercentage :: Natural

Specifies the minimum required amount of collateral as a percentage of the total transaction fee.
maximumOutputAdaQuantity :: Coin

Specifies the largest ada quantity that can appear in the token bundle of an output.
maximumOutputTokenQuantity :: TokenQuantity

Specifies the largest non-ada quantity that can appear in the token bundle of an output.
maximumLengthChangeAddress :: Address ctx
nullAddress :: Address ctx

Instances

Instances details

Generic ( SelectionConstraints ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Associated Types type Rep ( SelectionConstraints ctx) :: Type -> Type Source # Methods from :: SelectionConstraints ctx -> Rep ( SelectionConstraints ctx) x Source # to :: Rep ( SelectionConstraints ctx) x -> SelectionConstraints ctx Source #
type Rep ( SelectionConstraints ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal type Rep ( SelectionConstraints ctx) = D1 (' MetaData "SelectionConstraints" "Cardano.Wallet.CoinSelection.Internal" "cardano-wallet-core-2022.7.1-AGKhlyz9liLKN3QqZD1gj" ' False ) ( C1 (' MetaCons "SelectionConstraints" ' PrefixI ' True ) ((( S1 (' MetaSel (' Just "assessTokenBundleSize") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( TokenBundle -> TokenBundleSizeAssessment )) :: ( S1 (' MetaSel (' Just "certificateDepositAmount") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Coin ) :: S1 (' MetaSel (' Just "computeMinimumAdaQuantity") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Address ctx -> TokenMap -> Coin )))) :: ( S1 (' MetaSel (' Just "isBelowMinimumAdaQuantity") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Address ctx -> TokenBundle -> Bool )) :: ( S1 (' MetaSel (' Just "computeMinimumCost") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SelectionSkeleton ctx -> Coin )) :: S1 (' MetaSel (' Just "computeSelectionLimit") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ([( Address ctx, TokenBundle )] -> SelectionLimit ))))) :: (( S1 (' MetaSel (' Just "maximumCollateralInputCount") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Int ) :: ( S1 (' MetaSel (' Just "minimumCollateralPercentage") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Natural ) :: S1 (' MetaSel (' Just "maximumOutputAdaQuantity") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Coin ))) :: ( S1 (' MetaSel (' Just "maximumOutputTokenQuantity") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 TokenQuantity ) :: ( S1 (' MetaSel (' Just "maximumLengthChangeAddress") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Address ctx)) :*: S1 (' MetaSel (' Just "nullAddress") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Address ctx)))))))

data SelectionError ctx Source #

Indicates that an error occurred while performing a coin selection.

Constructors

SelectionBalanceErrorOf ( SelectionBalanceError ctx)
SelectionCollateralErrorOf ( SelectionCollateralError ctx)
SelectionOutputErrorOf ( SelectionOutputError ctx)

Instances

Instances details

SelectionContext ctx => Eq ( SelectionError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods (==) :: SelectionError ctx -> SelectionError ctx -> Bool Source # (/=) :: SelectionError ctx -> SelectionError ctx -> Bool Source #
SelectionContext ctx => Show ( SelectionError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods showsPrec :: Int -> SelectionError ctx -> ShowS Source # show :: SelectionError ctx -> String Source # showList :: [ SelectionError ctx] -> ShowS Source #

data SelectionParams ctx Source #

Specifies all parameters that are specific to a given selection.

Constructors

SelectionParams

Fields

assetsToBurn :: ! TokenMap

Specifies a set of assets to burn.
assetsToMint :: ! TokenMap

Specifies a set of assets to mint.
extraCoinIn :: ! Coin

Specifies extra Coin in.
extraCoinOut :: ! Coin

Specifies extra Coin out.
outputsToCover :: ![( Address ctx, TokenBundle )]

Specifies a set of outputs that must be paid for.
rewardWithdrawal :: ! Coin

Specifies the value of a withdrawal from a reward account.
certificateDepositsTaken :: ! Natural

Number of deposits for stake key registrations.
certificateDepositsReturned :: ! Natural

Number of deposits from stake key de-registrations.
collateralRequirement :: ! SelectionCollateralRequirement

Specifies the collateral requirement for this selection.
utxoAvailableForCollateral :: !( Map ( UTxO ctx) Coin )

Specifies a set of UTxOs that are available for selection as collateral inputs.

This set is allowed to intersect with $sel:utxoAvailableForInputs:SelectionParams , since the ledger does not require that these sets are disjoint.
utxoAvailableForInputs :: !( UTxOSelection ( UTxO ctx))

Specifies a set of UTxOs that are available for selection as ordinary inputs and optionally, a subset that has already been selected.

Further entries from this set will be selected to cover any deficit.
selectionStrategy :: SelectionStrategy

Specifies which selection strategy to use. See SelectionStrategy .

Instances

Instances details

SelectionContext ctx => Eq ( SelectionParams ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods (==) :: SelectionParams ctx -> SelectionParams ctx -> Bool Source # (/=) :: SelectionParams ctx -> SelectionParams ctx -> Bool Source #
SelectionContext ctx => Show ( SelectionParams ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods showsPrec :: Int -> SelectionParams ctx -> ShowS Source # show :: SelectionParams ctx -> String Source # showList :: [ SelectionParams ctx] -> ShowS Source #
Generic ( SelectionParams ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Associated Types type Rep ( SelectionParams ctx) :: Type -> Type Source # Methods from :: SelectionParams ctx -> Rep ( SelectionParams ctx) x Source # to :: Rep ( SelectionParams ctx) x -> SelectionParams ctx Source #
type Rep ( SelectionParams ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal type Rep ( SelectionParams ctx) = D1 (' MetaData "SelectionParams" "Cardano.Wallet.CoinSelection.Internal" "cardano-wallet-core-2022.7.1-AGKhlyz9liLKN3QqZD1gj" ' False ) ( C1 (' MetaCons "SelectionParams" ' PrefixI ' True ) ((( S1 (' MetaSel (' Just "assetsToBurn") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 TokenMap ) :: ( S1 (' MetaSel (' Just "assetsToMint") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 TokenMap ) :: S1 (' MetaSel (' Just "extraCoinIn") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin ))) :: ( S1 (' MetaSel (' Just "extraCoinOut") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin ) :: ( S1 (' MetaSel (' Just "outputsToCover") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 [( Address ctx, TokenBundle )]) :: S1 (' MetaSel (' Just "rewardWithdrawal") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin )))) :: (( S1 (' MetaSel (' Just "certificateDepositsTaken") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Natural ) :: ( S1 (' MetaSel (' Just "certificateDepositsReturned") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Natural ) :: S1 (' MetaSel (' Just "collateralRequirement") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SelectionCollateralRequirement ))) :: ( S1 (' MetaSel (' Just "utxoAvailableForCollateral") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Map ( UTxO ctx) Coin )) :: ( S1 (' MetaSel (' Just "utxoAvailableForInputs") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( UTxOSelection ( UTxO ctx))) :*: S1 (' MetaSel (' Just "selectionStrategy") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 SelectionStrategy ))))))

data SelectionSkeleton ctx Source #

A skeleton selection that can be used to estimate the cost of a final selection.

Change outputs are deliberately stripped of their asset quantities, as the fee estimation function must be agnostic to the magnitudes of these quantities.

Increasing or decreasing the quantity of a particular asset in a change output must not change the estimated cost of a selection.

Constructors

SelectionSkeleton
Fields skeletonInputCount :: ! Int skeletonOutputs :: ![( Address ctx, TokenBundle )] skeletonChange :: ![ Set AssetId ]

Instances

Instances details

SelectionContext ctx => Eq ( SelectionSkeleton ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal.Balance Methods (==) :: SelectionSkeleton ctx -> SelectionSkeleton ctx -> Bool Source # (/=) :: SelectionSkeleton ctx -> SelectionSkeleton ctx -> Bool Source #
SelectionContext ctx => Show ( SelectionSkeleton ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal.Balance Methods showsPrec :: Int -> SelectionSkeleton ctx -> ShowS Source # show :: SelectionSkeleton ctx -> String Source # showList :: [ SelectionSkeleton ctx] -> ShowS Source #
Generic ( SelectionSkeleton ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal.Balance Associated Types type Rep ( SelectionSkeleton ctx) :: Type -> Type Source # Methods from :: SelectionSkeleton ctx -> Rep ( SelectionSkeleton ctx) x Source # to :: Rep ( SelectionSkeleton ctx) x -> SelectionSkeleton ctx Source #
type Rep ( SelectionSkeleton ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal.Balance type Rep ( SelectionSkeleton ctx) = D1 (' MetaData "SelectionSkeleton" "Cardano.Wallet.CoinSelection.Internal.Balance" "cardano-wallet-core-2022.7.1-AGKhlyz9liLKN3QqZD1gj" ' False ) ( C1 (' MetaCons "SelectionSkeleton" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "skeletonInputCount") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Int ) :: ( S1 (' MetaSel (' Just "skeletonOutputs") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 [( Address ctx, TokenBundle )]) :: S1 (' MetaSel (' Just "skeletonChange") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 [ Set AssetId ]))))

Output preparation

prepareOutputsWith :: forall f address. Functor f => (address -> TokenMap -> Coin ) -> f (address, TokenBundle ) -> f (address, TokenBundle ) Source #

Assigns minimal ada quantities to outputs without ada quantities.

This function only modifies outputs that have an ada quantity of zero. Outputs that have non-zero ada quantities will not be modified.

data SelectionOutputError ctx Source #

Indicates a problem when preparing outputs for a coin selection.

Constructors

SelectionOutputCoinInsufficient ( SelectionOutputCoinInsufficientError ctx)
SelectionOutputSizeExceedsLimit ( SelectionOutputSizeExceedsLimitError ctx)
SelectionOutputTokenQuantityExceedsLimit ( SelectionOutputTokenQuantityExceedsLimitError ctx)

Instances

Instances details

SelectionContext ctx => Eq ( SelectionOutputError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods (==) :: SelectionOutputError ctx -> SelectionOutputError ctx -> Bool Source # (/=) :: SelectionOutputError ctx -> SelectionOutputError ctx -> Bool Source #
SelectionContext ctx => Show ( SelectionOutputError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods showsPrec :: Int -> SelectionOutputError ctx -> ShowS Source # show :: SelectionOutputError ctx -> String Source # showList :: [ SelectionOutputError ctx] -> ShowS Source #
Generic ( SelectionOutputError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Associated Types type Rep ( SelectionOutputError ctx) :: Type -> Type Source # Methods from :: SelectionOutputError ctx -> Rep ( SelectionOutputError ctx) x Source # to :: Rep ( SelectionOutputError ctx) x -> SelectionOutputError ctx Source #
IsServerError ( SelectionOutputError WalletSelectionContext ) Source #
Instance details Defined in Cardano.Wallet.Api.Server Methods toServerError :: SelectionOutputError WalletSelectionContext -> ServerError Source #
type Rep ( SelectionOutputError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal type Rep ( SelectionOutputError ctx) = D1 (' MetaData "SelectionOutputError" "Cardano.Wallet.CoinSelection.Internal" "cardano-wallet-core-2022.7.1-AGKhlyz9liLKN3QqZD1gj" ' False ) ( C1 (' MetaCons "SelectionOutputCoinInsufficient" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SelectionOutputCoinInsufficientError ctx))) :+: ( C1 (' MetaCons "SelectionOutputSizeExceedsLimit" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SelectionOutputSizeExceedsLimitError ctx))) :+: C1 (' MetaCons "SelectionOutputTokenQuantityExceedsLimit" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SelectionOutputTokenQuantityExceedsLimitError ctx)))))

data SelectionOutputCoinInsufficientError ctx Source #

Constructors

SelectionOutputCoinInsufficientError
Fields minimumExpectedCoin :: Coin output :: ( Address ctx, TokenBundle )

Instances

Instances details

SelectionContext ctx => Eq ( SelectionOutputCoinInsufficientError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods (==) :: SelectionOutputCoinInsufficientError ctx -> SelectionOutputCoinInsufficientError ctx -> Bool Source # (/=) :: SelectionOutputCoinInsufficientError ctx -> SelectionOutputCoinInsufficientError ctx -> Bool Source #
SelectionContext ctx => Show ( SelectionOutputCoinInsufficientError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods showsPrec :: Int -> SelectionOutputCoinInsufficientError ctx -> ShowS Source # show :: SelectionOutputCoinInsufficientError ctx -> String Source # showList :: [ SelectionOutputCoinInsufficientError ctx] -> ShowS Source #
Generic ( SelectionOutputCoinInsufficientError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Associated Types type Rep ( SelectionOutputCoinInsufficientError ctx) :: Type -> Type Source # Methods from :: SelectionOutputCoinInsufficientError ctx -> Rep ( SelectionOutputCoinInsufficientError ctx) x Source # to :: Rep ( SelectionOutputCoinInsufficientError ctx) x -> SelectionOutputCoinInsufficientError ctx Source #
IsServerError ( SelectionOutputCoinInsufficientError WalletSelectionContext ) Source #
Instance details Defined in Cardano.Wallet.Api.Server Methods toServerError :: SelectionOutputCoinInsufficientError WalletSelectionContext -> ServerError Source #
type Rep ( SelectionOutputCoinInsufficientError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal type Rep ( SelectionOutputCoinInsufficientError ctx) = D1 (' MetaData "SelectionOutputCoinInsufficientError" "Cardano.Wallet.CoinSelection.Internal" "cardano-wallet-core-2022.7.1-AGKhlyz9liLKN3QqZD1gj" ' False ) ( C1 (' MetaCons "SelectionOutputCoinInsufficientError" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "minimumExpectedCoin") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Coin ) :*: S1 (' MetaSel (' Just "output") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Address ctx, TokenBundle ))))

newtype SelectionOutputSizeExceedsLimitError ctx Source #

Constructors

SelectionOutputSizeExceedsLimitError
Fields outputThatExceedsLimit :: ( Address ctx, TokenBundle )

Instances

Instances details

SelectionContext ctx => Eq ( SelectionOutputSizeExceedsLimitError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods (==) :: SelectionOutputSizeExceedsLimitError ctx -> SelectionOutputSizeExceedsLimitError ctx -> Bool Source # (/=) :: SelectionOutputSizeExceedsLimitError ctx -> SelectionOutputSizeExceedsLimitError ctx -> Bool Source #
SelectionContext ctx => Show ( SelectionOutputSizeExceedsLimitError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods showsPrec :: Int -> SelectionOutputSizeExceedsLimitError ctx -> ShowS Source # show :: SelectionOutputSizeExceedsLimitError ctx -> String Source # showList :: [ SelectionOutputSizeExceedsLimitError ctx] -> ShowS Source #
Generic ( SelectionOutputSizeExceedsLimitError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Associated Types type Rep ( SelectionOutputSizeExceedsLimitError ctx) :: Type -> Type Source # Methods from :: SelectionOutputSizeExceedsLimitError ctx -> Rep ( SelectionOutputSizeExceedsLimitError ctx) x Source # to :: Rep ( SelectionOutputSizeExceedsLimitError ctx) x -> SelectionOutputSizeExceedsLimitError ctx Source #
IsServerError ( SelectionOutputSizeExceedsLimitError WalletSelectionContext ) Source #
Instance details Defined in Cardano.Wallet.Api.Server Methods toServerError :: SelectionOutputSizeExceedsLimitError WalletSelectionContext -> ServerError Source #
type Rep ( SelectionOutputSizeExceedsLimitError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal type Rep ( SelectionOutputSizeExceedsLimitError ctx) = D1 (' MetaData "SelectionOutputSizeExceedsLimitError" "Cardano.Wallet.CoinSelection.Internal" "cardano-wallet-core-2022.7.1-AGKhlyz9liLKN3QqZD1gj" ' True ) ( C1 (' MetaCons "SelectionOutputSizeExceedsLimitError" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "outputThatExceedsLimit") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Address ctx, TokenBundle ))))

data SelectionOutputTokenQuantityExceedsLimitError ctx Source #

Indicates that a token quantity exceeds the maximum quantity that can appear in a transaction output's token bundle.

Constructors

SelectionOutputTokenQuantityExceedsLimitError
Fields address :: !( Address ctx) The address to which this token quantity was to be sent. asset :: ! AssetId The asset identifier to which this token quantity corresponds. quantity :: ! TokenQuantity The token quantity that exceeded the bound. quantityMaxBound :: ! TokenQuantity The maximum allowable token quantity.

Instances

Instances details

SelectionContext ctx => Eq ( SelectionOutputTokenQuantityExceedsLimitError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods (==) :: SelectionOutputTokenQuantityExceedsLimitError ctx -> SelectionOutputTokenQuantityExceedsLimitError ctx -> Bool Source # (/=) :: SelectionOutputTokenQuantityExceedsLimitError ctx -> SelectionOutputTokenQuantityExceedsLimitError ctx -> Bool Source #
SelectionContext ctx => Show ( SelectionOutputTokenQuantityExceedsLimitError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods showsPrec :: Int -> SelectionOutputTokenQuantityExceedsLimitError ctx -> ShowS Source # show :: SelectionOutputTokenQuantityExceedsLimitError ctx -> String Source # showList :: [ SelectionOutputTokenQuantityExceedsLimitError ctx] -> ShowS Source #
Generic ( SelectionOutputTokenQuantityExceedsLimitError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Associated Types type Rep ( SelectionOutputTokenQuantityExceedsLimitError ctx) :: Type -> Type Source # Methods from :: SelectionOutputTokenQuantityExceedsLimitError ctx -> Rep ( SelectionOutputTokenQuantityExceedsLimitError ctx) x Source # to :: Rep ( SelectionOutputTokenQuantityExceedsLimitError ctx) x -> SelectionOutputTokenQuantityExceedsLimitError ctx Source #
IsServerError ( SelectionOutputTokenQuantityExceedsLimitError WalletSelectionContext ) Source #
Instance details Defined in Cardano.Wallet.Api.Server Methods toServerError :: SelectionOutputTokenQuantityExceedsLimitError WalletSelectionContext -> ServerError Source #
type Rep ( SelectionOutputTokenQuantityExceedsLimitError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal type Rep ( SelectionOutputTokenQuantityExceedsLimitError ctx) = D1 (' MetaData "SelectionOutputTokenQuantityExceedsLimitError" "Cardano.Wallet.CoinSelection.Internal" "cardano-wallet-core-2022.7.1-AGKhlyz9liLKN3QqZD1gj" ' False ) ( C1 (' MetaCons "SelectionOutputTokenQuantityExceedsLimitError" ' PrefixI ' True ) (( S1 (' MetaSel (' Just "address") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Address ctx)) :: S1 (' MetaSel (' Just "asset") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 AssetId )) :: ( S1 (' MetaSel (' Just "quantity") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 TokenQuantity ) :*: S1 (' MetaSel (' Just "quantityMaxBound") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 TokenQuantity ))))

Verification of post conditions

data VerificationResult Source #

The result of verifying a post condition.

Constructors

VerificationSuccess
VerificationFailure ( NonEmpty VerificationFailureReason)

Instances

Instances details

Eq VerificationResult Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods (==) :: VerificationResult -> VerificationResult -> Bool Source # (/=) :: VerificationResult -> VerificationResult -> Bool Source #
Show VerificationResult Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods showsPrec :: Int -> VerificationResult -> ShowS Source # show :: VerificationResult -> String Source # showList :: [ VerificationResult ] -> ShowS Source #
Semigroup VerificationResult Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods (<>) :: VerificationResult -> VerificationResult -> VerificationResult Source # sconcat :: NonEmpty VerificationResult -> VerificationResult Source # stimes :: Integral b => b -> VerificationResult -> VerificationResult Source #
Monoid VerificationResult Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods mempty :: VerificationResult Source # mappend :: VerificationResult -> VerificationResult -> VerificationResult Source # mconcat :: [ VerificationResult ] -> VerificationResult Source #

Verification of selections and selection errors

verifySelection :: SelectionContext ctx => VerifySelection ctx Source #

Verifies a Selection for correctness.

This function is provided primarily as a convenience for testing. As such, it's not usually necessary to call this function from ordinary application code, unless you suspect that a Selection is incorrect in some way.

verifySelectionError :: SelectionContext ctx => VerifySelectionError ( SelectionError ctx) ctx Source #

Verifies a SelectionError for correctness.

This function is provided primarily as a convenience for testing. As such, it's not usually necessary to call this function from ordinary application code, unless you suspect that a SelectionError is incorrect in some way.

Selection deltas

data SelectionDelta a Source #

Indicates the difference between total input value and total output value of a SelectionResult .

There are two possibilities:

SelectionSurplus

Indicates a surplus, when the total input value is greater than or equal to the total output value.

SelectionDeficit

Indicates a deficit, when the total input value is NOT greater than or equal to the total output value.

Constructors

SelectionSurplus a
SelectionDeficit a

Instances

Instances details

Functor SelectionDelta Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal.Balance Methods fmap :: (a -> b) -> SelectionDelta a -> SelectionDelta b Source # (<$) :: a -> SelectionDelta b -> SelectionDelta a Source #
Eq a => Eq ( SelectionDelta a) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal.Balance Methods (==) :: SelectionDelta a -> SelectionDelta a -> Bool Source # (/=) :: SelectionDelta a -> SelectionDelta a -> Bool Source #
Show a => Show ( SelectionDelta a) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal.Balance Methods showsPrec :: Int -> SelectionDelta a -> ShowS Source # show :: SelectionDelta a -> String Source # showList :: [ SelectionDelta a] -> ShowS Source #
Buildable a => Buildable ( SelectionDelta a) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal.Balance Methods build :: SelectionDelta a -> Builder Source #

selectionDeltaAllAssets :: Selection ctx -> SelectionDelta TokenBundle Source #

Calculates the selection delta for all assets.

See SelectionDelta .

selectionDeltaCoin :: Selection ctx -> SelectionDelta Coin Source #

Calculates the ada selection delta.

See SelectionDelta .

selectionHasValidSurplus :: SelectionConstraints ctx -> SelectionParams ctx -> Selection ctx -> Bool Source #

Indicates whether or not a selection has a valid surplus.

This function returns True if and only if the selection has a delta that is a *surplus*, and that surplus is greater than or equal to the result of selectionMinimumCost .

See SelectionDelta .

selectionMinimumCost :: SelectionConstraints ctx -> SelectionParams ctx -> Selection ctx -> Coin Source #

Computes the minimum required cost of a selection.

selectionSurplusCoin :: Selection ctx -> Coin Source #

Calculates the ada selection surplus, assuming there is a surplus.

If there is a surplus, then this function returns that surplus. If there is a deficit, then this function returns zero.

Use selectionDeltaCoin if you wish to handle the case where there is a deficit.

Selection collateral

data SelectionCollateralError ctx Source #

Represents an unsuccessful attempt to select collateral.

Constructors

SelectionCollateralError
Fields largestCombinationAvailable :: Map ( UTxO ctx) Coin The largest combination of coins available. minimumSelectionAmount :: Coin A lower bound on the sum of coins to be selected as collateral.

Instances

Instances details

SelectionContext ctx => Eq ( SelectionCollateralError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods (==) :: SelectionCollateralError ctx -> SelectionCollateralError ctx -> Bool Source # (/=) :: SelectionCollateralError ctx -> SelectionCollateralError ctx -> Bool Source #
SelectionContext ctx => Show ( SelectionCollateralError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods showsPrec :: Int -> SelectionCollateralError ctx -> ShowS Source # show :: SelectionCollateralError ctx -> String Source # showList :: [ SelectionCollateralError ctx] -> ShowS Source #
Generic ( SelectionCollateralError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Associated Types type Rep ( SelectionCollateralError ctx) :: Type -> Type Source # Methods from :: SelectionCollateralError ctx -> Rep ( SelectionCollateralError ctx) x Source # to :: Rep ( SelectionCollateralError ctx) x -> SelectionCollateralError ctx Source #
IsServerError ( SelectionCollateralError WalletSelectionContext ) Source #
Instance details Defined in Cardano.Wallet.Api.Server Methods toServerError :: SelectionCollateralError WalletSelectionContext -> ServerError Source #
type Rep ( SelectionCollateralError ctx) Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal type Rep ( SelectionCollateralError ctx) = D1 (' MetaData "SelectionCollateralError" "Cardano.Wallet.CoinSelection.Internal" "cardano-wallet-core-2022.7.1-AGKhlyz9liLKN3QqZD1gj" ' False ) ( C1 (' MetaCons "SelectionCollateralError" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "largestCombinationAvailable") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map ( UTxO ctx) Coin )) :*: S1 (' MetaSel (' Just "minimumSelectionAmount") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Coin )))

data SelectionCollateralRequirement Source #

Indicates the collateral requirement for a selection.

Constructors

SelectionCollateralRequired	Indicates that collateral is required.
SelectionCollateralNotRequired	Indicates that collateral is not required.

Instances

Instances details

Bounded SelectionCollateralRequirement Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods minBound :: SelectionCollateralRequirement Source # maxBound :: SelectionCollateralRequirement Source #
Enum SelectionCollateralRequirement Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods succ :: SelectionCollateralRequirement -> SelectionCollateralRequirement Source # pred :: SelectionCollateralRequirement -> SelectionCollateralRequirement Source # toEnum :: Int -> SelectionCollateralRequirement Source # fromEnum :: SelectionCollateralRequirement -> Int Source # enumFrom :: SelectionCollateralRequirement -> [ SelectionCollateralRequirement ] Source # enumFromThen :: SelectionCollateralRequirement -> SelectionCollateralRequirement -> [ SelectionCollateralRequirement ] Source # enumFromTo :: SelectionCollateralRequirement -> SelectionCollateralRequirement -> [ SelectionCollateralRequirement ] Source # enumFromThenTo :: SelectionCollateralRequirement -> SelectionCollateralRequirement -> SelectionCollateralRequirement -> [ SelectionCollateralRequirement ] Source #
Eq SelectionCollateralRequirement Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods (==) :: SelectionCollateralRequirement -> SelectionCollateralRequirement -> Bool Source # (/=) :: SelectionCollateralRequirement -> SelectionCollateralRequirement -> Bool Source #
Show SelectionCollateralRequirement Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods showsPrec :: Int -> SelectionCollateralRequirement -> ShowS Source # show :: SelectionCollateralRequirement -> String Source # showList :: [ SelectionCollateralRequirement ] -> ShowS Source #
Generic SelectionCollateralRequirement Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Associated Types type Rep SelectionCollateralRequirement :: Type -> Type Source # Methods from :: SelectionCollateralRequirement -> Rep SelectionCollateralRequirement x Source # to :: Rep SelectionCollateralRequirement x -> SelectionCollateralRequirement Source #
type Rep SelectionCollateralRequirement Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal type Rep SelectionCollateralRequirement = D1 (' MetaData "SelectionCollateralRequirement" "Cardano.Wallet.CoinSelection.Internal" "cardano-wallet-core-2022.7.1-AGKhlyz9liLKN3QqZD1gj" ' False ) ( C1 (' MetaCons "SelectionCollateralRequired" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "SelectionCollateralNotRequired" ' PrefixI ' False ) ( U1 :: Type -> Type ))

selectionCollateral :: Selection ctx -> Coin Source #

Computes the total amount of collateral within a selection.

selectionCollateralRequired :: SelectionParams ctx -> Bool Source #

Indicates True if and only if collateral is required.

selectionHasSufficientCollateral :: SelectionConstraints ctx -> SelectionParams ctx -> Selection ctx -> Bool Source #

Indicates whether or not a selection has sufficient collateral.

selectionMinimumCollateral :: SelectionConstraints ctx -> SelectionParams ctx -> Selection ctx -> Coin Source #

Computes the minimum required amount of collateral for a selection.

Internal types and functions

data ComputeMinimumCollateralParams Source #

Parameters for computeMinimumCollateral .

Constructors

ComputeMinimumCollateralParams
Fields minimumCollateralPercentage :: Natural transactionFee :: Coin

Instances

Instances details

Eq ComputeMinimumCollateralParams Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods (==) :: ComputeMinimumCollateralParams -> ComputeMinimumCollateralParams -> Bool Source # (/=) :: ComputeMinimumCollateralParams -> ComputeMinimumCollateralParams -> Bool Source #
Show ComputeMinimumCollateralParams Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Methods showsPrec :: Int -> ComputeMinimumCollateralParams -> ShowS Source # show :: ComputeMinimumCollateralParams -> String Source # showList :: [ ComputeMinimumCollateralParams ] -> ShowS Source #
Generic ComputeMinimumCollateralParams Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal Associated Types type Rep ComputeMinimumCollateralParams :: Type -> Type Source # Methods from :: ComputeMinimumCollateralParams -> Rep ComputeMinimumCollateralParams x Source # to :: Rep ComputeMinimumCollateralParams x -> ComputeMinimumCollateralParams Source #
type Rep ComputeMinimumCollateralParams Source #
Instance details Defined in Cardano.Wallet.CoinSelection.Internal type Rep ComputeMinimumCollateralParams = D1 (' MetaData "ComputeMinimumCollateralParams" "Cardano.Wallet.CoinSelection.Internal" "cardano-wallet-core-2022.7.1-AGKhlyz9liLKN3QqZD1gj" ' False ) ( C1 (' MetaCons "ComputeMinimumCollateralParams" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "minimumCollateralPercentage") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Natural ) :*: S1 (' MetaSel (' Just "transactionFee") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Coin )))

computeMinimumCollateral :: ComputeMinimumCollateralParams -> Coin Source #

Computes the minimum required amount of collateral given a fee and a minimum collateral percentage.

toBalanceConstraintsParams :: forall ctx. ( SelectionConstraints ctx, SelectionParams ctx) -> ( SelectionConstraints ctx, SelectionParams ctx) Source #

Creates constraints and parameters for performSelection .