object Validation extends ValidationInstances with Serializable
- Source
- Validation.scala
- Alphabetic
- By Inheritance
- Validation
- Serializable
- Serializable
- ValidationInstances
- ValidationInstances0
- ValidationInstances1
- ValidationInstances2
- ValidationInstances3
- AnyRef
- Any
- Hide All
- Show All
- 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
ValidationApplicativeError[L](implicit arg0: Semigroup[L]): ApplicativeError[[β$8$]Validation[L, β$8$], L] 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 Optional[[β$2$]Validation[L, β$2$]]
- 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
ValidationPlus[E](implicit arg0: Semigroup[E]): Plus[[β$6$]Validation[E, β$6$]]
- Definition Classes
- ValidationInstances2
-
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[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
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
NonEmptyList
and construct a failure validation out of it. -
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
fromEither[E, A](e: Either[E, A]): Validation[E, A]
Construct a
Validation
from 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( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
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