Ctl.Internal.Test.UtxoDistribution

class UtxoDistribution distr wallets | distr -> wallets where

A type class that implements a type-safe interface for specifying UTXO distribution for wallets. Number of wallets in distribution specification matches the number of wallets provided to the user.

Members

• encodeDistribution :: distr -> Array (Array UtxoAmount)
• decodeWallets :: distr -> Array PrivateKey -> Maybe wallets
• decodeWallets' :: distr -> Array PrivateKey -> Maybe (wallets /\ (Array PrivateKey))
• keyWallets :: Proxy distr -> wallets -> Array KeyWallet

Instances

• UtxoDistribution Unit Unit
• UtxoDistribution InitialUTxOs KeyWallet
• UtxoDistribution InitialUTxOsWithStakeKey KeyWallet
• UtxoDistribution TestWalletSpec KeyWallet
• UtxoDistribution (Array InitialUTxOs) (Array KeyWallet)
• UtxoDistribution (Array InitialUTxOsWithStakeKey) (Array KeyWallet)
• UtxoDistribution (Array TestWalletSpec) (Array KeyWallet)
• (UtxoDistribution headSpec headWallets, UtxoDistribution restSpec restWallets) => UtxoDistribution (Tuple headSpec restSpec) (Tuple headWallets restWallets)

transferFundsFromEnterpriseToBase :: PrivatePaymentKey -> Array KeyWallet -> Contract Unit

For each wallet which includes a stake key, transfer the value of the utxos at its enterprise address to its base address. Note that this function clears the usedTxOuts cache, so it should not be used if there could be items in the cache that shouldn't be cleared (this function is intended to be used only on ContractTest startup).

withStakeKey :: PrivateStakeKey -> InitialUTxOs -> InitialUTxOsWithStakeKey

type InitialUTxOs = Array UtxoAmount

A list of UTxOs for a single wallet

Instances

• UtxoDistribution InitialUTxOs KeyWallet
• UtxoDistribution (Array InitialUTxOs) (Array KeyWallet)

type InitialUTxODistribution = Array InitialUTxOs

A spec for distribution of UTxOs between wallets.

data InitialUTxOsWithStakeKey

A wrapper that allows to specify a stake key to attach to a generated pre-funded Address.

Constructors

• InitialUTxOsWithStakeKey PrivateStakeKey InitialUTxOs

Instances

• UtxoDistribution InitialUTxOsWithStakeKey KeyWallet
• UtxoDistribution (Array InitialUTxOsWithStakeKey) (Array KeyWallet)

newtype TestWalletSpec

Constructors

• TestWalletSpec { drepKey :: Maybe PrivateDrepKey, stakeKey :: Maybe PrivateStakeKey, utxos :: Array UtxoAmount }

Instances

• Generic TestWalletSpec _
• Newtype TestWalletSpec _
• Show TestWalletSpec
• UtxoDistribution TestWalletSpec KeyWallet
• UtxoDistribution (Array TestWalletSpec) (Array KeyWallet)

type UtxoAmount = BigNum

UTxO amount in Lovelaces