License	BSD-style (see the LICENSE file in the distribution)
Maintainer	libraries@haskell.org
Stability	experimental
Portability	portable
Safe Haskell	Trustworthy
Language	Haskell2010

Data.Proxy

Description

Definition of a Proxy type (poly-kinded in GHC)

Since: 4.7.0.0

Synopsis

data Proxy t = Proxy
asProxyTypeOf :: a -> Proxy a -> a
data KProxy t = KProxy

Documentation

data Proxy t Source

A concrete, poly-kinded proxy type

Constructors

Proxy

Instances

Monad (Proxy *) Source

Functor (Proxy *) Source

Applicative (Proxy *) Source

Foldable (Proxy *) Source

Traversable (Proxy *) Source

Bounded (Proxy k s) Source

Enum (Proxy k s) Source

Eq (Proxy k s) Source

Data t => Data (Proxy * t) Source

Ord (Proxy k s) Source

Read (Proxy k s) Source

Show (Proxy k s) Source

Ix (Proxy k s) Source

Generic (Proxy * t) Source

Monoid (Proxy k s) Source

type Rep (Proxy k t) Source

asProxyTypeOf :: a -> Proxy a -> a Source

asProxyTypeOf is a type-restricted version of const . It is usually used as an infix operator, and its typing forces its first argument (which is usually overloaded) to have the same type as the tag of the second.

data KProxy t Source

A concrete, promotable proxy type, for use at the kind level There are no instances for this because it is intended at the kind level only

Constructors

KProxy