Type.Reflection

The Typeable class

class Typeable a

typeRep

withTypeable

Propositional equality

data a :~: b

data a :~~: b

Type representations

Type-Indexed

data TypeRep a

typeOf

typeRepFingerprint

typeRepTyCon

rnfTypeRep

eqTypeRep

typeRepKind

splitApps

Quantified

data SomeTypeRep

someTypeRep

someTypeRepTyCon

someTypeRepFingerprint

rnfSomeTypeRep

Type constructors

data TyCon

tyConPackage

tyConModule

tyConName

rnfTyCon

tyConFingerprint

Module names

data Module

moduleName

modulePackage

rnfModule