happstack-data-0.5.1: Happstack data manipulation libraries

Happstack.Data.Proxy

Synopsis

Documentation

data Proxy t[aszS] Source

Proxy is empty and is used as a transport of a phantom type

Constructors

Proxy 

dataType[aszT] :: DataTypeSource

constr[aszU] :: ConstrSource

proxy :: t -> Proxy tSource

Creates the Proxy with a type matching the argument

unProxy :: Proxy t -> tSource

Returns bottom

asProxyType :: t -> Proxy t -> tSource

Acts as id except for providing type restrictions