HAppS-Data-0.9.2.1: HAppS data manipulation libraries Contents Index

HAppS.Data.Proxy

Documentation

dataType[aagC] :: DataType

constr[aagD] :: Constr

data Proxy t[aagB]

Constructors Proxy Instances Typeable1 Proxy (Data ctx t[aagB], Sat (ctx (Proxy t[aagB]))) => Data ctx (Proxy t[aagB]) Typeable t[aagB] => Data (Proxy t[aagB]) Read (Proxy t[aagB]) Show (Proxy t[aagB]) Default t[aagB] => Default (Proxy t[aagB]) 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