Data.Typeable

The Typeable class

class Typeable a

Type-safe cast

cast

gcast

Type representations

data TypeRep

data TyCon

showsTypeRep

Construction of type representations

mkTyCon

mkTyConApp

mkAppTy

mkFunTy

Observation of type representations

splitTyConApp

funResultTy

typeRepTyCon

typeRepArgs

tyConString

typeRepKey

The other Typeable classes

class Typeable1 t

class Typeable2 t

class Typeable3 t

class Typeable4 t

class Typeable5 t

class Typeable6 t

class Typeable7 t

gcast1

gcast2

Default instances

typeOfDefault

typeOf1Default

typeOf2Default

typeOf3Default

typeOf4Default

typeOf5Default

typeOf6Default