License | BSD-style (see the LICENSE file in the distribution) |
---|---|
Maintainer | libraries@haskell.org |
Stability | experimental |
Portability | portable |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
Definition of a Proxy type (poly-kinded in GHC)
Since: 4.7.0.0
Documentation
A concrete, poly-kinded proxy type
Monad (Proxy *) # | |
Functor (Proxy *) # | |
Applicative (Proxy *) # | |
Foldable (Proxy *) # | |
Traversable (Proxy *) # | |
Generic1 (Proxy *) # | |
MonadPlus (Proxy *) # | |
Alternative (Proxy *) # | |
MonadZip (Proxy *) # | |
Show1 (Proxy *) # | Since: 4.9.0.0 |
Read1 (Proxy *) # | Since: 4.9.0.0 |
Ord1 (Proxy *) # | Since: 4.9.0.0 |
Eq1 (Proxy *) # | Since: 4.9.0.0 |
Bounded (Proxy k s) # | |
Enum (Proxy k s) # | |
Eq (Proxy k s) # | |
Data t => Data (Proxy * t) # | |
Ord (Proxy k s) # | |
Read (Proxy k s) # | |
Show (Proxy k s) # | |
Ix (Proxy k s) # | |
Generic (Proxy k t) # | |
Semigroup (Proxy k s) # | |
Monoid (Proxy k s) # | |
type Rep1 (Proxy *) # | |
type Rep (Proxy k t) # | |
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.