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

GeniusYield.TxBuilder.Class

Description

Synopsis

class Monad m => MonadError e (m :: Type -> Type) | m -> e where
- throwError :: e -> m a
- catchError :: m a -> (e -> m a) -> m a
class Monad m => MonadRandom (m :: Type -> Type) where
- getRandomR :: Random a => (a, a) -> m a
- getRandom :: Random a => m a
- getRandomRs :: Random a => (a, a) -> m [a]
- getRandoms :: Random a => m [a]
class (GYTxMonad (TxMonadOf m), GYTxSpecialQueryMonad m) => GYTxGameMonad (m :: Type -> Type) where
- type TxMonadOf (m :: Type -> Type) = (r :: Type -> Type) | r -> m
- createUser :: m User
- asUser :: User -> TxMonadOf m a -> m a
class GYTxBuilderMonad m => GYTxMonad (m :: Type -> Type) where
- signTxBody :: GYTxBody -> m GYTx
- signTxBodyWithStake :: GYTxBody -> m GYTx
- submitTx :: GYTx -> m GYTxId
- awaitTxConfirmed' :: GYAwaitTxParameters -> GYTxId -> m ()
signTxBodyImpl :: GYTxMonad m => m GYSomePaymentSigningKey -> GYTxBody -> m GYTx
signTxBodyWithStakeImpl :: GYTxMonad m => m (GYSomePaymentSigningKey, Maybe GYSomeStakeSigningKey) -> GYTxBody -> m GYTx
class (Default (TxBuilderStrategy m), GYTxSpecialQueryMonad m, GYTxUserQueryMonad m) => GYTxBuilderMonad (m :: Type -> Type) where
- type TxBuilderStrategy (m :: Type -> Type)
- buildTxBodyWithStrategy :: forall (v :: PlutusVersion). TxBuilderStrategy m -> GYTxSkeleton v -> m GYTxBody
- buildTxBodyWithStrategyAndExtraConfiguration :: forall (v :: PlutusVersion). TxBuilderStrategy m -> GYTxExtraConfiguration v -> GYTxSkeleton v -> m GYTxBody
- buildTxBodyParallelWithStrategy :: forall (v :: PlutusVersion). TxBuilderStrategy m -> [GYTxSkeleton v] -> m GYTxBuildResult
- buildTxBodyChainingWithStrategy :: forall (v :: PlutusVersion). TxBuilderStrategy m -> [GYTxSkeleton v] -> m GYTxBuildResult
class MonadError GYTxMonadException m => GYTxQueryMonad (m :: Type -> Type) where
- networkId :: m GYNetworkId
- lookupDatum :: GYDatumHash -> m (Maybe GYDatum)
- utxoAtTxOutRef :: GYTxOutRef -> m (Maybe GYUTxO)
- utxoAtTxOutRefWithDatum :: GYTxOutRef -> m (Maybe (GYUTxO, Maybe GYDatum))
- utxosAtTxOutRefs :: [GYTxOutRef] -> m GYUTxOs
- utxosAtTxOutRefsWithDatums :: [GYTxOutRef] -> m [(GYUTxO, Maybe GYDatum)]
- utxosAtAddress :: GYAddress -> Maybe GYAssetClass -> m GYUTxOs
- utxosWithAsset :: GYNonAdaToken -> m GYUTxOs
- utxosAtAddressWithDatums :: GYAddress -> Maybe GYAssetClass -> m [(GYUTxO, Maybe GYDatum)]
- utxosAtAddresses :: [GYAddress] -> m GYUTxOs
- utxosAtAddressesWithDatums :: [GYAddress] -> m [(GYUTxO, Maybe GYDatum)]
- utxoRefsAtAddress :: GYAddress -> m [GYTxOutRef]
- utxosAtPaymentCredential :: GYPaymentCredential -> Maybe GYAssetClass -> m GYUTxOs
- utxosAtPaymentCredentialWithDatums :: GYPaymentCredential -> Maybe GYAssetClass -> m [(GYUTxO, Maybe GYDatum)]
- utxosAtPaymentCredentials :: [GYPaymentCredential] -> m GYUTxOs
- utxosAtPaymentCredentialsWithDatums :: [GYPaymentCredential] -> m [(GYUTxO, Maybe GYDatum)]
- stakeAddressInfo :: GYStakeAddress -> m (Maybe GYStakeAddressInfo)
- drepState :: GYCredential 'GYKeyRoleDRep -> m (Maybe GYDRepState)
- drepsState :: Set (GYCredential 'GYKeyRoleDRep) -> m (Map (GYCredential 'GYKeyRoleDRep) (Maybe GYDRepState))
- slotConfig :: m GYSlotConfig
- slotOfCurrentBlock :: m GYSlot
- logMsg :: GYLogNamespace -> GYLogSeverity -> String -> m ()
- waitUntilSlot :: GYSlot -> m GYSlot
- waitForNextBlock :: m GYSlot
- constitution :: m GYConstitution
- proposals :: Set GYGovActionId -> m (Seq GYGovActionState)
- mempoolTxs :: m [GYTx]
class GYTxQueryMonad m => GYTxSpecialQueryMonad (m :: Type -> Type) where
- systemStart :: m SystemStart
- eraHistory :: m EraHistory
- protocolParams :: m ApiProtocolParameters
- stakePools :: m (Set PoolId)
class GYTxQueryMonad m => GYTxUserQueryMonad (m :: Type -> Type) where
- ownAddresses :: m [GYAddress]
- ownChangeAddress :: m GYAddress
- ownCollateral :: m (Maybe GYUTxO)
- availableUTxOs :: m GYUTxOs
- someUTxO :: PlutusVersion -> m GYTxOutRef
data GYTxSkeleton (v :: PlutusVersion) = GYTxSkeleton {
- gytxIns :: ![GYTxIn v]
- gytxOuts :: ![GYTxOut v]
- gytxRefIns :: !(GYTxSkeletonRefIns v)
- gytxMint :: !(Map (GYBuildScript v) (Map GYTokenName Integer, GYRedeemer))
- gytxWdrls :: ![GYTxWdrl v]
- gytxSigs :: !(Set GYPubKeyHash)
- gytxCerts :: ![GYTxCert v]
- gytxInvalidBefore :: !(Maybe GYSlot)
- gytxInvalidAfter :: !(Maybe GYSlot)
- gytxMetadata :: !(Maybe GYTxMetadata)
- gytxVotingProcedures :: !(GYTxSkeletonVotingProcedures v)
- gytxProposalProcedures :: !(GYTxSkeletonProposalProcedures v)
- gytxDonation :: !(GYTxSkeletonDonation v)
}
data GYTxSkeletonRefIns (a :: PlutusVersion) where
- GYTxSkeletonRefIns :: forall (a :: PlutusVersion). !(Set GYTxOutRef) -> GYTxSkeletonRefIns a
- GYTxSkeletonNoRefIns :: forall (a :: PlutusVersion). GYTxSkeletonRefIns a
buildTxBody :: forall (v :: PlutusVersion) m. GYTxBuilderMonad m => GYTxSkeleton v -> m GYTxBody
buildTxBodyWithExtraConfiguration :: forall (v :: PlutusVersion) m. GYTxBuilderMonad m => GYTxExtraConfiguration v -> GYTxSkeleton v -> m GYTxBody
buildTxBodyParallel :: forall (v :: PlutusVersion) m. GYTxBuilderMonad m => [GYTxSkeleton v] -> m GYTxBuildResult
buildTxBodyChaining :: forall (v :: PlutusVersion) m. GYTxBuilderMonad m => [GYTxSkeleton v] -> m GYTxBuildResult
waitNSlots :: GYTxQueryMonad m => Word64 -> m GYSlot
waitNSlots_ :: GYTxQueryMonad m => Word64 -> m ()
waitUntilSlot_ :: GYTxQueryMonad m => GYSlot -> m ()
submitTx_ :: GYTxMonad m => GYTx -> m ()
submitTxConfirmed :: GYTxMonad m => GYTx -> m GYTxId
submitTxConfirmed_ :: GYTxMonad m => GYTx -> m ()
submitTxConfirmed' :: GYTxMonad m => GYAwaitTxParameters -> GYTx -> m GYTxId
submitTxConfirmed'_ :: GYTxMonad m => GYAwaitTxParameters -> GYTx -> m ()
submitTxBody :: forall a m. (GYTxMonad m, ToShelleyWitnessSigningKey a) => GYTxBody -> [a] -> m GYTxId
submitTxBody_ :: forall a m. (GYTxMonad m, ToShelleyWitnessSigningKey a) => GYTxBody -> [a] -> m ()
submitTxBodyConfirmed :: forall a m. (GYTxMonad m, ToShelleyWitnessSigningKey a) => GYTxBody -> [a] -> m GYTxId
submitTxBodyConfirmed_ :: (GYTxMonad m, ToShelleyWitnessSigningKey a) => GYTxBody -> [a] -> m ()
signAndSubmitConfirmed :: GYTxMonad m => GYTxBody -> m GYTxId
signAndSubmitConfirmed_ :: GYTxMonad m => GYTxBody -> m ()
awaitTxConfirmed :: GYTxMonad m => GYTxId -> m ()
gyTxSkeletonRefInsToList :: forall (v :: PlutusVersion). GYTxSkeletonRefIns v -> [GYTxOutRef]
gyTxSkeletonRefInsSet :: forall (v :: PlutusVersion). GYTxSkeletonRefIns v -> Set GYTxOutRef
lookupDatum' :: GYTxQueryMonad m => GYDatumHash -> m GYDatum
utxoAtTxOutRef' :: GYTxQueryMonad m => GYTxOutRef -> m GYUTxO
utxoAtTxOutRefWithDatum' :: GYTxQueryMonad m => GYTxOutRef -> m (GYUTxO, Maybe GYDatum)
someUTxOWithoutRefScript :: GYTxUserQueryMonad m => m GYTxOutRef
slotToBeginTime :: GYTxQueryMonad f => GYSlot -> f GYTime
slotToEndTime :: GYTxQueryMonad f => GYSlot -> f GYTime
enclosingSlotFromTime :: GYTxQueryMonad f => GYTime -> f (Maybe GYSlot)
enclosingSlotFromTime' :: GYTxQueryMonad m => GYTime -> m GYSlot
slotToEpoch :: GYTxQueryMonad m => GYSlot -> m GYEpochNo
epochToBeginSlot :: GYTxQueryMonad m => GYEpochNo -> m GYSlot
scriptAddress :: forall m (v :: PlutusVersion). GYTxQueryMonad m => GYScript v -> m GYAddress
scriptAddress' :: GYTxQueryMonad m => GYScriptHash -> m GYAddress
addressFromText' :: MonadError GYTxMonadException m => Text -> m GYAddress
addressFromPlutusM :: GYTxQueryMonad m => Address -> m (Either PlutusToCardanoError GYAddress)
addressFromPlutusHushedM :: GYTxQueryMonad m => Address -> m (Maybe GYAddress)
addressFromPlutus' :: GYTxQueryMonad m => Address -> m GYAddress
addressToPubKeyHash' :: MonadError GYTxMonadException m => GYAddress -> m GYPubKeyHash
addressToPubKeyHashIO :: GYAddress -> IO GYPubKeyHash
addressToValidatorHash' :: MonadError GYTxMonadException m => GYAddress -> m GYScriptHash
addressToValidatorHashIO :: GYAddress -> IO GYScriptHash
valueFromPlutus' :: MonadError GYTxMonadException m => Value -> m GYValue
valueFromPlutusIO :: Value -> IO GYValue
makeAssetClass' :: MonadError GYTxMonadException m => Text -> Text -> m GYAssetClass
makeAssetClassIO :: Text -> Text -> IO GYAssetClass
assetClassFromPlutus' :: MonadError GYTxMonadException m => AssetClass -> m GYAssetClass
tokenNameFromPlutus' :: MonadError GYTxMonadException m => TokenName -> m GYTokenName
txOutRefFromPlutus' :: MonadError GYTxMonadException m => TxOutRef -> m GYTxOutRef
datumHashFromPlutus' :: MonadError GYTxMonadException m => DatumHash -> m GYDatumHash
pubKeyHashFromPlutus' :: MonadError GYTxMonadException m => PubKeyHash -> m GYPubKeyHash
advanceSlot' :: MonadError GYTxMonadException m => GYSlot -> Natural -> m GYSlot
utxosDatums :: (GYTxQueryMonad m, FromData a) => GYUTxOs -> m (Map GYTxOutRef (GYAddress, GYValue, a))
utxosDatumsPure :: FromData a => [(GYUTxO, Maybe GYDatum)] -> Map GYTxOutRef (GYAddress, GYValue, a)
utxosDatumsPureWithOriginalDatum :: FromData a => [(GYUTxO, Maybe GYDatum)] -> Map GYTxOutRef (GYAddress, GYValue, a, GYDatum)
utxoDatum :: (GYTxQueryMonad m, FromData a) => GYUTxO -> m (Either GYQueryDatumError (GYAddress, GYValue, a))
utxoDatumPure :: FromData a => (GYUTxO, Maybe GYDatum) -> Either GYQueryDatumError (GYAddress, GYValue, a)
utxoDatumPureWithOriginalDatum :: FromData a => (GYUTxO, Maybe GYDatum) -> Either GYQueryDatumError (GYAddress, GYValue, a, GYDatum)
utxoDatumHushed :: (GYTxQueryMonad m, FromData a) => GYUTxO -> m (Maybe (GYAddress, GYValue, a))
utxoDatumPureHushed :: FromData a => (GYUTxO, Maybe GYDatum) -> Maybe (GYTxOutRef, (GYAddress, GYValue, a))
utxoDatumPureHushedWithOriginalDatum :: FromData a => (GYUTxO, Maybe GYDatum) -> Maybe (GYTxOutRef, (GYAddress, GYValue, a, GYDatum))
utxoDatum' :: (GYTxQueryMonad m, FromData a) => GYUTxO -> m (GYAddress, GYValue, a)
utxoDatumPure' :: (MonadError GYTxMonadException m, FromData a) => (GYUTxO, Maybe GYDatum) -> m (GYAddress, GYValue, a)
utxoDatumPureWithOriginalDatum' :: (MonadError GYTxMonadException m, FromData a) => (GYUTxO, Maybe GYDatum) -> m (GYAddress, GYValue, a, GYDatum)
mustHaveInput :: forall (v :: PlutusVersion). GYTxIn v -> GYTxSkeleton v
mustHaveRefInput :: forall (v :: PlutusVersion). GYTxOutRef -> GYTxSkeleton v
mustHaveOutput :: forall (v :: PlutusVersion). GYTxOut v -> GYTxSkeleton v
mustHaveOptionalOutput :: forall (v :: PlutusVersion). Maybe (GYTxOut v) -> GYTxSkeleton v
mustHaveTxMetadata :: forall (v :: PlutusVersion). Maybe GYTxMetadata -> GYTxSkeleton v
mustHaveVotingProcedures :: forall (v :: PlutusVersion). VersionIsGreaterOrEqual v 'PlutusV3 => GYTxVotingProcedures v -> GYTxSkeleton v
mustHaveProposalProcedure :: forall (v :: PlutusVersion). VersionIsGreaterOrEqual v 'PlutusV3 => GYProposalProcedurePB -> GYTxBuildWitness v -> GYTxSkeleton v
mustHaveProposalProcedures :: forall (v :: PlutusVersion). VersionIsGreaterOrEqual v 'PlutusV3 => [(GYProposalProcedurePB, GYTxBuildWitness v)] -> GYTxSkeleton v
mustMint :: forall (v :: PlutusVersion). GYBuildScript v -> GYRedeemer -> GYTokenName -> Integer -> GYTxSkeleton v
mustHaveWithdrawal :: forall (v :: PlutusVersion). GYTxWdrl v -> GYTxSkeleton v
mustHaveCertificate :: forall (v :: PlutusVersion). GYTxCert v -> GYTxSkeleton v
mustBeSignedBy :: forall a (v :: PlutusVersion). CanSignTx a => a -> GYTxSkeleton v
isInvalidBefore :: forall (v :: PlutusVersion). GYSlot -> GYTxSkeleton v
isInvalidAfter :: forall (v :: PlutusVersion). GYSlot -> GYTxSkeleton v
mustHaveDonation :: forall (v :: PlutusVersion). VersionIsGreaterOrEqual v 'PlutusV3 => Natural -> GYTxSkeleton v
gyLogDebug' :: (GYTxQueryMonad m, HasCallStack) => GYLogNamespace -> String -> m ()
gyLogInfo' :: (GYTxQueryMonad m, HasCallStack) => GYLogNamespace -> String -> m ()
gyLogWarning' :: (GYTxQueryMonad m, HasCallStack) => GYLogNamespace -> String -> m ()
gyLogError' :: (GYTxQueryMonad m, HasCallStack) => GYLogNamespace -> String -> m ()
skeletonToRefScriptsORefs :: forall (v :: PlutusVersion). GYTxSkeleton v -> [GYTxOutRef]
wrapReqWithTimeLog :: (GYTxQueryMonad m, MonadIO m) => String -> m a -> m a
wt :: (GYTxQueryMonad m, MonadIO m) => String -> m a -> m a
obtainTxBodyContentBuildTx :: GYTxSpecialQueryMonad m => GYTxBody -> m (TxBodyContent BuildTx ApiEra)
obtainTxBodyContentBuildTx' :: GYTxSpecialQueryMonad m => GYTxBody -> m (TxBodyContent BuildTx ApiEra, GYUTxOs)

