Data.Typeable

The Typeable class

class Typeable a

typeOf

typeRep

Propositional equality

data a :~: b

data a :~~: b

Type-safe cast

cast

eqT

gcast

Generalized casts for higher-order kinds

gcast1

gcast2

A canonical proxy type

data Proxy t

Type representations

type TypeRep

rnfTypeRep

showsTypeRep

mkFunTy

Observing type representations

funResultTy

splitTyConApp

typeRepArgs

typeRepTyCon

typeRepFingerprint

Type constructors

data TyCon

tyConPackage

tyConModule

tyConName

rnfTyCon

tyConFingerprint

For backwards compatibility

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