Safe Haskell	Trustworthy
Language	Haskell2010

Type.Reflection.Compat

Synopsis

module Type.Reflection
withTypeable :: forall k (a :: k) (rep :: RuntimeRep) (r :: TYPE rep). TypeRep a -> (Typeable a => r) -> r

Documentation

withTypeable :: forall k (a :: k) (rep :: RuntimeRep) (r :: TYPE rep). TypeRep a -> (Typeable a => r) -> r #

Use a TypeRep as Typeable evidence.