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