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