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

GeniusYield.TxBuilder.IO

Description

 
Synopsis

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 
Instance details

Defined in GeniusYield.TxBuilder.IO

type TxMonadOf GYTxGameMonadIO = GYTxMonadIO

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

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] #

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 
Instance details

Defined in GeniusYield.TxBuilder.IO

type TxBuilderStrategy GYTxMonadIO

Methods

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

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

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

buildTxBodyChainingWithStrategy :: forall (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) #

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] #

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

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] #

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 
Instance details

Defined in GeniusYield.TxBuilder.IO.Builder

type TxBuilderStrategy GYTxBuilderMonadIO = GYCoinSelectionStrategy

Methods

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

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

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

buildTxBodyChainingWithStrategy :: forall (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) #

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] #

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.

-> GYSomePaymentSigningKey

Payment signing key of the wallet

-> Maybe GYSomeStakeSigningKey

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.