Data.Ty

Typed typerefs

Documentation

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

data Ty a

Phantom type wrapper around a TypeRep

Instances

IsTy Ty

Eq (Ty a)

Show (Ty a)

tyRep :: Ty a -> TypeRep

ty :: Typeable a => Ty a

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

The Ty of a value

tyOf1 :: forall f a. Typeable a => f a -> Ty a

The Ty of a value from a constructor application

tyOf2 :: forall g f a. Typeable a => g (f a) -> Ty a

The Ty of a value from a nested constructor application

(=:=) :: forall a b. (Typeable a, Typeable b, Eq a) => a -> b -> Maybe (a :=: b)

Equality of typed values. Just Refl means the the types match and the values match.

data AsPairTy where

Constructors

PairTy :: Ty a -> Ty b -> AsPairTy (a, b)

asPairTy :: Ty t -> Maybe (AsPairTy t)