TcTypeable

ghc-8.10.5: The GHC API

Safe Haskell | None
Language | Haskell2010

TcTypeable

Synopsis

- mkTypeableBinds :: TcM TcGblEnv
- tyConIsTypeable :: TyCon -> Bool

# Documentation

mkTypeableBinds :: TcM TcGblEnv #

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.

tyConIsTypeable :: TyCon -> Bool #

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