atlas-cardano-0.8.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.Clb

Description

 
Synopsis

Documentation

data GYTxMonadClb a #

Instances

Instances details
MonadRandom GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

getRandomRRandom a ⇒ (a, a) → GYTxMonadClb a #

getRandomRandom a ⇒ GYTxMonadClb a #

getRandomRsRandom a ⇒ (a, a) → GYTxMonadClb [a] #

getRandomsRandom a ⇒ GYTxMonadClb [a] #

GYTxBuilderMonad GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

Associated Types

type TxBuilderStrategy GYTxMonadClb #

GYTxGameMonad GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

Associated Types

type TxMonadOf GYTxMonadClb = (r ∷ TypeType) #

GYTxMonad GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

GYTxQueryMonad GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

networkIdGYTxMonadClb GYNetworkId #

lookupDatumGYDatumHashGYTxMonadClb (Maybe GYDatum) #

utxoAtTxOutRefGYTxOutRefGYTxMonadClb (Maybe GYUTxO) #

utxoAtTxOutRefWithDatumGYTxOutRefGYTxMonadClb (Maybe (GYUTxO, Maybe GYDatum)) #

utxosAtTxOutRefs ∷ [GYTxOutRef] → GYTxMonadClb GYUTxOs #

utxosAtTxOutRefsWithDatums ∷ [GYTxOutRef] → GYTxMonadClb [(GYUTxO, Maybe GYDatum)] #

utxosAtAddressGYAddressMaybe GYAssetClassGYTxMonadClb GYUTxOs #

utxosAtAddressWithDatumsGYAddressMaybe GYAssetClassGYTxMonadClb [(GYUTxO, Maybe GYDatum)] #

utxosAtAddresses ∷ [GYAddress] → GYTxMonadClb GYUTxOs #

utxosAtAddressesWithDatums ∷ [GYAddress] → GYTxMonadClb [(GYUTxO, Maybe GYDatum)] #

utxoRefsAtAddressGYAddressGYTxMonadClb [GYTxOutRef] #

utxosAtPaymentCredentialGYPaymentCredentialMaybe GYAssetClassGYTxMonadClb GYUTxOs #

utxosAtPaymentCredentialWithDatumsGYPaymentCredentialMaybe GYAssetClassGYTxMonadClb [(GYUTxO, Maybe GYDatum)] #

utxosAtPaymentCredentials ∷ [GYPaymentCredential] → GYTxMonadClb GYUTxOs #

utxosAtPaymentCredentialsWithDatums ∷ [GYPaymentCredential] → GYTxMonadClb [(GYUTxO, Maybe GYDatum)] #

stakeAddressInfoGYStakeAddressGYTxMonadClb (Maybe GYStakeAddressInfo) #

drepStateGYCredential 'GYKeyRoleDRepGYTxMonadClb (Maybe GYDRepState) #

drepsStateSet (GYCredential 'GYKeyRoleDRep) → GYTxMonadClb (Map (GYCredential 'GYKeyRoleDRep) (Maybe GYDRepState)) #

slotConfigGYTxMonadClb GYSlotConfig #

slotOfCurrentBlockGYTxMonadClb GYSlot #

logMsgGYLogNamespaceGYLogSeverityStringGYTxMonadClb () #

waitUntilSlotGYSlotGYTxMonadClb GYSlot #

waitForNextBlockGYTxMonadClb GYSlot #

GYTxSpecialQueryMonad GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

GYTxUserQueryMonad GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

Applicative GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

pure ∷ a → GYTxMonadClb a #

(<*>)GYTxMonadClb (a → b) → GYTxMonadClb a → GYTxMonadClb b #

liftA2 ∷ (a → b → c) → GYTxMonadClb a → GYTxMonadClb b → GYTxMonadClb c #

(*>)GYTxMonadClb a → GYTxMonadClb b → GYTxMonadClb b #

(<*)GYTxMonadClb a → GYTxMonadClb b → GYTxMonadClb a #

Functor GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

fmap ∷ (a → b) → GYTxMonadClb a → GYTxMonadClb b #

(<$) ∷ a → GYTxMonadClb b → GYTxMonadClb a #

Monad GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

(>>=)GYTxMonadClb a → (a → GYTxMonadClb b) → GYTxMonadClb b #

(>>)GYTxMonadClb a → GYTxMonadClb b → GYTxMonadClb b #

return ∷ a → GYTxMonadClb a #

MonadError GYTxMonadException GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

type TxBuilderStrategy GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

type TxMonadOf GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

mkTestForString → (TestInfoGYTxMonadClb a) → TestTree #

Given a test name, runs the trace for every wallet, checking there weren't errors.

asClbStdGenUserIntegerGYTxMonadClb a → AtlasClb (Maybe a) #

asRandClbUserIntegerGYTxMonadClb a → RandT StdGen AtlasClb (Maybe a) #

liftClb ∷ AtlasClb a → GYTxMonadClb a #

mustFailGYTxMonadClb a → GYTxMonadClb () #

Try to execute an action, and if it fails, restore to the current state while preserving logs. If the action succeeds, logs an error as we expect it to fail. Use mustFailWith to provide custom error message or/and failure action name. FIXME: should we move it to CLB?

sendSkeletonGYTxMonad m ⇒ GYTxSkeleton v → m GYTxId #

This is simply defined as buildTxBody skeleton >>= signAndSubmitConfirmed.

logInfoSMonad m ⇒ StringClbT ApiEra m () #

Variant of logInfo from Clb that logs a string with Info severity.

Orphan instances