atlas-cardano-0.6.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.TxBuilder.Query.Class

Description

 
Synopsis

Documentation

class MonadError GYTxMonadException m ⇒ GYTxQueryMonad m where #

Class of monads for querying chain data.

Methods

networkId ∷ m GYNetworkId #

Get the network id

lookupDatumGYDatumHash → m (Maybe GYDatum) #

Lookup datum by its hash.

utxoAtTxOutRefGYTxOutRef → m (Maybe GYUTxO) #

Lookup GYUTxO at GYTxOutRef.

utxoAtTxOutRefWithDatumGYTxOutRef → m (Maybe (GYUTxO, Maybe GYDatum)) #

Lookup UTxO at GYTxOutRef with an attempt to resolve for datum.

utxosAtTxOutRefs ∷ [GYTxOutRef] → m GYUTxOs #

Lookup GYUTxOs at multiple GYTxOutRefs at once

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

Lookup UTxOs at zero or more GYTxOutRef with their datums. This has a default implementation using utxosAtTxOutRefs and lookupDatum but should be overridden for efficiency if provider provides suitable option.

utxosAtAddressGYAddressMaybe GYAssetClass → m GYUTxOs #

Lookup GYUTxOs at GYAddress.

utxosAtAddressWithDatumsGYAddressMaybe GYAssetClass → m [(GYUTxO, Maybe GYDatum)] #

Lookup GYUTxO at given GYAddress with their datums. This has a default implementation using utxosAtAddress and lookupDatum but should be overridden for efficiency if provider provides suitable option.

utxosAtAddresses ∷ [GYAddress] → m GYUTxOs #

Lookup GYUTxOs at zero or more GYAddress.

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

Lookup UTxOs at zero or more GYAddress with their datums. This has a default implementation using utxosAtAddresses and lookupDatum but should be overridden for efficiency if provider provides suitable option.

utxoRefsAtAddressGYAddress → m [GYTxOutRef] #

Lookup the `[GYTxOutRef]`s at a GYAddress

utxosAtPaymentCredentialGYPaymentCredentialMaybe GYAssetClass → m GYUTxOs #

utxosAtPaymentCredentialWithDatumsGYPaymentCredentialMaybe GYAssetClass → m [(GYUTxO, Maybe GYDatum)] #

Lookup UTxOs at given GYPaymentCredential with their datums. This has a default implementation using utxosAtPaymentCredential and lookupDatum but should be overridden for efficiency if provider provides suitable option.

utxosAtPaymentCredentials ∷ [GYPaymentCredential] → m GYUTxOs #

Lookup GYUTxOs at zero or more GYPaymentCredential.

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

Lookup UTxOs at zero or more GYPaymentCredential with their datums. This has a default implementation using utxosAtPaymentCredentials and lookupDatum but should be overridden for efficiency if provider provides suitable option.

stakeAddressInfoGYStakeAddress → m (Maybe GYStakeAddressInfo) #

Obtain delegation information for a stake address. Note that in case stake address is not registered, this function should return Nothing.

slotConfig ∷ m GYSlotConfig #

Obtain the slot config for the network.

Implementations using era history to create slot config may raise GYEraSummariesToSlotConfigError.

slotOfCurrentBlock ∷ m GYSlot #

This is expected to give the slot of the latest block. We say "expected" as we cache the result for 5 seconds, that is to say, suppose slot was cached at time T, now if query for current block's slot comes within time duration (T, T + 5), then we'll return the cached slot but if say, query happened at time (T + 5, T + 21) where 21 was taken as an arbitrary number above 5, then we'll query the chain tip and get the slot of the latest block seen by the provider and then store it in our cache, thus new cached value would be served for requests coming within time interval of (T + 21, T + 26).

NOTE: It's behaviour is slightly different, solely for our plutus simple model provider where it actually returns the value of the currentSlot variable maintained inside plutus simple model library.

logMsgHasCallStackGYLogNamespaceGYLogSeverityString → m () #

Log a message with specified namespace and severity.

waitUntilSlotGYSlot → m GYSlot #

Wait until the chain tip is at least the given slot number, returning it's slot.

waitForNextBlock ∷ m GYSlot #

Wait until the chain tip is at the next block, return it's slot.

Instances

Instances details
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) #

slotConfigGYTxMonadClb GYSlotConfig #

