Success
Type members
Inherited classlikes
Value members
Concrete methods
Inherited methods
Sums up values inside validation, if both are success or failure. Returns first failure otherwise.
Sums up values inside validation, if both are success or failure. Returns first failure otherwise.
success(v1) +++ success(v2) → success(v1 + v2)
success(v1) +++ failure(v2) → failure(v2)
failure(v1) +++ success(v2) → failure(v1)
failure(v1) +++ failure(v2) → failure(v1 + v2)
- Inherited from
- Validation
If this
and that
are both success, or both a failure, combine them with the provided Semigroup
for each. Otherwise, return the success. Alias for append
If this
and that
are both success, or both a failure, combine them with the provided Semigroup
for each. Otherwise, return the success. Alias for append
- Inherited from
- Validation
Compare two validations values for equality.
Compare two validations values for equality.
- Inherited from
- Validation
Run a disjunction function and back to validation again. Alias for disjunctioned
Run a disjunction function and back to validation again. Alias for disjunctioned
- Inherited from
- Validation
Apply a function in the environment of the success of this validation, accumulating errors.
Apply a function in the environment of the success of this validation, accumulating errors.
- Inherited from
- Validation
If this
and that
are both success, or both a failure, combine them with the provided Semigroup
for each. Otherwise, return the success. Alias for +|+
If this
and that
are both success, or both a failure, combine them with the provided Semigroup
for each. Otherwise, return the success. Alias for +|+
- Inherited from
- Validation
Binary functor map on this validation.
Binary functor map on this validation.
- Inherited from
- Validation
Binary functor traverse on this validation.
Binary functor traverse on this validation.
- Inherited from
- Validation
Compare two validations values for ordering.
Compare two validations values for ordering.
- Inherited from
- Validation
Run a disjunction function and back to validation again. Alias for @\/
Run a disjunction function and back to validation again. Alias for @\/
- Inherited from
- Validation
Ensures that the success value of this validation satisfies the given predicate, or fails with the given value.
Ensures that the success value of this validation satisfies the given predicate, or fails with the given value.
- Inherited from
- Validation
Return a Validation formed by the application of a partial function across the success of this value:
Return a Validation formed by the application of a partial function across the success of this value:
strings map (_.parseInt excepting { case i if i < 0 => new Exception(s"Int must be positive: $i") })
- Since
7.0.2
- Inherited from
- Validation
Return true
if this validation is a success value satisfying the given predicate.
Return true
if this validation is a success value satisfying the given predicate.
- Inherited from
- Validation
Filter on the success of this validation.
Filter on the success of this validation.
- Inherited from
- Validation
If this
is a success, return it; otherwise, if that
is a success, return it; otherwise, combine the failures with the specified semigroup.
If this
is a success, return it; otherwise, if that
is a success, return it; otherwise, combine the failures with the specified semigroup.
- Inherited from
- Validation
Catamorphism. Run the first given function if failure, otherwise, the second given function.
Catamorphism. Run the first given function if failure, otherwise, the second given function.
- Inherited from
- Validation
If this validation is success, return success
, otherwise, return
fail
.
If this validation is success, return success
, otherwise, return
fail
.
- Inherited from
- Validation
Fold on the success of this validation.
Fold on the success of this validation.
- Inherited from
- Validation
Return true
if this validation is a failure value or the success value satisfies the given predicate.
Return true
if this validation is a failure value or the success value satisfies the given predicate.
- Inherited from
- Validation
Run the side-effect on the success of this validation.
Run the side-effect on the success of this validation.
- Inherited from
- Validation
Return the success value of this validation or the given default if failure. Alias for |
Return the success value of this validation or the given default if failure. Alias for |
- Inherited from
- Validation
Return true
if this validation is failure.
Return true
if this validation is failure.
- Inherited from
- Validation
Return true
if this validation is success.
Return true
if this validation is success.
- Inherited from
- Validation
Run the given function on the left value.
Run the given function on the left value.
- Inherited from
- Validation
Spin in tail-position on the failure value of this validation.
Spin in tail-position on the failure value of this validation.
- Inherited from
- Validation
Spin in tail-position on the success value of this validation.
Spin in tail-position on the success value of this validation.
- Inherited from
- Validation
Map on the success of this validation.
Map on the success of this validation.
- Inherited from
- Validation
Return this if it is a success, otherwise, return the given value. Alias for |||
Return this if it is a success, otherwise, return the given value. Alias for |||
- Inherited from
- Validation
Flip the failure/success values in this validation. Alias for unary_~
Flip the failure/success values in this validation. Alias for unary_~
- Inherited from
- Validation
Run the given function on this swapped value. Alias for ~
Run the given function on this swapped value. Alias for ~
- Inherited from
- Validation
Convert to a core scala.Either
at your own peril.
Convert to a core scala.Either
at your own peril.
- Inherited from
- Validation
Return an empty ilist or an ilist with one element on the success of this validation.
Return an empty ilist or an ilist with one element on the success of this validation.
- Inherited from
- Validation
Return an empty list or a list with one element on the success of this validation.
Return an empty list or a list with one element on the success of this validation.
- Inherited from
- Validation
Return an empty maybe or maybe with the element on the success of this validation. Useful to sweep errors under the carpet.
Return an empty maybe or maybe with the element on the success of this validation. Useful to sweep errors under the carpet.
- Inherited from
- Validation
Return an empty option or option with one element on the success of this validation. Useful to sweep errors under the carpet.
Return an empty option or option with one element on the success of this validation. Useful to sweep errors under the carpet.
- Inherited from
- Validation
Return an empty stream or stream with one element on the success of this validation.
Return an empty stream or stream with one element on the success of this validation.
- Inherited from
- Validation
Wraps the failure value in a scalaz.NonEmptyList
Wraps the failure value in a scalaz.NonEmptyList
- Inherited from
- Validation
Traverse on the success of this validation.
Traverse on the success of this validation.
- Inherited from
- Validation
Flip the failure/success values in this validation. Alias for swap
Flip the failure/success values in this validation. Alias for swap
- Inherited from
- Validation
Return the success value of this validation or run the given function on the failure.
Return the success value of this validation or run the given function on the failure.
- Inherited from
- Validation
Return the success value of this validation or the given default if failure. Alias for getOrElse
Return the success value of this validation or the given default if failure. Alias for getOrElse
- Inherited from
- Validation
Return this if it is a success, otherwise, return the given value. Alias for orElse
Return this if it is a success, otherwise, return the given value. Alias for orElse
- Inherited from
- Validation
Run the given function on this swapped value. Alias for swapped
Run the given function on this swapped value. Alias for swapped
- Inherited from
- Validation
Deprecated and Inherited methods
If this validation is success, return the given X value, otherwise, return the X value given to the return value.
If this validation is success, return the given X value, otherwise, return the X value given to the return value.
- Deprecated
[Since version 7.3.0]
- Inherited from
- Validation