Copyright	(c) 2023 GYELD GMBH
License	Apache 2.0
Maintainer	[email protected]
Stability	develop
Safe Haskell	Safe-Inferred
Language	GHC2021

GeniusYield.TxBuilder.IO

Description

Synopsis

data GYTxGameMonadIO a
data GYTxMonadIO a
data GYTxQueryMonadIO a
data GYTxBuilderMonadIO a
runGYTxBuilderMonadIO ∷ GYNetworkId → GYProviders → [GYAddress] → GYAddress → Maybe (GYTxOutRef, Bool) → GYTxBuilderMonadIO a → IO a
runGYTxQueryMonadIO ∷ GYNetworkId → GYProviders → GYTxQueryMonadIO a → IO a
runGYTxMonadIO ∷ GYNetworkId → GYProviders → GYPaymentSigningKey → Maybe GYStakeSigningKey → [GYAddress] → GYAddress → Maybe (GYTxOutRef, Bool) → GYTxMonadIO a → IO a
runGYTxGameMonadIO ∷ GYNetworkId → GYProviders → GYTxGameMonadIO a → IO a
queryAsBuilderMonad ∷ GYTxQueryMonadIO a → GYTxBuilderMonadIO a
liftQueryMonad ∷ GYTxQueryMonadIO a → GYTxMonadIO a
liftBuilderMonad ∷ GYTxBuilderMonadIO a → GYTxMonadIO a

Documentation

data GYTxGameMonadIO a #

GYTxMonad interpretation run under IO.

Instances

Instances details

MonadRandom GYTxGameMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods getRandomR ∷ Random a ⇒ (a, a) → GYTxGameMonadIO a # getRandom ∷ Random a ⇒ GYTxGameMonadIO a # getRandomRs ∷ Random a ⇒ (a, a) → GYTxGameMonadIO [a] # getRandoms ∷ Random a ⇒ GYTxGameMonadIO [a] #
GYTxGameMonad GYTxGameMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Associated Types type TxMonadOf GYTxGameMonadIO = (r ∷ Type → Type) # Methods createUser ∷ GYTxGameMonadIO User # asUser ∷ User → TxMonadOf GYTxGameMonadIO a → GYTxGameMonadIO a #
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) # slotConfig ∷ GYTxGameMonadIO GYSlotConfig # slotOfCurrentBlock ∷ GYTxGameMonadIO GYSlot # logMsg ∷ GYLogNamespace → GYLogSeverity → String → GYTxGameMonadIO () # waitUntilSlot ∷ GYSlot → GYTxGameMonadIO GYSlot # waitForNextBlock ∷ GYTxGameMonadIO GYSlot #
GYTxSpecialQueryMonad GYTxGameMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods systemStart ∷ GYTxGameMonadIO SystemStart # eraHistory ∷ GYTxGameMonadIO EraHistory # protocolParams ∷ GYTxGameMonadIO ApiProtocolParameters # stakePools ∷ GYTxGameMonadIO (Set PoolId) #
Applicative GYTxGameMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods pure ∷ a → GYTxGameMonadIO a # (<>) ∷ GYTxGameMonadIO (a → b) → GYTxGameMonadIO a → GYTxGameMonadIO b # liftA2 ∷ (a → b → c) → GYTxGameMonadIO a → GYTxGameMonadIO b → GYTxGameMonadIO c # (>) ∷ GYTxGameMonadIO a → GYTxGameMonadIO b → GYTxGameMonadIO b # (<*) ∷ GYTxGameMonadIO a → GYTxGameMonadIO b → GYTxGameMonadIO a #
Functor GYTxGameMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods fmap ∷ (a → b) → GYTxGameMonadIO a → GYTxGameMonadIO b # (<$) ∷ a → GYTxGameMonadIO b → GYTxGameMonadIO a #
Monad GYTxGameMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods (>>=) ∷ GYTxGameMonadIO a → (a → GYTxGameMonadIO b) → GYTxGameMonadIO b # (>>) ∷ GYTxGameMonadIO a → GYTxGameMonadIO b → GYTxGameMonadIO b # return ∷ a → GYTxGameMonadIO a #
MonadError GYTxMonadException GYTxGameMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods throwError ∷ GYTxMonadException → GYTxGameMonadIO a # catchError ∷ GYTxGameMonadIO a → (GYTxMonadException → GYTxGameMonadIO a) → GYTxGameMonadIO a #
type TxMonadOf GYTxGameMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO type TxMonadOf GYTxGameMonadIO = GYTxMonadIO

