base-4.10.1.0: Basic libraries

Data.Proxy

Description

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

Since: 4.7.0.0

Synopsis

# Documentation

data Proxy t #

A concrete, poly-kinded proxy type

Constructors

 Proxy

Instances

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.