ghc-9.10.1: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Tc.Instance.Typeable

Synopsis

Documentation

mkTypeableBinds :: TcM TcGblEnv Source #

Generate the Typeable bindings for a module. This is the only entry-point of this module and is invoked by the typechecker driver in tcRnSrcDecls.

See Note [Grand plan for Typeable] in GHC.Tc.Instance.Typeable.

tyConIsTypeable :: TyCon -> Bool Source #

Is a particular TyCon representable by Typeable?. These exclude type families and polytypes.