Data.Ty

Description

Typed typerefs

Synopsis

Documentation

Phantom type wrapper around a TypeRep

Instances

IsTy Ty
Show (Ty a)

The Ty of a value

The class Typeable allows a concrete representation of a type to be calculated.

Instances

Typeable Bool
Typeable Char
Typeable Double
Typeable Float
Typeable Int
Typeable Int8
Typeable Int16
Typeable Int32
Typeable Int64
Typeable Integer
Typeable Ordering
Typeable RealWorld
Typeable Word
Typeable Word8
Typeable Word16
Typeable Word32
Typeable Word64
Typeable ()
Typeable TypeRep
Typeable TyCon
(Typeable1 s, Typeable a) => Typeable (s a)	One Typeable instance for all Typeable1 instances