Packages

trait PartialEquivalence[A, B, +E1, +E2] extends AnyRef

Self Type
PartialEquivalence[A, B, E1, E2]
Annotations
@silent("Unused import")
Linear Supertypes
AnyRef, Any
Known Subclasses
Equivalence
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PartialEquivalence
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def fromPartial: (B) => Either[E2, A]
  2. abstract def toPartial: (A) => Either[E1, B]

Concrete Value Members

  1. def >>>[C, E3 >: E1, E4 >: E2](that: PartialEquivalence[B, C, E3, E4]): PartialEquivalence[A, C, E3, E4]
  2. def andThen[C, E3 >: E1, E4 >: E2](that: PartialEquivalence[B, C, E3, E4]): PartialEquivalence[A, C, E3, E4]
  3. def canonicalLeft(a: A): Option[A]
  4. def canonicalLeftOrError[E](a: A)(implicit ev1: <:<[E1, E], ev2: <:<[E2, E]): Either[E, A]
  5. def canonicalRight(b: B): Option[B]
  6. def canonicalRightOrError[E](b: B)(implicit ev1: <:<[E1, E], ev2: <:<[E2, E]): Either[E, B]
  7. def compose[C, E3 >: E1, E4 >: E2](that: PartialEquivalence[C, A, E3, E4]): PartialEquivalence[C, B, E3, E4]
  8. def flip: PartialEquivalence[B, A, E2, E1]