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

GeniusYield.Test.Clb

Description

 
Synopsis

Documentation

data GYTxMonadClbT (m :: Type -> Type) a #

Instances

Instances details
MonadTrans GYTxMonadClbT # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

lift :: Monad m => m a -> GYTxMonadClbT m a #

Monad m => MonadError GYTxMonadException (GYTxMonadClbT m) # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

throwError :: GYTxMonadException -> GYTxMonadClbT m a #

catchError :: GYTxMonadClbT m a -> (GYTxMonadException -> GYTxMonadClbT m a) -> GYTxMonadClbT m a #

Monad m => MonadRandom (GYTxMonadClbT m) # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

getRandomR :: Random a => (a, a) -> GYTxMonadClbT m a #

getRandom :: Random a => GYTxMonadClbT m a #

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

getRandoms :: Random a => GYTxMonadClbT m [a] #

Monad m => GYTxBuilderMonad (GYTxMonadClbT m) # 
Instance details

Defined in GeniusYield.Test.Clb

Associated Types

type TxBuilderStrategy (GYTxMonadClbT m) 
Instance details

Defined in GeniusYield.Test.Clb

type TxBuilderStrategy (GYTxMonadClbT m) = GYCoinSelectionStrategy

Methods

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

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

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

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

Monad m => GYTxGameMonad (GYTxMonadClbT m) # 
Instance details

Defined in GeniusYield.Test.Clb

Associated Types

type TxMonadOf (GYTxMonadClbT m) 
Instance details

Defined in GeniusYield.Test.Clb

type TxMonadOf (GYTxMonadClbT m) = GYTxMonadClbT m

Methods

createUser :: GYTxMonadClbT m User #

asUser :: User -> TxMonadOf (GYTxMonadClbT m) a -> GYTxMonadClbT m a #

Monad m => GYTxMonad (GYTxMonadClbT m) # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

signTxBody :: GYTxBody -> GYTxMonadClbT m GYTx #

signTxBodyWithStake :: GYTxBody -> GYTxMonadClbT m GYTx #

submitTx :: GYTx -> GYTxMonadClbT m GYTxId #

awaitTxConfirmed' :: GYAwaitTxParameters -> GYTxId -> GYTxMonadClbT m () #

Monad m => GYTxQueryMonad (GYTxMonadClbT m) # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

networkId :: GYTxMonadClbT m GYNetworkId #

lookupDatum :: GYDatumHash -> GYTxMonadClbT m (Maybe GYDatum) #

utxoAtTxOutRef :: GYTxOutRef -> GYTxMonadClbT m (Maybe GYUTxO) #

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

utxosAtTxOutRefs :: [GYTxOutRef] -> GYTxMonadClbT m GYUTxOs #

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

utxosAtAddress :: GYAddress -> Maybe GYAssetClass -> GYTxMonadClbT m GYUTxOs #

utxosWithAsset :: GYNonAdaToken -> GYTxMonadClbT m GYUTxOs #

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

utxosAtAddresses :: [GYAddress] -> GYTxMonadClbT m GYUTxOs #

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

utxoRefsAtAddress :: GYAddress -> GYTxMonadClbT m [GYTxOutRef] #

utxosAtPaymentCredential :: GYPaymentCredential -> Maybe GYAssetClass -> GYTxMonadClbT m GYUTxOs #

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

utxosAtPaymentCredentials :: [GYPaymentCredential] -> GYTxMonadClbT m GYUTxOs #

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

stakeAddressInfo :: GYStakeAddress -> GYTxMonadClbT m (Maybe GYStakeAddressInfo) #

govState :: GYTxMonadClbT m (Maybe GYGovState) #

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

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

slotConfig :: GYTxMonadClbT m GYSlotConfig #

slotOfCurrentBlock :: GYTxMonadClbT m GYSlot #

logMsg :: GYLogNamespace -> GYLogSeverity -> String -> GYTxMonadClbT m () #

waitUntilSlot :: GYSlot -> GYTxMonadClbT m GYSlot #

waitForNextBlock :: GYTxMonadClbT m GYSlot #

