Object CanEqual.CanEqual

object CanEqual

Companion object containing a few universally known CanEqual instances. CanEqual instances involving primitive types or the Null type are handled directly in the compiler (see Implicits.synthesizedCanEqual), so they are not included here.

Supertypes	trait Sum trait Mirror class Object trait Matchable class Any
Self type	CanEqual.type

Classlikes

Source

object derived extends CanEqual[Any, Any]

A universal CanEqual instance.

Inherited types

Source

type MirroredElemLabels <: Tuple

The names of the product elements

Inherited from	Mirror

Source

type MirroredLabel <: String

The name of the type

Inherited from	Mirror

Concrete methods

Source

def canEqualAny[L, R]: CanEqual[L, R]

A fall-back instance to compare values of any types. Even though this method is not declared as given, the compiler will synthesize implicit arguments as solutions to CanEqual[T, U] queries if the rules of multiversal equality require it.

Givens

Source

given canEqualEither[L1, R1, L2, R2](using eqL: CanEqual[L1, L2], eqR: CanEqual[R1, R2]): CanEqual[Either[L1, R1], Either[L2, R2]]

Source

given canEqualNumber: CanEqual[Number, Number]

Source

given canEqualOption[T](using eq: CanEqual[T, T]): CanEqual[Option[T], Option[T]]

Source

given canEqualOptions[T, U](using eq: CanEqual[T, U]): CanEqual[Option[T], Option[U]]

Source

given canEqualSeq[T](using eq: CanEqual[T, T]): CanEqual[Seq[T], Seq[T]]

Source

given canEqualSeqs[T, U](using eq: CanEqual[T, U]): CanEqual[Seq[T], Seq[U]]

Source

given canEqualSet[T, U](using eq: CanEqual[T, U]): CanEqual[Set[T], Set[U]]

Source

given canEqualString: CanEqual[String, String]