happstack-data-6.0.0: Happstack data manipulation libraries

Happstack.Data.Proxy

Synopsis

Documentation

data Proxy t[apqP] Source

Proxy is empty and is used as a transport of a phantom type

Constructors

Proxy 

Instances

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

dataType_sybwc_Proxy[apqQ] :: DataTypeSource

constr_sybwc_Proxy[apqR] :: 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