Safe Haskell | None |
---|
- data Proxy t = Proxy
- dataType_sybwc_Proxy_1627490224 :: DataType
- constr_sybwc_Proxy_1627490225 :: Constr
- proxy :: t -> Proxy t
- unProxy :: Proxy t -> t
- asProxyType :: t -> Proxy t -> t
Documentation
Proxy is empty and is used as a transport of a phantom type
dataType_sybwc_Proxy_1627490224 :: DataTypeSource
constr_sybwc_Proxy_1627490225 :: ConstrSource
asProxyType :: t -> Proxy t -> tSource
Acts as id except for providing type restrictions