open-witness-0.4: open witnesses
Data.OpenWitness.TypeRep
data TypeRep :: forall k. k -> * where #
Constructors
Instances
Methods
testHetEquality :: TypeRep ka a -> TypeRep kb b -> Maybe (HetEq kb ka a b) #
testEquality :: f a -> f b -> Maybe ((TypeRep k :~: a) b) #
equals1 :: p a -> p a -> Bool #
typeRep :: TypeRep (TypeRep k) a #