Data.Ty

Typed typerefs

Documentation

data Ty a

Phantom type wrapper around a TypeRep

Instances

IsTy Ty

Show (Ty a)

tyRep :: Ty a -> TypeRep

ty :: Typeable a => Ty a

tyOf :: Typeable a => a -> Ty a

The Ty of a value

class Typeable a

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

module Data.IsTy