Data.Typeable

The Typeable class

class Typeable a

typeRep

Propositional equality

data a :~: b

For backwards compatibility

typeOf

typeOf1

typeOf2

typeOf3

typeOf4

typeOf5

typeOf6

typeOf7

type Typeable1 a

type Typeable2 a

type Typeable3 a

type Typeable4 a

type Typeable5 a

type Typeable6 a

type Typeable7 a

Type-safe cast

cast

eqT

gcast

Generalized casts for higher-order kinds

gcast1

gcast2

A canonical proxy type

data Proxy t

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