atlas-cardano-0.5.0: Application backend for Plutus smart contracts on Cardano
Copyright(c) 2023 GYELD GMBH
LicenseApache 2.0
Maintainer[email protected]
Stabilitydevelop
Safe HaskellSafe-Inferred
LanguageGHC2021

GeniusYield.Test.Privnet.Ctx

Description

 
Synopsis

Context

data Ctx #

Constructors

Ctx 

Fields

User

data User #

Note: When signing using ToShelleyWitnessSigningKey instance, it only uses the payment signing key.

Instances

Instances details
ToShelleyWitnessSigningKey User #

This only takes the payment signing key, not the stake key.

Instance details

Defined in GeniusYield.TxBuilder.User

Show User # 
Instance details

Defined in GeniusYield.TxBuilder.User

Methods

showsPrecIntUserShowS #

showUserString #

showList ∷ [User] → ShowS #

Eq User # 
Instance details

Defined in GeniusYield.TxBuilder.User

Methods

(==)UserUserBool #

(/=)UserUserBool #

Ord User # 
Instance details

Defined in GeniusYield.TxBuilder.User

Methods

compareUserUserOrdering #

(<)UserUserBool #

(<=)UserUserBool #

(>)UserUserBool #

(>=)UserUserBool #

maxUserUserUser #

minUserUserUser #

data CreateUserConfig #

Constructors

CreateUserConfig 

Fields

Instances

Instances details
Default CreateUserConfig # 
Instance details

Defined in GeniusYield.Test.Privnet.Ctx

ctxUsersCtx → [User] #

List of context sibling users - all of which begin with same balance. FIXME: Some of these users are actually genesis users.

userVKeyUserGYPaymentVerificationKey #

Deprecated: Use userPaymentVKey.

Operations

ctxRunCtxUserGYTxMonadIO a → IO a #

ctxRunBuilderWithCollateral #

Arguments

Ctx 
User 
GYTxOutRef

Reference to UTxO to be used as collateral.

Bool

To check whether this given collateral UTxO has value of exact 5 ada? If it doesn't have exact 5 ada, it would be ignored.

GYTxBuilderMonadIO a 
IO a 

Variant of ctxRun where caller can also give the UTxO to be used as collateral.

ctxWaitUntilSlotCtxGYSlotIO () #

Helpers

newTempUserCtx #

Arguments

Ctx 
User

User which will fund this new user.

GYValue

Describes balance of new user.

CreateUserConfig 
IO User 

Creates a new user with the given balance. Note that the actual balance which this user get's could be more than what is provided to satisfy minimum ada requirement of a UTxO.

findOutputGYAddressGYTxBodyIO GYTxOutRef #

Function to find for the first locked output in the given GYTxBody at the given GYAddress.