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.
Moduleghc-9.14.1GHC2021
GHC.Tc.Instance.Typeable
- 2 values
- Packageghc-9.14.1
- Exports2
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceTypeable.hs
Is a particular TyCon representable by Typeable?. These exclude type
families and polytypes.