PotentialChange

sealed abstract class PotentialChange[+E, +A]
Companion:
object
class Object
trait Matchable
class Any
trait Changed[E, A]
class Failure[E]
class Success[A]
trait NonFailure[A]
object Unchanged.type

Value members

Concrete methods

final def ap[EE >: E, AA >: A, B, C](fb: PotentialChange[EE, B])(f: (Option[AA], Option[B]) => Option[C]): PotentialChange[EE, C]
final def filter(f: A => Boolean): PotentialChange[E, A]
final def flatMap[B, EE >: E](f: A => PotentialChange[EE, B]): PotentialChange[EE, B]
final def flatMapFailure[F, AA >: A](f: E => PotentialChange[F, AA]): PotentialChange[F, AA]
final def foreach(f: A => Unit): Unit
final def getFailure: Option[E]
final def getUpdate: Option[A]
final def ignore(f: A => Boolean): PotentialChange[E, A]
final def ignoreEmpty[AA >: A, B](implicit p: Proof[AA, B]): PotentialChange[E, B]
final def ignoreOption[AA >: A](o: => Option[AA])(implicit e: Eq[AA]): PotentialChange[E, A]
final def ignoreValue[AA >: A](a: => AA)(implicit e: Eq[AA]): PotentialChange[E, A]
@inline
final def isChanged: Boolean
final def isFailure: Boolean
final def isSuccess: Boolean
final def isUnchanged: Boolean
final def map[B](f: A => B): PotentialChange[E, B]
final def mapFailure[F](f: E => F): PotentialChange[F, A]
final def merge[EE >: E, AA >: A, B, C](fb: PotentialChange[EE, B])(originalA: => AA, originalB: => B)(f: (AA, B) => C): PotentialChange[EE, C]
final def setDiff[B](prev: Set[B])(implicit ev: A <:< Set[B], univEq: UnivEq[B]): PotentialChange[E, NE[B]]
final def setDiffOption[B](prev: Option[Set[B]])(implicit ev: A <:< Set[B], univEq: UnivEq[B]): PotentialChange[E, NE[B]]
final def toEitherOption: Either[E, Option[A]]
final def toOption: Option[A]
final def validity: Validity

Unchanged is considered valid.

Unchanged is considered valid.