Copyright	(c) 2023 GYELD GMBH
License	Apache 2.0
Maintainer	support@geniusyield.co
Stability	develop
Safe Haskell	None
Language	Haskell2010

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 GYTxQueryMonad m ⇒ GYTxMonad m where
- someUTxO ∷ m GYTxOutRef
- randSeed ∷ m Int
class MonadError GYTxMonadException m ⇒ GYTxQueryMonad m where
- networkId ∷ m GYNetworkId
- lookupDatum ∷ GYDatumHash → m (Maybe GYDatum)
- utxoAtTxOutRef ∷ GYTxOutRef → m (Maybe GYUTxO)
- utxosAtTxOutRefs ∷ [GYTxOutRef] → m GYUTxOs
- utxosAtAddress ∷ GYAddress → m GYUTxOs
- utxosAtAddresses ∷ [GYAddress] → m GYUTxOs
- utxoRefsAtAddress ∷ GYAddress → m [GYTxOutRef]
- slotConfig ∷ m GYSlotConfig
- currentSlot ∷ m GYSlot
- logMsg ∷ HasCallStack ⇒ GYLogNamespace → GYLogSeverity → String → m ()
data GYTxSkeleton (v ∷ PlutusVersion) = GYTxSkeleton {
- gytxIns ∷ ![GYTxIn v]
- gytxOuts ∷ ![GYTxOut v]
- gytxRefIns ∷ !(GYTxSkeletonRefIns v)
- gytxMint ∷ !(Map (Some GYMintingPolicy) (Map GYTokenName Integer, GYRedeemer))
- gytxSigs ∷ !(Set GYPubKeyHash)
- gytxInvalidBefore ∷ !(Maybe GYSlot)
- gytxInvalidAfter ∷ !(Maybe GYSlot)
}
data GYTxSkeletonRefIns ∷ PlutusVersion → Type where
- GYTxSkeletonRefIns ∷ VersionIsGreaterOrEqual v PlutusV2 ⇒ !(Set GYTxOutRef) → GYTxSkeletonRefIns v
- GYTxSkeletonNoRefIns ∷ GYTxSkeletonRefIns v
gyTxSkeletonRefInsToList ∷ GYTxSkeletonRefIns v → [GYTxOutRef]
data RandT g (m ∷ Type → Type) a
lookupDatum' ∷ GYTxQueryMonad m ⇒ GYDatumHash → m GYDatum
utxoAtTxOutRef' ∷ GYTxQueryMonad m ⇒ GYTxOutRef → m GYUTxO
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
scriptAddress ∷ GYTxQueryMonad m ⇒ GYValidator v → m GYAddress
scriptAddress' ∷ GYTxQueryMonad m ⇒ GYValidatorHash → 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 GYValidatorHash
addressToValidatorHashIO ∷ GYAddress → IO GYValidatorHash
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 ∷ ∀ m a. (GYTxQueryMonad m, FromData a) ⇒ GYUTxOs → m (Map GYTxOutRef (GYAddress, GYValue, a))
utxoDatum ∷ (GYTxQueryMonad m, FromData a) ⇒ GYUTxO → m (Either GYQueryDatumError (GYAddress, GYValue, a))
utxoDatumHushed ∷ (GYTxQueryMonad m, FromData a) ⇒ GYUTxO → m (Maybe (GYAddress, GYValue, a))
utxoDatum' ∷ (GYTxQueryMonad m, FromData a) ⇒ GYUTxO → m (GYAddress, GYValue, a)
mustHaveInput ∷ GYTxIn v → GYTxSkeleton v
mustHaveRefInput ∷ VersionIsGreaterOrEqual v PlutusV2 ⇒ GYTxOutRef → GYTxSkeleton v
mustHaveOutput ∷ GYTxOut v → GYTxSkeleton v
mustHaveOptionalOutput ∷ Maybe (GYTxOut v) → GYTxSkeleton v
mustMint ∷ GYMintingPolicy u → GYRedeemer → GYTokenName → Integer → GYTxSkeleton v
mustBeSignedBy ∷ GYPubKeyHash → GYTxSkeleton v
isInvalidBefore ∷ GYSlot → GYTxSkeleton v
isInvalidAfter ∷ GYSlot → GYTxSkeleton v
gyLogDebug' ∷ GYTxQueryMonad m ⇒ GYLogNamespace → String → m ()
gyLogInfo' ∷ GYTxQueryMonad m ⇒ GYLogNamespace → String → m ()
gyLogWarning' ∷ GYTxQueryMonad m ⇒ GYLogNamespace → String → m ()
gyLogError' ∷ GYTxQueryMonad m ⇒ GYLogNamespace → String → m ()
skeletonToRefScriptsORefs ∷ GYTxSkeleton v → [GYTxOutRef]

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 () 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 () EvaluationResult
Instance details Defined in PlutusCore.Evaluation.Result Methods throwError ∷ () → EvaluationResult a # catchError ∷ EvaluationResult a → (() → EvaluationResult a) → EvaluationResult 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 ClientError ClientM
Instance details Defined in Servant.Client.Internal.HttpClient Methods throwError ∷ ClientError → ClientM a # catchError ∷ ClientM a → (ClientError → ClientM a) → ClientM a #
MonadError GYTxMonadException GYTxQueryMonadNode #
Instance details Defined in GeniusYield.TxBuilder.NodeQuery Methods throwError ∷ GYTxMonadException → GYTxQueryMonadNode a # catchError ∷ GYTxQueryMonadNode a → (GYTxMonadException → GYTxQueryMonadNode a) → GYTxQueryMonadNode a #
MonadError GYTxMonadException GYTxMonadRun #
Instance details Defined in GeniusYield.TxBuilder.Run Methods throwError ∷ GYTxMonadException → GYTxMonadRun a # catchError ∷ GYTxMonadRun a → (GYTxMonadException → GYTxMonadRun a) → GYTxMonadRun a #
MonadError GYTxMonadException GYTxMonadNode #
Instance details Defined in GeniusYield.TxBuilder.Node Methods throwError ∷ GYTxMonadException → GYTxMonadNode a # catchError ∷ GYTxMonadNode a → (GYTxMonadException → GYTxMonadNode a) → GYTxMonadNode 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 (ListT m)
Instance details Defined in Control.Monad.Error.Class Methods throwError ∷ e → ListT m a # catchError ∷ ListT m a → (e → ListT m a) → ListT 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 (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 (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 (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 (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 (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 (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 (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 (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 #
(Functor m, 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 #
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 #
(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 (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 #
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 (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 #
(Monad m, Error e) ⇒ MonadError e (ErrorT e m)
Instance details Defined in Control.Monad.Error.Class Methods throwError ∷ e → ErrorT e m a # catchError ∷ ErrorT e m a → (e → ErrorT e m a) → ErrorT e 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 #
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 #
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 (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)
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 #
PrettyUni 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 #

Methods

getRandomR ∷ Random a ⇒ (a, a) → m a #

getRandom ∷ Random a ⇒ m a #

getRandomRs ∷ Random a ⇒ (a, a) → m [a] #

getRandoms ∷ Random a ⇒ m [a] #

Instances

Instances details

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 NonRandom
Instance details Defined in Control.Monad.Random.NonRandom Methods getRandomR ∷ Random a ⇒ (a, a) → NonRandom a # getRandom ∷ Random a ⇒ NonRandom a # getRandomRs ∷ Random a ⇒ (a, a) → NonRandom [a] # getRandoms ∷ Random a ⇒ NonRandom [a] #
MonadRandom GYTxMonadRun #
Instance details Defined in GeniusYield.TxBuilder.Run Methods getRandomR ∷ Random a ⇒ (a, a) → GYTxMonadRun a # getRandom ∷ Random a ⇒ GYTxMonadRun a # getRandomRs ∷ Random a ⇒ (a, a) → GYTxMonadRun [a] # getRandoms ∷ Random a ⇒ GYTxMonadRun [a] #
MonadRandom GYTxMonadNode #
Instance details Defined in GeniusYield.TxBuilder.Node Methods getRandomR ∷ Random a ⇒ (a, a) → GYTxMonadNode a # getRandom ∷ Random a ⇒ GYTxMonadNode a # getRandomRs ∷ Random a ⇒ (a, a) → GYTxMonadNode [a] # getRandoms ∷ Random a ⇒ GYTxMonadNode [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] #
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] #
(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 (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 GYTxQueryMonad m ⇒ GYTxMonad m where #

Class of monads for querying monads as a user.

Methods

someUTxO ∷ m GYTxOutRef #

Return some unspend transaction output

Note: may or may not return the same value

randSeed ∷ m Int #

A seed to inject non-determinism.

Instances

Instances details

GYTxMonad GYTxMonadRun #
Instance details Defined in GeniusYield.TxBuilder.Run Methods someUTxO ∷ GYTxMonadRun GYTxOutRef # randSeed ∷ GYTxMonadRun Int #
GYTxMonad GYTxMonadNode #
Instance details Defined in GeniusYield.TxBuilder.Node Methods someUTxO ∷ GYTxMonadNode GYTxOutRef # randSeed ∷ GYTxMonadNode Int #
GYTxMonad m ⇒ GYTxMonad (ExceptT GYTxMonadException m) #
Instance details Defined in GeniusYield.TxBuilder.Class Methods someUTxO ∷ ExceptT GYTxMonadException m GYTxOutRef # randSeed ∷ ExceptT GYTxMonadException m Int #
GYTxMonad m ⇒ GYTxMonad (ReaderT g m) #
Instance details Defined in GeniusYield.TxBuilder.Class Methods someUTxO ∷ ReaderT g m GYTxOutRef # randSeed ∷ ReaderT g m Int #
GYTxMonad m ⇒ GYTxMonad (RandT g m) #
Instance details Defined in GeniusYield.TxBuilder.Class Methods someUTxO ∷ RandT g m GYTxOutRef # randSeed ∷ RandT g m Int #

class MonadError GYTxMonadException m ⇒ GYTxQueryMonad m where #

Class of monads for querying chain data.

Minimal complete definition

networkId, lookupDatum, (utxoAtTxOutRef | utxosAtTxOutRefs), (utxosAtAddress | utxosAtAddresses), slotConfig, currentSlot, logMsg

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.

utxosAtTxOutRefs ∷ [GYTxOutRef] → m GYUTxOs #

Lookup GYUTxOs at multiple GYTxOutRefs at once

utxosAtAddress ∷ GYAddress → m GYUTxOs #

Lookup GYUTxOs at GYAddress.

utxosAtAddresses ∷ [GYAddress] → m GYUTxOs #

Lookup GYUTxOs at zero or more GYAddress.

utxoRefsAtAddress ∷ GYAddress → m [GYTxOutRef] #

Lookup the `[GYTxOutRef]`s at a GYAddress

slotConfig ∷ m GYSlotConfig #

Obtain the slot config for the network.

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

currentSlot ∷ m GYSlot #

Lookup the current GYSlot.

logMsg ∷ HasCallStack ⇒ GYLogNamespace → GYLogSeverity → String → m () #

Log a message with specified namespace and severity.

Instances

Instances details

GYTxQueryMonad GYTxQueryMonadNode #
Instance details Defined in GeniusYield.TxBuilder.NodeQuery Methods networkId ∷ GYTxQueryMonadNode GYNetworkId # lookupDatum ∷ GYDatumHash → GYTxQueryMonadNode (Maybe GYDatum) # utxoAtTxOutRef ∷ GYTxOutRef → GYTxQueryMonadNode (Maybe GYUTxO) # utxosAtTxOutRefs ∷ [GYTxOutRef] → GYTxQueryMonadNode GYUTxOs # utxosAtAddress ∷ GYAddress → GYTxQueryMonadNode GYUTxOs # utxosAtAddresses ∷ [GYAddress] → GYTxQueryMonadNode GYUTxOs # utxoRefsAtAddress ∷ GYAddress → GYTxQueryMonadNode [GYTxOutRef] # slotConfig ∷ GYTxQueryMonadNode GYSlotConfig # currentSlot ∷ GYTxQueryMonadNode GYSlot # logMsg ∷ GYLogNamespace → GYLogSeverity → String → GYTxQueryMonadNode () #
GYTxQueryMonad GYTxMonadRun #
Instance details Defined in GeniusYield.TxBuilder.Run Methods networkId ∷ GYTxMonadRun GYNetworkId # lookupDatum ∷ GYDatumHash → GYTxMonadRun (Maybe GYDatum) # utxoAtTxOutRef ∷ GYTxOutRef → GYTxMonadRun (Maybe GYUTxO) # utxosAtTxOutRefs ∷ [GYTxOutRef] → GYTxMonadRun GYUTxOs # utxosAtAddress ∷ GYAddress → GYTxMonadRun GYUTxOs # utxosAtAddresses ∷ [GYAddress] → GYTxMonadRun GYUTxOs # utxoRefsAtAddress ∷ GYAddress → GYTxMonadRun [GYTxOutRef] # slotConfig ∷ GYTxMonadRun GYSlotConfig # currentSlot ∷ GYTxMonadRun GYSlot # logMsg ∷ GYLogNamespace → GYLogSeverity → String → GYTxMonadRun () #
GYTxQueryMonad GYTxMonadNode #
Instance details Defined in GeniusYield.TxBuilder.Node Methods networkId ∷ GYTxMonadNode GYNetworkId # lookupDatum ∷ GYDatumHash → GYTxMonadNode (Maybe GYDatum) # utxoAtTxOutRef ∷ GYTxOutRef → GYTxMonadNode (Maybe GYUTxO) # utxosAtTxOutRefs ∷ [GYTxOutRef] → GYTxMonadNode GYUTxOs # utxosAtAddress ∷ GYAddress → GYTxMonadNode GYUTxOs # utxosAtAddresses ∷ [GYAddress] → GYTxMonadNode GYUTxOs # utxoRefsAtAddress ∷ GYAddress → GYTxMonadNode [GYTxOutRef] # slotConfig ∷ GYTxMonadNode GYSlotConfig # currentSlot ∷ GYTxMonadNode GYSlot # logMsg ∷ GYLogNamespace → GYLogSeverity → String → GYTxMonadNode () #
GYTxQueryMonad m ⇒ GYTxQueryMonad (ExceptT GYTxMonadException m) #
Instance details Defined in GeniusYield.TxBuilder.Class Methods networkId ∷ ExceptT GYTxMonadException m GYNetworkId # lookupDatum ∷ GYDatumHash → ExceptT GYTxMonadException m (Maybe GYDatum) # utxoAtTxOutRef ∷ GYTxOutRef → ExceptT GYTxMonadException m (Maybe GYUTxO) # utxosAtTxOutRefs ∷ [GYTxOutRef] → ExceptT GYTxMonadException m GYUTxOs # utxosAtAddress ∷ GYAddress → ExceptT GYTxMonadException m GYUTxOs # utxosAtAddresses ∷ [GYAddress] → ExceptT GYTxMonadException m GYUTxOs # utxoRefsAtAddress ∷ GYAddress → ExceptT GYTxMonadException m [GYTxOutRef] # slotConfig ∷ ExceptT GYTxMonadException m GYSlotConfig # currentSlot ∷ ExceptT GYTxMonadException m GYSlot # logMsg ∷ GYLogNamespace → GYLogSeverity → String → ExceptT GYTxMonadException m () #
GYTxQueryMonad m ⇒ GYTxQueryMonad (ReaderT env m) #
Instance details Defined in GeniusYield.TxBuilder.Class Methods networkId ∷ ReaderT env m GYNetworkId # lookupDatum ∷ GYDatumHash → ReaderT env m (Maybe GYDatum) # utxoAtTxOutRef ∷ GYTxOutRef → ReaderT env m (Maybe GYUTxO) # utxosAtTxOutRefs ∷ [GYTxOutRef] → ReaderT env m GYUTxOs # utxosAtAddress ∷ GYAddress → ReaderT env m GYUTxOs # utxosAtAddresses ∷ [GYAddress] → ReaderT env m GYUTxOs # utxoRefsAtAddress ∷ GYAddress → ReaderT env m [GYTxOutRef] # slotConfig ∷ ReaderT env m GYSlotConfig # currentSlot ∷ ReaderT env m GYSlot # logMsg ∷ GYLogNamespace → GYLogSeverity → String → ReaderT env m () #
GYTxQueryMonad m ⇒ GYTxQueryMonad (RandT g m) #
Instance details Defined in GeniusYield.TxBuilder.Class Methods networkId ∷ RandT g m GYNetworkId # lookupDatum ∷ GYDatumHash → RandT g m (Maybe GYDatum) # utxoAtTxOutRef ∷ GYTxOutRef → RandT g m (Maybe GYUTxO) # utxosAtTxOutRefs ∷ [GYTxOutRef] → RandT g m GYUTxOs # utxosAtAddress ∷ GYAddress → RandT g m GYUTxOs # utxosAtAddresses ∷ [GYAddress] → RandT g m GYUTxOs # utxoRefsAtAddress ∷ GYAddress → RandT g m [GYTxOutRef] # slotConfig ∷ RandT g m GYSlotConfig # currentSlot ∷ RandT g m GYSlot # logMsg ∷ GYLogNamespace → GYLogSeverity → String → RandT g m () #

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 (Some GYMintingPolicy) (Map GYTokenName Integer, GYRedeemer)) gytxSigs ∷ !(Set GYPubKeyHash) gytxInvalidBefore ∷ !(Maybe GYSlot) gytxInvalidAfter ∷ !(Maybe GYSlot)

Instances

Instances details

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

data GYTxSkeletonRefIns ∷ PlutusVersion → Type where #

Constructors

GYTxSkeletonRefIns ∷ VersionIsGreaterOrEqual v PlutusV2 ⇒ !(Set GYTxOutRef) → GYTxSkeletonRefIns v
GYTxSkeletonNoRefIns ∷ GYTxSkeletonRefIns v

Instances

Instances details

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

gyTxSkeletonRefInsToList ∷ GYTxSkeletonRefIns v → [GYTxOutRef] #

data RandT g (m ∷ Type → Type) a #

Instances

Instances details

(MonadReader r m, MonadWriter w m, MonadState s m) ⇒ MonadRWS r w s (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy
MonadWriter w m ⇒ MonadWriter w (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods writer ∷ (a, w) → RandT g m a # tell ∷ w → RandT g m () # listen ∷ RandT g m a → RandT g m (a, w) # pass ∷ RandT g m (a, w → w) → RandT g m a #
MonadState s m ⇒ MonadState s (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods get ∷ RandT g m s # put ∷ s → RandT g m () # state ∷ (s → (a, s)) → RandT g m a #
MonadReader r m ⇒ MonadReader r (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods ask ∷ RandT g m r # local ∷ (r → r) → RandT g m a → RandT g m a # reader ∷ (r → a) → RandT g 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 #
(RandomGen g, Monad m) ⇒ MonadSplit g (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods getSplit ∷ RandT g m g
MonadTrans (RandT g)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods lift ∷ Monad m ⇒ m a → RandT g m a #
(Monad m, RandomGen g) ⇒ RandomGenM (RandGen g) g (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods applyRandomGenM ∷ (g → (a, g)) → RandGen g → RandT g m a
(Monad m, RandomGen g) ⇒ StatefulGen (RandGen g) (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods uniformWord32R ∷ Word32 → RandGen g → RandT g m Word32 uniformWord64R ∷ Word64 → RandGen g → RandT g m Word64 uniformWord8 ∷ RandGen g → RandT g m Word8 uniformWord16 ∷ RandGen g → RandT g m Word16 uniformWord32 ∷ RandGen g → RandT g m Word32 uniformWord64 ∷ RandGen g → RandT g m Word64 uniformShortByteString ∷ Int → RandGen g → RandT g m ShortByteString
Monad m ⇒ Monad (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods (>>=) ∷ RandT g m a → (a → RandT g m b) → RandT g m b # (>>) ∷ RandT g m a → RandT g m b → RandT g m b # return ∷ a → RandT g m a #
Functor m ⇒ Functor (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods fmap ∷ (a → b) → RandT g m a → RandT g m b # (<$) ∷ a → RandT g m b → RandT g m a #
MonadFix m ⇒ MonadFix (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods mfix ∷ (a → RandT g m a) → RandT g m a #
MonadFail m ⇒ MonadFail (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods fail ∷ String → RandT g m a #
Monad m ⇒ Applicative (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods pure ∷ a → RandT g m a # (<>) ∷ RandT g m (a → b) → RandT g m a → RandT g m b # liftA2 ∷ (a → b → c) → RandT g m a → RandT g m b → RandT g m c # (>) ∷ RandT g m a → RandT g m b → RandT g m b # (<*) ∷ RandT g m a → RandT g m b → RandT g m a #
MonadIO m ⇒ MonadIO (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods liftIO ∷ IO a → RandT g m a #
MonadPlus m ⇒ Alternative (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods empty ∷ RandT g m a # (<\|>) ∷ RandT g m a → RandT g m a → RandT g m a # some ∷ RandT g m a → RandT g m [a] # many ∷ RandT g m a → RandT g m [a] #
MonadPlus m ⇒ MonadPlus (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods mzero ∷ RandT g m a # mplus ∷ RandT g m a → RandT g m a → RandT g m a #
MonadCont m ⇒ MonadCont (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods callCC ∷ ((a → RandT g m b) → RandT g m a) → RandT g m a #
PrimMonad m ⇒ PrimMonad (RandT s m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Associated Types type PrimState (RandT s m) Methods primitive ∷ (State# (PrimState (RandT s m)) → (# State# (PrimState (RandT s m)), a #)) → RandT s m a
(Monad m, RandomGen g) ⇒ MonadInterleave (RandT g m)
Instance details Defined in Control.Monad.Trans.Random.Lazy Methods interleave ∷ RandT g m a → RandT g 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] #
GYTxMonad m ⇒ GYTxMonad (RandT g m) #
Instance details Defined in GeniusYield.TxBuilder.Class Methods someUTxO ∷ RandT g m GYTxOutRef # randSeed ∷ RandT g m Int #
GYTxQueryMonad m ⇒ GYTxQueryMonad (RandT g m) #
Instance details Defined in GeniusYield.TxBuilder.Class Methods networkId ∷ RandT g m GYNetworkId # lookupDatum ∷ GYDatumHash → RandT g m (Maybe GYDatum) # utxoAtTxOutRef ∷ GYTxOutRef → RandT g m (Maybe GYUTxO) # utxosAtTxOutRefs ∷ [GYTxOutRef] → RandT g m GYUTxOs # utxosAtAddress ∷ GYAddress → RandT g m GYUTxOs # utxosAtAddresses ∷ [GYAddress] → RandT g m GYUTxOs # utxoRefsAtAddress ∷ GYAddress → RandT g m [GYTxOutRef] # slotConfig ∷ RandT g m GYSlotConfig # currentSlot ∷ RandT g m GYSlot # logMsg ∷ GYLogNamespace → GYLogSeverity → String → RandT g m () #
type PrimState (RandT s m)
Instance details Defined in Control.Monad.Trans.Random.Lazy type PrimState (RandT s m) = PrimState m