ghc-8.6.4: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcTypeable

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 TcTypeable.