data GYTxMonadIO a #

GYTxMonad interpretation run under IO.

Instances

Instances details

MonadRandom GYTxMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods getRandomR ∷ Random a ⇒ (a, a) → GYTxMonadIO a # getRandom ∷ Random a ⇒ GYTxMonadIO a # getRandomRs ∷ Random a ⇒ (a, a) → GYTxMonadIO [a] # getRandoms ∷ Random a ⇒ GYTxMonadIO [a] #
GYTxBuilderMonad GYTxMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Associated Types type TxBuilderStrategy GYTxMonadIO # Methods buildTxBodyWithStrategy ∷ ∀ (v ∷ PlutusVersion). TxBuilderStrategy GYTxMonadIO → GYTxSkeleton v → GYTxMonadIO GYTxBody # buildTxBodyParallelWithStrategy ∷ ∀ (v ∷ PlutusVersion). TxBuilderStrategy GYTxMonadIO → [GYTxSkeleton v] → GYTxMonadIO GYTxBuildResult # buildTxBodyChainingWithStrategy ∷ ∀ (v ∷ PlutusVersion). TxBuilderStrategy GYTxMonadIO → [GYTxSkeleton v] → GYTxMonadIO GYTxBuildResult #
GYTxMonad GYTxMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods signTxBody ∷ GYTxBody → GYTxMonadIO GYTx # signTxBodyWithStake ∷ GYTxBody → GYTxMonadIO GYTx # submitTx ∷ GYTx → GYTxMonadIO GYTxId # awaitTxConfirmed' ∷ GYAwaitTxParameters → GYTxId → GYTxMonadIO () #
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) # slotConfig ∷ GYTxMonadIO GYSlotConfig # slotOfCurrentBlock ∷ GYTxMonadIO GYSlot # logMsg ∷ GYLogNamespace → GYLogSeverity → String → GYTxMonadIO () # waitUntilSlot ∷ GYSlot → GYTxMonadIO GYSlot # waitForNextBlock ∷ GYTxMonadIO GYSlot #
GYTxSpecialQueryMonad GYTxMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods systemStart ∷ GYTxMonadIO SystemStart # eraHistory ∷ GYTxMonadIO EraHistory # protocolParams ∷ GYTxMonadIO ApiProtocolParameters # stakePools ∷ GYTxMonadIO (Set PoolId) #
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 #
Applicative GYTxMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods pure ∷ a → GYTxMonadIO a # (<>) ∷ GYTxMonadIO (a → b) → GYTxMonadIO a → GYTxMonadIO b # liftA2 ∷ (a → b → c) → GYTxMonadIO a → GYTxMonadIO b → GYTxMonadIO c # (>) ∷ GYTxMonadIO a → GYTxMonadIO b → GYTxMonadIO b # (<*) ∷ GYTxMonadIO a → GYTxMonadIO b → GYTxMonadIO a #
Functor GYTxMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods fmap ∷ (a → b) → GYTxMonadIO a → GYTxMonadIO b # (<$) ∷ a → GYTxMonadIO b → GYTxMonadIO a #
Monad GYTxMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods (>>=) ∷ GYTxMonadIO a → (a → GYTxMonadIO b) → GYTxMonadIO b # (>>) ∷ GYTxMonadIO a → GYTxMonadIO b → GYTxMonadIO b # return ∷ a → GYTxMonadIO a #
MonadError GYTxMonadException GYTxMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods throwError ∷ GYTxMonadException → GYTxMonadIO a # catchError ∷ GYTxMonadIO a → (GYTxMonadException → GYTxMonadIO a) → GYTxMonadIO a #
type TxBuilderStrategy GYTxMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO type TxBuilderStrategy GYTxMonadIO

data GYTxQueryMonadIO a #

GYTxQueryMonad interpretation run under IO.

Instances

Instances details

