tagged-th-0.1: QuasiQuoter and Template Haskell splices for creating proxies at higher-kinds

Portability	see LANGUAGE pragmas (... GHC)
Stability	experimental
Maintainer	nicolas.frisby@gmail.com

Data.Proxy.TH

Description

Quasiquoter and TH-splice generator for proxies using type-spine's k -> * kind wrappers.

Documentation

qProxy :: QuasiQuoter Source

thProxyT :: Type -> Q Type Source

thProxy :: Type -> Q Exp Source

data Proxy p

Constructors

Instances

Monad Proxy
Functor Proxy
Typeable1 Proxy
Applicative Proxy
Foldable Proxy
Traversable Proxy
Bounded (Proxy s)
Enum (Proxy s)
Eq (Proxy p)
Data p => Data (Proxy p)
Ord (Proxy p)
Read (Proxy p)
Show (Proxy p)
Ix (Proxy s)
Monoid (Proxy s)
Default (Proxy s)
Semigroup (Proxy s)