atlas-cardano
Copyright(c) 2023 GYELD GMBH
LicenseApache 2.0
Maintainersupport@geniusyield.co
Stabilitydevelop
Safe HaskellNone
LanguageGHC2021

GeniusYield.Test.Clb

Description

 
Synopsis

Documentation

data GYTxMonadClb a #

Instances

Instances details
MonadRandom GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

getRandomR :: Random a => (a, a) -> GYTxMonadClb a #

getRandom :: Random a => GYTxMonadClb a #

getRandomRs :: Random a => (a, a) -> GYTxMonadClb [a] #

getRandoms :: Random a => GYTxMonadClb [a] #

GYTxBuilderMonad GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

Associated Types

type TxBuilderStrategy GYTxMonadClb 
Instance details

Defined in GeniusYield.Test.Clb

type TxBuilderStrategy GYTxMonadClb = GYCoinSelectionStrategy

Methods

buildTxBodyWithStrategy :: forall (v :: PlutusVersion). TxBuilderStrategy GYTxMonadClb -> GYTxSkeleton v -> GYTxMonadClb GYTxBody #

buildTxBodyWithStrategyAndExtraConfiguration :: forall (v :: PlutusVersion). TxBuilderStrategy GYTxMonadClb -> GYTxExtraConfiguration v -> GYTxSkeleton v -> GYTxMonadClb GYTxBody #

buildTxBodyParallelWithStrategy :: forall (v :: PlutusVersion). TxBuilderStrategy GYTxMonadClb -> [GYTxSkeleton v] -> GYTxMonadClb GYTxBuildResult #

buildTxBodyChainingWithStrategy :: forall (v :: PlutusVersion). TxBuilderStrategy GYTxMonadClb -> [GYTxSkeleton v] -> GYTxMonadClb GYTxBuildResult #

GYTxGameMonad GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

Associated Types

type TxMonadOf GYTxMonadClb 
Instance details

Defined in GeniusYield.Test.Clb

type TxMonadOf GYTxMonadClb = GYTxMonadClb

Methods

createUser :: GYTxMonadClb User #

asUser :: User -> TxMonadOf GYTxMonadClb a -> GYTxMonadClb a #

GYTxMonad GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

signTxBody :: GYTxBody -> GYTxMonadClb GYTx #

signTxBodyWithStake :: GYTxBody -> GYTxMonadClb GYTx #

submitTx :: GYTx -> GYTxMonadClb GYTxId #

awaitTxConfirmed' :: GYAwaitTxParameters -> GYTxId -> GYTxMonadClb () #

GYTxQueryMonad GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

networkId :: GYTxMonadClb GYNetworkId #

lookupDatum :: GYDatumHash -> GYTxMonadClb (Maybe GYDatum) #

utxoAtTxOutRef :: GYTxOutRef -> GYTxMonadClb (Maybe GYUTxO) #

utxoAtTxOutRefWithDatum :: GYTxOutRef -> GYTxMonadClb (Maybe (GYUTxO, Maybe GYDatum)) #

utxosAtTxOutRefs :: [GYTxOutRef] -> GYTxMonadClb GYUTxOs #

utxosAtTxOutRefsWithDatums :: [GYTxOutRef] -> GYTxMonadClb [(GYUTxO, Maybe GYDatum)] #

utxosAtAddress :: GYAddress -> Maybe GYAssetClass -> GYTxMonadClb GYUTxOs #

utxosAtAddressWithDatums :: GYAddress -> Maybe GYAssetClass -> GYTxMonadClb [(GYUTxO, Maybe GYDatum)] #

utxosAtAddresses :: [GYAddress] -> GYTxMonadClb GYUTxOs #

utxosAtAddressesWithDatums :: [GYAddress] -> GYTxMonadClb [(GYUTxO, Maybe GYDatum)] #

utxoRefsAtAddress :: GYAddress -> GYTxMonadClb [GYTxOutRef] #