Documentation

class Monad m => MonadError e (m :: Type -> Type) | m -> e where #

The strategy of combining computations that can throw exceptions by bypassing bound functions from the point an exception is thrown to the point that it is handled.

Is parameterized over the type of error information and the monad type constructor. It is common to use Either String as the monad type constructor for an error monad in which error descriptions take the form of strings. In that case and many other common cases the resulting monad is already defined as an instance of the MonadError class. You can also define your own error type and/or use a monad type constructor other than Either String or Either IOError. In these cases you will have to explicitly define instances of the MonadError class. (If you are using the deprecated Control.Monad.Error or Control.Monad.Trans.Error, you may also have to define an Error instance.)

Methods

throwError :: e -> m a #

Is used within a monadic computation to begin exception processing.

catchError :: m a -> (e -> m a) -> m a #

A handler function to handle previous errors and return to normal execution. A common idiom is:

do { action1; action2; action3 } `catchError` handler

where the action functions can call throwError. Note that handler and the do-block must have the same return type.

Instances

Instances details

MonadError GYTxMonadException GYTxMonadClb #
Instance details Defined in GeniusYield.Test.Clb Methods throwError :: GYTxMonadException -> GYTxMonadClb a # catchError :: GYTxMonadClb a -> (GYTxMonadException -> GYTxMonadClb a) -> GYTxMonadClb a #
MonadError GYTxMonadException GYTxGameMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods throwError :: GYTxMonadException -> GYTxGameMonadIO a # catchError :: GYTxGameMonadIO a -> (GYTxMonadException -> GYTxGameMonadIO a) -> GYTxGameMonadIO a #
MonadError GYTxMonadException GYTxMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO Methods throwError :: GYTxMonadException -> GYTxMonadIO a # catchError :: GYTxMonadIO a -> (GYTxMonadException -> GYTxMonadIO a) -> GYTxMonadIO 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 #
MonadError GYTxMonadException GYTxQueryMonadIO #
Instance details Defined in GeniusYield.TxBuilder.IO.Query Methods throwError :: GYTxMonadException -> GYTxQueryMonadIO a # catchError :: GYTxQueryMonadIO a -> (GYTxMonadException -> GYTxQueryMonadIO a) -> GYTxQueryMonadIO a #
MonadError IOException IO
Instance details Defined in Control.Monad.Error.Class Methods throwError :: IOException -> IO a # catchError :: IO a -> (IOException -> IO a) -> IO a #
MonadError BuiltinError BuiltinResult	`throwError` puts every operational unlifting error into the `BuiltinFailure` logs. This is to compensate for the historical lack of error message content in operational errors (structural ones don't have this problem) in our evaluators (the CK and CEK machines). It would be better to fix the underlying issue and allow operational evaluation errors to carry some form of content, but for now we just fix the symptom in order for the end user to see the error message that they are supposed to see. The fix even makes some sense: what we do here is we emulate logging when the thrown unlifting error is an operational one, i.e. this is similar to what some builtins do manually (like when a crypto builtin fails and puts info about the failure into the logs).
Instance details Defined in PlutusCore.Builtin.Result Methods throwError :: BuiltinError -> BuiltinResult a # catchError :: BuiltinResult a -> (BuiltinError -> BuiltinResult a) -> BuiltinResult a #
MonadError ClientError ClientM
Instance details Defined in Servant.Client.Internal.HttpClient Methods throwError :: ClientError -> ClientM a # catchError :: ClientM a -> (ClientError -> ClientM a) -> ClientM a #
MonadError ClientError ClientM
Instance details Defined in Servant.Client.Internal.HttpClient.Streaming Methods throwError :: ClientError -> ClientM a # catchError :: ClientM a -> (ClientError -> ClientM a) -> ClientM a #
MonadError () EvaluationResult
Instance details Defined in PlutusCore.Evaluation.Result Methods throwError :: () -> EvaluationResult a # catchError :: EvaluationResult a -> (() -> EvaluationResult a) -> EvaluationResult a #
MonadError () Maybe	Since: mtl-2.2.2
Instance details Defined in Control.Monad.Error.Class Methods throwError :: () -> Maybe a # catchError :: Maybe a -> (() -> Maybe a) -> Maybe a #
MonadError GYTxMonadException m => MonadError GYTxMonadException (FeeTracker m) #
Instance details Defined in GeniusYield.Test.FeeTracker Methods throwError :: GYTxMonadException -> FeeTracker m a # catchError :: FeeTracker m a -> (GYTxMonadException -> FeeTracker m a) -> FeeTracker m a #
MonadError GYTxMonadException m => MonadError GYTxMonadException (FeeTrackerGame m) #
Instance details Defined in GeniusYield.Test.FeeTracker Methods throwError :: GYTxMonadException -> FeeTrackerGame m a # catchError :: FeeTrackerGame m a -> (GYTxMonadException -> FeeTrackerGame m a) -> FeeTrackerGame m a #
Monad m => MonadError BlockfrostError (BlockfrostClientT m)
Instance details Defined in Blockfrost.Client.Types Methods throwError :: BlockfrostError -> BlockfrostClientT m a # catchError :: BlockfrostClientT m a -> (BlockfrostError -> BlockfrostClientT m a) -> BlockfrostClientT m a #
MonadError e m => MonadError e (Free m)
Instance details Defined in Control.Monad.Free Methods throwError :: e -> Free m a # catchError :: Free m a -> (e -> Free m a) -> Free m a #
MonadError e (Either e)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> Either e a # catchError :: Either e a -> (e -> Either e a) -> Either e a #
MonadError e m => MonadError e (GenT m)
Instance details Defined in Hedgehog.Internal.Gen Methods throwError :: e -> GenT m a # catchError :: GenT m a -> (e -> GenT m a) -> GenT m a #
MonadError e m => MonadError e (PropertyT m)
Instance details Defined in Hedgehog.Internal.Property Methods throwError :: e -> PropertyT m a # catchError :: PropertyT m a -> (e -> PropertyT m a) -> PropertyT m a #
MonadError e m => MonadError e (TestT m)
Instance details Defined in Hedgehog.Internal.Property Methods throwError :: e -> TestT m a # catchError :: TestT m a -> (e -> TestT m a) -> TestT m a #
MonadError e m => MonadError e (TreeT m)
Instance details Defined in Hedgehog.Internal.Tree Methods throwError :: e -> TreeT m a # catchError :: TreeT m a -> (e -> TreeT m a) -> TreeT m a #
MonadError e m => MonadError e (KatipContextT m)
Instance details Defined in Katip.Monadic Methods throwError :: e -> KatipContextT m a # catchError :: KatipContextT m a -> (e -> KatipContextT m a) -> KatipContextT m a #
MonadError e m => MonadError e (NoLoggingT m)
Instance details Defined in Katip.Monadic Methods throwError :: e -> NoLoggingT m a # catchError :: NoLoggingT m a -> (e -> NoLoggingT m a) -> NoLoggingT m a #
MonadError e m => MonadError e (ListT m)
Instance details Defined in ListT Methods throwError :: e -> ListT m a # catchError :: ListT m a -> (e -> ListT m a) -> ListT m a #
MonadError e m => MonadError e (QuoteT m)
Instance details Defined in PlutusCore.Quote Methods throwError :: e -> QuoteT m a # catchError :: QuoteT m a -> (e -> QuoteT m a) -> QuoteT m a #
MonadError e m => MonadError e (ResourceT m)
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods throwError :: e -> ResourceT m a # catchError :: ResourceT m a -> (e -> ResourceT m a) -> ResourceT m a #
MonadError e m => MonadError e (MaybeT m)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> MaybeT m a # catchError :: MaybeT m a -> (e -> MaybeT m a) -> MaybeT m a #
MonadError e m => MonadError e (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods throwError :: e -> RandT g m a # catchError :: RandT g m a -> (e -> RandT g m a) -> RandT g m a #
MonadError e m => MonadError e (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Strict Methods throwError :: e -> RandT g m a # catchError :: RandT g m a -> (e -> RandT g m a) -> RandT g m a #
(Functor f, MonadError e m) => MonadError e (FreeT f m)
Instance details Defined in Control.Monad.Trans.Free Methods throwError :: e -> FreeT f m a # catchError :: FreeT f m a -> (e -> FreeT f m a) -> FreeT f m a #
(Monoid w, MonadError e m) => MonadError e (AccumT w m)	Since: mtl-2.3
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> AccumT w m a # catchError :: AccumT w m a -> (e -> AccumT w m a) -> AccumT w m a #
Monad m => MonadError e (ExceptT e m)	Since: mtl-2.2
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> ExceptT e m a # catchError :: ExceptT e m a -> (e -> ExceptT e m a) -> ExceptT e m a #
MonadError e m => MonadError e (IdentityT m)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> IdentityT m a # catchError :: IdentityT m a -> (e -> IdentityT m a) -> IdentityT m a #
MonadError e m => MonadError e (ReaderT r m)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> ReaderT r m a # catchError :: ReaderT r m a -> (e -> ReaderT r m a) -> ReaderT r m a #
MonadError e m => MonadError e (StateT s m)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> StateT s m a # catchError :: StateT s m a -> (e -> StateT s m a) -> StateT s m a #
MonadError e m => MonadError e (StateT s m)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> StateT s m a # catchError :: StateT s m a -> (e -> StateT s m a) -> StateT s m a #
(Monoid w, MonadError e m) => MonadError e (WriterT w m)	Since: mtl-2.3
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> WriterT w m a # catchError :: WriterT w m a -> (e -> WriterT w m a) -> WriterT w m a #
(Monoid w, MonadError e m) => MonadError e (WriterT w m)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> WriterT w m a # catchError :: WriterT w m a -> (e -> WriterT w m a) -> WriterT w m a #
(Monoid w, MonadError e m) => MonadError e (WriterT w m)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> WriterT w m a # catchError :: WriterT w m a -> (e -> WriterT w m a) -> WriterT w m a #
MonadError e m => MonadError e (ConduitT i o m)
Instance details Defined in Data.Conduit.Internal.Conduit Methods throwError :: e -> ConduitT i o m a # catchError :: ConduitT i o m a -> (e -> ConduitT i o m a) -> ConduitT i o m a #
(Monoid w, MonadError e m) => MonadError e (RWST r w s m)	Since: mtl-2.3
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> RWST r w s m a # catchError :: RWST r w s m a -> (e -> RWST r w s m a) -> RWST r w s m a #
(Monoid w, MonadError e m) => MonadError e (RWST r w s m)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> RWST r w s m a # catchError :: RWST r w s m a -> (e -> RWST r w s m a) -> RWST r w s m a #
(Monoid w, MonadError e m) => MonadError e (RWST r w s m)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> RWST r w s m a # catchError :: RWST r w s m a -> (e -> RWST r w s m a) -> RWST r w s m a #
MonadError e m => MonadError e (Pipe l i o u m)
Instance details Defined in Data.Conduit.Internal.Pipe Methods throwError :: e -> Pipe l i o u m a # catchError :: Pipe l i o u m a -> (e -> Pipe l i o u m a) -> Pipe l i o u m a #
ThrowableBuiltins uni fun => MonadError (CekEvaluationException NamedDeBruijn uni fun) (CekM uni fun s)
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods throwError :: CekEvaluationException NamedDeBruijn uni fun -> CekM uni fun s a # catchError :: CekM uni fun s a -> (CekEvaluationException NamedDeBruijn uni fun -> CekM uni fun s a) -> CekM uni fun s a #

class Monad m => MonadRandom (m :: Type -> Type) where #

With a source of random number supply in hand, the MonadRandom class allows the programmer to extract random values of a variety of types.

Methods

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

Takes a range (lo,hi) and a random number generator g, and returns a computation that returns a random value uniformly distributed in the closed interval [lo,hi], together with a new generator. It is unspecified what happens if lo>hi. For continuous types there is no requirement that the values lo and hi are ever produced, but they may be, depending on the implementation and the interval.

See randomR for details.

getRandom :: Random a => m a #

The same as getRandomR, but using a default range determined by the type:

For bounded types (instances of Bounded, such as Char), the range is normally the whole type.
For fractional types, the range is normally the semi-closed interval [0,1).
For Integer, the range is (arbitrarily) the range of Int.

See random for details.

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

Plural variant of getRandomR, producing an infinite list of random values instead of returning a new generator.

See randomRs for details.

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

Plural variant of getRandom, producing an infinite list of random values instead of returning a new generator.

See randoms for details.

Instances

Instances details

MonadRandom GYTxMonadClb #
Instance details Defined in GeniusYield.Test.Clb Methods getRandomR :: Random a => (a, a) -> GYTxMonadClb a # getRandom :: Random a => GYTxMonadClb a # getRandomRs :: Random a => (a, a) -> GYTxMonadClb [a] # getRandoms :: Random a => GYTxMonadClb [a] #
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] #
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] #
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] #
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] #
MonadRandom IO
Instance details Defined in Control.Monad.Random.Class Methods getRandomR :: Random a => (a, a) -> IO a # getRandom :: Random a => IO a # getRandomRs :: Random a => (a, a) -> IO [a] # getRandoms :: Random a => IO [a] #
MonadRandom m => MonadRandom (FeeTracker m) #
Instance details Defined in GeniusYield.Test.FeeTracker Methods getRandomR :: Random a => (a, a) -> FeeTracker m a # getRandom :: Random a => FeeTracker m a # getRandomRs :: Random a => (a, a) -> FeeTracker m [a] # getRandoms :: Random a => FeeTracker m [a] #
MonadRandom m => MonadRandom (FeeTrackerGame m) #
Instance details Defined in GeniusYield.Test.FeeTracker Methods getRandomR :: Random a => (a, a) -> FeeTrackerGame m a # getRandom :: Random a => FeeTrackerGame m a # getRandomRs :: Random a => (a, a) -> FeeTrackerGame m [a] # getRandoms :: Random a => FeeTrackerGame m [a] #
MonadRandom m => MonadRandom (MaybeT m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR :: Random a => (a, a) -> MaybeT m a # getRandom :: Random a => MaybeT m a # getRandomRs :: Random a => (a, a) -> MaybeT m [a] # getRandoms :: Random a => MaybeT m [a] #
(RandomGen g, Monad m) => MonadRandom (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods getRandomR :: Random a => (a, a) -> RandT g m a # getRandom :: Random a => RandT g m a # getRandomRs :: Random a => (a, a) -> RandT g m [a] # getRandoms :: Random a => RandT g m [a] #
(RandomGen g, Monad m) => MonadRandom (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Strict Methods getRandomR :: Random a => (a, a) -> RandT g m a # getRandom :: Random a => RandT g m a # getRandomRs :: Random a => (a, a) -> RandT g m [a] # getRandoms :: Random a => RandT g m [a] #
MonadRandom m => MonadRandom (ExceptT e m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR :: Random a => (a, a) -> ExceptT e m a # getRandom :: Random a => ExceptT e m a # getRandomRs :: Random a => (a, a) -> ExceptT e m [a] # getRandoms :: Random a => ExceptT e m [a] #
MonadRandom m => MonadRandom (IdentityT m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR :: Random a => (a, a) -> IdentityT m a # getRandom :: Random a => IdentityT m a # getRandomRs :: Random a => (a, a) -> IdentityT m [a] # getRandoms :: Random a => IdentityT m [a] #
MonadRandom m => MonadRandom (ReaderT r m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR :: Random a => (a, a) -> ReaderT r m a # getRandom :: Random a => ReaderT r m a # getRandomRs :: Random a => (a, a) -> ReaderT r m [a] # getRandoms :: Random a => ReaderT r m [a] #
MonadRandom m => MonadRandom (StateT s m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR :: Random a => (a, a) -> StateT s m a # getRandom :: Random a => StateT s m a # getRandomRs :: Random a => (a, a) -> StateT s m [a] # getRandoms :: Random a => StateT s m [a] #
MonadRandom m => MonadRandom (StateT s m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR :: Random a => (a, a) -> StateT s m a # getRandom :: Random a => StateT s m a # getRandomRs :: Random a => (a, a) -> StateT s m [a] # getRandoms :: Random a => StateT s m [a] #
(MonadRandom m, Monoid w) => MonadRandom (WriterT w m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR :: Random a => (a, a) -> WriterT w m a # getRandom :: Random a => WriterT w m a # getRandomRs :: Random a => (a, a) -> WriterT w m [a] # getRandoms :: Random a => WriterT w m [a] #
(MonadRandom m, Monoid w) => MonadRandom (WriterT w m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR :: Random a => (a, a) -> WriterT w m a # getRandom :: Random a => WriterT w m a # getRandomRs :: Random a => (a, a) -> WriterT w m [a] # getRandoms :: Random a => WriterT w m [a] #
MonadRandom m => MonadRandom (ContT r m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR :: Random a => (a, a) -> ContT r m a # getRandom :: Random a => ContT r m a # getRandomRs :: Random a => (a, a) -> ContT r m [a] # getRandoms :: Random a => ContT r m [a] #
(Monoid w, MonadRandom m) => MonadRandom (RWST r w s m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR :: Random a => (a, a) -> RWST r w s m a # getRandom :: Random a => RWST r w s m a # getRandomRs :: Random a => (a, a) -> RWST r w s m [a] # getRandoms :: Random a => RWST r w s m [a] #
(Monoid w, MonadRandom m) => MonadRandom (RWST r w s m)
Instance details Defined in Control.Monad.Random.Class Methods getRandomR :: Random a => (a, a) -> RWST r w s m a # getRandom :: Random a => RWST r w s m a # getRandomRs :: Random a => (a, a) -> RWST r w s m [a] # getRandoms :: Random a => RWST r w s m [a] #

class (GYTxMonad (TxMonadOf m), GYTxSpecialQueryMonad m) => GYTxGameMonad (m :: Type -> Type) where #

Class of monads that can simulate a "game" between different users interacting with transactions.

Associated Types

type TxMonadOf (m :: Type -> Type) = (r :: Type -> Type) | r -> m #

Type of the supported GYTxMonad instance that can participate within the "game".

Methods

createUser :: m User #

Create a new user within the chain. This does not fund the user. See "GeniusYield.Test.Utils.createUserWithLovelace" or "GeniusYield.Test.Utils.createUserWithAssets".

This _must not_ fund the user. Note: The generated user may be arbitrarily complex. i.e may have zero or more stake keys (and thus one or more addresses).

asUser :: User -> TxMonadOf m a -> m a #

Lift the supported GYTxMonad instance into the game, as a participating user wallet.

Instances

Instances details

GYTxGameMonad GYTxMonadClb #

Instance details

Defined in GeniusYield.Test.Clb

Associated Types

type TxMonadOf GYTxMonadClb
Instance details Defined in GeniusYield.Test.Clb type TxMonadOf GYTxMonadClb = GYTxMonadClb

Methods

createUser :: GYTxMonadClb User #

asUser :: User -> TxMonadOf GYTxMonadClb a -> GYTxMonadClb 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 #

GYTxGameMonad m => GYTxGameMonad (FeeTrackerGame m) #

Instance details

Defined in GeniusYield.Test.FeeTracker

Associated Types

type TxMonadOf (FeeTrackerGame m)
Instance details Defined in GeniusYield.Test.FeeTracker type TxMonadOf (FeeTrackerGame m) = FeeTracker (TxMonadOf m)

Methods

createUser :: FeeTrackerGame m User #

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

class GYTxBuilderMonad m => GYTxMonad (m :: Type -> Type) where #

Class of monads for interacting with the blockchain using transactions.

Methods

signTxBody :: GYTxBody -> m GYTx #

Sign a transaction body with the user payment key to produce a transaction with witnesses.

Note: The key is not meant to be exposed to the monad, so it is only held within the closure that signs a given transaction. It is recommended to use signGYTxBody and similar to implement this method.

signTxBodyWithStake :: GYTxBody -> m GYTx #

Sign a transaction body with the user payment key AND user stake key to produce a transaction with witnesses. If the user wallet does not have a stake key, this function should be equivalent to signTxBody.

See note on signTxBody

submitTx :: GYTx -> m GYTxId #

Submit a fully built transaction to the chain. Use buildTxBody to build a transaction body, and signGYTxBody to sign it before submitting.

Note: Changes made to the chain by the submitted transaction may not be reflected immediately, see awaitTxConfirmed.

Law: someUTxO calls made after a call to submitTx may return previously returned UTxOs if they were not affected by the submitted transaction.

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

Wait for a _recently_ submitted transaction to be confirmed.

Note: If used on a transaction submitted long ago, the behavior is undefined.

Law: Queries made after a call to awaitTxConfirmed' should reflect changes made to the chain by the identified transaction.

Instances

Instances details

GYTxMonad GYTxMonadClb #
Instance details Defined in GeniusYield.Test.Clb Methods signTxBody :: GYTxBody -> GYTxMonadClb GYTx # signTxBodyWithStake :: GYTxBody -> GYTxMonadClb GYTx # submitTx :: GYTx -> GYTxMonadClb GYTxId # awaitTxConfirmed' :: GYAwaitTxParameters -> GYTxId -> GYTxMonadClb () #
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 () #
GYTxMonad m => GYTxMonad (FeeTracker m) #
Instance details Defined in GeniusYield.Test.FeeTracker Methods signTxBody :: GYTxBody -> FeeTracker m GYTx # signTxBodyWithStake :: GYTxBody -> FeeTracker m GYTx # submitTx :: GYTx -> FeeTracker m GYTxId # awaitTxConfirmed' :: GYAwaitTxParameters -> GYTxId -> FeeTracker m () #
GYTxMonad m => GYTxMonad (RandT g m) #
Instance details Defined in GeniusYield.TxBuilder.Class Methods signTxBody :: GYTxBody -> RandT g m GYTx # signTxBodyWithStake :: GYTxBody -> RandT g m GYTx # submitTx :: GYTx -> RandT g m GYTxId # awaitTxConfirmed' :: GYAwaitTxParameters -> GYTxId -> RandT g m () #
GYTxMonad m => GYTxMonad (ReaderT env m) #
Instance details Defined in GeniusYield.TxBuilder.Class Methods signTxBody :: GYTxBody -> ReaderT env m GYTx # signTxBodyWithStake :: GYTxBody -> ReaderT env m GYTx # submitTx :: GYTx -> ReaderT env m GYTxId # awaitTxConfirmed' :: GYAwaitTxParameters -> GYTxId -> ReaderT env m () #
GYTxMonad m => GYTxMonad (StateT s m) #
Instance details Defined in GeniusYield.TxBuilder.Class Methods signTxBody :: GYTxBody -> StateT s m GYTx # signTxBodyWithStake :: GYTxBody -> StateT s m GYTx # submitTx :: GYTx -> StateT s m GYTxId # awaitTxConfirmed' :: GYAwaitTxParameters -> GYTxId -> StateT s m () #
GYTxMonad m => GYTxMonad (StateT s m) #
Instance details Defined in GeniusYield.TxBuilder.Class Methods signTxBody :: GYTxBody -> StateT s m GYTx # signTxBodyWithStake :: GYTxBody -> StateT s m GYTx # submitTx :: GYTx -> StateT s m GYTxId # awaitTxConfirmed' :: GYAwaitTxParameters -> GYTxId -> StateT s m () #
(GYTxMonad m, Monoid w) => GYTxMonad (WriterT w m) #
Instance details Defined in GeniusYield.TxBuilder.Class Methods signTxBody :: GYTxBody -> WriterT w m GYTx # signTxBodyWithStake :: GYTxBody -> WriterT w m GYTx # submitTx :: GYTx -> WriterT w m GYTxId # awaitTxConfirmed' :: GYAwaitTxParameters -> GYTxId -> WriterT w m () #
(GYTxMonad m, Monoid w) => GYTxMonad (WriterT w m) #
Instance details Defined in GeniusYield.TxBuilder.Class Methods signTxBody :: GYTxBody -> WriterT w m GYTx # signTxBodyWithStake :: GYTxBody -> WriterT w m GYTx # submitTx :: GYTx -> WriterT w m GYTxId # awaitTxConfirmed' :: GYAwaitTxParameters -> GYTxId -> WriterT w m () #
(GYTxMonad m, Monoid w) => GYTxMonad (WriterT w m) #
Instance details Defined in GeniusYield.TxBuilder.Class Methods signTxBody :: GYTxBody -> WriterT w m GYTx # signTxBodyWithStake :: GYTxBody -> WriterT w m GYTx # submitTx :: GYTx -> WriterT w m GYTxId # awaitTxConfirmed' :: GYAwaitTxParameters -> GYTxId -> WriterT w m () #

signTxBodyImpl :: GYTxMonad m => m GYSomePaymentSigningKey -> GYTxBody -> m GYTx #

signTxBodyWithStakeImpl :: GYTxMonad m => m (GYSomePaymentSigningKey, Maybe GYSomeStakeSigningKey) -> GYTxBody -> m GYTx #

class (Default (TxBuilderStrategy m), GYTxSpecialQueryMonad m, GYTxUserQueryMonad m) => GYTxBuilderMonad (m :: Type -> Type) where #

Class of monads for building transactions. This can be default derived if the requirements are met. Specifically, set TxBuilderStrategy to GYCoinSelectionStrategy if you wish to use the default in-house transaction building implementation.

Minimal complete definition

Nothing

Associated Types

type TxBuilderStrategy (m :: Type -> Type) #

type TxBuilderStrategy (m :: Type -> Type) = GYCoinSelectionStrategy

Methods

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

The most basic version of GYTxSkeleton builder.

NOTE ==

This is not meant to be called multiple times with several GYTxSkeletons before submission. Because the balancer will end up using the same utxos across the different txs.

Consider using buildTxBodyParallel or buildTxBodyChaining instead.

default buildTxBodyWithStrategy :: forall (v :: PlutusVersion). (MonadRandom m, TxBuilderStrategy m ~ GYCoinSelectionStrategy) => TxBuilderStrategy m -> GYTxSkeleton v -> m GYTxBody #

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

default buildTxBodyWithStrategyAndExtraConfiguration :: forall (v :: PlutusVersion). (MonadRandom m, TxBuilderStrategy m ~ GYCoinSelectionStrategy) => TxBuilderStrategy m -> GYTxExtraConfiguration v -> GYTxSkeleton v -> m GYTxBody #

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

A multi GYTxSkeleton builder. The result containing built bodies must be in the same order as the skeletons.

This does not perform chaining, i.e does not use utxos created by one of the given transactions in the next one. However, it does ensure that the balancer does not end up using the same own utxos when building multiple transactions at once.

This supports failure recovery by utilizing GYTxBuildResult.

default buildTxBodyParallelWithStrategy :: forall (v :: PlutusVersion). (MonadRandom m, TxBuilderStrategy m ~ GYCoinSelectionStrategy) => TxBuilderStrategy m -> [GYTxSkeleton v] -> m GYTxBuildResult #

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

A chaining GYTxSkeleton builder. The result containing built bodies must be in the same order as the skeletons.

This will perform chaining, i.e it will use utxos created by one of the given transactions, when building the next one.

This supports failure recovery by utilizing GYTxBuildResult.

default buildTxBodyChainingWithStrategy :: forall (v :: PlutusVersion). (MonadRandom m, TxBuilderStrategy m ~ GYCoinSelectionStrategy) => TxBuilderStrategy m -> [GYTxSkeleton v] -> m GYTxBuildResult #

Instances

Instances details

GYTxBuilderMonad GYTxMonadClb #

Instance details

Defined in GeniusYield.Test.Clb

Associated Types

type TxBuilderStrategy GYTxMonadClb
Instance details Defined in GeniusYield.Test.Clb type TxBuilderStrategy GYTxMonadClb = GYCoinSelectionStrategy

Methods

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

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

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

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

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 #

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 #

GYTxBuilderMonad m => GYTxBuilderMonad (FeeTracker m) #

Override transaction building code of the inner monad to track extra lovelace per transaction.

Instance details

Defined in GeniusYield.Test.FeeTracker

Associated Types

type TxBuilderStrategy (FeeTracker m)
Instance details Defined in GeniusYield.Test.FeeTracker type TxBuilderStrategy (FeeTracker m) = TxBuilderStrategy m

Methods

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

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

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

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

GYTxBuilderMonad m => GYTxBuilderMonad (RandT g m) #

Instance details

Defined in GeniusYield.TxBuilder.Class

Associated Types

type TxBuilderStrategy (RandT g m)
Instance details Defined in GeniusYield.TxBuilder.Class type TxBuilderStrategy (RandT g m) = TxBuilderStrategy m

Methods

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

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

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

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

GYTxBuilderMonad m => GYTxBuilderMonad (ReaderT env m) #

Instance details

Defined in GeniusYield.TxBuilder.Class

Associated Types

type TxBuilderStrategy (ReaderT env m)
Instance details Defined in GeniusYield.TxBuilder.Class type TxBuilderStrategy (ReaderT env m) = TxBuilderStrategy m

Methods

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

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

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

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

GYTxBuilderMonad m => GYTxBuilderMonad (StateT s m) #

Instance details

Defined in GeniusYield.TxBuilder.Class

Associated Types

type TxBuilderStrategy (StateT s m)
Instance details Defined in GeniusYield.TxBuilder.Class type TxBuilderStrategy (StateT s m) = TxBuilderStrategy m

Methods

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

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

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

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

GYTxBuilderMonad m => GYTxBuilderMonad (StateT s m) #

Instance details

Defined in GeniusYield.TxBuilder.Class

Associated Types

type TxBuilderStrategy (StateT s m)
Instance details Defined in GeniusYield.TxBuilder.Class type TxBuilderStrategy (StateT s m) = TxBuilderStrategy m

Methods

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

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

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

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

(GYTxBuilderMonad m, Monoid w) => GYTxBuilderMonad (WriterT w m) #

Instance details

Defined in GeniusYield.TxBuilder.Class

Associated Types

type TxBuilderStrategy (WriterT w m)
Instance details Defined in GeniusYield.TxBuilder.Class type TxBuilderStrategy (WriterT w m) = TxBuilderStrategy m

Methods

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

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

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

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

(GYTxBuilderMonad m, Monoid w) => GYTxBuilderMonad (WriterT w m) #

Instance details

Defined in GeniusYield.TxBuilder.Class

Associated Types

type TxBuilderStrategy (WriterT w m)
Instance details Defined in GeniusYield.TxBuilder.Class type TxBuilderStrategy (WriterT w m) = TxBuilderStrategy m

Methods

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

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

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

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

(GYTxBuilderMonad m, Monoid w) => GYTxBuilderMonad (WriterT w m) #

Instance details

Defined in GeniusYield.TxBuilder.Class

Associated Types

type TxBuilderStrategy (WriterT w m)
Instance details Defined in GeniusYield.TxBuilder.Class type TxBuilderStrategy (WriterT w m) = TxBuilderStrategy m

Methods

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

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

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

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

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

Class of monads for querying chain data.

Minimal complete definition

networkId, lookupDatum, (utxoAtTxOutRef | utxosAtTxOutRefs), utxosAtAddress, utxosWithAsset, utxosAtPaymentCredential, stakeAddressInfo, slotConfig, slotOfCurrentBlock, logMsg, waitUntilSlot, waitForNextBlock, (drepState | drepsState), constitution, proposals, mempoolTxs

Methods

networkId :: m GYNetworkId #

Get the network id

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

Lookup datum by its hash.

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

Lookup GYUTxO at GYTxOutRef.

utxoAtTxOutRefWithDatum :: GYTxOutRef -> 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.

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

Lookup GYUTxOs at GYAddress.

utxosWithAsset :: GYNonAdaToken -> m GYUTxOs #

Lookup GYUTxOs with a given GYAssetClass.

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 # utxosWithAsset :: GYNonAdaToken -> 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 # utxosWithAsset :: GYNonAdaToken -> 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 # utxosWithAsset :: GYNonAdaToken -> 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 # utxosWithAsset :: GYNonAdaToken -> 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 # utxosWithAsset :: GYNonAdaToken -> 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 # utxosWithAsset :: GYNonAdaToken -> 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 # utxosWithAsset :: GYNonAdaToken -> 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 # utxosWithAsset :: GYNonAdaToken -> 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 # utxosWithAsset :: GYNonAdaToken -> 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 # utxosWithAsset :: GYNonAdaToken -> 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 # utxosWithAsset :: GYNonAdaToken -> 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 # utxosWithAsset :: GYNonAdaToken -> 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 # utxosWithAsset :: GYNonAdaToken -> 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 # utxosWithAsset :: GYNonAdaToken -> 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 #

data GYTxSkeleton (v :: PlutusVersion) #

Transaction skeleton

Note: let's add fields as we need them.

The parameter v indicates the minimum version of scripts allowed as inputs.

Constructors

GYTxSkeleton

Fields

gytxIns :: ![GYTxIn v]
gytxOuts :: ![GYTxOut v]
gytxRefIns :: !(GYTxSkeletonRefIns v)
gytxMint :: !(Map (GYBuildScript v) (Map GYTokenName Integer, GYRedeemer))
gytxWdrls :: ![GYTxWdrl v]
gytxSigs :: !(Set GYPubKeyHash)
gytxCerts :: ![GYTxCert v]
gytxInvalidBefore :: !(Maybe GYSlot)
gytxInvalidAfter :: !(Maybe GYSlot)
gytxMetadata :: !(Maybe GYTxMetadata)
gytxVotingProcedures :: !(GYTxSkeletonVotingProcedures v)
gytxProposalProcedures :: !(GYTxSkeletonProposalProcedures v)
gytxDonation :: !(GYTxSkeletonDonation v)

Instances

Instances details

Monoid (GYTxSkeleton v) #
Instance details Defined in GeniusYield.TxBuilder.Common Methods mempty :: GYTxSkeleton v # mappend :: GYTxSkeleton v -> GYTxSkeleton v -> GYTxSkeleton v # mconcat :: [GYTxSkeleton v] -> GYTxSkeleton v #
Semigroup (GYTxSkeleton v) #
Instance details Defined in GeniusYield.TxBuilder.Common Methods (<>) :: GYTxSkeleton v -> GYTxSkeleton v -> GYTxSkeleton v # sconcat :: NonEmpty (GYTxSkeleton v) -> GYTxSkeleton v # stimes :: Integral b => b -> GYTxSkeleton v -> GYTxSkeleton v #
Show (GYTxSkeleton v) #
Instance details Defined in GeniusYield.TxBuilder.Common Methods showsPrec :: Int -> GYTxSkeleton v -> ShowS # show :: GYTxSkeleton v -> String # showList :: [GYTxSkeleton v] -> ShowS #

data GYTxSkeletonRefIns (a :: PlutusVersion) where #

Constructors

GYTxSkeletonRefIns :: forall (a :: PlutusVersion). !(Set GYTxOutRef) -> GYTxSkeletonRefIns a
GYTxSkeletonNoRefIns :: forall (a :: PlutusVersion). GYTxSkeletonRefIns a

Instances

Instances details

Semigroup (GYTxSkeletonRefIns v) #
Instance details Defined in GeniusYield.TxBuilder.Common Methods (<>) :: GYTxSkeletonRefIns v -> GYTxSkeletonRefIns v -> GYTxSkeletonRefIns v # sconcat :: NonEmpty (GYTxSkeletonRefIns v) -> GYTxSkeletonRefIns v # stimes :: Integral b => b -> GYTxSkeletonRefIns v -> GYTxSkeletonRefIns v #
Show (GYTxSkeletonRefIns v) #
Instance details Defined in GeniusYield.TxBuilder.Common Methods showsPrec :: Int -> GYTxSkeletonRefIns v -> ShowS # show :: GYTxSkeletonRefIns v -> String # showList :: [GYTxSkeletonRefIns v] -> ShowS #
Eq (GYTxSkeletonRefIns v) #
Instance details Defined in GeniusYield.TxBuilder.Common Methods (==) :: GYTxSkeletonRefIns v -> GYTxSkeletonRefIns v -> Bool # (/=) :: GYTxSkeletonRefIns v -> GYTxSkeletonRefIns v -> Bool #

buildTxBody :: forall (v :: PlutusVersion) m. GYTxBuilderMonad m => GYTxSkeleton v -> m GYTxBody #

buildTxBodyWithStrategy with the default coin selection strategy.

buildTxBodyWithExtraConfiguration :: forall (v :: PlutusVersion) m. GYTxBuilderMonad m => GYTxExtraConfiguration v -> GYTxSkeleton v -> m GYTxBody #

buildTxBodyWithStrategyAndExtraConfiguration with the default coin selection strategy.

buildTxBodyParallel :: forall (v :: PlutusVersion) m. GYTxBuilderMonad m => [GYTxSkeleton v] -> m GYTxBuildResult #

buildTxBodyParallelWithStrategy with the default coin selection strategy.

buildTxBodyChaining :: forall (v :: PlutusVersion) m. GYTxBuilderMonad m => [GYTxSkeleton v] -> m GYTxBuildResult #

buildTxBodyChainingWithStrategy with the default coin selection strategy.

waitNSlots :: GYTxQueryMonad m => Word64 -> m GYSlot #

Wait until the chain tip has progressed by N slots.

waitNSlots_ :: GYTxQueryMonad m => Word64 -> m () #

waitNSlots_ = void . waitNSlots

waitUntilSlot_ :: GYTxQueryMonad m => GYSlot -> m () #

waitUntilSlot_ = void . waitUntilSlot

submitTx_ :: GYTxMonad m => GYTx -> m () #

submitTx_ = void . submitTx

submitTxConfirmed :: GYTxMonad m => GYTx -> m GYTxId #

submitTxConfirmed' with default tx waiting parameters.

submitTxConfirmed_ :: GYTxMonad m => GYTx -> m () #

submitTxConfirmed_ = void . submitTxConfirmed

submitTxConfirmed' :: GYTxMonad m => GYAwaitTxParameters -> GYTx -> m GYTxId #

Equivalent to a call to submitTx and then a call to awaitTxConfirmed' with submitted tx id.

submitTxConfirmed'_ :: GYTxMonad m => GYAwaitTxParameters -> GYTx -> m () #

submitTxConfirmed'_ p = void . submitTxConfirmed' p

submitTxBody :: forall a m. (GYTxMonad m, ToShelleyWitnessSigningKey a) => GYTxBody -> [a] -> m GYTxId #

Signs a GYTxBody with the given keys and submits the transaction. Equivalent to a call to signGYTxBody, followed by a call to submitTx

submitTxBody_ :: forall a m. (GYTxMonad m, ToShelleyWitnessSigningKey a) => GYTxBody -> [a] -> m () #

submitTxBody_ t = void . submitTxBody t

submitTxBodyConfirmed :: forall a m. (GYTxMonad m, ToShelleyWitnessSigningKey a) => GYTxBody -> [a] -> m GYTxId #

Signs a GYTxBody with the given keys, submits the transaction, and waits for its confirmation. Equivalent to a call to signGYTxBody, followed by a call to submitTxConfirmed.

submitTxBodyConfirmed_ :: (GYTxMonad m, ToShelleyWitnessSigningKey a) => GYTxBody -> [a] -> m () #

submitTxBodyConfirmed_ t = void . submitTxBodyConfirmed t

signAndSubmitConfirmed :: GYTxMonad m => GYTxBody -> m GYTxId #

signAndSubmitConfirmed_ :: GYTxMonad m => GYTxBody -> m () #

awaitTxConfirmed :: GYTxMonad m => GYTxId -> m () #

Wait for a _recently_ submitted transaction to be confirmed, with default waiting parameters.

gyTxSkeletonRefInsToList :: forall (v :: PlutusVersion). GYTxSkeletonRefIns v -> [GYTxOutRef] #

gyTxSkeletonRefInsSet :: forall (v :: PlutusVersion). GYTxSkeletonRefIns v -> Set GYTxOutRef #

lookupDatum' :: GYTxQueryMonad m => GYDatumHash -> m GYDatum #

A version of lookupDatum that raises GYNoDatumForHash if the datum is not found.

utxoAtTxOutRef' :: GYTxQueryMonad m => GYTxOutRef -> m GYUTxO #

A version of utxoAtTxOutRef that raises GYNoUtxoAtRef if the utxo is not found.

utxoAtTxOutRefWithDatum' :: GYTxQueryMonad m => GYTxOutRef -> m (GYUTxO, Maybe GYDatum) #

A version of utxoAtTxOutRefWithDatum that raises GYNoUtxoAtRef if the utxo is not found.

someUTxOWithoutRefScript :: GYTxUserQueryMonad m => m GYTxOutRef #

Returns some UTxO present in wallet which doesn't have reference script.

slotToBeginTime :: GYTxQueryMonad f => GYSlot -> f GYTime #

Get the starting GYTime of a GYSlot in GYTxMonad.

slotToEndTime :: GYTxQueryMonad f => GYSlot -> f GYTime #

Get the ending GYTime of a GYSlot (inclusive) in GYTxMonad.

enclosingSlotFromTime :: GYTxQueryMonad f => GYTime -> f (Maybe GYSlot) #

Get the GYSlot of a GYTime in GYTxMonad.

Returns Nothing if given time is before known system start.

enclosingSlotFromTime' :: GYTxQueryMonad m => GYTime -> m GYSlot #

Partial version of enclosingSlotFromTime.

Raises GYTimeUnderflowException if given time is before known system start.

slotToEpoch :: GYTxQueryMonad m => GYSlot -> m GYEpochNo #

Get epoch number in which the given slot belongs to.

epochToBeginSlot :: GYTxQueryMonad m => GYEpochNo -> m GYSlot #

Get the first slot in the given epoch.

scriptAddress :: forall m (v :: PlutusVersion). GYTxQueryMonad m => GYScript v -> m GYAddress #

Calculate script's address.

scriptAddress' :: GYTxQueryMonad m => GYScriptHash -> m GYAddress #

Calculate script's address.

addressFromText' :: MonadError GYTxMonadException m => Text -> m GYAddress #

Parse the bech32 representation of an address into GYAddress in GYTxMonad.

Throw GYConversionException if parsing fails.

addressFromPlutusM :: GYTxQueryMonad m => Address -> m (Either PlutusToCardanoError GYAddress) #

Convert a Address to GYAddress in GYTxMonad.

Explicitly returns an error rather than throwing it.

addressFromPlutusHushedM :: GYTxQueryMonad m => Address -> m (Maybe GYAddress) #

hushed version of addressFromPlutusM.

addressFromPlutus' :: GYTxQueryMonad m => Address -> m GYAddress #

Convert a Address to GYAddress in GYTxMonad.

Throw GYConversionException if conversion fails.

addressToPubKeyHash' :: MonadError GYTxMonadException m => GYAddress -> m GYPubKeyHash #

Convert GYAddress to GYPubKeyHash in GYTxMonad.

Throw GYConversionException if address is not key-hash one.

addressToPubKeyHashIO :: GYAddress -> IO GYPubKeyHash #

addressToValidatorHash' :: MonadError GYTxMonadException m => GYAddress -> m GYScriptHash #

Convert GYAddress to GYScriptHash in GYTxMonad.

Throw GYConversionException if address is not script-hash one.

addressToValidatorHashIO :: GYAddress -> IO GYScriptHash #

valueFromPlutus' :: MonadError GYTxMonadException m => Value -> m GYValue #

Convert a Value to GYValue in GYTxMonad.

Throw GYConversionException if conversion fails.

valueFromPlutusIO :: Value -> IO GYValue #

Convert a Value to GYValue in IO.

Throw GYConversionException if conversion fails.

makeAssetClass' :: MonadError GYTxMonadException m => Text -> Text -> m GYAssetClass #

Create a GYAssetClass from the textual representation of currency symbol and token name in GYTxMonad.

Throw GYConversionException if conversion fails.

makeAssetClassIO :: Text -> Text -> IO GYAssetClass #

makeAssetClass' in the IO monad.

Throw GYConversionException if conversion fails.

assetClassFromPlutus' :: MonadError GYTxMonadException m => AssetClass -> m GYAssetClass #

Convert a AssetClass to GYAssetClass in GYTxMonad.

Throw GYConversionException if conversion fails.

tokenNameFromPlutus' :: MonadError GYTxMonadException m => TokenName -> m GYTokenName #

Convert a TokenName to GYTokenName in GYTxMonad.

Throw GYConversionException if conversion fails.

txOutRefFromPlutus' :: MonadError GYTxMonadException m => TxOutRef -> m GYTxOutRef #

Convert a TxOutRef to GYTxOutRef in GYTxMonad.

Throw GYConversionException if conversion fails.

datumHashFromPlutus' :: MonadError GYTxMonadException m => DatumHash -> m GYDatumHash #

Convert a DatumHash to GYDatumHash in GYTxMonad.

Throw GYConversionException if conversion fails.

pubKeyHashFromPlutus' :: MonadError GYTxMonadException m => PubKeyHash -> m GYPubKeyHash #

Convert a PubKeyHash to GYPubKeyHash in GYTxMonad.

Throw GYConversionException if conversion fails.

advanceSlot' :: MonadError GYTxMonadException m => GYSlot -> Natural -> m GYSlot #

Advance GYSlot forward in GYTxMonad. If slot value overflows, throw GYSlotOverflowException.

utxosDatums :: (GYTxQueryMonad m, FromData a) => GYUTxOs -> m (Map GYTxOutRef (GYAddress, GYValue, a)) #

utxosDatumsPure :: FromData a => [(GYUTxO, Maybe GYDatum)] -> Map GYTxOutRef (GYAddress, GYValue, a) #

Pure variant of utxosDatums.

utxosDatumsPureWithOriginalDatum :: FromData a => [(GYUTxO, Maybe GYDatum)] -> Map GYTxOutRef (GYAddress, GYValue, a, GYDatum) #

Like utxosDatumsPure but also returns original raw GYDatum.

utxoDatum :: (GYTxQueryMonad m, FromData a) => GYUTxO -> m (Either GYQueryDatumError (GYAddress, GYValue, a)) #

utxoDatumPure :: FromData a => (GYUTxO, Maybe GYDatum) -> Either GYQueryDatumError (GYAddress, GYValue, a) #

Pure variant of utxoDatum.

utxoDatumPureWithOriginalDatum :: FromData a => (GYUTxO, Maybe GYDatum) -> Either GYQueryDatumError (GYAddress, GYValue, a, GYDatum) #

Like utxoDatumPure but also returns original raw datum.

utxoDatumHushed :: (GYTxQueryMonad m, FromData a) => GYUTxO -> m (Maybe (GYAddress, GYValue, a)) #

utxoDatumPureHushed :: FromData a => (GYUTxO, Maybe GYDatum) -> Maybe (GYTxOutRef, (GYAddress, GYValue, a)) #

Obtain original datum representation of an UTxO.

utxoDatumPureHushedWithOriginalDatum :: FromData a => (GYUTxO, Maybe GYDatum) -> Maybe (GYTxOutRef, (GYAddress, GYValue, a, GYDatum)) #

Like utxoDatumPureHushed but also returns original raw GYDatum.

utxoDatum' :: (GYTxQueryMonad m, FromData a) => GYUTxO -> m (GYAddress, GYValue, a) #

Version of utxoDatum that throws GYTxMonadException.

utxoDatumPure' :: (MonadError GYTxMonadException m, FromData a) => (GYUTxO, Maybe GYDatum) -> m (GYAddress, GYValue, a) #

Version of utxoDatumPure that throws GYTxMonadException.

utxoDatumPureWithOriginalDatum' :: (MonadError GYTxMonadException m, FromData a) => (GYUTxO, Maybe GYDatum) -> m (GYAddress, GYValue, a, GYDatum) #

Like utxoDatumPure' but also returns original raw datum.

mustHaveInput :: forall (v :: PlutusVersion). GYTxIn v -> GYTxSkeleton v #

mustHaveRefInput :: forall (v :: PlutusVersion). GYTxOutRef -> GYTxSkeleton v #

mustHaveOutput :: forall (v :: PlutusVersion). GYTxOut v -> GYTxSkeleton v #

mustHaveOptionalOutput :: forall (v :: PlutusVersion). Maybe (GYTxOut v) -> GYTxSkeleton v #

mustHaveTxMetadata :: forall (v :: PlutusVersion). Maybe GYTxMetadata -> GYTxSkeleton v #

mustHaveVotingProcedures :: forall (v :: PlutusVersion). VersionIsGreaterOrEqual v 'PlutusV3 => GYTxVotingProcedures v -> GYTxSkeleton v #

mustHaveProposalProcedure :: forall (v :: PlutusVersion). VersionIsGreaterOrEqual v 'PlutusV3 => GYProposalProcedurePB -> GYTxBuildWitness v -> GYTxSkeleton v #

mustHaveProposalProcedures :: forall (v :: PlutusVersion). VersionIsGreaterOrEqual v 'PlutusV3 => [(GYProposalProcedurePB, GYTxBuildWitness v)] -> GYTxSkeleton v #

mustMint :: forall (v :: PlutusVersion). GYBuildScript v -> GYRedeemer -> GYTokenName -> Integer -> GYTxSkeleton v #

mustHaveWithdrawal :: forall (v :: PlutusVersion). GYTxWdrl v -> GYTxSkeleton v #

mustHaveCertificate :: forall (v :: PlutusVersion). GYTxCert v -> GYTxSkeleton v #

mustBeSignedBy :: forall a (v :: PlutusVersion). CanSignTx a => a -> GYTxSkeleton v #

isInvalidBefore :: forall (v :: PlutusVersion). GYSlot -> GYTxSkeleton v #

isInvalidAfter :: forall (v :: PlutusVersion). GYSlot -> GYTxSkeleton v #

mustHaveDonation :: forall (v :: PlutusVersion). VersionIsGreaterOrEqual v 'PlutusV3 => Natural -> GYTxSkeleton v #

gyLogDebug' :: (GYTxQueryMonad m, HasCallStack) => GYLogNamespace -> String -> m () #

gyLogInfo' :: (GYTxQueryMonad m, HasCallStack) => GYLogNamespace -> String -> m () #

gyLogWarning' :: (GYTxQueryMonad m, HasCallStack) => GYLogNamespace -> String -> m () #

gyLogError' :: (GYTxQueryMonad m, HasCallStack) => GYLogNamespace -> String -> m () #

skeletonToRefScriptsORefs :: forall (v :: PlutusVersion). GYTxSkeleton v -> [GYTxOutRef] #

Given a skeleton, returns a list of reference to reference script UTxOs which are present as witness.

wrapReqWithTimeLog :: (GYTxQueryMonad m, MonadIO m) => String -> m a -> m a #

Log the time a particular monad action took.

wt :: (GYTxQueryMonad m, MonadIO m) => String -> m a -> m a #

Synonym of wrapReqWithTimeLog.

obtainTxBodyContentBuildTx :: GYTxSpecialQueryMonad m => GYTxBody -> m (TxBodyContent BuildTx ApiEra) #

See obtainTxBodyContentBuildTx' for details.

obtainTxBodyContentBuildTx' :: GYTxSpecialQueryMonad m => GYTxBody -> m (TxBodyContent BuildTx ApiEra, GYUTxOs) #

Obtain 'TxBodyContent BuildTx ApiEra' from GYTxBody. Also returns the set of UTxOs used as input in this transaction (reference and spending inputs).

CAUTION: This does not account for voting procedures and proposal procedures present inside the original transaction.