Data.Proxy.TH

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

Documentation

qProxy :: QuasiQuoter

thProxyT :: Type -> Q Type

thProxy :: Type -> Q Exp

data Proxy p

Constructors

Proxy

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)