slotOfCurrentBlockGYTxMonadClb GYSlot #

logMsgGYLogNamespaceGYLogSeverityStringGYTxMonadClb () #

waitUntilSlotGYSlotGYTxMonadClb GYSlot #

waitForNextBlockGYTxMonadClb GYSlot #

GYTxQueryMonad GYTxGameMonadIO # 
Instance details

Defined in GeniusYield.TxBuilder.IO

Methods

networkIdGYTxGameMonadIO GYNetworkId #

lookupDatumGYDatumHashGYTxGameMonadIO (Maybe GYDatum) #

utxoAtTxOutRefGYTxOutRefGYTxGameMonadIO (Maybe GYUTxO) #

utxoAtTxOutRefWithDatumGYTxOutRefGYTxGameMonadIO (Maybe (GYUTxO, Maybe GYDatum)) #

utxosAtTxOutRefs ∷ [GYTxOutRef] → GYTxGameMonadIO GYUTxOs #

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

utxosAtAddressGYAddressMaybe GYAssetClassGYTxGameMonadIO GYUTxOs #

utxosAtAddressWithDatumsGYAddressMaybe GYAssetClassGYTxGameMonadIO [(GYUTxO, Maybe GYDatum)] #

utxosAtAddresses ∷ [GYAddress] → GYTxGameMonadIO GYUTxOs #

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

utxoRefsAtAddressGYAddressGYTxGameMonadIO [GYTxOutRef] #

utxosAtPaymentCredentialGYPaymentCredentialMaybe GYAssetClassGYTxGameMonadIO GYUTxOs #

utxosAtPaymentCredentialWithDatumsGYPaymentCredentialMaybe GYAssetClassGYTxGameMonadIO [(GYUTxO, Maybe GYDatum)] #

utxosAtPaymentCredentials ∷ [GYPaymentCredential] → GYTxGameMonadIO GYUTxOs #

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

stakeAddressInfoGYStakeAddressGYTxGameMonadIO (Maybe GYStakeAddressInfo) #

slotConfigGYTxGameMonadIO GYSlotConfig #

slotOfCurrentBlockGYTxGameMonadIO GYSlot #

logMsgGYLogNamespaceGYLogSeverityStringGYTxGameMonadIO () #

waitUntilSlotGYSlotGYTxGameMonadIO GYSlot #

waitForNextBlockGYTxGameMonadIO GYSlot #

GYTxQueryMonad GYTxMonadIO # 
Instance details

Defined in GeniusYield.TxBuilder.IO

Methods

networkIdGYTxMonadIO GYNetworkId #

lookupDatumGYDatumHashGYTxMonadIO (Maybe GYDatum) #

utxoAtTxOutRefGYTxOutRefGYTxMonadIO (Maybe GYUTxO) #

utxoAtTxOutRefWithDatumGYTxOutRefGYTxMonadIO (Maybe (GYUTxO, Maybe GYDatum)) #

utxosAtTxOutRefs ∷ [GYTxOutRef] → GYTxMonadIO GYUTxOs #

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

utxosAtAddressGYAddressMaybe GYAssetClassGYTxMonadIO GYUTxOs #

utxosAtAddressWithDatumsGYAddressMaybe GYAssetClassGYTxMonadIO [(GYUTxO, Maybe GYDatum)] #

utxosAtAddresses ∷ [GYAddress] → GYTxMonadIO GYUTxOs #

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

utxoRefsAtAddressGYAddressGYTxMonadIO [GYTxOutRef] #

utxosAtPaymentCredentialGYPaymentCredentialMaybe GYAssetClassGYTxMonadIO GYUTxOs #

utxosAtPaymentCredentialWithDatumsGYPaymentCredentialMaybe GYAssetClassGYTxMonadIO [(GYUTxO, Maybe GYDatum)] #

utxosAtPaymentCredentials ∷ [GYPaymentCredential] → GYTxMonadIO GYUTxOs #

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

stakeAddressInfoGYStakeAddressGYTxMonadIO (Maybe GYStakeAddressInfo) #

slotConfigGYTxMonadIO GYSlotConfig #

slotOfCurrentBlockGYTxMonadIO GYSlot #

logMsgGYLogNamespaceGYLogSeverityStringGYTxMonadIO () #

waitUntilSlotGYSlotGYTxMonadIO GYSlot #

waitForNextBlockGYTxMonadIO GYSlot #

