Control.Monad.Quote.Internal

Internal module, no stability guarantees

Documentation

class Monad m => Quote (m :: Type -> Type) where

The Quote class implements the minimal interface which is necessary for desugaring quotations.

• The Monad m superclass is needed to stitch together the different AST fragments.
• newName is used when desugaring binding structures such as lambdas to generate fresh names.

Therefore the type of an untyped quotation in GHC is `Quote m => m Exp`

For many years the type of a quotation was fixed to be `Q Exp` but by more precisely specifying the minimal interface it enables the Exp to be extracted purely from the quotation without interacting with Q.

Methods

newName :: String -> m Name

Generate a fresh name, which cannot be captured.

For example, this:

f = $(do
    nm1 <- newName "x"
    let nm2 = mkName "x"
    return (LamE [VarP nm1] (LamE [VarP nm2] (VarE nm1)))
   )

will produce the splice

f = \x0 -> \x -> x0

In particular, the occurrence VarE nm1 refers to the binding VarP nm1, and is not captured by the binding VarP nm2.

Although names generated by newName cannot be captured, they can capture other names. For example, this:

g = $(do
  nm1 <- newName "x"
  let nm2 = mkName "x"
  return (LamE [VarP nm2] (LamE [VarP nm1] (VarE nm2)))
 )

will produce the splice

g = \x -> \x0 -> x0

since the occurrence VarE nm2 is captured by the innermost binding of x, namely VarP nm1.

Instances

Quote Q

Defined in Language.Haskell.TH.Syntax.Compat

Methods

newName :: String -> Q Name

Monad m => Quote (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

newName :: String -> QuoteT m Name

newtype QuoteT m a

The QuoteT monad transformer. Also see runQuoteT.

Useful to add a Quote instance to any monad transformer stack.

Internally, this is a newtype of StateT Uniq.

Constructors

QuoteT

Fields

• unQuoteT :: StateT Uniq m a

Instances

MonadTrans QuoteT

Defined in Control.Monad.Quote.Internal

Methods

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

MonadTransControl QuoteT

Defined in Control.Monad.Quote.Internal

Associated Types

type StT QuoteT a

Methods

liftWith :: Monad m => (Run QuoteT -> m a) -> QuoteT m a

restoreT :: Monad m => m (StT QuoteT a) -> QuoteT m a

(MonadReader r m, MonadWriter w m, MonadState s m) => MonadRWS r w s (QuoteT m)

Defined in Control.Monad.Quote.Internal

MonadBase b m => MonadBase b (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

liftBase :: b α -> QuoteT m α

MonadBaseControl b m => MonadBaseControl b (QuoteT m)

Defined in Control.Monad.Quote.Internal

Associated Types

type StM (QuoteT m) a

Methods

liftBaseWith :: (RunInBase (QuoteT m) b -> b a) -> QuoteT m a

restoreM :: StM (QuoteT m) a -> QuoteT m a

MonadWriter w m => MonadWriter w (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

writer :: (a, w) -> QuoteT m a

tell :: w -> QuoteT m ()

listen :: QuoteT m a -> QuoteT m (a, w)

pass :: QuoteT m (a, w -> w) -> QuoteT m a

MonadState s m => MonadState s (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

get :: QuoteT m s

put :: s -> QuoteT m ()

state :: (s -> (a, s)) -> QuoteT m a

MonadReader r m => MonadReader r (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

ask :: QuoteT m r

local :: (r -> r) -> QuoteT m a -> QuoteT m a

reader :: (r -> a) -> QuoteT m a

MonadError e m => MonadError e (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

throwError :: e -> QuoteT m a

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

Monad m => Monad (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

(>>=) :: QuoteT m a -> (a -> QuoteT m b) -> QuoteT m b

(>>) :: QuoteT m a -> QuoteT m b -> QuoteT m b

return :: a -> QuoteT m a

Functor m => Functor (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

fmap :: (a -> b) -> QuoteT m a -> QuoteT m b

(<$) :: a -> QuoteT m b -> QuoteT m a

MonadFix m => MonadFix (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

mfix :: (a -> QuoteT m a) -> QuoteT m a

MonadFail m => MonadFail (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

fail :: String -> QuoteT m a

Monad m => Applicative (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

pure :: a -> QuoteT m a

(<*>) :: QuoteT m (a -> b) -> QuoteT m a -> QuoteT m b

liftA2 :: (a -> b -> c) -> QuoteT m a -> QuoteT m b -> QuoteT m c

(*>) :: QuoteT m a -> QuoteT m b -> QuoteT m b

(<*) :: QuoteT m a -> QuoteT m b -> QuoteT m a

MonadIO m => MonadIO (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

liftIO :: IO a -> QuoteT m a

MonadPlus m => Alternative (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

empty :: QuoteT m a

(<|>) :: QuoteT m a -> QuoteT m a -> QuoteT m a

some :: QuoteT m a -> QuoteT m [a]

many :: QuoteT m a -> QuoteT m [a]

MonadPlus m => MonadPlus (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

mzero :: QuoteT m a

mplus :: QuoteT m a -> QuoteT m a -> QuoteT m a

MonadThrow m => MonadThrow (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

throwM :: Exception e => e -> QuoteT m a

MonadCatch m => MonadCatch (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

catch :: Exception e => QuoteT m a -> (e -> QuoteT m a) -> QuoteT m a

MonadMask m => MonadMask (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

mask :: ((forall a. QuoteT m a -> QuoteT m a) -> QuoteT m b) -> QuoteT m b

uninterruptibleMask :: ((forall a. QuoteT m a -> QuoteT m a) -> QuoteT m b) -> QuoteT m b

generalBracket :: QuoteT m a -> (a -> ExitCase b -> QuoteT m c) -> (a -> QuoteT m b) -> QuoteT m (b, c)

MonadCont m => MonadCont (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

callCC :: ((a -> QuoteT m b) -> QuoteT m a) -> QuoteT m a

Bind m => Apply (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

(<.>) :: QuoteT m (a -> b) -> QuoteT m a -> QuoteT m b

(.>) :: QuoteT m a -> QuoteT m b -> QuoteT m b

(<.) :: QuoteT m a -> QuoteT m b -> QuoteT m a

liftF2 :: (a -> b -> c) -> QuoteT m a -> QuoteT m b -> QuoteT m c

Bind m => Bind (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

(>>-) :: QuoteT m a -> (a -> QuoteT m b) -> QuoteT m b

join :: QuoteT m (QuoteT m a) -> QuoteT m a

Monad m => Quote (QuoteT m)

Defined in Control.Monad.Quote.Internal

Methods

newName :: String -> QuoteT m Name

type StT QuoteT a

Defined in Control.Monad.Quote.Internal

type StT QuoteT a = StT (StateT Uniq) a

type StM (QuoteT m) a

Defined in Control.Monad.Quote.Internal

type StM (QuoteT m) a = StM (StateT Uniq m) a

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

Extract m a from QuoteT m a, where QuoteT m is always an instance of Quote.

On GHC 9.0+, you can use this to extract an Exp out of a quotation bracket:

>>> import qualified Language.Haskell.TH.Lib as TH
>>> :{
let mExp :: (Quote m, MonadReader String m) => m Exp
    mExp = [| \a -> a <> $(TH.stringE =<< ask) |]
    exp :: Exp
    exp = flip runReader " world" . runQuoteT $ mExp
 in exp
:}
LamE [VarP a_0] (InfixE (Just (VarE a_0)) (VarE GHC.Base.<>) (Just (LitE (StringL " world"))))