| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
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.