Returns true
if x
and y
are equivalent, false
otherwise.
Return an Eq that gives the result of the and of this and that note this is idempotent
Returns false
if x
and y
are equivalent, true
otherwise.
Constructs a new Eq
instance for type B
where 2 elements are
equivalent iff eqv(f(x), f(y))
.
Return an Eq that gives the result of the or of this and that Note this is idempotent
A type class used to determine equality between 2 instances of the same type. Any 2 instances
x
andy
are equal ifeqv(x, y)
istrue
. Moreover,eqv
should form an equivalence relation.