Packages

object Equivalence

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Equivalence
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. def apply[A, B](to0: (A) => B, from0: (B) => A): Equivalence[A, B]
  2. def either[A, B, C]: Equivalence[Either[A, Either[B, C]], Either[Either[A, B], C]]

    Constructs an equivalence between a right-associated nested either, and a left-associated nested either.

  3. def eitherFlip[A, B]: Equivalence[Either[A, B], Either[B, A]]
  4. def eitherNothing[A]: Equivalence[Either[A, Nothing], A]
  5. def fromPartial[A, B, E1, E2](toPartial0: (A) => Either[E1, B], fromPartial0: (B) => Either[E2, A])(ev1: <:<[E1, Nothing], ev2: <:<[E2, Nothing]): Equivalence[A, B]
  6. def identity[A]: Equivalence[A, A]

    Constructs the identity equivalence, which just says that any type is equivalent to itself and is trivially true.

  7. def tuple[A, B, C]: Equivalence[(A, (B, C)), ((A, B), C)]

    Constructs an equivalence between a right-associated nested tuple, and a left-associated nested tuple.

  8. def tupleAny[A]: Equivalence[(A, Any), A]
  9. def tupleFlip[A, B]: Equivalence[(A, B), (B, A)]
  10. def unapply[A, B](self: Equivalence[A, B]): Some[((A) => B, (B) => A)]