GYTxQueryMonad GYTxBuilderMonadIO # 
Instance details

Defined in GeniusYield.TxBuilder.IO.Builder

Methods

networkIdGYTxBuilderMonadIO GYNetworkId #

lookupDatumGYDatumHashGYTxBuilderMonadIO (Maybe GYDatum) #

utxoAtTxOutRefGYTxOutRefGYTxBuilderMonadIO (Maybe GYUTxO) #

utxoAtTxOutRefWithDatumGYTxOutRefGYTxBuilderMonadIO (Maybe (GYUTxO, Maybe GYDatum)) #

utxosAtTxOutRefs ∷ [GYTxOutRef] → GYTxBuilderMonadIO GYUTxOs #

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

utxosAtAddressGYAddressMaybe GYAssetClassGYTxBuilderMonadIO GYUTxOs #

utxosAtAddressWithDatumsGYAddressMaybe GYAssetClassGYTxBuilderMonadIO [(GYUTxO, Maybe GYDatum)] #

utxosAtAddresses ∷ [GYAddress] → GYTxBuilderMonadIO GYUTxOs #

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

utxoRefsAtAddressGYAddressGYTxBuilderMonadIO [GYTxOutRef] #

utxosAtPaymentCredentialGYPaymentCredentialMaybe GYAssetClassGYTxBuilderMonadIO GYUTxOs #

utxosAtPaymentCredentialWithDatumsGYPaymentCredentialMaybe GYAssetClassGYTxBuilderMonadIO [(GYUTxO, Maybe GYDatum)] #

utxosAtPaymentCredentials ∷ [GYPaymentCredential] → GYTxBuilderMonadIO GYUTxOs #

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

stakeAddressInfoGYStakeAddressGYTxBuilderMonadIO (Maybe GYStakeAddressInfo) #

slotConfigGYTxBuilderMonadIO GYSlotConfig #

slotOfCurrentBlockGYTxBuilderMonadIO GYSlot #

logMsgGYLogNamespaceGYLogSeverityStringGYTxBuilderMonadIO () #

waitUntilSlotGYSlotGYTxBuilderMonadIO GYSlot #

waitForNextBlockGYTxBuilderMonadIO GYSlot #

GYTxQueryMonad GYTxQueryMonadIO # 
Instance details

Defined in GeniusYield.TxBuilder.IO.Query

Methods

networkIdGYTxQueryMonadIO GYNetworkId #

lookupDatumGYDatumHashGYTxQueryMonadIO (Maybe GYDatum) #

utxoAtTxOutRefGYTxOutRefGYTxQueryMonadIO (Maybe GYUTxO) #

utxoAtTxOutRefWithDatumGYTxOutRefGYTxQueryMonadIO (Maybe (GYUTxO, Maybe GYDatum)) #

utxosAtTxOutRefs ∷ [GYTxOutRef] → GYTxQueryMonadIO GYUTxOs #

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

utxosAtAddressGYAddressMaybe GYAssetClassGYTxQueryMonadIO GYUTxOs #

utxosAtAddressWithDatumsGYAddressMaybe GYAssetClassGYTxQueryMonadIO [(GYUTxO, Maybe GYDatum)] #

utxosAtAddresses ∷ [GYAddress] → GYTxQueryMonadIO GYUTxOs #

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

utxoRefsAtAddressGYAddressGYTxQueryMonadIO [GYTxOutRef] #

utxosAtPaymentCredentialGYPaymentCredentialMaybe GYAssetClassGYTxQueryMonadIO GYUTxOs #

utxosAtPaymentCredentialWithDatumsGYPaymentCredentialMaybe GYAssetClassGYTxQueryMonadIO [(GYUTxO, Maybe GYDatum)] #

utxosAtPaymentCredentials ∷ [GYPaymentCredential] → GYTxQueryMonadIO GYUTxOs #

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

stakeAddressInfoGYStakeAddressGYTxQueryMonadIO (Maybe GYStakeAddressInfo) #

slotConfigGYTxQueryMonadIO GYSlotConfig #

slotOfCurrentBlockGYTxQueryMonadIO GYSlot #

logMsgGYLogNamespaceGYLogSeverityStringGYTxQueryMonadIO () #

waitUntilSlotGYSlotGYTxQueryMonadIO GYSlot #

