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[[β$8$]Validation[L, β$8$], L] with Alt[[β$9$]Validation[L, β$9$]]

    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 ValidationMonoid[E, A](implicit arg0: Semigroup[E], arg1: Monoid[A]): Monoid[Validation[E, A]]

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

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  19. def failure[E, A]: (E) ⇒ Validation[E, A]

    Permalink

    Construct a failure validation value.

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

    Permalink

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

  21. def finalize(): Unit

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

    Permalink

    Construct a Validation from an Either.

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

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

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

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

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

    Permalink
  28. 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()
  29. 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()
  30. final def ne(arg0: AnyRef): Boolean

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

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

    Permalink
    Definition Classes
    AnyRef
  33. def success[E, A]: (A) ⇒ Validation[E, A]

    Permalink

    Construct a success validation value.

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

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

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. 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