happstack-data-0.3.3: Happstack data manipulation librariesSource codeContentsIndex
data Proxy t[a6ab] = Proxy
dataType[a6ac] :: DataType
constr[a6ad] :: Constr
proxy :: t -> Proxy t
unProxy :: Proxy t -> t
asProxyType :: t -> Proxy t -> t
data Proxy t[a6ab] Source
Proxy is empty and is used as a transport of a phantom type
show/hide Instances
Typeable1 Proxy
(Data ctx t[a6ab], Sat (ctx (Proxy t[a6ab]))) => Data ctx (Proxy t[a6ab])
Typeable t[a6ab] => Data (Proxy t[a6ab])
Read (Proxy t[a6ab])
Show (Proxy t[a6ab])
Default t[a6ab] => Default (Proxy t[a6ab])
Typeable a => Serialize (Proxy a)
Version (Proxy a)
dataType[a6ac] :: DataTypeSource
constr[a6ad] :: 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.4.2