GHC.Internal.TH.Quote

Template Haskell supports quasiquoting, which permits users to construct program fragments by directly writing concrete syntax. A quasiquoter is essentially a function with takes a string to a Template Haskell AST. This module defines the QuasiQuoter datatype, which specifies a quasiquoter q which can be invoked using the syntax [q| ... string to parse ... |] when the QuasiQuotes language extension is enabled, and some utility functions for manipulating quasiquoters. Nota bene: this package does not define any parsers, that is up to you.

This is an internal module. Please import Language.Haskell.TH.Quote instead.

1 type

datadata QuasiQuoter

The QuasiQuoter type, a value q of this type can be used in the syntax [q| ... string to parse ...|]. In fact, for convenience, a QuasiQuoter actually defines multiple quasiquoters to be used in different splice contexts; if you are only interested in defining a quasiquoter to be used for expressions, you would define a QuasiQuoter with only quoteExp, and leave the other fields stubbed out with errors.

This is exposed both from the template-haskell-quasiquoter and template-haskell packages. Consider importing it from the more stable template-haskell-quasiquoter if you don't need the full breadth of the template-haskell interface.

Constructors

QuasiQuoter
- quoteExp :: String -> Q Exp
  Quasi-quoter for expressions, invoked by quotes like lhs = $[q|...]
- quotePat :: String -> Q Pat
  Quasi-quoter for patterns, invoked by quotes like f $[q|...] = rhs
- quoteType :: String -> Q Type
  Quasi-quoter for types, invoked by quotes like f :: $[q|...]
- quoteDec :: String -> Q [Dec]
  Quasi-quoter for declarations, invoked by top-level quotes