Safe Haskell	None
Language	Haskell2010

Data.OpenWitness.TypeRep

Documentation

data TypeRep :: forall (k :: *). k -> * where #

Constructors

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

Instances

TestHetEquality TypeRep #
Instance details Defined in Data.OpenWitness.TypeRep Methods testHetEquality :: TypeRep ka a -> TypeRep kb b -> Maybe (HetEq a b) #
TestEquality (TypeRep :: k -> *) #
Instance details Defined in Data.OpenWitness.TypeRep Methods testEquality :: TypeRep a -> TypeRep b -> Maybe (a :~: b) #
Eq1 (TypeRep :: k -> *) #
Instance details Defined in Data.OpenWitness.TypeRep Methods equals1 :: TypeRep a -> TypeRep a -> Bool #
Typeable (TypeRep :: k -> *) #
Instance details Defined in Data.OpenWitness.Typeable Methods typeRep :: TypeRep TypeRep #