Data.Ty

Typed typerefs

Documentation

class Typeable k a

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

Minimal complete definition

typeRep#

module Data.IsTy

data Ty a

Phantom type wrapper around a TypeRep

Instances

IsTy Ty

Associated Types

type IsTyConstraint (Ty :: * -> *) z :: Constraint

Methods

tyEq :: (IsTyConstraint Ty a, IsTyConstraint Ty b) => Ty a -> Ty b -> Maybe (a :=: b)

Eq (Ty a)

Methods

(==) :: Ty a -> Ty a -> Bool

(/=) :: Ty a -> Ty a -> Bool

Show (Ty a)

Methods

showsPrec :: Int -> Ty a -> ShowS

show :: Ty a -> String

showList :: [Ty a] -> ShowS

type IsTyConstraint Ty z

type IsTyConstraint Ty z = Yes Ty z

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)