Ctl.Internal.CoinSelection.UtxoIndex

data SelectionFilter

Taken from cardano-wallet: https://github.com/input-output-hk/cardano-wallet/blob/3d722b27f6dbd2cf05da497297e60e3b54b1ef6e/lib/wallet/src/Cardano/Wallet/Primitive/Types/UTxOIndex/Internal.hs#L399

Constructors

• SelectSingleton Asset
• SelectPairWith Asset
• SelectAnyWith Asset

Instances

• Arbitrary SelectionFilter

type TxUnspentOutput = TransactionInput /\ TransactionOutput

newtype UtxoIndex

Instances

• Eq UtxoIndex
• Show UtxoIndex

data UtxoIndexInvariantStatus

Taken from cardano-wallet: https://github.com/input-output-hk/cardano-wallet/blob/791541da69b9b3f434bb9ead43de406cc18b0373/lib/primitive/lib/Cardano/Wallet/Primitive/Types/UTxOIndex/Internal.hs#L614

Constructors

• InvariantHolds
• InvariantUtxoIndexIncomplete
• InvariantUtxoIndexNonMinimal

Instances

• Generic UtxoIndexInvariantStatus _
• Show UtxoIndexInvariantStatus

buildUtxoIndex :: UtxoMap -> UtxoIndex

Creates an index from a UtxoMap.

checkUtxoIndexInvariants :: UtxoIndex -> UtxoIndexInvariantStatus

Taken from cardano-wallet: https://github.com/input-output-hk/cardano-wallet/blob/791541da69b9b3f434bb9ead43de406cc18b0373/lib/primitive/lib/Cardano/Wallet/Primitive/Types/UTxOIndex/Internal.hs#L632

emptyUtxoIndex :: UtxoIndex

An index with no entries.

selectRandomWithFilter :: forall (m :: Type -> Type). MonadEffect m => UtxoIndex -> SelectionFilter -> m (Maybe (TxUnspentOutput /\ UtxoIndex))

Taken from cardano-wallet: https://github.com/input-output-hk/cardano-wallet/blob/791541da69b9b3f434bb9ead43de406cc18b0373/lib/primitive/lib/Cardano/Wallet/Primitive/Types/UTxOIndex/Internal.hs#L418

utxoIndexPartition :: (TransactionInput -> Boolean) -> UtxoIndex -> (UtxoIndex /\ UtxoIndex)

Partition UtxoIndex

Taken from cardano-wallet: https://github.com/input-output-hk/cardano-wallet/blob/9d73b57e23392e25148cfc8db560cb8f656cb56a/lib/primitive/lib/Cardano/Wallet/Primitive/Types/UTxOIndex/Internal.hs#L344

utxoIndexDeleteEntry :: TxUnspentOutput -> UtxoIndex -> UtxoIndex

Taken from cardano-wallet: https://github.com/input-output-hk/cardano-wallet/blob/791541da69b9b3f434bb9ead43de406cc18b0373/lib/primitive/lib/Cardano/Wallet/Primitive/Types/UTxOIndex/Internal.hs#L295

utxoIndexInsertEntry :: TxUnspentOutput -> UtxoIndex -> UtxoIndex

Taken from cardano-wallet: https://github.com/input-output-hk/cardano-wallet/blob/791541da69b9b3f434bb9ead43de406cc18b0373/lib/primitive/lib/Cardano/Wallet/Primitive/Types/UTxOIndex/Internal.hs#L561

utxoIndexUniverse :: UtxoIndex -> UtxoMap

utxoIndexDisjoint :: UtxoIndex -> UtxoIndex -> Boolean

Indicates whether a pair of UTxO indices are disjoint.

Taken from cardano-wallet: https://github.com/input-output-hk/cardano-wallet/blob/9d73b57e23392e25148cfc8db560cb8f656cb56a/lib/primitive/lib/Cardano/Wallet/Primitive/Types/UTxOIndex/Internal.hs#L390

valueHasAsset :: Value -> Asset -> Boolean

Indicates whether or not a given bundle includes a given asset.

Both ada and non-ada assets can be queried.

Taken from cardano-wallet: https://github.com/input-output-hk/cardano-wallet/blob/9d73b57e23392e25148cfc8db560cb8f656cb56a/lib/primitive/lib/Cardano/Wallet/Primitive/Types/UTxOIndex/Internal.hs#L526