Happstack.Data.Proxy
- data Proxy t[aqrd] = Proxy
- dataType[aqre] :: DataType
- constr[aqrf] :: 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
Constructors
Proxy |
asProxyType :: t -> Proxy t -> tSource
Acts as id except for providing type restrictions