HAppS-Data-0.9.3: HAppS data manipulation libraries Source code Contents Index

HAppS.Data.Proxy

Documentation

data Proxy t[aiaw] Source

Constructors Proxy Instances Typeable1 Proxy (Data ctx t[aiaw], Sat (ctx (Proxy t[aiaw]))) => Data ctx (Proxy t[aiaw]) Typeable t[aiaw] => Data (Proxy t[aiaw]) Read (Proxy t[aiaw]) Show (Proxy t[aiaw]) Default t[aiaw] => Default (Proxy t[aiaw]) Typeable a => Serialize (Proxy a) Version (Proxy a)

dataType[aiax] :: DataType Source

constr[aiay] :: Constr Source

proxy :: t -> Proxy t Source

unProxy :: Proxy t -> t Source

asProxyType :: t -> Proxy t -> t Source

Produced by Haddock version 2.4.2