Safe Haskell | None |
---|---|
Language | Haskell2010 |
TcTypeableValidity
Description
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
Documentation
tyConIsTypeable :: TyCon -> Bool #
Is a particular TyCon
representable by Typeable
?. These exclude type
families and polytypes.
typeIsTypeable :: Type -> Bool #
Is a particular Type
representable by Typeable
? Here we look for
polytypes and types containing casts (which may be, for instance, a type
family).