happstack-data-0.5.0.2: Happstack data manipulation librariesSource codeContentsIndex
Happstack.Data.Proxy
Synopsis
data Proxy t[amve] = Proxy
dataType[amvf] :: DataType
constr[amvg] :: Constr
proxy :: t -> Proxy t
unProxy :: Proxy t -> t
asProxyType :: t -> Proxy t -> t
Documentation
data Proxy t[amve] Source
Proxy is empty and is used as a transport of a phantom type
Constructors
Proxy
dataType[amvf] :: DataTypeSource
constr[amvg] :: 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
Produced by Haddock version 2.6.0