base-compat-0.12.1: A compatibility layer for base
Safe HaskellTrustworthy
LanguageHaskell2010

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.