Happstack.Data.Proxy

Documentation

data Proxy t

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

Constructors

Proxy

Instances

Typeable1 Proxy

(Data ctx t0, Sat (ctx (Proxy t0))) => Data ctx (Proxy t0)

Data t0 => Data (Proxy t0)

Read (Proxy t0)

Show (Proxy t0)

Default t0 => Default (Proxy t0)

Typeable a => Serialize (Proxy a)

Version (Proxy a)

dataType_sybwc_Proxy_1627498014 :: DataType

constr_sybwc_Proxy_1627498015 :: Constr

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