| 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
Documentation
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.