Moduleplutus-core-1.70.0.0

PlutusCore.Quote

Synopsis

valuefreshName :: MonadQuote m => Text -> m Name

valuefreshTyName :: MonadQuote m => Text -> m TyName

valuefreshUnique :: MonadQuote m => m Unique

valuefreshenName :: MonadQuote m => Name -> m Name

valuefreshenTyName :: MonadQuote m => TyName -> m TyName

valuemarkNonFresh :: MonadQuote m => Unique -> m ()

valuemarkNonFreshBelow :: MonadQuote m => Unique -> m ()

valuemarkNonFreshMax :: MonadQuote m => Set Unique -> m ()

valuerunQuote :: Quote a -> a

valuerunQuoteT :: Monad m => QuoteT m a -> m a

typetype FreshState = Unique

classclass Monad m => MonadQuote (m :: Type -> Type) where

Instances11MonadQuote, …

Monad m => MonadQuote (QuoteT m)Defined in plutus-core-1.70.0.0 · PlutusCore.Quote
MonadQuote m => MonadQuote (GenT m)Defined in plutus-core-1.70.0.0 · PlutusCore.Quote
MonadQuote m => MonadQuote (PropertyT m)Defined in plutus-core-1.70.0.0 · PlutusCore.Quote
MonadQuote m => MonadQuote (MaybeT m)Defined in plutus-core-1.70.0.0 · PlutusCore.Quote
MonadQuote m => MonadQuote (RenameT ren m)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename.Monad
MonadQuote m => MonadQuote (ExceptT e m)Defined in plutus-core-1.70.0.0 · PlutusCore.Quote
MonadQuote m => MonadQuote (ReaderT r m)Defined in plutus-core-1.70.0.0 · PlutusCore.Quote
MonadQuote m => MonadQuote (StateT s m)Defined in plutus-core-1.70.0.0 · PlutusCore.Quote
(Stream s, MonadQuote m) => MonadQuote (ParsecT e s m)Defined in plutus-core-1.70.0.0 · PlutusCore.Parser.ParserCommon · orphan
MonadQuote m => MonadQuote (NormalizeTypeT m tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Normalize.Internal
MonadQuote m => MonadQuote (OptimizerT name uni fun ann m)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Transform.Optimizer

typetype Quote = QuoteT Identity

newtypenewtype QuoteT (m :: Type -> Type) a

Instances12MonadTrans, MFunctor, MonadError, MonadReader, MonadState, MonadWriter, …

MonadTrans QuoteTDefined in plutus-core-1.70.0.0 · PlutusCore.Quote
MFunctor QuoteTDefined in plutus-core-1.70.0.0 · PlutusCore.Quote
MonadError e m => MonadError e (QuoteT m)Defined in plutus-core-1.70.0.0 · PlutusCore.Quote
MonadReader r m => MonadReader r (QuoteT m)Defined in plutus-core-1.70.0.0 · PlutusCore.Quote
MonadState s m => MonadState s (QuoteT m)Defined in plutus-core-1.70.0.0 · PlutusCore.Quote
MonadWriter w m => MonadWriter w (QuoteT m)Defined in plutus-core-1.70.0.0 · PlutusCore.Quote
Monad m => Monad (QuoteT m)Defined in plutus-core-1.70.0.0 · PlutusCore.Quote
Functor m => Functor (QuoteT m)Defined in plutus-core-1.70.0.0 · PlutusCore.Quote
MonadFix m => MonadFix (QuoteT m)Defined in plutus-core-1.70.0.0 · PlutusCore.Quote
Monad m => Applicative (QuoteT m)Defined in plutus-core-1.70.0.0 · PlutusCore.Quote
MonadIO m => MonadIO (QuoteT m)Defined in plutus-core-1.70.0.0 · PlutusCore.Quote
Monad m => MonadQuote (QuoteT m)Defined in plutus-core-1.70.0.0 · PlutusCore.Quote