utxosAtPaymentCredential :: GYPaymentCredential -> Maybe GYAssetClass -> GYTxMonadClb GYUTxOs #

utxosAtPaymentCredentialWithDatums :: GYPaymentCredential -> Maybe GYAssetClass -> GYTxMonadClb [(GYUTxO, Maybe GYDatum)] #

utxosAtPaymentCredentials :: [GYPaymentCredential] -> GYTxMonadClb GYUTxOs #

utxosAtPaymentCredentialsWithDatums :: [GYPaymentCredential] -> GYTxMonadClb [(GYUTxO, Maybe GYDatum)] #

stakeAddressInfo :: GYStakeAddress -> GYTxMonadClb (Maybe GYStakeAddressInfo) #

drepState :: GYCredential 'GYKeyRoleDRep -> GYTxMonadClb (Maybe GYDRepState) #

drepsState :: Set (GYCredential 'GYKeyRoleDRep) -> GYTxMonadClb (Map (GYCredential 'GYKeyRoleDRep) (Maybe GYDRepState)) #

slotConfig :: GYTxMonadClb GYSlotConfig #

slotOfCurrentBlock :: GYTxMonadClb GYSlot #

logMsg :: GYLogNamespace -> GYLogSeverity -> String -> GYTxMonadClb () #

waitUntilSlot :: GYSlot -> GYTxMonadClb GYSlot #

waitForNextBlock :: GYTxMonadClb GYSlot #

constitution :: GYTxMonadClb GYConstitution #

proposals :: Set GYGovActionId -> GYTxMonadClb (Seq GYGovActionState) #

mempoolTxs :: GYTxMonadClb [GYTx] #

GYTxSpecialQueryMonad GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

systemStart :: GYTxMonadClb SystemStart #

eraHistory :: GYTxMonadClb EraHistory #

protocolParams :: GYTxMonadClb ApiProtocolParameters #

stakePools :: GYTxMonadClb (Set PoolId) #

GYTxUserQueryMonad GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

ownAddresses :: GYTxMonadClb [GYAddress] #

ownChangeAddress :: GYTxMonadClb GYAddress #

ownCollateral :: GYTxMonadClb (Maybe GYUTxO) #

availableUTxOs :: GYTxMonadClb GYUTxOs #

someUTxO :: PlutusVersion -> GYTxMonadClb GYTxOutRef #

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

Methods

throwError :: GYTxMonadException -> GYTxMonadClb a #

catchError :: GYTxMonadClb a -> (GYTxMonadException -> GYTxMonadClb a) -> GYTxMonadClb a #

type TxBuilderStrategy GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

type TxBuilderStrategy GYTxMonadClb = GYCoinSelectionStrategy
type TxMonadOf GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

type TxMonadOf GYTxMonadClb = GYTxMonadClb

mkTestFor :: String -> (TestInfo -> GYTxMonadClb a) -> TestTree #

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

asClb :: StdGen -> User -> Integer -> GYTxMonadClb a -> AtlasClb (Maybe a) #

asRandClb :: User -> Integer -> GYTxMonadClb a -> RandT StdGen AtlasClb (Maybe a) #

liftClb :: AtlasClb a -> GYTxMonadClb a #

dumpUtxoState :: GYTxMonadClb () #

mustFail :: GYTxMonadClb 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?

mustFailWith :: (GYTxMonadException -> Bool) -> GYTxMonadClb a -> GYTxMonadClb () #

sendSkeleton :: forall m (v :: PlutusVersion). GYTxMonad m => GYTxSkeleton v -> m GYTxId #

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

sendSkeleton' :: forall m (v :: PlutusVersion). GYTxMonad m => GYTxSkeleton v -> m (GYTxBody, GYTxId) #

logInfoS :: forall (m :: Type -> Type). Monad m => String -> ClbT ApiEra m () #

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

Orphan instances