Happstack.Data.Proxy
- data Proxy t[aqrV] = Proxy
- dataType_sybwc_Proxy[aqrW] :: DataType
- constr_sybwc_Proxy[aqrX] :: Constr
- proxy :: t -> Proxy t
- unProxy :: Proxy t -> t
- asProxyType :: t -> Proxy t -> t
Documentation
asProxyType :: t -> Proxy t -> t
Acts as id except for providing type restrictions