Return an Eq that gives the result of the and of this and that note this is idempotent
Return an Eq that gives the result of the and of this and that note this is idempotent
Returns true
if x
and y
are equivalent, false
otherwise.
Returns false
if x
and y
are equivalent, true
otherwise.
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))
.
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
Return an Eq that gives the result of the or of this and that Note this is idempotent