Data.Reflection

class Reifies s a | s -> a where

This class reifies a value of type a at the type level.

reflect can be used to recover the value inside a function passed to reify.

Members

• reflect :: Proxy s -> a

reify :: forall r a. a -> (forall s. Reifies s a => Proxy s -> r) -> r

Reify a value of type a at the type level.

The value can be recovered in the body of the lambda by using the reflect function.