tagged-0.8.7: Haskell 98 phantom types to avoid unsafely passing dummy arguments
Safe Haskell Safe
Language Haskell98

Data.Proxy.TH

Synopsis

Documentation

pr :: QuasiQuoter Source #

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 #

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.