Data.Typeable

A proxy type

data Proxy t

The Typeable class

class Typeable a

Propositional equality

data a :=: b

For backwards compatibility

typeOf

typeOf1

typeOf2

typeOf3

typeOf4

typeOf5

typeOf6

typeOf7

Type-safe cast

cast

gcast

Generalized casts for higher-order kinds

gcast1

gcast2

Type representations

data TypeRep

showsTypeRep

data TyCon

tyConString

tyConPackage

tyConModule

tyConName

Construction of type representations

mkTyCon3

mkTyConApp

mkAppTy

mkFunTy

Observation of type representations

splitTyConApp

funResultTy

typeRepTyCon

typeRepArgs

Type-level reasoning with Typeable