HAppS-Data-0.9.2: HAppS data manipulation librariesContentsIndex
HAppS.Data.Proxy
Documentation
dataType[aahJ] :: DataType
constr[aahK] :: Constr
data Proxy t[aahI]
Constructors
Proxy
show/hide Instances
Typeable1 Proxy
(Data ctx t[aahI], Sat (ctx (Proxy t[aahI]))) => Data ctx (Proxy t[aahI])
Typeable t[aahI] => Data (Proxy t[aahI])
Read (Proxy t[aahI])
Show (Proxy t[aahI])
Default t[aahI] => Default (Proxy t[aahI])
Version (Proxy a)
Typeable a => Serialize (Proxy a)
proxy :: t -> Proxy t
unProxy :: Proxy t -> t
asProxyType :: t -> Proxy t -> t
Produced by Haddock version 2.1.0