ghc-8.8.1: The GHC API
Safe Haskell None 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

# Documentation

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

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