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