happstack-data-6.0.0: Happstack data manipulation libraries

Happstack.Data.Proxy

Synopsis

Documentation

data Proxy t[aqrV]

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

Constructors

Proxy 

Instances

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

proxy :: t -> Proxy t

Creates the Proxy with a type matching the argument

unProxy :: Proxy t -> t

Returns bottom

asProxyType :: t -> Proxy t -> t

Acts as id except for providing type restrictions