| 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).