atlas-cardano-0.3.0: Application backend for Plutus smart contracts on Cardano
Copyright(c) 2023 GYELD GMBH
LicenseApache 2.0
Maintainer[email protected]
Stabilitydevelop
Safe HaskellNone
LanguageHaskell2010

GeniusYield.TxBuilder.Class

Description

 
Synopsis

Documentation

class Monad m ⇒ MonadError e (m ∷ TypeType) | 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 #

catchErrorMaybe 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

throwErrorIOExceptionIO a #

catchErrorIO a → (IOExceptionIO 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

MonadError GYTxMonadException GYTxMonadRun # 
Instance details

Defined in GeniusYield.TxBuilder.Run

MonadError GYTxMonadException GYTxMonadNode # 
Instance details

Defined in GeniusYield.TxBuilder.Node

MonadError e m ⇒ MonadError e (MaybeT m) 
Instance details

Defined in Control.Monad.Error.Class

Methods

throwError ∷ e → MaybeT m a #

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

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

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

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 #

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

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

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

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

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

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

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

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

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

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

catchErrorRWST 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 ∷ TypeType) 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 (ListT m) 
Instance details

Defined in Control.Monad.Random.Class

Methods

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

getRandom ∷ Random a ⇒ ListT m a #

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

getRandoms ∷ Random a ⇒ ListT 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] #

(Error e, MonadRandom m) ⇒ MonadRandom (ErrorT e m) 
Instance details

Defined in Control.Monad.Random.Class

Methods

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

getRandom ∷ Random a ⇒ ErrorT e m a #

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

getRandoms ∷ Random a ⇒ ErrorT e 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

ownAddresses ∷ m [GYAddress] #

Get your own address(es).

availableUTxOs ∷ m GYUTxOs #

Get available UTxOs that can be operated upon.

someUTxOPlutusVersion → m GYTxOutRef #

Return some unspend transaction output translatable to the given language corresponding to the script in question.

Note: may or may not return the same value

randSeed ∷ m Int #

A seed to inject non-determinism.

class MonadError GYTxMonadException m ⇒ GYTxQueryMonad m where #

Class of monads for querying chain data.

Methods

networkId ∷ m GYNetworkId #

Get the network id

lookupDatumGYDatumHash → m (Maybe GYDatum) #

Lookup datum by its hash.

utxoAtTxOutRefGYTxOutRef → m (Maybe GYUTxO) #

Lookup GYUTxO at GYTxOutRef.

utxosAtTxOutRefs ∷ [GYTxOutRef] → m GYUTxOs #

Lookup GYUTxOs at multiple GYTxOutRefs at once

utxosAtAddressGYAddress → m GYUTxOs #

Lookup GYUTxOs at GYAddress.

utxosAtAddresses ∷ [GYAddress] → m GYUTxOs #

Lookup GYUTxOs at zero or more GYAddress.

utxoRefsAtAddressGYAddress → 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.

logMsgHasCallStackGYLogNamespaceGYLogSeverityString → m () #

Log a message with specified namespace and severity.

Instances

Instances details
GYTxQueryMonad GYTxQueryMonadNode # 
Instance details

Defined in GeniusYield.TxBuilder.NodeQuery

GYTxQueryMonad GYTxMonadRun # 
Instance details

Defined in GeniusYield.TxBuilder.Run

GYTxQueryMonad GYTxMonadNode # 
Instance details

Defined in GeniusYield.TxBuilder.Node

GYTxQueryMonad m ⇒ GYTxQueryMonad (ExceptT GYTxMonadException m) # 
Instance details

Defined in GeniusYield.TxBuilder.Class

GYTxQueryMonad m ⇒ GYTxQueryMonad (ReaderT env m) # 
Instance details

Defined in GeniusYield.TxBuilder.Class

GYTxQueryMonad m ⇒ GYTxQueryMonad (RandT g m) # 
Instance details

Defined in GeniusYield.TxBuilder.Class

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.

Instances

Instances details
Show (GYTxSkeleton v) # 
Instance details

Defined in GeniusYield.TxBuilder.Class

Methods

showsPrecIntGYTxSkeleton v → ShowS #

showGYTxSkeleton v → String #

showList ∷ [GYTxSkeleton v] → ShowS #

Semigroup (GYTxSkeleton v) # 
Instance details

Defined in GeniusYield.TxBuilder.Class

Monoid (GYTxSkeleton v) # 
Instance details

Defined in GeniusYield.TxBuilder.Class

data RandT g (m ∷ TypeType) 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 () #

listenRandT g m a → RandT g m (a, w) #

passRandT 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

getRandT 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

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

catchErrorRandT 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

getSplitRandT g m g

MonadTrans (RandT g) 
Instance details

Defined in Control.Monad.Trans.Random.Lazy

Methods

liftMonad 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

uniformWord32RWord32 → RandGen g → RandT g m Word32

uniformWord64RWord64 → 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

uniformShortByteStringInt → 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

failStringRandT 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

liftIOIO a → RandT g m a #

MonadPlus m ⇒ Alternative (RandT g m) 
Instance details

Defined in Control.Monad.Trans.Random.Lazy

Methods

emptyRandT g m a #

(<|>)RandT g m a → RandT g m a → RandT g m a #

someRandT g m a → RandT g m [a] #

manyRandT g m a → RandT g m [a] #

MonadPlus m ⇒ MonadPlus (RandT g m) 
Instance details

Defined in Control.Monad.Trans.Random.Lazy

Methods

mzeroRandT g m a #

mplusRandT 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

interleaveRandT 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

GYTxQueryMonad m ⇒ GYTxQueryMonad (RandT g m) # 
Instance details

Defined in GeniusYield.TxBuilder.Class

type PrimState (RandT s m) 
Instance details

Defined in Control.Monad.Trans.Random.Lazy

type PrimState (RandT s m) = PrimState m

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.

someUTxOWithoutRefScriptGYTxMonad m ⇒ m GYTxOutRef #

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

slotToBeginTimeGYTxQueryMonad f ⇒ GYSlot → f GYTime #

Get the starting GYTime of a GYSlot in GYTxMonad.

slotToEndTimeGYTxQueryMonad f ⇒ GYSlot → f GYTime #

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

enclosingSlotFromTimeGYTxQueryMonad 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.

scriptAddressGYTxQueryMonad m ⇒ GYValidator v → m GYAddress #

Calculate script's address.

scriptAddress'GYTxQueryMonad m ⇒ GYValidatorHash → 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.

addressFromPlutusMGYTxQueryMonad m ⇒ Address → m (Either PlutusToCardanoError GYAddress) #

Convert a Address to GYAddress in GYTxMonad.

Explicitly returns an error rather than throwing it.

addressFromPlutus'GYTxQueryMonad m ⇒ Address → m GYAddress #

Convert a Address to GYAddress in GYTxMonad.

Throw GYConversionException if conversion fails.

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 ⇒ TextText → m GYAssetClass #

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

Throw GYConversionException if conversion fails.

makeAssetClassIOTextTextIO 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 ⇒ GYSlotNatural → m GYSlot #

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

utxosDatums ∷ ∀ m a. (GYTxQueryMonad m, FromData a) ⇒ GYUTxOs → m (Map GYTxOutRef (GYAddress, GYValue, a)) #

utxoDatumHushed ∷ (GYTxQueryMonad m, FromData a) ⇒ GYUTxO → m (Maybe (GYAddress, GYValue, a)) #

utxoDatum' ∷ (GYTxQueryMonad m, FromData a) ⇒ GYUTxO → m (GYAddress, GYValue, a) #

Version of utxoDatum that throws GYTxMonadException.

skeletonToRefScriptsORefsGYTxSkeleton v → [GYTxOutRef] #

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