Generics.Regular.Functions.Eq

Summary: Generic equality.

Generic equality

class Eq f where

Methods

eqf :: (a -> a -> Bool) -> f a -> f a -> Bool

Instances

Eq U

Eq I

Eq a => Eq (K a)

Eq f => Eq (C c f)

(Eq f, Eq g) => Eq (:*: f g)

(Eq f, Eq g) => Eq (:+: f g)

eq :: (Regular a, Eq (PF a)) => a -> a -> Bool