EqualIdempotent

Constructs an Equal[(A, B)] given an Equal[A] and Equal[B] by first comparing the A values for equality and then comparing the B values for equality, if necessary.

Constructs an Equal[C] given an Equal[A], an Equal[B] and a function f to transform a C value into an (A, B). The instance will convert each C value into an (A, B), compare the A values for equality, and then compare the B values for equality if necessary.

If the values are equal, it doesn't attempt to combine them and promptly returns the first one. If not equal, the values are combined normally.

Constructs an Equal[B] given an Equal[A] and a function f to transform a B value into an A value. The instance will convert each B value into an A and the compare the A values for equality.

Constructs an Equal[Either[A, B]] given an Equal[A] and an Equal[B]. The instance will compare the Either[A, B] values and if both are Right or Left compare them for equality.

Constructs an Equal[C] given an Equal[A], an Equal[B], and a function f to transform a C value into an Either[A, B]. The instance will convert each C value into an Either[A, B] and then if both are Right or Left compare them for equality.

Returns whether two values of type A are equal.

Creates a new instance which internally uses combineIdempotent for combining values.

Returns whether two values of type A are not equal.