Object/Class

scalaz

Validation

Related Docs: class Validation | package scalaz

Permalink

object Validation extends ValidationInstances with Serializable

Source
Validation.scala
Linear Supertypes
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]

    Permalink
    Definition Classes
    ValidationInstances

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. object FlatMap

    Permalink

    Import this if you wish to use flatMap

  5. implicit def ValidationApplicativeError[L](implicit arg0: Semigroup[L]): ApplicativeError[[β$12$]Validation[L, β$12$], L] with Alt[[β$13$]Validation[L, β$13$]]

    Permalink
    Definition Classes
    ValidationInstances3
  6. implicit def ValidationAssociative: Associative[Validation]

    Permalink
    Definition Classes
    ValidationInstances0
  7. implicit def ValidationEqual[E, A](implicit arg0: Equal[E], arg1: Equal[A]): Equal[Validation[E, A]]

    Permalink
    Definition Classes
    ValidationInstances1
  8. implicit val ValidationInstances0: Bitraverse[Validation]

    Permalink
    Definition Classes
    ValidationInstances3
  9. implicit def ValidationInstances1[L]: Traverse[[β$0$]Validation[L, β$0$]] with Cozip[[β$1$]Validation[L, β$1$]] with Optional[[β$2$]Validation[L, β$2$]]

    Permalink
    Definition Classes
    ValidationInstances2
  10. implicit def ValidationIsCovariantLeft[A]: IsCovariant[[α$10$]Validation[α$10$, A]]

    Permalink
    Definition Classes
    ValidationInstances3
  11. implicit def ValidationIsCovariantRight[A]: IsCovariant[[β$8$]Validation[A, β$8$]]

    Permalink
    Definition Classes
    ValidationInstances3
  12. implicit def ValidationMonoid[E, A](implicit arg0: Semigroup[E], arg1: Monoid[A]): Monoid[Validation[E, A]]

    Permalink
    Definition Classes
    ValidationInstances0
  13. implicit def ValidationOrder[E, A](implicit arg0: Order[E], arg1: Order[A]): Order[Validation[E, A]]

    Permalink
    Definition Classes
    ValidationInstances0
  14. implicit def ValidationPlus[E](implicit arg0: Semigroup[E]): Plus[[β$6$]Validation[E, β$6$]]

    Permalink
    Definition Classes
    ValidationInstances2
  15. implicit def ValidationSemigroup[E, A](implicit arg0: Semigroup[E], arg1: Semigroup[A]): Semigroup[Validation[E, A]]

    Permalink
    Definition Classes
    ValidationInstances1
  16. implicit def ValidationShow[E, A](implicit arg0: Show[E], arg1: Show[A]): Show[Validation[E, A]]

    Permalink
    Definition Classes
    ValidationInstances1
  17. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  18. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  19. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  20. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  21. def f[B]: F[B]

    Permalink

    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]
  22. def failure[E, A]: (E) ⇒ Validation[E, A]

    Permalink

    Construct a failure validation value.

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

    Permalink

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

  24. def finalize(): Unit

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

    Permalink

    Construct a Validation from an Either.

  26. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  27. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  28. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  29. def lift[E, A](a: A)(f: (A) ⇒ Boolean, fail: E): Validation[E, A]

    Permalink
  30. def liftNel[E, A](a: A)(f: (A) ⇒ Boolean, fail: E): ValidationNel[E, A]

    Permalink
  31. final def loopFailure[E, A, X](d: Validation[E, A], success: (A) ⇒ X, failure: (E) ⇒ \/[X, Validation[E, A]]): X

    Permalink

    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()
  32. final def loopSuccess[E, A, X](d: Validation[E, A], success: (A) ⇒ \/[X, Validation[E, A]], failure: (E) ⇒ X): X

    Permalink

    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()
  33. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  34. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  35. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  36. def s[B]: S[B]

    Permalink

    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]
  37. def success[E, A]: (A) ⇒ Validation[E, A]

    Permalink

    Construct a success validation value.

  38. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  39. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  40. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  41. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def fromTryCatchNonFatal[T](a: ⇒ T): Validation[Throwable, T]

    Permalink
    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]

    Permalink
    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