Contract.Test

withKeyWallet :: forall (a :: Type). KeyWallet -> Contract a -> Contract a

newtype ContractTest

Represents a Contract test suite that depend on some wallet UtxoDistribution.

Constructors

• ContractTest (forall (r :: Type). (forall (distr :: Type) (wallets :: Type). ContractTestHandler distr wallets r) -> r)

withWallets :: forall (distr :: Type) (wallets :: Type). UtxoDistribution distr wallets => distr -> (wallets -> Contract Unit) -> ContractTest

Store a wallet UtxoDistribution and a Contract that depends on those wallets

noWallet :: Contract Unit -> ContractTest

Lift a Contract into ContractTest

runContractTestsWithKeyDir :: ContractParams -> FilePath -> TestPlanM ContractTest Unit -> TestPlanM (Aff Unit) Unit

Runs ContractTests given a ContractParams value.

This function can be used to interpret TestPlanM ContractTest in any environment.

Tests are funded by the wallet in the supplied Contract environment. The FilePath parameter should point to a directory to store generated private keys (to make sure that no funds or on-chain state are lost).

type UtxoAmount = BigNum

UTxO amount in Lovelaces

data InitialUTxOsWithStakeKey

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

Instances

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

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.

class UtxoDistribution distr wallets | distr -> wallets

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.

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)

withStakeKey :: PrivateStakeKey -> InitialUTxOs -> InitialUTxOsWithStakeKey