waitForNextBlockGYTxQueryMonadIO GYSlot #

GYTxQueryMonad m ⇒ GYTxQueryMonad (FeeTracker m) # 
Instance details

Defined in GeniusYield.Test.FeeTracker

Methods

networkIdFeeTracker m GYNetworkId #

lookupDatumGYDatumHashFeeTracker m (Maybe GYDatum) #

utxoAtTxOutRefGYTxOutRefFeeTracker m (Maybe GYUTxO) #

utxoAtTxOutRefWithDatumGYTxOutRefFeeTracker m (Maybe (GYUTxO, Maybe GYDatum)) #

utxosAtTxOutRefs ∷ [GYTxOutRef] → FeeTracker m GYUTxOs #

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

utxosAtAddressGYAddressMaybe GYAssetClassFeeTracker m GYUTxOs #

utxosAtAddressWithDatumsGYAddressMaybe GYAssetClassFeeTracker m [(GYUTxO, Maybe GYDatum)] #

utxosAtAddresses ∷ [GYAddress] → FeeTracker m GYUTxOs #

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

utxoRefsAtAddressGYAddressFeeTracker m [GYTxOutRef] #

utxosAtPaymentCredentialGYPaymentCredentialMaybe GYAssetClassFeeTracker m GYUTxOs #

utxosAtPaymentCredentialWithDatumsGYPaymentCredentialMaybe GYAssetClassFeeTracker m [(GYUTxO, Maybe GYDatum)] #

utxosAtPaymentCredentials ∷ [GYPaymentCredential] → FeeTracker m GYUTxOs #

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

stakeAddressInfoGYStakeAddressFeeTracker m (Maybe GYStakeAddressInfo) #

slotConfigFeeTracker m GYSlotConfig #

slotOfCurrentBlockFeeTracker m GYSlot #

logMsgGYLogNamespaceGYLogSeverityStringFeeTracker m () #

waitUntilSlotGYSlotFeeTracker m GYSlot #

waitForNextBlockFeeTracker m GYSlot #

GYTxQueryMonad m ⇒ GYTxQueryMonad (FeeTrackerGame m) # 
Instance details

Defined in GeniusYield.Test.FeeTracker

Methods

networkIdFeeTrackerGame m GYNetworkId #

lookupDatumGYDatumHashFeeTrackerGame m (Maybe GYDatum) #

utxoAtTxOutRefGYTxOutRefFeeTrackerGame m (Maybe GYUTxO) #

utxoAtTxOutRefWithDatumGYTxOutRefFeeTrackerGame m (Maybe (GYUTxO, Maybe GYDatum)) #

utxosAtTxOutRefs ∷ [GYTxOutRef] → FeeTrackerGame m GYUTxOs #

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

utxosAtAddressGYAddressMaybe GYAssetClassFeeTrackerGame m GYUTxOs #

utxosAtAddressWithDatumsGYAddressMaybe GYAssetClassFeeTrackerGame m [(GYUTxO, Maybe GYDatum)] #

utxosAtAddresses ∷ [GYAddress] → FeeTrackerGame m GYUTxOs #

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

utxoRefsAtAddressGYAddressFeeTrackerGame m [GYTxOutRef] #

utxosAtPaymentCredentialGYPaymentCredentialMaybe GYAssetClassFeeTrackerGame m GYUTxOs #

utxosAtPaymentCredentialWithDatumsGYPaymentCredentialMaybe GYAssetClassFeeTrackerGame m [(GYUTxO, Maybe GYDatum)] #

utxosAtPaymentCredentials ∷ [GYPaymentCredential] → FeeTrackerGame m GYUTxOs #

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

stakeAddressInfoGYStakeAddressFeeTrackerGame m (Maybe GYStakeAddressInfo) #

slotConfigFeeTrackerGame m GYSlotConfig #

slotOfCurrentBlockFeeTrackerGame m GYSlot #

logMsgGYLogNamespaceGYLogSeverityStringFeeTrackerGame m () #

waitUntilSlotGYSlotFeeTrackerGame m GYSlot #

waitForNextBlockFeeTrackerGame m GYSlot #

