Safe Haskell	None
Language	Haskell2010

Data.OpenWitness.TypeRep

Documentation

data TypeRep :: forall k. k -> * where Source #

Constructors

SimpleTypeRep :: forall k a. IOWitness a -> TypeRep a
ApplyTypeRep :: forall k1 k2 p a. TypeRep p -> TypeRep a -> TypeRep (p a)

Instances

TestHetEquality TypeRep Source #
Methods testHetEquality :: TypeRep ka a -> TypeRep kb b -> Maybe (HetEq kb ka a b) Source #
TestEquality k (TypeRep k) Source #
Methods testEquality :: f a -> f b -> Maybe ((TypeRep k :~: a) b) #
Eq1 k (TypeRep k) Source #
Methods equals1 :: p a -> p a -> Bool #
Typeable (k -> *) (TypeRep k) Source #
Methods typeRep :: TypeRep (TypeRep k) a Source #