utils/japgolly.microlibs.utils/PotentialChange

PotentialChange

object PotentialChange
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

sealed trait Changed[+E, +A] extends PotentialChange[E, A]
final case class Failure[+E](failure: E) extends Changed[E, Nothing]
sealed trait NonFailure[+A] extends PotentialChange[Nothing, A]
final case class Success[+A](update: A) extends NonFailure[A] with Changed[Nothing, A]
case object Unchanged extends NonFailure[Nothing]

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def fromEither[E, A](d: Either[E, A]): PotentialChange[E, A]
def fromOption[A](o: Option[A]): NonFailure[A]
def needFromOption[A](o: Option[A]): PotentialChange[Unit, A]
def nonEmpty[A, B](a: A)(implicit p: Proof[A, B]): NonFailure[B]

Implicits

Implicits

@nowarn("cat=unused")
implicit def univEq[E : UnivEq, A : UnivEq]: UnivEq[PotentialChange[E, A]]