final case class Failure[E](e: E) extends Validation[E, Nothing] with Product with Serializable
- Source
- Validation.scala
- Alphabetic
- By Inheritance
- Failure
- Validation
- Serializable
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new Failure(e: E)
Type Members
- final class SwitchingValidation[X] extends AnyRef
- Definition Classes
- Validation
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- def +++[EE >: E, AA >: Nothing](x: => Validation[EE, AA])(implicit M1: Semigroup[AA], M2: Semigroup[EE]): Validation[EE, AA]
Sums up values inside validation, if both are success or failure.
Sums up values inside validation, if both are success or failure. Returns first failure otherwise.
success(v1) +++ success(v2) → success(v1 + v2) success(v1) +++ failure(v2) → failure(v2) failure(v1) +++ success(v2) → failure(v1) failure(v1) +++ failure(v2) → failure(v1 + v2)
- Definition Classes
- Validation
- def +|+[EE >: E, AA >: Nothing](x: Validation[EE, AA])(implicit es: Semigroup[EE], as: Semigroup[AA]): Validation[EE, AA]
If
this
andthat
are both success, or both a failure, combine them with the providedSemigroup
for each.If
this
andthat
are both success, or both a failure, combine them with the providedSemigroup
for each. Otherwise, return the success. Alias forappend
- Definition Classes
- Validation
- def :?>>[X](success: => X): SwitchingValidation[X]
If this validation is success, return the given X value, otherwise, return the X value given to the return value.
If this validation is success, return the given X value, otherwise, return the X value given to the return value.
- Definition Classes
- Validation
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def ===[EE >: E, AA >: Nothing](x: Validation[EE, AA])(implicit EE: Equal[EE], EA: Equal[AA]): Boolean
Compare two validations values for equality.
Compare two validations values for equality.
- Definition Classes
- Validation
- def @\/[EE, AA](k: (\/[E, Nothing]) => \/[EE, AA]): Validation[EE, AA]
Run a disjunction function and back to validation again.
Run a disjunction function and back to validation again. Alias for
disjunctioned
- Definition Classes
- Validation
- def andThen[EE >: E, B](f: (Nothing) => Validation[EE, B]): Validation[EE, B]
- Definition Classes
- Validation
- def ap[EE >: E, B](x: => Validation[EE, (Nothing) => B])(implicit E: Semigroup[EE]): Validation[EE, B]
Apply a function in the environment of the success of this validation, accumulating errors.
Apply a function in the environment of the success of this validation, accumulating errors.
- Definition Classes
- Validation
- def append[EE >: E, AA >: Nothing](that: Validation[EE, AA])(implicit es: Semigroup[EE], as: Semigroup[AA]): Validation[EE, AA]
If
this
andthat
are both success, or both a failure, combine them with the providedSemigroup
for each.If
this
andthat
are both success, or both a failure, combine them with the providedSemigroup
for each. Otherwise, return the success. Alias for+|+
- Definition Classes
- Validation
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def bimap[C, D](f: (E) => C, g: (Nothing) => D): Validation[C, D]
Binary functor map on this validation.
Binary functor map on this validation.
- Definition Classes
- Validation
- def bitraverse[G[_], C, D](f: (E) => G[C], g: (Nothing) => G[D])(implicit arg0: Functor[G]): G[Validation[C, D]]
Binary functor traverse on this validation.
Binary functor traverse on this validation.
- Definition Classes
- Validation
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def compare[EE >: E, AA >: Nothing](x: Validation[EE, AA])(implicit EE: Order[EE], EA: Order[AA]): Ordering
Compare two validations values for ordering.
Compare two validations values for ordering.
- Definition Classes
- Validation
- def disjunction: \/[E, Nothing]
Convert to a disjunction.
Convert to a disjunction.
- Definition Classes
- Validation
- def disjunctioned[EE, AA](k: (\/[E, Nothing]) => \/[EE, AA]): Validation[EE, AA]
Run a disjunction function and back to validation again.
Run a disjunction function and back to validation again. Alias for
@\/
- Definition Classes
- Validation
- val e: E
- def ensure[EE >: E](onFailure: => EE)(f: (Nothing) => Boolean): Validation[EE, Nothing]
Ensures that the success value of this validation satisfies the given predicate, or fails with the given value.
Ensures that the success value of this validation satisfies the given predicate, or fails with the given value.
- Definition Classes
- Validation
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def excepting[EE >: E](pf: PartialFunction[Nothing, EE]): Validation[EE, Nothing]
Return a Validation formed by the application of a partial function across the success of this value:
Return a Validation formed by the application of a partial function across the success of this value:
strings map (_.parseInt excepting { case i if i < 0 => new Exception(s"Int must be positive: $i") })
- Definition Classes
- Validation
- Since
7.0.2
- def exists(f: (Nothing) => Boolean): Boolean
Return
true
if this validation is a success value satisfying the given predicate.Return
true
if this validation is a success value satisfying the given predicate.- Definition Classes
- Validation
- def filter[EE >: E](p: (Nothing) => Boolean)(implicit M: Monoid[EE]): Validation[EE, Nothing]
Filter on the success of this validation.
Filter on the success of this validation.
- Definition Classes
- Validation
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def findSuccess[EE >: E, AA >: Nothing](that: => Validation[EE, AA])(implicit es: Semigroup[EE]): Validation[EE, AA]
If
this
is a success, return it; otherwise, ifthat
is a success, return it; otherwise, combine the failures with the specified semigroup.If
this
is a success, return it; otherwise, ifthat
is a success, return it; otherwise, combine the failures with the specified semigroup.- Definition Classes
- Validation
- def fold[X](fail: (E) => X, succ: (Nothing) => X): X
Catamorphism.
Catamorphism. Run the first given function if failure, otherwise, the second given function.
- Definition Classes
- Validation
- def foldRight[B](z: => B)(f: (Nothing, => B) => B): B
Fold on the success of this validation.
Fold on the success of this validation.
- Definition Classes
- Validation
- def forall(f: (Nothing) => Boolean): Boolean
Return
true
if this validation is a failure value or the success value satisfies the given predicate.Return
true
if this validation is a failure value or the success value satisfies the given predicate.- Definition Classes
- Validation
- def foreach[U](f: (Nothing) => U): Unit
Run the side-effect on the success of this validation.
Run the side-effect on the success of this validation.
- Definition Classes
- Validation
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def getOrElse[AA >: Nothing](x: => AA): AA
Return the success value of this validation or the given default if failure.
Return the success value of this validation or the given default if failure. Alias for
|
- Definition Classes
- Validation
- def isFailure: Boolean
Return
true
if this validation is failure.Return
true
if this validation is failure.- Definition Classes
- Validation
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isSuccess: Boolean
Return
true
if this validation is success.Return
true
if this validation is success.- Definition Classes
- Validation
- def leftMap[C](f: (E) => C): Validation[C, Nothing]
Run the given function on the left value.
Run the given function on the left value.
- Definition Classes
- Validation
- def loopFailure[EE >: E, AA >: Nothing, X](success: (AA) => X, failure: (EE) => \/[X, Validation[EE, AA]]): X
Spin in tail-position on the failure value of this validation.
Spin in tail-position on the failure value of this validation.
- Definition Classes
- Validation
- def loopSuccess[EE >: E, AA >: Nothing, X](success: (AA) => \/[X, Validation[EE, AA]], failure: (EE) => X): X
Spin in tail-position on the success value of this validation.
Spin in tail-position on the success value of this validation.
- Definition Classes
- Validation
- def map[B](f: (Nothing) => B): Validation[E, B]
Map on the success of this validation.
Map on the success of this validation.
- Definition Classes
- Validation
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def orElse[EE >: E, AA >: Nothing](x: => Validation[EE, AA]): Validation[EE, AA]
Return this if it is a success, otherwise, return the given value.
Return this if it is a success, otherwise, return the given value. Alias for
|||
- Definition Classes
- Validation
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- def show[EE >: E, AA >: Nothing](implicit SE: Show[EE], SA: Show[AA]): Cord
Show for a validation value.
Show for a validation value.
- Definition Classes
- Validation
- def swap: Validation[Nothing, E]
Flip the failure/success values in this validation.
Flip the failure/success values in this validation. Alias for
unary_~
- Definition Classes
- Validation
- def swapped[EE, AA](k: (Validation[Nothing, E]) => Validation[AA, EE]): Validation[EE, AA]
Run the given function on this swapped value.
Run the given function on this swapped value. Alias for
~
- Definition Classes
- Validation
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toEither: Either[E, Nothing]
Convert to a core
scala.Either
at your own peril.Convert to a core
scala.Either
at your own peril.- Definition Classes
- Validation
- def toList: List[Nothing]
Return an empty list or list with one element on the success of this validation.
Return an empty list or list with one element on the success of this validation.
- Definition Classes
- Validation
- def toMaybe[AA >: Nothing]: Maybe[AA]
Return an empty maybe or maybe with the element on the success of this validation.
Return an empty maybe or maybe with the element on the success of this validation. Useful to sweep errors under the carpet.
- Definition Classes
- Validation
- def toOption: Option[Nothing]
Return an empty option or option with one element on the success of this validation.
Return an empty option or option with one element on the success of this validation. Useful to sweep errors under the carpet.
- Definition Classes
- Validation
- def toStream: Stream[Nothing]
Return an empty stream or stream with one element on the success of this validation.
Return an empty stream or stream with one element on the success of this validation.
- Definition Classes
- Validation
- def toValidationNel[EE >: E, AA >: Nothing]: ValidationNel[EE, AA]
Wraps the failure value in a scalaz.NonEmptyList
Wraps the failure value in a scalaz.NonEmptyList
- Definition Classes
- Validation
- def traverse[G[_], EE >: E, B](f: (Nothing) => G[B])(implicit arg0: Applicative[G]): G[Validation[EE, B]]
Traverse on the success of this validation.
Traverse on the success of this validation.
- Definition Classes
- Validation
- def unary_~: Validation[Nothing, E]
Flip the failure/success values in this validation.
Flip the failure/success values in this validation. Alias for
swap
- Definition Classes
- Validation
- def valueOr[AA >: Nothing](x: (E) => AA): AA
Return the success value of this validation or run the given function on the failure.
Return the success value of this validation or run the given function on the failure.
- Definition Classes
- Validation
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- def |[AA >: Nothing](x: => AA): AA
Return the success value of this validation or the given default if failure.
Return the success value of this validation or the given default if failure. Alias for
getOrElse
- Definition Classes
- Validation
- def |||[EE >: E, AA >: Nothing](x: => Validation[EE, AA]): Validation[EE, AA]
Return this if it is a success, otherwise, return the given value.
Return this if it is a success, otherwise, return the given value. Alias for
orElse
- Definition Classes
- Validation
- def ~[EE, AA](k: (Validation[Nothing, E]) => Validation[AA, EE]): Validation[EE, AA]
Run the given function on this swapped value.
Run the given function on this swapped value. Alias for
swapped
- Definition Classes
- Validation