Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
- data Proxy t :: k -> * = Proxy
- asProxyTypeOf :: a -> Proxy * a -> a
Documentation
data Proxy t :: k -> *
A concrete, poly-kinded proxy type
asProxyTypeOf :: a -> Proxy * a -> a
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.