Safe Haskell	None
Language	Haskell2010

Data.Type.OpenWitness.Typeable

Description

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

Synopsis

class Typeable (a :: k) where
- typeRep :: TypeRep a
type Fun = (->)
cast :: (Typeable a, Typeable b) => a -> Maybe b
gcast :: forall k (a :: k) (b :: k) c. (Typeable a, Typeable b) => c a -> Maybe (c b)
mkFunTy :: TypeRep a -> TypeRep b -> TypeRep (a -> b)
funResultTy :: TypeRep (a -> b) -> TypeRep a -> Maybe (TypeRep b)
mkAppTy :: forall k1 k2 (f :: k1 -> k2) (a :: k1). TypeRep f -> TypeRep a -> TypeRep (f a)

Documentation

class Typeable (a :: k) where Source #

types of kind Type with a representation

Methods

typeRep :: TypeRep a Source #

Instances

Instances details

Typeable () Source #
Instance details Defined in Data.Type.OpenWitness.Typeable Methods typeRep :: TypeRep () Source #
Typeable Bool Source #
Instance details Defined in Data.Type.OpenWitness.Typeable Methods typeRep :: TypeRep Bool Source #
Typeable Char Source #
Instance details Defined in Data.Type.OpenWitness.Typeable Methods typeRep :: TypeRep Char Source #
Typeable Constraint Source #
Instance details Defined in Data.Type.OpenWitness.Typeable Methods typeRep :: TypeRep Constraint Source #
Typeable Int Source #
Instance details Defined in Data.Type.OpenWitness.Typeable Methods typeRep :: TypeRep Int Source #
Typeable Type Source #
Instance details Defined in Data.Type.OpenWitness.Typeable Methods typeRep :: TypeRep Type Source #
(Typeable f, Typeable a) => Typeable (f a :: k2) Source #
Instance details Defined in Data.Type.OpenWitness.Typeable Methods typeRep :: TypeRep (f a) Source #
Typeable Either Source #
Instance details Defined in Data.Type.OpenWitness.Typeable Methods typeRep :: TypeRep Either Source #
Typeable (,) Source #
Instance details Defined in Data.Type.OpenWitness.Typeable Methods typeRep :: TypeRep (,) Source #
Typeable Maybe Source #
Instance details Defined in Data.Type.OpenWitness.Typeable Methods typeRep :: TypeRep Maybe Source #
Typeable [] Source #
Instance details Defined in Data.Type.OpenWitness.Typeable Methods typeRep :: TypeRep [] Source #
Typeable (Typeable :: k -> Constraint) Source #
Instance details Defined in Data.Type.OpenWitness.Typeable Methods typeRep :: TypeRep (Typeable :: k -> Constraint) Source #
Typeable (TypeRep :: k -> Type) Source #
Instance details Defined in Data.Type.OpenWitness.Typeable Methods typeRep :: TypeRep (TypeRep :: k -> Type) Source #
Typeable (->) Source #
Instance details Defined in Data.Type.OpenWitness.Typeable Methods typeRep :: TypeRep (->) Source #

type Fun = (->) Source #

cast :: (Typeable a, Typeable b) => a -> Maybe b Source #

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

mkFunTy :: TypeRep a -> TypeRep b -> TypeRep (a -> b) Source #

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

funResultTy :: TypeRep (a -> b) -> TypeRep a -> Maybe (TypeRep b) Source #

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

mkAppTy :: forall k1 k2 (f :: k1 -> k2) (a :: k1). TypeRep f -> TypeRep a -> TypeRep (f a) Source #