familiar-reflection-0.1.0.0: Reifies arbitrary terms into types that can be reflected back into terms
Data.Reflection
class Reifier s where Source #
Minimal complete definition
reflect
Associated Types
type Res s Source #
Methods
reflect :: proxy s -> Res s Source #
reify :: forall a b. a -> (forall (s :: *). (Reifier s, Res s ~ a) => Proxy s -> b) -> b Source #