object Validation extends ValidationInstances with Serializable
- Source
- Validation.scala
- Alphabetic
- By Inheritance
- Validation
- Serializable
- ValidationInstances
- ValidationInstances0
- ValidationInstances1
- ValidationInstances2
- ValidationInstances3
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- type \?/[E, A] = Validation[E, A]
- Definition Classes
- ValidationInstances
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- implicit def ValidationApplicativeError[L](implicit arg0: Semigroup[L]): ApplicativeError[[β$12$]Validation[L, β$12$], L] with Alt[[β$13$]Validation[L, β$13$]]
- Definition Classes
- ValidationInstances3
- implicit def ValidationAssociative: Associative[Validation]
- Definition Classes
- ValidationInstances0
- implicit def ValidationEqual[E, A](implicit arg0: Equal[E], arg1: Equal[A]): Equal[Validation[E, A]]
- Definition Classes
- ValidationInstances1
- implicit val ValidationInstances0: Bitraverse[Validation]
- Definition Classes
- ValidationInstances3
- implicit def ValidationInstances1[L]: Traverse[[β$0$]Validation[L, β$0$]] with Cozip[[β$1$]Validation[L, β$1$]] with Optional[[β$2$]Validation[L, β$2$]]
- Definition Classes
- ValidationInstances2
- implicit def ValidationIsCovariantLeft[A]: IsCovariant[[α$10$]Validation[α$10$, A]]
- Definition Classes
- ValidationInstances3
- implicit def ValidationIsCovariantRight[A]: IsCovariant[[β$8$]Validation[A, β$8$]]
- Definition Classes
- ValidationInstances3
- implicit def ValidationMonoid[E, A](implicit arg0: Semigroup[E], arg1: Monoid[A]): Monoid[Validation[E, A]]
- Definition Classes
- ValidationInstances0
- implicit def ValidationOrder[E, A](implicit arg0: Order[E], arg1: Order[A]): Order[Validation[E, A]]
- Definition Classes
- ValidationInstances0
- implicit def ValidationPlus[E](implicit arg0: Semigroup[E]): Plus[[β$6$]Validation[E, β$6$]]
- Definition Classes
- ValidationInstances2
- implicit def ValidationSemigroup[E, A](implicit arg0: Semigroup[E], arg1: Semigroup[A]): Semigroup[Validation[E, A]]
- Definition Classes
- ValidationInstances1
- implicit def ValidationShow[E, A](implicit arg0: Show[E], arg1: Show[A]): Show[Validation[E, A]]
- Definition Classes
- ValidationInstances1
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def f[B]: F[B]
Construct a failure validation value but specify only the
success
type paramConstruct a failure validation value but specify only the
success
type paramval x = Validation.f[String](42) x: Validation[Int, String]
Example: - def failure[E, A]: (E) => Validation[E, A]
Construct a failure validation value.
- def failureNel[E, A](e: E): ValidationNel[E, A]
Wrap a value in a
NonEmptyList
and construct a failure validation out of it. - def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def fromEither[E, A](e: Either[E, A]): Validation[E, A]
Construct a
Validation
from anEither
. - final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def lift[E, A](a: A)(f: (A) => Boolean, fail: E): Validation[E, A]
- def liftNel[E, A](a: A)(f: (A) => Boolean, fail: E): ValidationNel[E, A]
- final def loopFailure[E, A, X](d: Validation[E, A], success: (A) => X, failure: (E) => \/[X, Validation[E, A]]): X
Spin in tail-position on the failure value of the given validation.
Spin in tail-position on the failure value of the given validation.
- Annotations
- @tailrec()
- final def loopSuccess[E, A, X](d: Validation[E, A], success: (A) => \/[X, Validation[E, A]], failure: (E) => X): X
Spin in tail-position on the success value of the given validation.
Spin in tail-position on the success value of the given validation.
- Annotations
- @tailrec()
- 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 s[B]: S[B]
Construct a success validation value but specify only the
failure
type paramConstruct a success validation value but specify only the
failure
type paramval x = Validation.s[String](42) x: Validation[String, Int]
Example: - def success[E, A]: (A) => Validation[E, A]
Construct a success validation value.
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- 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()
- object FlatMap
Import this if you wish to use
flatMap
Deprecated Value Members
- def fromTryCatchNonFatal[T](a: => T): Validation[Throwable, T]
- Annotations
- @deprecated
- Deprecated
(Since version 7.3.0) Throwable is not referentially transparent, use \/.attempt
- def fromTryCatchThrowable[T, E <: Throwable](a: => T)(implicit arg0: NotNothing[E], ex: ClassTag[E]): Validation[E, T]
- Annotations
- @deprecated
- Deprecated
(Since version 7.3.0) Throwable is not referentially transparent, use \/.attempt