MonadRandom GYTxQueryMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Query Methods getRandomR ∷ Random a ⇒ (a, a) → GYTxQueryMonadIO a # getRandom ∷ Random a ⇒ GYTxQueryMonadIO a # getRandomRs ∷ Random a ⇒ (a, a) → GYTxQueryMonadIO [a] # getRandoms ∷ Random a ⇒ GYTxQueryMonadIO [a] #
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) # slotConfig ∷ GYTxQueryMonadIO GYSlotConfig # slotOfCurrentBlock ∷ GYTxQueryMonadIO GYSlot # logMsg ∷ GYLogNamespace → GYLogSeverity → String → GYTxQueryMonadIO () # waitUntilSlot ∷ GYSlot → GYTxQueryMonadIO GYSlot # waitForNextBlock ∷ GYTxQueryMonadIO GYSlot #
GYTxSpecialQueryMonad GYTxQueryMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Query Methods systemStart ∷ GYTxQueryMonadIO SystemStart # eraHistory ∷ GYTxQueryMonadIO EraHistory # protocolParams ∷ GYTxQueryMonadIO ApiProtocolParameters # stakePools ∷ GYTxQueryMonadIO (Set PoolId) #
Applicative GYTxQueryMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Query Methods pure ∷ a → GYTxQueryMonadIO a # (<>) ∷ GYTxQueryMonadIO (a → b) → GYTxQueryMonadIO a → GYTxQueryMonadIO b # liftA2 ∷ (a → b → c) → GYTxQueryMonadIO a → GYTxQueryMonadIO b → GYTxQueryMonadIO c # (>) ∷ GYTxQueryMonadIO a → GYTxQueryMonadIO b → GYTxQueryMonadIO b # (<*) ∷ GYTxQueryMonadIO a → GYTxQueryMonadIO b → GYTxQueryMonadIO a #
Functor GYTxQueryMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Query Methods fmap ∷ (a → b) → GYTxQueryMonadIO a → GYTxQueryMonadIO b # (<$) ∷ a → GYTxQueryMonadIO b → GYTxQueryMonadIO a #
Monad GYTxQueryMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Query Methods (>>=) ∷ GYTxQueryMonadIO a → (a → GYTxQueryMonadIO b) → GYTxQueryMonadIO b # (>>) ∷ GYTxQueryMonadIO a → GYTxQueryMonadIO b → GYTxQueryMonadIO b # return ∷ a → GYTxQueryMonadIO a #
MonadError GYTxMonadException GYTxQueryMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Query Methods throwError ∷ GYTxMonadException → GYTxQueryMonadIO a # catchError ∷ GYTxQueryMonadIO a → (GYTxMonadException → GYTxQueryMonadIO a) → GYTxQueryMonadIO a #

data GYTxBuilderMonadIO a #

GYTxUserQueryMonad interpretation run under IO.

Instances

Instances details

