BToAEquivalenceConstraint
An implementation of Constraint
for two types A
and B
that requires an Equality[A]
and a conversion function from B
to A
.
- Value parameters:
- equivalenceOfA
an
Equivalence
type class forA
- Source:
- TripleEqualsSupport.scala
Value members
Concrete methods
Indicates whether the objects passed as a
and b
are equal by returning the
result of invoking areEqual(a, cnv(b))
on the passed equalityOfA
object.
Indicates whether the objects passed as a
and b
are equal by returning the
result of invoking areEqual(a, cnv(b))
on the passed equalityOfA
object.
In other words, the b
object of type B
is first converted to an A
via the passed conversion
function, cnv
, then compared for equality with the a
object.
- Value parameters:
- a
a left-hand-side object being compared with another (right-hand-side one) for equality (e.g.,
a == b
)- b
a right-hand-side object being compared with another (left-hand-side one) for equality (e.g.,
a == b
)
- Definition Classes
- Source:
- TripleEqualsSupport.scala