constitution :: GYTxMonadClbT m GYConstitution #

proposals :: Set GYGovActionId -> GYTxMonadClbT m (Seq GYGovActionState) #

mempoolTxs :: GYTxMonadClbT m [GYTx] #

Monad m => GYTxSpecialQueryMonad (GYTxMonadClbT m) # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

systemStart :: GYTxMonadClbT m SystemStart #

eraHistory :: GYTxMonadClbT m EraHistory #

protocolParams :: GYTxMonadClbT m ApiProtocolParameters #

stakePools :: GYTxMonadClbT m (Set PoolId) #

Monad m => GYTxUserQueryMonad (GYTxMonadClbT m) # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

ownAddresses :: GYTxMonadClbT m [GYAddress] #

ownChangeAddress :: GYTxMonadClbT m GYAddress #

ownCollateral :: GYTxMonadClbT m (Maybe GYUTxO) #

availableUTxOs :: GYTxMonadClbT m GYUTxOs #

someUTxO :: PlutusVersion -> GYTxMonadClbT m GYTxOutRef #

MonadIO m => MonadIO (GYTxMonadClbT m) # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

liftIO :: IO a -> GYTxMonadClbT m a #

Monad m => Applicative (GYTxMonadClbT m) # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

pure :: a -> GYTxMonadClbT m a #

(<*>) :: GYTxMonadClbT m (a -> b) -> GYTxMonadClbT m a -> GYTxMonadClbT m b #

liftA2 :: (a -> b -> c) -> GYTxMonadClbT m a -> GYTxMonadClbT m b -> GYTxMonadClbT m c #

(*>) :: GYTxMonadClbT m a -> GYTxMonadClbT m b -> GYTxMonadClbT m b #

(<*) :: GYTxMonadClbT m a -> GYTxMonadClbT m b -> GYTxMonadClbT m a #

Functor m => Functor (GYTxMonadClbT m) # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

fmap :: (a -> b) -> GYTxMonadClbT m a -> GYTxMonadClbT m b #

(<$) :: a -> GYTxMonadClbT m b -> GYTxMonadClbT m a #

Monad m => Monad (GYTxMonadClbT m) # 
Instance details

Defined in GeniusYield.Test.Clb

Methods

(>>=) :: GYTxMonadClbT m a -> (a -> GYTxMonadClbT m b) -> GYTxMonadClbT m b #

(>>) :: GYTxMonadClbT m a -> GYTxMonadClbT m b -> GYTxMonadClbT m b #

return :: a -> GYTxMonadClbT m a #

type TxBuilderStrategy (GYTxMonadClbT m) # 
Instance details

Defined in GeniusYield.Test.Clb

type TxBuilderStrategy (GYTxMonadClbT m) = GYCoinSelectionStrategy
type TxMonadOf (GYTxMonadClbT m) # 
Instance details

Defined in GeniusYield.Test.Clb

type TxMonadOf (GYTxMonadClbT m) = GYTxMonadClbT m

type GYTxMonadClb = GYTxMonadClbT Identity #

mkTestForT :: forall a m. Monad m => String -> (TestInfo -> GYTxMonadClbT m a) -> m TestTree #

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

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

asClb :: forall a (m :: Type -> Type). Monad m => StdGen -> User -> Integer -> GYTxMonadClbT m a -> ClbT ApiEra m (Maybe a) #

asRandClb :: forall a (m :: Type -> Type). Monad m => User -> Integer -> GYTxMonadClbT m a -> RandT StdGen (ClbT ApiEra m) (Maybe a) #

liftClb :: forall a (m :: Type -> Type). Monad m => ClbT ApiEra m a -> GYTxMonadClbT m a #

dumpUtxoState :: forall (m :: Type -> Type). Monad m => GYTxMonadClbT m () #

mustFail :: forall a (m :: Type -> Type). Monad m => GYTxMonadClbT m a -> GYTxMonadClbT m () #

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 :: forall a (m :: Type -> Type). Monad m => (GYTxMonadException -> Bool) -> GYTxMonadClbT m a -> GYTxMonadClbT m () #

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