Packages

object Validation extends ValidationInstances with Serializable

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Validation
  2. Serializable
  3. Serializable
  4. ValidationInstances
  5. ValidationInstances0
  6. ValidationInstances1
  7. ValidationInstances2
  8. ValidationInstances3
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type \?/[E, A] = Validation[E, A]
    Definition Classes
    ValidationInstances

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. implicit def ValidationApplicativeError[L](implicit arg0: Semigroup[L]): ApplicativeError[[β$12$]Validation[L, β$12$], L] with Alt[[β$13$]Validation[L, β$13$]]
    Definition Classes
    ValidationInstances3
  5. implicit def ValidationAssociative: Associative[Validation]
    Definition Classes
    ValidationInstances0
  6. implicit def ValidationEqual[E, A](implicit arg0: Equal[E], arg1: Equal[A]): Equal[Validation[E, A]]
    Definition Classes
    ValidationInstances1
  7. implicit val ValidationInstances0: Bitraverse[Validation]
    Definition Classes
    ValidationInstances3
  8. implicit def ValidationInstances1[L]: Traverse[[β$0$]Validation[L, β$0$]] with Cozip[[β$1$]Validation[L, β$1$]] with Optional[[β$2$]Validation[L, β$2$]]
    Definition Classes
    ValidationInstances2
  9. implicit def ValidationIsCovariantLeft[A]: IsCovariant[[α$10$]Validation[α$10$, A]]
    Definition Classes
    ValidationInstances3
  10. implicit def ValidationIsCovariantRight[A]: IsCovariant[[β$8$]Validation[A, β$8$]]
    Definition Classes
    ValidationInstances3
  11. implicit def ValidationMonoid[E, A](implicit arg0: Semigroup[E], arg1: Monoid[A]): Monoid[Validation[E, A]]
    Definition Classes
    ValidationInstances0
  12. implicit def ValidationOrder[E, A](implicit arg0: Order[E], arg1: Order[A]): Order[Validation[E, A]]
    Definition Classes
    ValidationInstances0
  13. implicit def ValidationPlus[E](implicit arg0: Semigroup[E]): Plus[[β$6$]Validation[E, β$6$]]
    Definition Classes
    ValidationInstances2
  14. implicit def ValidationSemigroup[E, A](implicit arg0: Semigroup[E], arg1: Semigroup[A]): Semigroup[Validation[E, A]]
    Definition Classes
    ValidationInstances1
  15. implicit def ValidationShow[E, A](implicit arg0: Show[E], arg1: Show[A]): Show[Validation[E, A]]
    Definition Classes
    ValidationInstances1
  16. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  17. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  18. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  20. def f[B]: F[B]

    Construct a failure validation value but specify only the success type param

    Construct a failure validation value but specify only the success type param

    Example: 

    1. val x = Validation.f[String](42)
x: Validation[Int, String]
  21. def failure[E, A]: (E) ⇒ Validation[E, A]

    Construct a failure validation value.

  22. def failureNel[E, A](e: E): ValidationNel[E, A]

    Wrap a value in a NonEmptyList and construct a failure validation out of it.

  23. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  24. def fromEither[E, A](e: Either[E, A]): Validation[E, A]

    Construct a Validation from an Either.

  25. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  26. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  27. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  28. def lift[E, A](a: A)(f: (A) ⇒ Boolean, fail: E): Validation[E, A]
  29. def liftNel[E, A](a: A)(f: (A) ⇒ Boolean, fail: E): ValidationNel[E, A]
  30. 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()
  31. 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()
  32. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  33. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  34. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  35. def s[B]: S[B]

    Construct a success validation value but specify only the failure type param

    Construct a success validation value but specify only the failure type param

    Example: 

    1. val x = Validation.s[String](42)
x: Validation[String, Int]
  36. def success[E, A]: (A) ⇒ Validation[E, A]

    Construct a success validation value.

  37. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  38. def toString(): String
    Definition Classes
    AnyRef → Any
  39. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  41. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  42. object FlatMap

    Import this if you wish to use flatMap

Deprecated Value Members

  1. def fromTryCatchNonFatal[T](a: ⇒ T): Validation[Throwable, T]
    Annotations
    @deprecated
    Deprecated

    (Since version 7.3.0) Throwable is not referentially transparent, use \/.attempt

  2. 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

Inherited from Serializable

Inherited from Serializable

Inherited from ValidationInstances

Inherited from ValidationInstances0

Inherited from ValidationInstances1

Inherited from ValidationInstances2

Inherited from ValidationInstances3

Inherited from AnyRef

Inherited from Any

Ungrouped