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 Source #

Is a particular TyCon representable by Typeable?. These exclude type families and polytypes.

typeIsTypeable :: Type -> Bool Source #

Is a particular Type representable by Typeable? Here we look for polytypes and types containing casts (which may be, for instance, a type family).