Object/Trait

scalaz

Validation

Related Docs: trait Validation | package scalaz

Permalink

object Validation extends ValidationFunctions with ValidationInstances

Source
Validation.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Validation
  2. ValidationInstances
  3. ValidationInstances0
  4. ValidationInstances1
  5. ValidationInstances2
  6. ValidationInstances3
  7. ValidationFunctions
  8. AnyRef
  9. 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. implicit def ValidationApplicative[L](implicit arg0: Semigroup[L]): Applicative[[a]Validation[L, a]]

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

    Permalink
    Definition Classes
    ValidationInstances1
  6. implicit def ValidationInstances0: Bitraverse[Validation]

    Permalink
    Definition Classes
    ValidationInstances3
  7. implicit def ValidationInstances1[L]: Traverse[[a]Validation[L, a]] with Cozip[[a]Validation[L, a]] with Plus[[a]Validation[L, a]]

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

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

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

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

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

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

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

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

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

    Permalink

    Construct a failure validation value.

    Construct a failure validation value.

    Definition Classes
    ValidationFunctions
  17. def failureNel[E, A](e: E): ValidationNel[E, A]

    Permalink

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

  18. def finalize(): Unit

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

    Permalink

    Construct a Validation from an Either.

    Construct a Validation from an Either.

    Definition Classes
    ValidationFunctions
  20. def fromTryCatch[T](a: ⇒ T): Validation[Throwable, T]

    Permalink

    Evaluate the given value, which might throw an exception.

    Evaluate the given value, which might throw an exception.

    Definition Classes
    ValidationFunctions
  21. def fromTryCatchThrowable[T, E <: Throwable](a: ⇒ T)(implicit nn: NotNothing[E], ex: ClassManifest[E]): Validation[E, T]

    Permalink
  22. final def getClass(): Class[_]

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

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

    Permalink
    Definition Classes
    Any
  25. 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()
  26. 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()
  27. final def ne(arg0: AnyRef): Boolean

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

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

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

    Permalink

    Construct a success validation value.

    Construct a success validation value.

    Definition Classes
    ValidationFunctions
  31. final def synchronized[T0](arg0: ⇒ T0): T0

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

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

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

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

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

Inherited from ValidationInstances

Inherited from ValidationInstances0

Inherited from ValidationInstances1

Inherited from ValidationInstances2

Inherited from ValidationInstances3

Inherited from ValidationFunctions

Inherited from AnyRef

Inherited from Any

Ungrouped