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