tagged-0.8.10: Haskell 98 phantom types to avoid unsafely passing dummy arguments
Safe HaskellSafe
LanguageHaskell98

Data.Proxy.TH

Synopsis

Documentation

pr :: QuasiQuoter Source #

Deprecated: pr will be removed in the next release. Use Proxy with TypeApplications instead. Instead of using [pr|T|], use Proxy @T instead. Instead of using [pr|A,B,C|], use Proxy @[A,B,C] instead.

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].

pr1 :: QuasiQuoter Source #

Deprecated: pr1 will be removed in the next release. Use Proxy with TypeApplications instead. Instead of using [pr1|T|], use Proxy @'[T] instead.

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.