Data.OpenWitness.Typeable

This is an approximate re-implementation of Data.Typeable using open witnesses.

Documentation

module Data.OpenWitness.Typeable.Rep

class Typeable a where

types of kind * with a representation

Methods

rep :: Rep a

Instances

(Typeable1 f, Typeable a) => Typeable (f a)

class Typeable1 t where

types of kind * -> * with a representation

Methods

rep1 :: Rep1 t

Instances

(Typeable2 f, Typeable a) => Typeable1 (f a)

class Typeable2 t where

types of kind * -> * -> * with a representation

Methods

rep2 :: Rep2 t

Instances

Typeable2 (->)

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

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

type TypeRep = AnyWitness Rep

represents a type of kind *

typeOf :: forall t. Typeable t => t -> TypeRep

type TypeRep1 = AnyWitness1 Rep1

represents a type of kind * -> *

typeOf1 :: forall t a. Typeable1 t => t a -> TypeRep1

type TypeRep2 = AnyWitness2 Rep2

represents a type of kind * -> * -> *

typeOf2 :: forall t a b. Typeable2 t => t a b -> TypeRep2

mkFunTy :: TypeRep -> TypeRep -> TypeRep

given representations of a and b, make a representation of a -> b

funResultTy :: TypeRep -> TypeRep -> Maybe TypeRep

given representations of a -> b and a, make a representation of b (otherwise not)

mkAppTy :: TypeRep1 -> TypeRep -> TypeRep

mkAppTy1 :: TypeRep2 -> TypeRep -> TypeRep1