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.

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

Lookup GYUTxOs at GYAddress.

utxosAtAddressWithDatums :: GYAddress -> Maybe 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.

utxoRefsAtAddress :: GYAddress -> m [GYTxOutRef] #

Lookup the `[GYTxOutRef]`s at a GYAddress

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

Lookup GYUTxOs at GYPaymentCredential.

utxosAtPaymentCredentialWithDatums :: GYPaymentCredential -> Maybe 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.

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

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

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

Obtain state of drep.

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

Obtain state of dreps.

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.

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

Log a message with specified namespace and severity.

waitUntilSlot :: GYSlot -> 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.

constitution :: m GYConstitution #

Query the current constitution definition.

proposals #

Arguments

:: Set GYGovActionId	Specify a set of Governance Action IDs to filter the proposals. When this set is empty, all the proposals considered for ratification will be returned.
-> m (Seq GYGovActionState)

Query proposals that are considered for ratification.

mempoolTxs :: m [GYTx] #

Query the transactions in mempool.

Instances

Instances details

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] #
GYTxQueryMonad GYTxGameMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods networkId :: GYTxGameMonadIO GYNetworkId # lookupDatum :: GYDatumHash -> GYTxGameMonadIO (Maybe GYDatum) # utxoAtTxOutRef :: GYTxOutRef -> GYTxGameMonadIO (Maybe GYUTxO) # utxoAtTxOutRefWithDatum :: GYTxOutRef -> GYTxGameMonadIO (Maybe (GYUTxO, Maybe GYDatum)) # utxosAtTxOutRefs :: [GYTxOutRef] -> GYTxGameMonadIO GYUTxOs # utxosAtTxOutRefsWithDatums :: [GYTxOutRef] -> GYTxGameMonadIO [(GYUTxO, Maybe GYDatum)] # utxosAtAddress :: GYAddress -> Maybe GYAssetClass -> GYTxGameMonadIO GYUTxOs # utxosAtAddressWithDatums :: GYAddress -> Maybe GYAssetClass -> GYTxGameMonadIO [(GYUTxO, Maybe GYDatum)] # utxosAtAddresses :: [GYAddress] -> GYTxGameMonadIO GYUTxOs # utxosAtAddressesWithDatums :: [GYAddress] -> GYTxGameMonadIO [(GYUTxO, Maybe GYDatum)] # utxoRefsAtAddress :: GYAddress -> GYTxGameMonadIO [GYTxOutRef] # utxosAtPaymentCredential :: GYPaymentCredential -> Maybe GYAssetClass -> GYTxGameMonadIO GYUTxOs # utxosAtPaymentCredentialWithDatums :: GYPaymentCredential -> Maybe GYAssetClass -> GYTxGameMonadIO [(GYUTxO, Maybe GYDatum)] # utxosAtPaymentCredentials :: [GYPaymentCredential] -> GYTxGameMonadIO GYUTxOs # utxosAtPaymentCredentialsWithDatums :: [GYPaymentCredential] -> GYTxGameMonadIO [(GYUTxO, Maybe GYDatum)] # stakeAddressInfo :: GYStakeAddress -> GYTxGameMonadIO (Maybe GYStakeAddressInfo) # drepState :: GYCredential 'GYKeyRoleDRep -> GYTxGameMonadIO (Maybe GYDRepState) # drepsState :: Set (GYCredential 'GYKeyRoleDRep) -> GYTxGameMonadIO (Map (GYCredential 'GYKeyRoleDRep) (Maybe GYDRepState)) # slotConfig :: GYTxGameMonadIO GYSlotConfig # slotOfCurrentBlock :: GYTxGameMonadIO GYSlot # logMsg :: GYLogNamespace -> GYLogSeverity -> String -> GYTxGameMonadIO () # waitUntilSlot :: GYSlot -> GYTxGameMonadIO GYSlot # waitForNextBlock :: GYTxGameMonadIO GYSlot # constitution :: GYTxGameMonadIO GYConstitution # proposals :: Set GYGovActionId -> GYTxGameMonadIO (Seq GYGovActionState) # mempoolTxs :: GYTxGameMonadIO [GYTx] #
GYTxQueryMonad GYTxMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods networkId :: GYTxMonadIO GYNetworkId # lookupDatum :: GYDatumHash -> GYTxMonadIO (Maybe GYDatum) # utxoAtTxOutRef :: GYTxOutRef -> GYTxMonadIO (Maybe GYUTxO) # utxoAtTxOutRefWithDatum :: GYTxOutRef -> GYTxMonadIO (Maybe (GYUTxO, Maybe GYDatum)) # utxosAtTxOutRefs :: [GYTxOutRef] -> GYTxMonadIO GYUTxOs # utxosAtTxOutRefsWithDatums :: [GYTxOutRef] -> GYTxMonadIO [(GYUTxO, Maybe GYDatum)] # utxosAtAddress :: GYAddress -> Maybe GYAssetClass -> GYTxMonadIO GYUTxOs # utxosAtAddressWithDatums :: GYAddress -> Maybe GYAssetClass -> GYTxMonadIO [(GYUTxO, Maybe GYDatum)] # utxosAtAddresses :: [GYAddress] -> GYTxMonadIO GYUTxOs # utxosAtAddressesWithDatums :: [GYAddress] -> GYTxMonadIO [(GYUTxO, Maybe GYDatum)] # utxoRefsAtAddress :: GYAddress -> GYTxMonadIO [GYTxOutRef] # utxosAtPaymentCredential :: GYPaymentCredential -> Maybe GYAssetClass -> GYTxMonadIO GYUTxOs # utxosAtPaymentCredentialWithDatums :: GYPaymentCredential -> Maybe GYAssetClass -> GYTxMonadIO [(GYUTxO, Maybe GYDatum)] # utxosAtPaymentCredentials :: [GYPaymentCredential] -> GYTxMonadIO GYUTxOs # utxosAtPaymentCredentialsWithDatums :: [GYPaymentCredential] -> GYTxMonadIO [(GYUTxO, Maybe GYDatum)] # stakeAddressInfo :: GYStakeAddress -> GYTxMonadIO (Maybe GYStakeAddressInfo) # drepState :: GYCredential 'GYKeyRoleDRep -> GYTxMonadIO (Maybe GYDRepState) # drepsState :: Set (GYCredential 'GYKeyRoleDRep) -> GYTxMonadIO (Map (GYCredential 'GYKeyRoleDRep) (Maybe GYDRepState)) # slotConfig :: GYTxMonadIO GYSlotConfig # slotOfCurrentBlock :: GYTxMonadIO GYSlot # logMsg :: GYLogNamespace -> GYLogSeverity -> String -> GYTxMonadIO () # waitUntilSlot :: GYSlot -> GYTxMonadIO GYSlot # waitForNextBlock :: GYTxMonadIO GYSlot # constitution :: GYTxMonadIO GYConstitution # proposals :: Set GYGovActionId -> GYTxMonadIO (Seq GYGovActionState) # mempoolTxs :: GYTxMonadIO [GYTx] #
GYTxQueryMonad GYTxBuilderMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Builder Methods networkId :: GYTxBuilderMonadIO GYNetworkId # lookupDatum :: GYDatumHash -> GYTxBuilderMonadIO (Maybe GYDatum) # utxoAtTxOutRef :: GYTxOutRef -> GYTxBuilderMonadIO (Maybe GYUTxO) # utxoAtTxOutRefWithDatum :: GYTxOutRef -> GYTxBuilderMonadIO (Maybe (GYUTxO, Maybe GYDatum)) # utxosAtTxOutRefs :: [GYTxOutRef] -> GYTxBuilderMonadIO GYUTxOs # utxosAtTxOutRefsWithDatums :: [GYTxOutRef] -> GYTxBuilderMonadIO [(GYUTxO, Maybe GYDatum)] # utxosAtAddress :: GYAddress -> Maybe GYAssetClass -> GYTxBuilderMonadIO GYUTxOs # utxosAtAddressWithDatums :: GYAddress -> Maybe GYAssetClass -> GYTxBuilderMonadIO [(GYUTxO, Maybe GYDatum)] # utxosAtAddresses :: [GYAddress] -> GYTxBuilderMonadIO GYUTxOs # utxosAtAddressesWithDatums :: [GYAddress] -> GYTxBuilderMonadIO [(GYUTxO, Maybe GYDatum)] # utxoRefsAtAddress :: GYAddress -> GYTxBuilderMonadIO [GYTxOutRef] # utxosAtPaymentCredential :: GYPaymentCredential -> Maybe GYAssetClass -> GYTxBuilderMonadIO GYUTxOs # utxosAtPaymentCredentialWithDatums :: GYPaymentCredential -> Maybe GYAssetClass -> GYTxBuilderMonadIO [(GYUTxO, Maybe GYDatum)] # utxosAtPaymentCredentials :: [GYPaymentCredential] -> GYTxBuilderMonadIO GYUTxOs # utxosAtPaymentCredentialsWithDatums :: [GYPaymentCredential] -> GYTxBuilderMonadIO [(GYUTxO, Maybe GYDatum)] # stakeAddressInfo :: GYStakeAddress -> GYTxBuilderMonadIO (Maybe GYStakeAddressInfo) # drepState :: GYCredential 'GYKeyRoleDRep -> GYTxBuilderMonadIO (Maybe GYDRepState) # drepsState :: Set (GYCredential 'GYKeyRoleDRep) -> GYTxBuilderMonadIO (Map (GYCredential 'GYKeyRoleDRep) (Maybe GYDRepState)) # slotConfig :: GYTxBuilderMonadIO GYSlotConfig # slotOfCurrentBlock :: GYTxBuilderMonadIO GYSlot # logMsg :: GYLogNamespace -> GYLogSeverity -> String -> GYTxBuilderMonadIO () # waitUntilSlot :: GYSlot -> GYTxBuilderMonadIO GYSlot # waitForNextBlock :: GYTxBuilderMonadIO GYSlot # constitution :: GYTxBuilderMonadIO GYConstitution # proposals :: Set GYGovActionId -> GYTxBuilderMonadIO (Seq GYGovActionState) # mempoolTxs :: GYTxBuilderMonadIO [GYTx] #
GYTxQueryMonad GYTxQueryMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Query Methods networkId :: GYTxQueryMonadIO GYNetworkId # lookupDatum :: GYDatumHash -> GYTxQueryMonadIO (Maybe GYDatum) # utxoAtTxOutRef :: GYTxOutRef -> GYTxQueryMonadIO (Maybe GYUTxO) # utxoAtTxOutRefWithDatum :: GYTxOutRef -> GYTxQueryMonadIO (Maybe (GYUTxO, Maybe GYDatum)) # utxosAtTxOutRefs :: [GYTxOutRef] -> GYTxQueryMonadIO GYUTxOs # utxosAtTxOutRefsWithDatums :: [GYTxOutRef] -> GYTxQueryMonadIO [(GYUTxO, Maybe GYDatum)] # utxosAtAddress :: GYAddress -> Maybe GYAssetClass -> GYTxQueryMonadIO GYUTxOs # utxosAtAddressWithDatums :: GYAddress -> Maybe GYAssetClass -> GYTxQueryMonadIO [(GYUTxO, Maybe GYDatum)] # utxosAtAddresses :: [GYAddress] -> GYTxQueryMonadIO GYUTxOs # utxosAtAddressesWithDatums :: [GYAddress] -> GYTxQueryMonadIO [(GYUTxO, Maybe GYDatum)] # utxoRefsAtAddress :: GYAddress -> GYTxQueryMonadIO [GYTxOutRef] # utxosAtPaymentCredential :: GYPaymentCredential -> Maybe GYAssetClass -> GYTxQueryMonadIO GYUTxOs # utxosAtPaymentCredentialWithDatums :: GYPaymentCredential -> Maybe GYAssetClass -> GYTxQueryMonadIO [(GYUTxO, Maybe GYDatum)] # utxosAtPaymentCredentials :: [GYPaymentCredential] -> GYTxQueryMonadIO GYUTxOs # utxosAtPaymentCredentialsWithDatums :: [GYPaymentCredential] -> GYTxQueryMonadIO [(GYUTxO, Maybe GYDatum)] # stakeAddressInfo :: GYStakeAddress -> GYTxQueryMonadIO (Maybe GYStakeAddressInfo) # drepState :: GYCredential 'GYKeyRoleDRep -> GYTxQueryMonadIO (Maybe GYDRepState) # drepsState :: Set (GYCredential 'GYKeyRoleDRep) -> GYTxQueryMonadIO (Map (GYCredential 'GYKeyRoleDRep) (Maybe GYDRepState)) # slotConfig :: GYTxQueryMonadIO GYSlotConfig # slotOfCurrentBlock :: GYTxQueryMonadIO GYSlot # logMsg :: GYLogNamespace -> GYLogSeverity -> String -> GYTxQueryMonadIO () # waitUntilSlot :: GYSlot -> GYTxQueryMonadIO GYSlot # waitForNextBlock :: GYTxQueryMonadIO GYSlot # constitution :: GYTxQueryMonadIO GYConstitution # proposals :: Set GYGovActionId -> GYTxQueryMonadIO (Seq GYGovActionState) # mempoolTxs :: GYTxQueryMonadIO [GYTx] #
GYTxQueryMonad m => GYTxQueryMonad (FeeTracker m) #
Instance details Defined in GeniusYield.Test.FeeTracker Methods networkId :: FeeTracker m GYNetworkId # lookupDatum :: GYDatumHash -> FeeTracker m (Maybe GYDatum) # utxoAtTxOutRef :: GYTxOutRef -> FeeTracker m (Maybe GYUTxO) # utxoAtTxOutRefWithDatum :: GYTxOutRef -> FeeTracker m (Maybe (GYUTxO, Maybe GYDatum)) # utxosAtTxOutRefs :: [GYTxOutRef] -> FeeTracker m GYUTxOs # utxosAtTxOutRefsWithDatums :: [GYTxOutRef] -> FeeTracker m [(GYUTxO, Maybe GYDatum)] # utxosAtAddress :: GYAddress -> Maybe GYAssetClass -> FeeTracker m GYUTxOs # utxosAtAddressWithDatums :: GYAddress -> Maybe GYAssetClass -> FeeTracker m [(GYUTxO, Maybe GYDatum)] # utxosAtAddresses :: [GYAddress] -> FeeTracker m GYUTxOs # utxosAtAddressesWithDatums :: [GYAddress] -> FeeTracker m [(GYUTxO, Maybe GYDatum)] # utxoRefsAtAddress :: GYAddress -> FeeTracker m [GYTxOutRef] # utxosAtPaymentCredential :: GYPaymentCredential -> Maybe GYAssetClass -> FeeTracker m GYUTxOs # utxosAtPaymentCredentialWithDatums :: GYPaymentCredential -> Maybe GYAssetClass -> FeeTracker m [(GYUTxO, Maybe GYDatum)] # utxosAtPaymentCredentials :: [GYPaymentCredential] -> FeeTracker m GYUTxOs # utxosAtPaymentCredentialsWithDatums :: [GYPaymentCredential] -> FeeTracker m [(GYUTxO, Maybe GYDatum)] # stakeAddressInfo :: GYStakeAddress -> FeeTracker m (Maybe GYStakeAddressInfo) # drepState :: GYCredential 'GYKeyRoleDRep -> FeeTracker m (Maybe GYDRepState) # drepsState :: Set (GYCredential 'GYKeyRoleDRep) -> FeeTracker m (Map (GYCredential 'GYKeyRoleDRep) (Maybe GYDRepState)) # slotConfig :: FeeTracker m GYSlotConfig # slotOfCurrentBlock :: FeeTracker m GYSlot # logMsg :: GYLogNamespace -> GYLogSeverity -> String -> FeeTracker m () # waitUntilSlot :: GYSlot -> FeeTracker m GYSlot # waitForNextBlock :: FeeTracker m GYSlot # constitution :: FeeTracker m GYConstitution # proposals :: Set GYGovActionId -> FeeTracker m (Seq GYGovActionState) # mempoolTxs :: FeeTracker m [GYTx] #
GYTxQueryMonad m => GYTxQueryMonad (FeeTrackerGame m) #
Instance details Defined in GeniusYield.Test.FeeTracker Methods networkId :: FeeTrackerGame m GYNetworkId # lookupDatum :: GYDatumHash -> FeeTrackerGame m (Maybe GYDatum) # utxoAtTxOutRef :: GYTxOutRef -> FeeTrackerGame m (Maybe GYUTxO) # utxoAtTxOutRefWithDatum :: GYTxOutRef -> FeeTrackerGame m (Maybe (GYUTxO, Maybe GYDatum)) # utxosAtTxOutRefs :: [GYTxOutRef] -> FeeTrackerGame m GYUTxOs # utxosAtTxOutRefsWithDatums :: [GYTxOutRef] -> FeeTrackerGame m [(GYUTxO, Maybe GYDatum)] # utxosAtAddress :: GYAddress -> Maybe GYAssetClass -> FeeTrackerGame m GYUTxOs # utxosAtAddressWithDatums :: GYAddress -> Maybe GYAssetClass -> FeeTrackerGame m [(GYUTxO, Maybe GYDatum)] # utxosAtAddresses :: [GYAddress] -> FeeTrackerGame m GYUTxOs # utxosAtAddressesWithDatums :: [GYAddress] -> FeeTrackerGame m [(GYUTxO, Maybe GYDatum)] # utxoRefsAtAddress :: GYAddress -> FeeTrackerGame m [GYTxOutRef] # utxosAtPaymentCredential :: GYPaymentCredential -> Maybe GYAssetClass -> FeeTrackerGame m GYUTxOs # utxosAtPaymentCredentialWithDatums :: GYPaymentCredential -> Maybe GYAssetClass -> FeeTrackerGame m [(GYUTxO, Maybe GYDatum)] # utxosAtPaymentCredentials :: [GYPaymentCredential] -> FeeTrackerGame m GYUTxOs # utxosAtPaymentCredentialsWithDatums :: [GYPaymentCredential] -> FeeTrackerGame m [(GYUTxO, Maybe GYDatum)] # stakeAddressInfo :: GYStakeAddress -> FeeTrackerGame m (Maybe GYStakeAddressInfo) # drepState :: GYCredential 'GYKeyRoleDRep -> FeeTrackerGame m (Maybe GYDRepState) # drepsState :: Set (GYCredential 'GYKeyRoleDRep) -> FeeTrackerGame m (Map (GYCredential 'GYKeyRoleDRep) (Maybe GYDRepState)) # slotConfig :: FeeTrackerGame m GYSlotConfig # slotOfCurrentBlock :: FeeTrackerGame m GYSlot # logMsg :: GYLogNamespace -> GYLogSeverity -> String -> FeeTrackerGame m () # waitUntilSlot :: GYSlot -> FeeTrackerGame m GYSlot # waitForNextBlock :: FeeTrackerGame m GYSlot # constitution :: FeeTrackerGame m GYConstitution # proposals :: Set GYGovActionId -> FeeTrackerGame m (Seq GYGovActionState) # mempoolTxs :: FeeTrackerGame m [GYTx] #
GYTxQueryMonad m => GYTxQueryMonad (RandT g m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods networkId :: RandT g m GYNetworkId # lookupDatum :: GYDatumHash -> RandT g m (Maybe GYDatum) # utxoAtTxOutRef :: GYTxOutRef -> RandT g m (Maybe GYUTxO) # utxoAtTxOutRefWithDatum :: GYTxOutRef -> RandT g m (Maybe (GYUTxO, Maybe GYDatum)) # utxosAtTxOutRefs :: [GYTxOutRef] -> RandT g m GYUTxOs # utxosAtTxOutRefsWithDatums :: [GYTxOutRef] -> RandT g m [(GYUTxO, Maybe GYDatum)] # utxosAtAddress :: GYAddress -> Maybe GYAssetClass -> RandT g m GYUTxOs # utxosAtAddressWithDatums :: GYAddress -> Maybe GYAssetClass -> RandT g m [(GYUTxO, Maybe GYDatum)] # utxosAtAddresses :: [GYAddress] -> RandT g m GYUTxOs # utxosAtAddressesWithDatums :: [GYAddress] -> RandT g m [(GYUTxO, Maybe GYDatum)] # utxoRefsAtAddress :: GYAddress -> RandT g m [GYTxOutRef] # utxosAtPaymentCredential :: GYPaymentCredential -> Maybe GYAssetClass -> RandT g m GYUTxOs # utxosAtPaymentCredentialWithDatums :: GYPaymentCredential -> Maybe GYAssetClass -> RandT g m [(GYUTxO, Maybe GYDatum)] # utxosAtPaymentCredentials :: [GYPaymentCredential] -> RandT g m GYUTxOs # utxosAtPaymentCredentialsWithDatums :: [GYPaymentCredential] -> RandT g m [(GYUTxO, Maybe GYDatum)] # stakeAddressInfo :: GYStakeAddress -> RandT g m (Maybe GYStakeAddressInfo) # drepState :: GYCredential 'GYKeyRoleDRep -> RandT g m (Maybe GYDRepState) # drepsState :: Set (GYCredential 'GYKeyRoleDRep) -> RandT g m (Map (GYCredential 'GYKeyRoleDRep) (Maybe GYDRepState)) # slotConfig :: RandT g m GYSlotConfig # slotOfCurrentBlock :: RandT g m GYSlot # logMsg :: GYLogNamespace -> GYLogSeverity -> String -> RandT g m () # waitUntilSlot :: GYSlot -> RandT g m GYSlot # waitForNextBlock :: RandT g m GYSlot # constitution :: RandT g m GYConstitution # proposals :: Set GYGovActionId -> RandT g m (Seq GYGovActionState) # mempoolTxs :: RandT g m [GYTx] #
GYTxQueryMonad m => GYTxQueryMonad (ReaderT env m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods networkId :: ReaderT env m GYNetworkId # lookupDatum :: GYDatumHash -> ReaderT env m (Maybe GYDatum) # utxoAtTxOutRef :: GYTxOutRef -> ReaderT env m (Maybe GYUTxO) # utxoAtTxOutRefWithDatum :: GYTxOutRef -> ReaderT env m (Maybe (GYUTxO, Maybe GYDatum)) # utxosAtTxOutRefs :: [GYTxOutRef] -> ReaderT env m GYUTxOs # utxosAtTxOutRefsWithDatums :: [GYTxOutRef] -> ReaderT env m [(GYUTxO, Maybe GYDatum)] # utxosAtAddress :: GYAddress -> Maybe GYAssetClass -> ReaderT env m GYUTxOs # utxosAtAddressWithDatums :: GYAddress -> Maybe GYAssetClass -> ReaderT env m [(GYUTxO, Maybe GYDatum)] # utxosAtAddresses :: [GYAddress] -> ReaderT env m GYUTxOs # utxosAtAddressesWithDatums :: [GYAddress] -> ReaderT env m [(GYUTxO, Maybe GYDatum)] # utxoRefsAtAddress :: GYAddress -> ReaderT env m [GYTxOutRef] # utxosAtPaymentCredential :: GYPaymentCredential -> Maybe GYAssetClass -> ReaderT env m GYUTxOs # utxosAtPaymentCredentialWithDatums :: GYPaymentCredential -> Maybe GYAssetClass -> ReaderT env m [(GYUTxO, Maybe GYDatum)] # utxosAtPaymentCredentials :: [GYPaymentCredential] -> ReaderT env m GYUTxOs # utxosAtPaymentCredentialsWithDatums :: [GYPaymentCredential] -> ReaderT env m [(GYUTxO, Maybe GYDatum)] # stakeAddressInfo :: GYStakeAddress -> ReaderT env m (Maybe GYStakeAddressInfo) # drepState :: GYCredential 'GYKeyRoleDRep -> ReaderT env m (Maybe GYDRepState) # drepsState :: Set (GYCredential 'GYKeyRoleDRep) -> ReaderT env m (Map (GYCredential 'GYKeyRoleDRep) (Maybe GYDRepState)) # slotConfig :: ReaderT env m GYSlotConfig # slotOfCurrentBlock :: ReaderT env m GYSlot # logMsg :: GYLogNamespace -> GYLogSeverity -> String -> ReaderT env m () # waitUntilSlot :: GYSlot -> ReaderT env m GYSlot # waitForNextBlock :: ReaderT env m GYSlot # constitution :: ReaderT env m GYConstitution # proposals :: Set GYGovActionId -> ReaderT env m (Seq GYGovActionState) # mempoolTxs :: ReaderT env m [GYTx] #
GYTxQueryMonad m => GYTxQueryMonad (StateT s m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods networkId :: StateT s m GYNetworkId # lookupDatum :: GYDatumHash -> StateT s m (Maybe GYDatum) # utxoAtTxOutRef :: GYTxOutRef -> StateT s m (Maybe GYUTxO) # utxoAtTxOutRefWithDatum :: GYTxOutRef -> StateT s m (Maybe (GYUTxO, Maybe GYDatum)) # utxosAtTxOutRefs :: [GYTxOutRef] -> StateT s m GYUTxOs # utxosAtTxOutRefsWithDatums :: [GYTxOutRef] -> StateT s m [(GYUTxO, Maybe GYDatum)] # utxosAtAddress :: GYAddress -> Maybe GYAssetClass -> StateT s m GYUTxOs # utxosAtAddressWithDatums :: GYAddress -> Maybe GYAssetClass -> StateT s m [(GYUTxO, Maybe GYDatum)] # utxosAtAddresses :: [GYAddress] -> StateT s m GYUTxOs # utxosAtAddressesWithDatums :: [GYAddress] -> StateT s m [(GYUTxO, Maybe GYDatum)] # utxoRefsAtAddress :: GYAddress -> StateT s m [GYTxOutRef] # utxosAtPaymentCredential :: GYPaymentCredential -> Maybe GYAssetClass -> StateT s m GYUTxOs # utxosAtPaymentCredentialWithDatums :: GYPaymentCredential -> Maybe GYAssetClass -> StateT s m [(GYUTxO, Maybe GYDatum)] # utxosAtPaymentCredentials :: [GYPaymentCredential] -> StateT s m GYUTxOs # utxosAtPaymentCredentialsWithDatums :: [GYPaymentCredential] -> StateT s m [(GYUTxO, Maybe GYDatum)] # stakeAddressInfo :: GYStakeAddress -> StateT s m (Maybe GYStakeAddressInfo) # drepState :: GYCredential 'GYKeyRoleDRep -> StateT s m (Maybe GYDRepState) # drepsState :: Set (GYCredential 'GYKeyRoleDRep) -> StateT s m (Map (GYCredential 'GYKeyRoleDRep) (Maybe GYDRepState)) # slotConfig :: StateT s m GYSlotConfig # slotOfCurrentBlock :: StateT s m GYSlot # logMsg :: GYLogNamespace -> GYLogSeverity -> String -> StateT s m () # waitUntilSlot :: GYSlot -> StateT s m GYSlot # waitForNextBlock :: StateT s m GYSlot # constitution :: StateT s m GYConstitution # proposals :: Set GYGovActionId -> StateT s m (Seq GYGovActionState) # mempoolTxs :: StateT s m [GYTx] #
GYTxQueryMonad m => GYTxQueryMonad (StateT s m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods networkId :: StateT s m GYNetworkId # lookupDatum :: GYDatumHash -> StateT s m (Maybe GYDatum) # utxoAtTxOutRef :: GYTxOutRef -> StateT s m (Maybe GYUTxO) # utxoAtTxOutRefWithDatum :: GYTxOutRef -> StateT s m (Maybe (GYUTxO, Maybe GYDatum)) # utxosAtTxOutRefs :: [GYTxOutRef] -> StateT s m GYUTxOs # utxosAtTxOutRefsWithDatums :: [GYTxOutRef] -> StateT s m [(GYUTxO, Maybe GYDatum)] # utxosAtAddress :: GYAddress -> Maybe GYAssetClass -> StateT s m GYUTxOs # utxosAtAddressWithDatums :: GYAddress -> Maybe GYAssetClass -> StateT s m [(GYUTxO, Maybe GYDatum)] # utxosAtAddresses :: [GYAddress] -> StateT s m GYUTxOs # utxosAtAddressesWithDatums :: [GYAddress] -> StateT s m [(GYUTxO, Maybe GYDatum)] # utxoRefsAtAddress :: GYAddress -> StateT s m [GYTxOutRef] # utxosAtPaymentCredential :: GYPaymentCredential -> Maybe GYAssetClass -> StateT s m GYUTxOs # utxosAtPaymentCredentialWithDatums :: GYPaymentCredential -> Maybe GYAssetClass -> StateT s m [(GYUTxO, Maybe GYDatum)] # utxosAtPaymentCredentials :: [GYPaymentCredential] -> StateT s m GYUTxOs # utxosAtPaymentCredentialsWithDatums :: [GYPaymentCredential] -> StateT s m [(GYUTxO, Maybe GYDatum)] # stakeAddressInfo :: GYStakeAddress -> StateT s m (Maybe GYStakeAddressInfo) # drepState :: GYCredential 'GYKeyRoleDRep -> StateT s m (Maybe GYDRepState) # drepsState :: Set (GYCredential 'GYKeyRoleDRep) -> StateT s m (Map (GYCredential 'GYKeyRoleDRep) (Maybe GYDRepState)) # slotConfig :: StateT s m GYSlotConfig # slotOfCurrentBlock :: StateT s m GYSlot # logMsg :: GYLogNamespace -> GYLogSeverity -> String -> StateT s m () # waitUntilSlot :: GYSlot -> StateT s m GYSlot # waitForNextBlock :: StateT s m GYSlot # constitution :: StateT s m GYConstitution # proposals :: Set GYGovActionId -> StateT s m (Seq GYGovActionState) # mempoolTxs :: StateT s m [GYTx] #
(GYTxQueryMonad m, Monoid w) => GYTxQueryMonad (WriterT w m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods networkId :: WriterT w m GYNetworkId # lookupDatum :: GYDatumHash -> WriterT w m (Maybe GYDatum) # utxoAtTxOutRef :: GYTxOutRef -> WriterT w m (Maybe GYUTxO) # utxoAtTxOutRefWithDatum :: GYTxOutRef -> WriterT w m (Maybe (GYUTxO, Maybe GYDatum)) # utxosAtTxOutRefs :: [GYTxOutRef] -> WriterT w m GYUTxOs # utxosAtTxOutRefsWithDatums :: [GYTxOutRef] -> WriterT w m [(GYUTxO, Maybe GYDatum)] # utxosAtAddress :: GYAddress -> Maybe GYAssetClass -> WriterT w m GYUTxOs # utxosAtAddressWithDatums :: GYAddress -> Maybe GYAssetClass -> WriterT w m [(GYUTxO, Maybe GYDatum)] # utxosAtAddresses :: [GYAddress] -> WriterT w m GYUTxOs # utxosAtAddressesWithDatums :: [GYAddress] -> WriterT w m [(GYUTxO, Maybe GYDatum)] # utxoRefsAtAddress :: GYAddress -> WriterT w m [GYTxOutRef] # utxosAtPaymentCredential :: GYPaymentCredential -> Maybe GYAssetClass -> WriterT w m GYUTxOs # utxosAtPaymentCredentialWithDatums :: GYPaymentCredential -> Maybe GYAssetClass -> WriterT w m [(GYUTxO, Maybe GYDatum)] # utxosAtPaymentCredentials :: [GYPaymentCredential] -> WriterT w m GYUTxOs # utxosAtPaymentCredentialsWithDatums :: [GYPaymentCredential] -> WriterT w m [(GYUTxO, Maybe GYDatum)] # stakeAddressInfo :: GYStakeAddress -> WriterT w m (Maybe GYStakeAddressInfo) # drepState :: GYCredential 'GYKeyRoleDRep -> WriterT w m (Maybe GYDRepState) # drepsState :: Set (GYCredential 'GYKeyRoleDRep) -> WriterT w m (Map (GYCredential 'GYKeyRoleDRep) (Maybe GYDRepState)) # slotConfig :: WriterT w m GYSlotConfig # slotOfCurrentBlock :: WriterT w m GYSlot # logMsg :: GYLogNamespace -> GYLogSeverity -> String -> WriterT w m () # waitUntilSlot :: GYSlot -> WriterT w m GYSlot # waitForNextBlock :: WriterT w m GYSlot # constitution :: WriterT w m GYConstitution # proposals :: Set GYGovActionId -> WriterT w m (Seq GYGovActionState) # mempoolTxs :: WriterT w m [GYTx] #
(GYTxQueryMonad m, Monoid w) => GYTxQueryMonad (WriterT w m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods networkId :: WriterT w m GYNetworkId # lookupDatum :: GYDatumHash -> WriterT w m (Maybe GYDatum) # utxoAtTxOutRef :: GYTxOutRef -> WriterT w m (Maybe GYUTxO) # utxoAtTxOutRefWithDatum :: GYTxOutRef -> WriterT w m (Maybe (GYUTxO, Maybe GYDatum)) # utxosAtTxOutRefs :: [GYTxOutRef] -> WriterT w m GYUTxOs # utxosAtTxOutRefsWithDatums :: [GYTxOutRef] -> WriterT w m [(GYUTxO, Maybe GYDatum)] # utxosAtAddress :: GYAddress -> Maybe GYAssetClass -> WriterT w m GYUTxOs # utxosAtAddressWithDatums :: GYAddress -> Maybe GYAssetClass -> WriterT w m [(GYUTxO, Maybe GYDatum)] # utxosAtAddresses :: [GYAddress] -> WriterT w m GYUTxOs # utxosAtAddressesWithDatums :: [GYAddress] -> WriterT w m [(GYUTxO, Maybe GYDatum)] # utxoRefsAtAddress :: GYAddress -> WriterT w m [GYTxOutRef] # utxosAtPaymentCredential :: GYPaymentCredential -> Maybe GYAssetClass -> WriterT w m GYUTxOs # utxosAtPaymentCredentialWithDatums :: GYPaymentCredential -> Maybe GYAssetClass -> WriterT w m [(GYUTxO, Maybe GYDatum)] # utxosAtPaymentCredentials :: [GYPaymentCredential] -> WriterT w m GYUTxOs # utxosAtPaymentCredentialsWithDatums :: [GYPaymentCredential] -> WriterT w m [(GYUTxO, Maybe GYDatum)] # stakeAddressInfo :: GYStakeAddress -> WriterT w m (Maybe GYStakeAddressInfo) # drepState :: GYCredential 'GYKeyRoleDRep -> WriterT w m (Maybe GYDRepState) # drepsState :: Set (GYCredential 'GYKeyRoleDRep) -> WriterT w m (Map (GYCredential 'GYKeyRoleDRep) (Maybe GYDRepState)) # slotConfig :: WriterT w m GYSlotConfig # slotOfCurrentBlock :: WriterT w m GYSlot # logMsg :: GYLogNamespace -> GYLogSeverity -> String -> WriterT w m () # waitUntilSlot :: GYSlot -> WriterT w m GYSlot # waitForNextBlock :: WriterT w m GYSlot # constitution :: WriterT w m GYConstitution # proposals :: Set GYGovActionId -> WriterT w m (Seq GYGovActionState) # mempoolTxs :: WriterT w m [GYTx] #
(GYTxQueryMonad m, Monoid w) => GYTxQueryMonad (WriterT w m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods networkId :: WriterT w m GYNetworkId # lookupDatum :: GYDatumHash -> WriterT w m (Maybe GYDatum) # utxoAtTxOutRef :: GYTxOutRef -> WriterT w m (Maybe GYUTxO) # utxoAtTxOutRefWithDatum :: GYTxOutRef -> WriterT w m (Maybe (GYUTxO, Maybe GYDatum)) # utxosAtTxOutRefs :: [GYTxOutRef] -> WriterT w m GYUTxOs # utxosAtTxOutRefsWithDatums :: [GYTxOutRef] -> WriterT w m [(GYUTxO, Maybe GYDatum)] # utxosAtAddress :: GYAddress -> Maybe GYAssetClass -> WriterT w m GYUTxOs # utxosAtAddressWithDatums :: GYAddress -> Maybe GYAssetClass -> WriterT w m [(GYUTxO, Maybe GYDatum)] # utxosAtAddresses :: [GYAddress] -> WriterT w m GYUTxOs # utxosAtAddressesWithDatums :: [GYAddress] -> WriterT w m [(GYUTxO, Maybe GYDatum)] # utxoRefsAtAddress :: GYAddress -> WriterT w m [GYTxOutRef] # utxosAtPaymentCredential :: GYPaymentCredential -> Maybe GYAssetClass -> WriterT w m GYUTxOs # utxosAtPaymentCredentialWithDatums :: GYPaymentCredential -> Maybe GYAssetClass -> WriterT w m [(GYUTxO, Maybe GYDatum)] # utxosAtPaymentCredentials :: [GYPaymentCredential] -> WriterT w m GYUTxOs # utxosAtPaymentCredentialsWithDatums :: [GYPaymentCredential] -> WriterT w m [(GYUTxO, Maybe GYDatum)] # stakeAddressInfo :: GYStakeAddress -> WriterT w m (Maybe GYStakeAddressInfo) # drepState :: GYCredential 'GYKeyRoleDRep -> WriterT w m (Maybe GYDRepState) # drepsState :: Set (GYCredential 'GYKeyRoleDRep) -> WriterT w m (Map (GYCredential 'GYKeyRoleDRep) (Maybe GYDRepState)) # slotConfig :: WriterT w m GYSlotConfig # slotOfCurrentBlock :: WriterT w m GYSlot # logMsg :: GYLogNamespace -> GYLogSeverity -> String -> WriterT w m () # waitUntilSlot :: GYSlot -> WriterT w m GYSlot # waitForNextBlock :: WriterT w m GYSlot # constitution :: WriterT w m GYConstitution # proposals :: Set GYGovActionId -> WriterT w m (Seq GYGovActionState) # mempoolTxs :: WriterT w m [GYTx] #

class GYTxQueryMonad m => GYTxSpecialQueryMonad (m :: Type -> Type) where #

Class of monads for querying special chain data.

Methods

systemStart :: m SystemStart #

eraHistory :: m EraHistory #

protocolParams :: m ApiProtocolParameters #

stakePools :: m (Set PoolId) #

Instances

Instances details

GYTxSpecialQueryMonad GYTxMonadClb #
Instance details Defined in GeniusYield.Test.Clb Methods systemStart :: GYTxMonadClb SystemStart # eraHistory :: GYTxMonadClb EraHistory # protocolParams :: GYTxMonadClb ApiProtocolParameters # stakePools :: GYTxMonadClb (Set PoolId) #
GYTxSpecialQueryMonad GYTxGameMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods systemStart :: GYTxGameMonadIO SystemStart # eraHistory :: GYTxGameMonadIO EraHistory # protocolParams :: GYTxGameMonadIO ApiProtocolParameters # stakePools :: GYTxGameMonadIO (Set PoolId) #
GYTxSpecialQueryMonad GYTxMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods systemStart :: GYTxMonadIO SystemStart # eraHistory :: GYTxMonadIO EraHistory # protocolParams :: GYTxMonadIO ApiProtocolParameters # stakePools :: GYTxMonadIO (Set PoolId) #
GYTxSpecialQueryMonad GYTxBuilderMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Builder Methods systemStart :: GYTxBuilderMonadIO SystemStart # eraHistory :: GYTxBuilderMonadIO EraHistory # protocolParams :: GYTxBuilderMonadIO ApiProtocolParameters # stakePools :: GYTxBuilderMonadIO (Set PoolId) #
GYTxSpecialQueryMonad GYTxQueryMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Query Methods systemStart :: GYTxQueryMonadIO SystemStart # eraHistory :: GYTxQueryMonadIO EraHistory # protocolParams :: GYTxQueryMonadIO ApiProtocolParameters # stakePools :: GYTxQueryMonadIO (Set PoolId) #
GYTxSpecialQueryMonad m => GYTxSpecialQueryMonad (FeeTracker m) #
Instance details Defined in GeniusYield.Test.FeeTracker Methods systemStart :: FeeTracker m SystemStart # eraHistory :: FeeTracker m EraHistory # protocolParams :: FeeTracker m ApiProtocolParameters # stakePools :: FeeTracker m (Set PoolId) #
GYTxSpecialQueryMonad m => GYTxSpecialQueryMonad (FeeTrackerGame m) #
Instance details Defined in GeniusYield.Test.FeeTracker Methods systemStart :: FeeTrackerGame m SystemStart # eraHistory :: FeeTrackerGame m EraHistory # protocolParams :: FeeTrackerGame m ApiProtocolParameters # stakePools :: FeeTrackerGame m (Set PoolId) #
GYTxSpecialQueryMonad m => GYTxSpecialQueryMonad (RandT g m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods systemStart :: RandT g m SystemStart # eraHistory :: RandT g m EraHistory # protocolParams :: RandT g m ApiProtocolParameters # stakePools :: RandT g m (Set PoolId) #
GYTxSpecialQueryMonad m => GYTxSpecialQueryMonad (ReaderT env m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods systemStart :: ReaderT env m SystemStart # eraHistory :: ReaderT env m EraHistory # protocolParams :: ReaderT env m ApiProtocolParameters # stakePools :: ReaderT env m (Set PoolId) #
GYTxSpecialQueryMonad m => GYTxSpecialQueryMonad (StateT s m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods systemStart :: StateT s m SystemStart # eraHistory :: StateT s m EraHistory # protocolParams :: StateT s m ApiProtocolParameters # stakePools :: StateT s m (Set PoolId) #
GYTxSpecialQueryMonad m => GYTxSpecialQueryMonad (StateT s m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods systemStart :: StateT s m SystemStart # eraHistory :: StateT s m EraHistory # protocolParams :: StateT s m ApiProtocolParameters # stakePools :: StateT s m (Set PoolId) #
(GYTxSpecialQueryMonad m, Monoid w) => GYTxSpecialQueryMonad (WriterT w m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods systemStart :: WriterT w m SystemStart # eraHistory :: WriterT w m EraHistory # protocolParams :: WriterT w m ApiProtocolParameters # stakePools :: WriterT w m (Set PoolId) #
(GYTxSpecialQueryMonad m, Monoid w) => GYTxSpecialQueryMonad (WriterT w m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods systemStart :: WriterT w m SystemStart # eraHistory :: WriterT w m EraHistory # protocolParams :: WriterT w m ApiProtocolParameters # stakePools :: WriterT w m (Set PoolId) #
(GYTxSpecialQueryMonad m, Monoid w) => GYTxSpecialQueryMonad (WriterT w m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods systemStart :: WriterT w m SystemStart # eraHistory :: WriterT w m EraHistory # protocolParams :: WriterT w m ApiProtocolParameters # stakePools :: WriterT w m (Set PoolId) #

class GYTxQueryMonad m => GYTxUserQueryMonad (m :: Type -> Type) 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.

someUTxO :: PlutusVersion -> 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 Methods ownAddresses :: GYTxMonadClb [GYAddress] # ownChangeAddress :: GYTxMonadClb GYAddress # ownCollateral :: GYTxMonadClb (Maybe GYUTxO) # availableUTxOs :: GYTxMonadClb GYUTxOs # someUTxO :: PlutusVersion -> GYTxMonadClb GYTxOutRef #
GYTxUserQueryMonad GYTxMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods ownAddresses :: GYTxMonadIO [GYAddress] # ownChangeAddress :: GYTxMonadIO GYAddress # ownCollateral :: GYTxMonadIO (Maybe GYUTxO) # availableUTxOs :: GYTxMonadIO GYUTxOs # someUTxO :: PlutusVersion -> GYTxMonadIO GYTxOutRef #
GYTxUserQueryMonad GYTxBuilderMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Builder Methods ownAddresses :: GYTxBuilderMonadIO [GYAddress] # ownChangeAddress :: GYTxBuilderMonadIO GYAddress # ownCollateral :: GYTxBuilderMonadIO (Maybe GYUTxO) # availableUTxOs :: GYTxBuilderMonadIO GYUTxOs # someUTxO :: PlutusVersion -> GYTxBuilderMonadIO GYTxOutRef #
GYTxUserQueryMonad m => GYTxUserQueryMonad (FeeTracker m) #
Instance details Defined in GeniusYield.Test.FeeTracker Methods ownAddresses :: FeeTracker m [GYAddress] # ownChangeAddress :: FeeTracker m GYAddress # ownCollateral :: FeeTracker m (Maybe GYUTxO) # availableUTxOs :: FeeTracker m GYUTxOs # someUTxO :: PlutusVersion -> FeeTracker m GYTxOutRef #
GYTxUserQueryMonad m => GYTxUserQueryMonad (RandT g m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods ownAddresses :: RandT g m [GYAddress] # ownChangeAddress :: RandT g m GYAddress # ownCollateral :: RandT g m (Maybe GYUTxO) # availableUTxOs :: RandT g m GYUTxOs # someUTxO :: PlutusVersion -> RandT g m GYTxOutRef #
GYTxUserQueryMonad m => GYTxUserQueryMonad (ReaderT env m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods ownAddresses :: ReaderT env m [GYAddress] # ownChangeAddress :: ReaderT env m GYAddress # ownCollateral :: ReaderT env m (Maybe GYUTxO) # availableUTxOs :: ReaderT env m GYUTxOs # someUTxO :: PlutusVersion -> ReaderT env m GYTxOutRef #
GYTxUserQueryMonad m => GYTxUserQueryMonad (StateT s m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods ownAddresses :: StateT s m [GYAddress] # ownChangeAddress :: StateT s m GYAddress # ownCollateral :: StateT s m (Maybe GYUTxO) # availableUTxOs :: StateT s m GYUTxOs # someUTxO :: PlutusVersion -> StateT s m GYTxOutRef #
GYTxUserQueryMonad m => GYTxUserQueryMonad (StateT s m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods ownAddresses :: StateT s m [GYAddress] # ownChangeAddress :: StateT s m GYAddress # ownCollateral :: StateT s m (Maybe GYUTxO) # availableUTxOs :: StateT s m GYUTxOs # someUTxO :: PlutusVersion -> StateT s m GYTxOutRef #
(GYTxUserQueryMonad m, Monoid w) => GYTxUserQueryMonad (WriterT w m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods ownAddresses :: WriterT w m [GYAddress] # ownChangeAddress :: WriterT w m GYAddress # ownCollateral :: WriterT w m (Maybe GYUTxO) # availableUTxOs :: WriterT w m GYUTxOs # someUTxO :: PlutusVersion -> WriterT w m GYTxOutRef #
(GYTxUserQueryMonad m, Monoid w) => GYTxUserQueryMonad (WriterT w m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods ownAddresses :: WriterT w m [GYAddress] # ownChangeAddress :: WriterT w m GYAddress # ownCollateral :: WriterT w m (Maybe GYUTxO) # availableUTxOs :: WriterT w m GYUTxOs # someUTxO :: PlutusVersion -> WriterT w m GYTxOutRef #
(GYTxUserQueryMonad m, Monoid w) => GYTxUserQueryMonad (WriterT w m) #
Instance details Defined in GeniusYield.TxBuilder.Query.Class Methods ownAddresses :: WriterT w m [GYAddress] # ownChangeAddress :: WriterT w m GYAddress # ownCollateral :: WriterT w m (Maybe GYUTxO) # availableUTxOs :: WriterT w m GYUTxOs # someUTxO :: PlutusVersion -> WriterT w m GYTxOutRef #