typelevel-1.2.2: Useful type level operations (type families and related operators).

Safe Haskell	None
Language	Haskell2010

Data.Proxify

Documentation

type family Proxified a where ... Source #

Equations

Proxified (Proxy a) = a
Proxified a = a

proxify :: a -> Proxy (Proxified a) Source #

type family Deproxy p where ... Source #

Equations

Deproxy (Proxy a) = a