Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module is separate from TcTypeable because the functions in this module are used in ClsInst, and importing TcTypeable from ClsInst would lead to an import cycle.
Synopsis
- tyConIsTypeable :: TyCon -> Bool
- typeIsTypeable :: Type -> Bool