object Validation extends ValidationInstances with Serializable
- Source
- Validation.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Validation
- Serializable
- Serializable
- ValidationInstances
- ValidationInstances0
- ValidationInstances1
- ValidationInstances2
- ValidationInstances3
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
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 ValidationApplicative[L](implicit arg0: Semigroup[L]): Applicative[[β$8$]Validation[L, β$8$]] with Alt[[β$9$]Validation[L, β$9$]]
- 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 Plus[[β$2$]Validation[L, β$2$]] with Optional[[β$3$]Validation[L, β$3$]]
- Definition Classes
- ValidationInstances2
- 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 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[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws(classOf[java.lang.CloneNotSupportedException])
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- 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
NonEmptyListand construct a failure validation out of it. - def finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def fromEither[E, A](e: Either[E, A]): Validation[E, A]
Construct a
Validationfrom anEither. - final def getClass(): Class[_]
- 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 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
- @native() @throws(classOf[java.lang.InterruptedException])
- 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