happstack-data-0.4.1: Happstack data manipulation libraries Source code Contents Index

Happstack.Data.Proxy

Synopsis

data Proxy t[aE33] = Proxy dataType[aE34] :: DataType constr[aE35] :: Constr proxy :: t -> Proxy t unProxy :: Proxy t -> t asProxyType :: t -> Proxy t -> t

Documentation

data Proxy t[aE33] Source

Proxy is empty and is used as a transport of a phantom type Constructors Proxy Instances Typeable1 Proxy (Data ctx t[aE33], Sat (ctx (Proxy t[aE33]))) => Data ctx (Proxy t[aE33]) Data t[aE33] => Data (Proxy t[aE33]) Read (Proxy t[aE33]) Show (Proxy t[aE33]) Default t[aE33] => Default (Proxy t[aE33]) Typeable a => Serialize (Proxy a) Version (Proxy a)

dataType[aE34] :: DataType Source

constr[aE35] :: Constr Source

proxy :: t -> Proxy t Source

Creates the Proxy with a type matching the argument

unProxy :: Proxy t -> t Source

Returns bottom

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

Acts as id except for providing type restrictions

Produced by Haddock version 2.6.1