TcTypeableValidity

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.

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