| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Quote
Synopsis
- runQuoteT ∷ Monad m ⇒ QuoteT m a → m a
- runQuote ∷ Quote a → a
- freshUnique ∷ MonadQuote m ⇒ m Unique
- freshName ∷ MonadQuote m ⇒ Text → m Name
- freshTyName ∷ MonadQuote m ⇒ Text → m TyName
- freshenName ∷ MonadQuote m ⇒ Name → m Name
- freshenTyName ∷ MonadQuote m ⇒ TyName → m TyName
- newtype QuoteT m a = QuoteT {
- unQuoteT ∷ StateT FreshState m a
- type Quote = QuoteT Identity
- class Monad m ⇒ MonadQuote m
- type FreshState = Unique
- liftQuote ∷ MonadQuote m ⇒ Quote a → m a
- markNonFreshBelow ∷ MonadQuote m ⇒ Unique → m ()
- markNonFresh ∷ MonadQuote m ⇒ Unique → m ()
- markNonFreshMax ∷ MonadQuote m ⇒ Set Unique → m ()
Documentation
runQuoteT ∷ Monad m ⇒ QuoteT m a → m a Source #
Run a quote from an empty identifier state. Note that the resulting term cannot necessarily
be safely combined with other terms - that should happen inside QuoteT.
freshUnique ∷ MonadQuote m ⇒ m Unique Source #
Get a fresh Unique.
freshTyName ∷ MonadQuote m ⇒ Text → m TyName Source #
freshenName ∷ MonadQuote m ⇒ Name → m Name Source #
Make a copy of the given Name that is distinct from the old one.
freshenTyName ∷ MonadQuote m ⇒ TyName → m TyName Source #
Make a copy of the given TyName that is distinct from the old one.
The "quotation" monad transformer. Within this monad you can do safe construction of PLC terms using quasiquotation, fresh-name generation, and parsing.
Constructors
| QuoteT | |
Fields
| |
Instances
| MonadTrans QuoteT Source # | |
| MFunctor QuoteT Source # | |
| MonadError e m ⇒ MonadError e (QuoteT m) Source # | |
Defined in PlutusCore.Quote Methods throwError ∷ e → QuoteT m a Source # catchError ∷ QuoteT m a → (e → QuoteT m a) → QuoteT m a Source # | |
| MonadReader r m ⇒ MonadReader r (QuoteT m) Source # | |
| MonadState s m ⇒ MonadState s (QuoteT m) Source # | |
| MonadWriter w m ⇒ MonadWriter w (QuoteT m) Source # | |
| MonadFix m ⇒ MonadFix (QuoteT m) Source # | |
| MonadIO m ⇒ MonadIO (QuoteT m) Source # | |
| Monad m ⇒ Applicative (QuoteT m) Source # | |
| Functor m ⇒ Functor (QuoteT m) Source # | |
| Monad m ⇒ Monad (QuoteT m) Source # | |
| Monad m ⇒ MonadQuote (QuoteT m) Source # | |
class Monad m ⇒ MonadQuote m Source #
A monad that allows lifting of quoted expressions.
Instances
| MonadQuote m ⇒ MonadQuote (GenT m) Source # | |
| MonadQuote m ⇒ MonadQuote (PropertyT m) Source # | |
| Monad m ⇒ MonadQuote (QuoteT m) Source # | |
| MonadQuote m ⇒ MonadQuote (MaybeT m) Source # | |
| MonadQuote m ⇒ MonadQuote (RenameT ren m) Source # | |
| MonadQuote m ⇒ MonadQuote (ExceptT e m) Source # | |
| MonadQuote m ⇒ MonadQuote (ReaderT r m) Source # | |
| MonadQuote m ⇒ MonadQuote (StateT s m) Source # | |
| (Stream s, MonadQuote m) ⇒ MonadQuote (ParsecT e s m) Source # | |
| MonadQuote m ⇒ MonadQuote (NormalizeTypeT m tyname uni ann) Source # | |
Defined in PlutusCore.Normalize.Internal Methods liftQuote ∷ Quote a → NormalizeTypeT m tyname uni ann a Source # | |
| MonadQuote m ⇒ MonadQuote (SimplifierT name uni fun ann m) Source # | |
Defined in UntypedPlutusCore.Transform.Simplifier Methods liftQuote ∷ Quote a → SimplifierT name uni fun ann m a Source # | |
type FreshState = Unique Source #
The state contains the "next" Unique that should be used for a name
liftQuote ∷ MonadQuote m ⇒ Quote a → m a Source #
markNonFreshBelow ∷ MonadQuote m ⇒ Unique → m () Source #
markNonFresh ∷ MonadQuote m ⇒ Unique → m () Source #
markNonFreshMax ∷ MonadQuote m ⇒ Set Unique → m () Source #