base-compat-0.11.1: A compatibility layer for base
Safe HaskellTrustworthy
LanguageHaskell98

Type.Reflection.Compat

Synopsis

Documentation

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

Use a TypeRep as Typeable evidence.