| Copyright | (c) 2023 GYELD GMBH |
|---|---|
| License | Apache 2.0 |
| Maintainer | [email protected] |
| Stability | develop |
| Safe Haskell | Safe-Inferred |
| Language | GHC2021 |
GeniusYield.Test.Utils
Description
Synopsis
- data TestInfo = TestInfo {}
- data Wallets = Wallets {}
- createUserWithLovelace ∷ GYTxGameMonad m ⇒ User → Natural → m User
- createUserWithAssets ∷ GYTxGameMonad m ⇒ User → Natural → [(FakeCoin, Natural)] → m User
- createUserFull ∷ GYTxGameMonad m ⇒ User → Natural → [(FakeCoin, Natural)] → m User
- withBalance ∷ GYTxQueryMonad m ⇒ String → User → m b → m (b, GYValue)
- withWalletBalancesCheck ∷ GYTxQueryMonad m ⇒ [(User, GYValue)] → m a → m a
- findLockedUtxosInBody ∷ Num a ⇒ GYAddress → GYTx → Maybe [a]
- getRefInfos ∷ GYTxQueryMonad m ⇒ GYAddress → m (Map GYAnyScript GYTxOutRef)
- findRefScriptsInBody ∷ GYTxBody → Map GYAnyScript GYTxOutRef
- addRefScript ∷ ∀ m. GYTxMonad m ⇒ GYAddress → GYScript 'PlutusV2 → m GYTxOutRef
- addRefInput ∷ GYTxMonad m ⇒ Bool → GYAddress → GYDatum → m GYTxOutRef
- mintTestAssets ∷ GYTxMonad m ⇒ [(FakeCoin, Natural)] → m ()
- generateCollateral ∷ GYTxMonad m ⇒ m GYTxOutRef
- fakeValue ∷ FakeCoin → Integer → GYValue
- fakeCoin ∷ FakeCoin → GYAssetClass
- fakeGold ∷ FakeCoin
- fakeIron ∷ FakeCoin
- fakePolicy ∷ FakeCoin → GYScript PlutusV2
- afterAllSucceed ∷ TestTree → TestTree → TestTree
- feesFromLovelace ∷ Integer → GYValue
- withMaxQCTests ∷ Int → TestTree → TestTree
- pattern (:=) ∷ x → y → (x, y)
- module GeniusYield.Test.FeeTracker
Documentation
General information about the test environment to help in running polymorphic tests.
Constructors
| TestInfo | |
Fields | |
createUserWithLovelace ∷ GYTxGameMonad m ⇒ User → Natural → m User #
Create an user and fund them with the given amount of lovelace provided by the given funder user.
createUserWithAssets ∷ GYTxGameMonad m ⇒ User → Natural → [(FakeCoin, Natural)] → m User #
`createUserWithAssets funder lovelaces tokens` is equivalent to `createUserWithLovelace funder lovelace', followed by 'mintTestAssets tokens' as the newly created user.
Note: This will obviously require the user to have enough lovelace to cover the fees and min ada deposits for the mints.
createUserFull ∷ GYTxGameMonad m ⇒ User → Natural → [(FakeCoin, Natural)] → m User #
This is a combination of createUserWithAssets and generateCollateral.
It creates a user with ada, non-ada assets, and a collateral.
Thereby making a user ready to participate in smart contracts.
withBalance ∷ GYTxQueryMonad m ⇒ String → User → m b → m (b, GYValue) #
Computes a `GYTx*Monad` action and returns the result and how this action changed the balance of some Address.
withWalletBalancesCheck ∷ GYTxQueryMonad m ⇒ [(User, GYValue)] → m a → m a #
Computes a `GYTx*Monad` action, checking that the Wallet balances
change according to the input list.
Notes:
* An empty list means no checks are performed.
* The GYValue should be negative to check if the Wallet lost those funds.
findLockedUtxosInBody ∷ Num a ⇒ GYAddress → GYTx → Maybe [a] #
Returns the list of outputs of the transaction for the given address. Returns Nothing if it fails to decode an address contained in the transaction outputs.
getRefInfos ∷ GYTxQueryMonad m ⇒ GYAddress → m (Map GYAnyScript GYTxOutRef) #
Find reference scripts at given address.
findRefScriptsInBody ∷ GYTxBody → Map GYAnyScript GYTxOutRef #
Find reference scripts in transaction body.
addRefScript ∷ ∀ m. GYTxMonad m ⇒ GYAddress → GYScript 'PlutusV2 → m GYTxOutRef #
Adds the given script to the given address and returns the reference for it. Note: The new utxo is given an inline unit datum.
Arguments
| ∷ GYTxMonad m | |
| ⇒ Bool | Whether to inline this datum? |
| → GYAddress | Where to place this output? |
| → GYDatum | Our datum. |
| → m GYTxOutRef |
Adds an input (whose datum we'll refer later) and returns the reference to it.
mintTestAssets ∷ GYTxMonad m ⇒ [(FakeCoin, Natural)] → m () #
Mint given amount of test tokens.
generateCollateral ∷ GYTxMonad m ⇒ m GYTxOutRef #
Create a collateral utxo out of the existing ada within a user wallet. Returns the collateral reference.
fakeCoin ∷ FakeCoin → GYAssetClass #
Fake coin class generated from fixed tag.
afterAllSucceed ∷ TestTree → TestTree → TestTree #
feesFromLovelace ∷ Integer → GYValue #
Abstraction for explicitly building a Value representing the fees of a transaction.
withMaxQCTests ∷ Int → TestTree → TestTree #
Adjust the number of QuickCheck cases to generate.
module GeniusYield.Test.FeeTracker