# AToBEquivalenceConstraint

### Related Doc: package TripleEqualsSupport

#### final class AToBEquivalenceConstraint[A, B] extends CanEqual[A, B]

An implementation of `Constraint` for two types `A` and `B` that requires an `Equality[B]` and a conversion function from `A` to `B`.

Source
TripleEqualsSupport.scala
Linear Supertypes
CanEqual[A, B], AnyRef, Any
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. AToBEquivalenceConstraint
2. CanEqual
3. AnyRef
4. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### Instance Constructors

1. #### new AToBEquivalenceConstraint(equivalenceOfB: Equivalence[B], cnv: (A) ⇒ B)

equivalenceOfB

an `Equivalence` type class for `B`

### Value Members

1. #### final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
2. #### final def ##(): Int

Definition Classes
AnyRef → Any
3. #### final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
4. #### def areEqual(a: A, b: B): Boolean

Indicates whether the objects passed as `a` and `b` are equal by return the result of invoking `areEqual(cnv(a), b)` on the passed `equalityOfB` object.

Indicates whether the objects passed as `a` and `b` are equal by return the result of invoking `areEqual(cnv(a), b)` on the passed `equalityOfB` object.

In other words, the `a` object of type `A` is first converted to a `B` via the passed conversion function, `cnv`, then compared for equality with the `b` object.

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
AToBEquivalenceConstraintCanEqual
5. #### final def asInstanceOf[T0]: T0

Definition Classes
Any
6. #### def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
7. #### final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
8. #### def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
9. #### def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
10. #### final def getClass(): Class[_]

Definition Classes
AnyRef → Any
11. #### def hashCode(): Int

Definition Classes
AnyRef → Any
12. #### final def isInstanceOf[T0]: Boolean

Definition Classes
Any
13. #### final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
14. #### final def notify(): Unit

Definition Classes
AnyRef
15. #### final def notifyAll(): Unit

Definition Classes
AnyRef
16. #### final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
17. #### def toString(): String

Definition Classes
AnyRef → Any
18. #### final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
19. #### final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
20. #### final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )