TcTypeable

ghc-8.0.0.20160204: The GHC API

Safe Haskell | None
Language | Haskell2010

TcTypeable

Synopsis

- mkTypeableBinds :: [TyCon] -> TcM TcGblEnv
- mkPrimTypeableBinds :: TcM TcGblEnv
- mkModIdBindings :: TcM TcGblEnv

# Documentation

mkTypeableBinds :: [TyCon] -> TcM TcGblEnv Source

mkPrimTypeableBinds :: TcM TcGblEnv Source

Generate bindings for the type representation of a wired-in TyCon defined by the virtual GHC.Prim module. This is where we inject the representation bindings for primitive types into GHC.Types

See Note [Grand plan for Typeable] in this module.

mkModIdBindings :: TcM TcGblEnv Source