atlas-cardano
Copyright(c) 2023 GYELD GMBH
LicenseApache 2.0
Maintainer[email protected]
Stabilitydevelop
Safe HaskellNone
LanguageGHC2021

GeniusYield.Test.Privnet.Ctx

Description

 
Synopsis

Context

data Ctx #

Constructors

Ctx 

data CtxCommittee #

Constructors

CtxCommittee 

Fields

Instances

Instances details
Show CtxCommittee # 
Instance details

Defined in GeniusYield.Test.Privnet.Ctx

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

showsPrec :: Int -> User -> ShowS #

show :: User -> String #

showList :: [User] -> ShowS #

Eq User # 
Instance details

Defined in GeniusYield.TxBuilder.User

Methods

(==) :: User -> User -> Bool #

(/=) :: User -> User -> Bool #

Ord User # 
Instance details

Defined in GeniusYield.TxBuilder.User

Methods

compare :: User -> User -> Ordering #

(<) :: User -> User -> Bool #

(<=) :: User -> User -> Bool #

(>) :: User -> User -> Bool #

(>=) :: User -> User -> Bool #

max :: User -> User -> User #

min :: User -> User -> User #

data CreateUserConfig #

Constructors

CreateUserConfig 

Fields

Instances

Instances details
Default CreateUserConfig # 
Instance details

Defined in GeniusYield.Test.Privnet.Ctx

ctxUsers :: Ctx -> [User] #

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

userVKey :: User -> GYPaymentVerificationKey #

Deprecated: Use userPaymentVKey.

Operations

ctxRun :: Ctx -> User -> GYTxMonadIO 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.

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.

findOutput :: GYAddress -> GYTxBody -> IO GYTxOutRef #

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