HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Moduletagged-0.8.9Haskell98

Data.Proxy.TH

  • 2 values
  • Packagetagged-0.8.9
  • Exports2
  • LanguageHaskell98
  • LicenceBSD-3-Clause
  • SourceTH.hs
valuepr :: QuasiQuoter
#

A proxy value quasiquoter. [pr|T|] will splice an expression Proxy::Proxy T, while [pr|A,B,C|] will splice in a value of Proxy :: Proxy [A,B,C].

valuepr1 :: QuasiQuoter
#

Like pr, but takes a single type, which is used to produce a Proxy for a single-element list containing only that type. This is useful for passing a single type to a function that wants a list of types.