Happstack.Data.Proxy

Documentation

data Proxy t[aoMw]

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

Constructors

Proxy

Instances

Typeable1 Proxy

(Data ctx t[aoMw], Sat (ctx (Proxy t[aoMw]))) => Data ctx (Proxy t[aoMw])

Data t[aoMw] => Data (Proxy t[aoMw])

Read (Proxy t[aoMw])

Show (Proxy t[aoMw])

Default t[aoMw] => Default (Proxy t[aoMw])

Typeable a => Serialize (Proxy a)

Version (Proxy a)

dataType[aoMx] :: DataType

constr[aoMy] :: 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