GYTxQueryMonad m ⇒ GYTxQueryMonad (RandT g m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

GYTxQueryMonad m ⇒ GYTxQueryMonad (ReaderT env m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

Methods

networkIdReaderT env m GYNetworkId #

lookupDatumGYDatumHashReaderT env m (Maybe GYDatum) #

utxoAtTxOutRefGYTxOutRefReaderT env m (Maybe GYUTxO) #

utxoAtTxOutRefWithDatumGYTxOutRefReaderT env m (Maybe (GYUTxO, Maybe GYDatum)) #

utxosAtTxOutRefs ∷ [GYTxOutRef] → ReaderT env m GYUTxOs #

utxosAtTxOutRefsWithDatums ∷ [GYTxOutRef] → ReaderT env m [(GYUTxO, Maybe GYDatum)] #

utxosAtAddressGYAddressMaybe GYAssetClassReaderT env m GYUTxOs #

utxosAtAddressWithDatumsGYAddressMaybe GYAssetClassReaderT env m [(GYUTxO, Maybe GYDatum)] #

utxosAtAddresses ∷ [GYAddress] → ReaderT env m GYUTxOs #

utxosAtAddressesWithDatums ∷ [GYAddress] → ReaderT env m [(GYUTxO, Maybe GYDatum)] #

utxoRefsAtAddressGYAddressReaderT env m [GYTxOutRef] #

utxosAtPaymentCredentialGYPaymentCredentialMaybe GYAssetClassReaderT env m GYUTxOs #

utxosAtPaymentCredentialWithDatumsGYPaymentCredentialMaybe GYAssetClassReaderT env m [(GYUTxO, Maybe GYDatum)] #

utxosAtPaymentCredentials ∷ [GYPaymentCredential] → ReaderT env m GYUTxOs #

utxosAtPaymentCredentialsWithDatums ∷ [GYPaymentCredential] → ReaderT env m [(GYUTxO, Maybe GYDatum)] #

stakeAddressInfoGYStakeAddressReaderT env m (Maybe GYStakeAddressInfo) #

slotConfigReaderT env m GYSlotConfig #

slotOfCurrentBlockReaderT env m GYSlot #

logMsgGYLogNamespaceGYLogSeverityStringReaderT env m () #

waitUntilSlotGYSlotReaderT env m GYSlot #

waitForNextBlockReaderT env m GYSlot #

GYTxQueryMonad m ⇒ GYTxQueryMonad (StateT s m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

Methods

networkIdStateT s m GYNetworkId #

lookupDatumGYDatumHashStateT s m (Maybe GYDatum) #

utxoAtTxOutRefGYTxOutRefStateT s m (Maybe GYUTxO) #

utxoAtTxOutRefWithDatumGYTxOutRefStateT s m (Maybe (GYUTxO, Maybe GYDatum)) #

utxosAtTxOutRefs ∷ [GYTxOutRef] → StateT s m GYUTxOs #

utxosAtTxOutRefsWithDatums ∷ [GYTxOutRef] → StateT s m [(GYUTxO, Maybe GYDatum)] #

utxosAtAddressGYAddressMaybe GYAssetClassStateT s m GYUTxOs #

utxosAtAddressWithDatumsGYAddressMaybe GYAssetClassStateT s m [(GYUTxO, Maybe GYDatum)] #

utxosAtAddresses ∷ [GYAddress] → StateT s m GYUTxOs #

utxosAtAddressesWithDatums ∷ [GYAddress] → StateT s m [(GYUTxO, Maybe GYDatum)] #

utxoRefsAtAddressGYAddressStateT s m [GYTxOutRef] #

utxosAtPaymentCredentialGYPaymentCredentialMaybe GYAssetClassStateT s m GYUTxOs #

utxosAtPaymentCredentialWithDatumsGYPaymentCredentialMaybe GYAssetClassStateT s m [(GYUTxO, Maybe GYDatum)] #

utxosAtPaymentCredentials ∷ [GYPaymentCredential] → StateT s m GYUTxOs #

utxosAtPaymentCredentialsWithDatums ∷ [GYPaymentCredential] → StateT s m [(GYUTxO, Maybe GYDatum)] #

stakeAddressInfoGYStakeAddressStateT s m (Maybe GYStakeAddressInfo) #

slotConfigStateT s m GYSlotConfig #

slotOfCurrentBlockStateT s m GYSlot #

logMsgGYLogNamespaceGYLogSeverityStringStateT s m () #

waitUntilSlotGYSlotStateT s m GYSlot #

waitForNextBlockStateT s m GYSlot #

GYTxQueryMonad m ⇒ GYTxQueryMonad (StateT s m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

Methods

networkIdStateT s m GYNetworkId #

lookupDatumGYDatumHashStateT s m (Maybe GYDatum) #

utxoAtTxOutRefGYTxOutRefStateT s m (Maybe GYUTxO) #

utxoAtTxOutRefWithDatumGYTxOutRefStateT s m (Maybe (GYUTxO, Maybe GYDatum)) #

utxosAtTxOutRefs ∷ [GYTxOutRef] → StateT s m GYUTxOs #

utxosAtTxOutRefsWithDatums ∷ [GYTxOutRef] → StateT s m [(GYUTxO, Maybe GYDatum)] #

utxosAtAddressGYAddressMaybe GYAssetClassStateT s m GYUTxOs #

utxosAtAddressWithDatumsGYAddressMaybe GYAssetClassStateT s m [(GYUTxO, Maybe GYDatum)] #

utxosAtAddresses ∷ [GYAddress] → StateT s m GYUTxOs #

utxosAtAddressesWithDatums ∷ [GYAddress] → StateT s m [(GYUTxO, Maybe GYDatum)] #

utxoRefsAtAddressGYAddressStateT s m [GYTxOutRef] #

utxosAtPaymentCredentialGYPaymentCredentialMaybe GYAssetClassStateT s m GYUTxOs #

utxosAtPaymentCredentialWithDatumsGYPaymentCredentialMaybe GYAssetClassStateT s m [(GYUTxO, Maybe GYDatum)] #

utxosAtPaymentCredentials ∷ [GYPaymentCredential] → StateT s m GYUTxOs #

utxosAtPaymentCredentialsWithDatums ∷ [GYPaymentCredential] → StateT s m [(GYUTxO, Maybe GYDatum)] #

stakeAddressInfoGYStakeAddressStateT s m (Maybe GYStakeAddressInfo) #

slotConfigStateT s m GYSlotConfig #

slotOfCurrentBlockStateT s m GYSlot #

logMsgGYLogNamespaceGYLogSeverityStringStateT s m () #

waitUntilSlotGYSlotStateT s m GYSlot #

waitForNextBlockStateT s m GYSlot #

(GYTxQueryMonad m, Monoid w) ⇒ GYTxQueryMonad (WriterT w m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

Methods

networkIdWriterT w m GYNetworkId #

lookupDatumGYDatumHashWriterT w m (Maybe GYDatum) #

utxoAtTxOutRefGYTxOutRefWriterT w m (Maybe GYUTxO) #

utxoAtTxOutRefWithDatumGYTxOutRefWriterT w m (Maybe (GYUTxO, Maybe GYDatum)) #

utxosAtTxOutRefs ∷ [GYTxOutRef] → WriterT w m GYUTxOs #

utxosAtTxOutRefsWithDatums ∷ [GYTxOutRef] → WriterT w m [(GYUTxO, Maybe GYDatum)] #

utxosAtAddressGYAddressMaybe GYAssetClassWriterT w m GYUTxOs #

utxosAtAddressWithDatumsGYAddressMaybe GYAssetClassWriterT w m [(GYUTxO, Maybe GYDatum)] #

utxosAtAddresses ∷ [GYAddress] → WriterT w m GYUTxOs #

utxosAtAddressesWithDatums ∷ [GYAddress] → WriterT w m [(GYUTxO, Maybe GYDatum)] #

utxoRefsAtAddressGYAddressWriterT w m [GYTxOutRef] #

utxosAtPaymentCredentialGYPaymentCredentialMaybe GYAssetClassWriterT w m GYUTxOs #

utxosAtPaymentCredentialWithDatumsGYPaymentCredentialMaybe GYAssetClassWriterT w m [(GYUTxO, Maybe GYDatum)] #

utxosAtPaymentCredentials ∷ [GYPaymentCredential] → WriterT w m GYUTxOs #

utxosAtPaymentCredentialsWithDatums ∷ [GYPaymentCredential] → WriterT w m [(GYUTxO, Maybe GYDatum)] #

stakeAddressInfoGYStakeAddressWriterT w m (Maybe GYStakeAddressInfo) #

slotConfigWriterT w m GYSlotConfig #

slotOfCurrentBlockWriterT w m GYSlot #

logMsgGYLogNamespaceGYLogSeverityStringWriterT w m () #

waitUntilSlotGYSlotWriterT w m GYSlot #

waitForNextBlockWriterT w m GYSlot #

(GYTxQueryMonad m, Monoid w) ⇒ GYTxQueryMonad (WriterT w m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

Methods

networkIdWriterT w m GYNetworkId #

lookupDatumGYDatumHashWriterT w m (Maybe GYDatum) #

utxoAtTxOutRefGYTxOutRefWriterT w m (Maybe GYUTxO) #

utxoAtTxOutRefWithDatumGYTxOutRefWriterT w m (Maybe (GYUTxO, Maybe GYDatum)) #

utxosAtTxOutRefs ∷ [GYTxOutRef] → WriterT w m GYUTxOs #

utxosAtTxOutRefsWithDatums ∷ [GYTxOutRef] → WriterT w m [(GYUTxO, Maybe GYDatum)] #

utxosAtAddressGYAddressMaybe GYAssetClassWriterT w m GYUTxOs #

utxosAtAddressWithDatumsGYAddressMaybe GYAssetClassWriterT w m [(GYUTxO, Maybe GYDatum)] #

utxosAtAddresses ∷ [GYAddress] → WriterT w m GYUTxOs #

utxosAtAddressesWithDatums ∷ [GYAddress] → WriterT w m [(GYUTxO, Maybe GYDatum)] #

utxoRefsAtAddressGYAddressWriterT w m [GYTxOutRef] #

utxosAtPaymentCredentialGYPaymentCredentialMaybe GYAssetClassWriterT w m GYUTxOs #

utxosAtPaymentCredentialWithDatumsGYPaymentCredentialMaybe GYAssetClassWriterT w m [(GYUTxO, Maybe GYDatum)] #

utxosAtPaymentCredentials ∷ [GYPaymentCredential] → WriterT w m GYUTxOs #

utxosAtPaymentCredentialsWithDatums ∷ [GYPaymentCredential] → WriterT w m [(GYUTxO, Maybe GYDatum)] #

stakeAddressInfoGYStakeAddressWriterT w m (Maybe GYStakeAddressInfo) #

slotConfigWriterT w m GYSlotConfig #

slotOfCurrentBlockWriterT w m GYSlot #

logMsgGYLogNamespaceGYLogSeverityStringWriterT w m () #

waitUntilSlotGYSlotWriterT w m GYSlot #

waitForNextBlockWriterT w m GYSlot #

(GYTxQueryMonad m, Monoid w) ⇒ GYTxQueryMonad (WriterT w m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

Methods

networkIdWriterT w m GYNetworkId #

lookupDatumGYDatumHashWriterT w m (Maybe GYDatum) #

utxoAtTxOutRefGYTxOutRefWriterT w m (Maybe GYUTxO) #

utxoAtTxOutRefWithDatumGYTxOutRefWriterT w m (Maybe (GYUTxO, Maybe GYDatum)) #

utxosAtTxOutRefs ∷ [GYTxOutRef] → WriterT w m GYUTxOs #

utxosAtTxOutRefsWithDatums ∷ [GYTxOutRef] → WriterT w m [(GYUTxO, Maybe GYDatum)] #

utxosAtAddressGYAddressMaybe GYAssetClassWriterT w m GYUTxOs #

utxosAtAddressWithDatumsGYAddressMaybe GYAssetClassWriterT w m [(GYUTxO, Maybe GYDatum)] #

utxosAtAddresses ∷ [GYAddress] → WriterT w m GYUTxOs #

utxosAtAddressesWithDatums ∷ [GYAddress] → WriterT w m [(GYUTxO, Maybe GYDatum)] #

utxoRefsAtAddressGYAddressWriterT w m [GYTxOutRef] #

utxosAtPaymentCredentialGYPaymentCredentialMaybe GYAssetClassWriterT w m GYUTxOs #

utxosAtPaymentCredentialWithDatumsGYPaymentCredentialMaybe GYAssetClassWriterT w m [(GYUTxO, Maybe GYDatum)] #

utxosAtPaymentCredentials ∷ [GYPaymentCredential] → WriterT w m GYUTxOs #

utxosAtPaymentCredentialsWithDatums ∷ [GYPaymentCredential] → WriterT w m [(GYUTxO, Maybe GYDatum)] #

stakeAddressInfoGYStakeAddressWriterT w m (Maybe GYStakeAddressInfo) #

slotConfigWriterT w m GYSlotConfig #

slotOfCurrentBlockWriterT w m GYSlot #

logMsgGYLogNamespaceGYLogSeverityStringWriterT w m () #

waitUntilSlotGYSlotWriterT w m GYSlot #

waitForNextBlockWriterT w m GYSlot #

class GYTxQueryMonad m ⇒ GYTxSpecialQueryMonad m where #

Class of monads for querying special chain data.

Instances

Instances details
GYTxSpecialQueryMonad GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

GYTxSpecialQueryMonad GYTxGameMonadIO # 
Instance details

Defined in GeniusYield.TxBuilder.IO

GYTxSpecialQueryMonad GYTxMonadIO # 
Instance details

Defined in GeniusYield.TxBuilder.IO

GYTxSpecialQueryMonad GYTxBuilderMonadIO # 
Instance details

Defined in GeniusYield.TxBuilder.IO.Builder

GYTxSpecialQueryMonad GYTxQueryMonadIO # 
Instance details

Defined in GeniusYield.TxBuilder.IO.Query

GYTxSpecialQueryMonad m ⇒ GYTxSpecialQueryMonad (FeeTracker m) # 
Instance details

Defined in GeniusYield.Test.FeeTracker

GYTxSpecialQueryMonad m ⇒ GYTxSpecialQueryMonad (FeeTrackerGame m) # 
Instance details

Defined in GeniusYield.Test.FeeTracker

GYTxSpecialQueryMonad m ⇒ GYTxSpecialQueryMonad (RandT g m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

GYTxSpecialQueryMonad m ⇒ GYTxSpecialQueryMonad (ReaderT env m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

GYTxSpecialQueryMonad m ⇒ GYTxSpecialQueryMonad (StateT s m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

GYTxSpecialQueryMonad m ⇒ GYTxSpecialQueryMonad (StateT s m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

(GYTxSpecialQueryMonad m, Monoid w) ⇒ GYTxSpecialQueryMonad (WriterT w m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

(GYTxSpecialQueryMonad m, Monoid w) ⇒ GYTxSpecialQueryMonad (WriterT w m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

(GYTxSpecialQueryMonad m, Monoid w) ⇒ GYTxSpecialQueryMonad (WriterT w m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

class GYTxQueryMonad m ⇒ GYTxUserQueryMonad m where #

Class of monads for querying as a user.

Methods

ownAddresses ∷ m [GYAddress] #

Get your own address(es).

ownChangeAddress ∷ m GYAddress #

Get own change address.

ownCollateral ∷ m (Maybe GYUTxO) #

Get own collateral utxo.

availableUTxOs ∷ m GYUTxOs #

Get available own UTxOs that can be operated upon.

someUTxOPlutusVersion → m GYTxOutRef #

Return some unspent transaction output translatable to the given language corresponding to the script in question.

Law: Must return the different values.

Instances

Instances details
GYTxUserQueryMonad GYTxMonadClb # 
Instance details

Defined in GeniusYield.Test.Clb

GYTxUserQueryMonad GYTxMonadIO # 
Instance details

Defined in GeniusYield.TxBuilder.IO

GYTxUserQueryMonad GYTxBuilderMonadIO # 
Instance details

Defined in GeniusYield.TxBuilder.IO.Builder

GYTxUserQueryMonad m ⇒ GYTxUserQueryMonad (FeeTracker m) # 
Instance details

Defined in GeniusYield.Test.FeeTracker

GYTxUserQueryMonad m ⇒ GYTxUserQueryMonad (RandT g m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

GYTxUserQueryMonad m ⇒ GYTxUserQueryMonad (ReaderT env m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

GYTxUserQueryMonad m ⇒ GYTxUserQueryMonad (StateT s m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

GYTxUserQueryMonad m ⇒ GYTxUserQueryMonad (StateT s m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

(GYTxUserQueryMonad m, Monoid w) ⇒ GYTxUserQueryMonad (WriterT w m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

(GYTxUserQueryMonad m, Monoid w) ⇒ GYTxUserQueryMonad (WriterT w m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class

(GYTxUserQueryMonad m, Monoid w) ⇒ GYTxUserQueryMonad (WriterT w m) # 
Instance details

Defined in GeniusYield.TxBuilder.Query.Class