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

Happstack.Data.Proxy

Synopsis

data Proxy t[a5l4] = Proxy dataType[a5l5] :: DataType constr[a5l6] :: Constr proxy :: t -> Proxy t unProxy :: Proxy t -> t asProxyType :: t -> Proxy t -> t

Documentation

data Proxy t[a5l4] Source

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

dataType[a5l5] :: DataType Source

constr[a5l6] :: 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.5.0