TcTypeableValidity

ghc-8.8.4: The GHC API

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