Data.TypeRep

Helper types

Type representations

class Typeable t a

data TypeRep t a

class TypeEq t u

class Witness p t u

class PWitness p t u

Dynamic types

data Dynamic t

Type class witnessing

class Any a

data BoolType a

data CharType a

data IntType a

data FloatType a

data ListType a

data FunType a

Sub-universes

class SubUniverse sub sup