- Companion
- class
trait Sum
trait Mirror
class ValidationInstances
class ValidationInstances0
class ValidationInstances1
class ValidationInstances2
class ValidationInstances3
class Object
trait Matchable
class Any
Type members
Classlikes
Value members
Concrete methods
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
val x = Validation.f[String](42) x: Validation[Int, String]
Wrap a value in a NonEmptyList
and construct a failure validation out of it.
Wrap a value in a NonEmptyList
and construct a failure validation out of it.
@tailrec
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.
@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.
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
val x = Validation.s[String](42) x: Validation[String, Int]
Deprecated methods
@deprecated("Throwable is not referentially transparent, use \\/.attempt", "7.3.0")
def fromTryCatchThrowable[T, E <: Throwable : NotNothing](a: => T)(implicit evidence$3: NotNothing[E], ex: ClassTag[E]): Validation[E, T]
- Deprecated
Implicits
Inherited implicits
implicit
def ValidationApplicativeError[L : Semigroup]: ApplicativeError[[_] =>> Validation[L, _$24], L] & Alt[[_] =>> Validation[L, _$25]]
- Inherited from
- ValidationInstances3
implicit
def ValidationInstances1[L]: Traverse[[_] =>> Validation[L, _$10]] & Cozip[[_] =>> Validation[L, _$11]] & Optional[[_] =>> Validation[L, _$12]]
- Inherited from
- ValidationInstances2