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

Happstack.Data.Proxy

Synopsis

data Proxy t[a6ab] = Proxy dataType[a6ac] :: DataType constr[a6ad] :: Constr proxy :: t -> Proxy t unProxy :: Proxy t -> t asProxyType :: t -> Proxy t -> t

Documentation

data Proxy t[a6ab] Source

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

dataType[a6ac] :: DataType Source

constr[a6ad] :: 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.4.2