MonadRandom GYTxBuilderMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Builder Methods getRandomR ∷ Random a ⇒ (a, a) → GYTxBuilderMonadIO a # getRandom ∷ Random a ⇒ GYTxBuilderMonadIO a # getRandomRs ∷ Random a ⇒ (a, a) → GYTxBuilderMonadIO [a] # getRandoms ∷ Random a ⇒ GYTxBuilderMonadIO [a] #
GYTxBuilderMonad GYTxBuilderMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Builder Associated Types type TxBuilderStrategy GYTxBuilderMonadIO # Methods buildTxBodyWithStrategy ∷ ∀ (v ∷ PlutusVersion). TxBuilderStrategy GYTxBuilderMonadIO → GYTxSkeleton v → GYTxBuilderMonadIO GYTxBody # buildTxBodyParallelWithStrategy ∷ ∀ (v ∷ PlutusVersion). TxBuilderStrategy GYTxBuilderMonadIO → [GYTxSkeleton v] → GYTxBuilderMonadIO GYTxBuildResult # buildTxBodyChainingWithStrategy ∷ ∀ (v ∷ PlutusVersion). TxBuilderStrategy GYTxBuilderMonadIO → [GYTxSkeleton v] → GYTxBuilderMonadIO GYTxBuildResult #
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) # slotConfig ∷ GYTxBuilderMonadIO GYSlotConfig # slotOfCurrentBlock ∷ GYTxBuilderMonadIO GYSlot # logMsg ∷ GYLogNamespace → GYLogSeverity → String → GYTxBuilderMonadIO () # waitUntilSlot ∷ GYSlot → GYTxBuilderMonadIO GYSlot # waitForNextBlock ∷ GYTxBuilderMonadIO GYSlot #
GYTxSpecialQueryMonad GYTxBuilderMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Builder Methods systemStart ∷ GYTxBuilderMonadIO SystemStart # eraHistory ∷ GYTxBuilderMonadIO EraHistory # protocolParams ∷ GYTxBuilderMonadIO ApiProtocolParameters # stakePools ∷ GYTxBuilderMonadIO (Set PoolId) #
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 #
Applicative GYTxBuilderMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Builder Methods pure ∷ a → GYTxBuilderMonadIO a # (<>) ∷ GYTxBuilderMonadIO (a → b) → GYTxBuilderMonadIO a → GYTxBuilderMonadIO b # liftA2 ∷ (a → b → c) → GYTxBuilderMonadIO a → GYTxBuilderMonadIO b → GYTxBuilderMonadIO c # (>) ∷ GYTxBuilderMonadIO a → GYTxBuilderMonadIO b → GYTxBuilderMonadIO b # (<*) ∷ GYTxBuilderMonadIO a → GYTxBuilderMonadIO b → GYTxBuilderMonadIO a #
Functor GYTxBuilderMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Builder Methods fmap ∷ (a → b) → GYTxBuilderMonadIO a → GYTxBuilderMonadIO b # (<$) ∷ a → GYTxBuilderMonadIO b → GYTxBuilderMonadIO a #
Monad GYTxBuilderMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Builder Methods (>>=) ∷ GYTxBuilderMonadIO a → (a → GYTxBuilderMonadIO b) → GYTxBuilderMonadIO b # (>>) ∷ GYTxBuilderMonadIO a → GYTxBuilderMonadIO b → GYTxBuilderMonadIO b # return ∷ a → GYTxBuilderMonadIO a #
MonadError GYTxMonadException GYTxBuilderMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Builder Methods throwError ∷ GYTxMonadException → GYTxBuilderMonadIO a # catchError ∷ GYTxBuilderMonadIO a → (GYTxMonadException → GYTxBuilderMonadIO a) → GYTxBuilderMonadIO a #
type TxBuilderStrategy GYTxBuilderMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Builder type TxBuilderStrategy GYTxBuilderMonadIO = GYCoinSelectionStrategy

runGYTxBuilderMonadIO #

Arguments

∷ GYNetworkId	Network ID.
→ GYProviders	Provider.
→ [GYAddress]	Addresses belonging to wallet.
→ GYAddress	Change address.
→ Maybe (GYTxOutRef, Bool)	If `Nothing` is provided, framework would pick up a suitable UTxO as collateral and in such case is also free to spend it. If something is given with boolean being `False` then framework will use the given `GYTxOutRef` as collateral and would reserve it as well. But if boolean is `True`, framework would only use it as collateral and reserve it, if value in the given UTxO is exactly 5 ada.
→ GYTxBuilderMonadIO a
→ IO a

runGYTxQueryMonadIO ∷ GYNetworkId → GYProviders → GYTxQueryMonadIO a → IO a #

runGYTxMonadIO #

Arguments

∷ GYNetworkId	Network ID.
→ GYProviders	Provider.
→ GYPaymentSigningKey	Payment signing key of the wallet
→ Maybe GYStakeSigningKey	Stake signing key of the wallet (optional)
→ [GYAddress]	Addresses belonging to wallet.
→ GYAddress	Change address.
→ Maybe (GYTxOutRef, Bool)	If `Nothing` is provided, framework would pick up a suitable UTxO as collateral and in such case is also free to spend it. If something is given with boolean being `False` then framework will use the given `GYTxOutRef` as collateral and would reserve it as well. But if boolean is `True`, framework would only use it as collateral and reserve it, if value in the given UTxO is exactly 5 ada.
→ GYTxMonadIO a
→ IO a

runGYTxGameMonadIO #

Arguments

∷ GYNetworkId	Network ID.
→ GYProviders	Provider.
→ GYTxGameMonadIO a
→ IO a

queryAsBuilderMonad ∷ GYTxQueryMonadIO a → GYTxBuilderMonadIO a #

Lift a GYTxQueryMonadIO into a GYTxBuilderMonadIO

liftQueryMonad ∷ GYTxQueryMonadIO a → GYTxMonadIO a #

Lift a GYTxQueryMonadIO into GYTxMonadIO.

liftBuilderMonad ∷ GYTxBuilderMonadIO a → GYTxMonadIO a #

Lift a GYTxBuilderMonadIO into GYTxMonadIO.