Sums up values inside disjunction, if both are left or right.
Sums up values inside disjunction, if both are left or right. Returns first left otherwise.
\/-(v1) +++ \/-(v2) ¬ニメ \/-(v1 + v2) \/-(v1) +++ -\/(v2) ¬ニメ -\/(v2) -\/(v1) +++ \/-(v2) ¬ニメ -\/(v1) -\/(v1) +++ -\/(v2) ¬ニメ -\/(v1 + v2)
If this disjunction is right, return the given X value, otherwise, return the X value given to the return value.
If this disjunction is right, return the given X value, otherwise, return the X value given to the return value.
Compare two disjunction values for equality.
Compare two disjunction values for equality.
Run a validation function and back to disjunction again.
Run a validation function and back to disjunction again. Alias for validationed
Apply a function in the environment of the right of this disjunction.
Apply a function in the environment of the right of this disjunction.
Binary functor map on this disjunction.
Binary functor map on this disjunction.
Binary functor traverse on this disjunction.
Binary functor traverse on this disjunction.
Compare two disjunction values for ordering.
Compare two disjunction values for ordering.
Ensures that the right value of this disjunction satisfies the given predicate, or returns left with the given value.
Ensures that the right value of this disjunction satisfies the given predicate, or returns left with the given value.
Return true
if this disjunction is a right value satisfying the given predicate.
Return true
if this disjunction is a right value satisfying the given predicate.
Filter on the right of this disjunction.
Filter on the right of this disjunction.
Bind through the right of this disjunction.
Bind through the right of this disjunction.
Catamorphism.
Catamorphism. Run the first given function if left, otherwise, the second given function.
Fold on the right of this disjunction.
Fold on the right of this disjunction.
Return true
if this disjunction is a left value or the right value satisfies the given predicate.
Return true
if this disjunction is a left value or the right value satisfies the given predicate.
Run the side-effect on the right of this disjunction.
Run the side-effect on the right of this disjunction.
Return the right value of this disjunction or the given default if left.
Return the right value of this disjunction or the given default if left. Alias for |
Return true
if this disjunction is left.
Return true
if this disjunction is left.
Return true
if this disjunction is right.
Return true
if this disjunction is right.
Run the given function on the left value.
Run the given function on the left value.
Spin in tail-position on the left value of this disjunction.
Spin in tail-position on the left value of this disjunction.
Spin in tail-position on the right value of this disjunction.
Spin in tail-position on the right value of this disjunction.
Map on the right of this disjunction.
Map on the right of this disjunction.
Return the value from whichever side of the disjunction is defined, given a commonly assignable type.
Return the value from whichever side of the disjunction is defined, given a commonly assignable type.
Return this if it is a right, otherwise, return the given value.
Return this if it is a right, otherwise, return the given value. Alias for |||
Show for a disjunction value.
Show for a disjunction value.
Flip the left/right values in this disjunction.
Flip the left/right values in this disjunction. Alias for unary_~
Run the given function on this swapped value.
Run the given function on this swapped value. Alias for ~
Convert to a core scala.Either
at your own peril.
Convert to a core scala.Either
at your own peril.
Return an empty list or list with one element on the right of this disjunction.
Return an empty list or list with one element on the right of this disjunction.
Return an empty maybe or option with one element on the right of this disjunction.
Return an empty maybe or option with one element on the right of this disjunction. Useful to sweep errors under the carpet.
Return an empty option or option with one element on the right of this disjunction.
Return an empty option or option with one element on the right of this disjunction. Useful to sweep errors under the carpet.
Return an empty stream or stream with one element on the right of this disjunction.
Return an empty stream or stream with one element on the right of this disjunction.
Convert to a These.
Convert to a These.
Traverse on the right of this disjunction.
Traverse on the right of this disjunction.
Flip the left/right values in this disjunction.
Flip the left/right values in this disjunction. Alias for swap
Convert to a validation.
Convert to a validation.
Run a validation function and back to disjunction again.
Run a validation function and back to disjunction again. Alias for @\?/
Return the right value of this disjunction or run the given function on the left.
Return the right value of this disjunction or run the given function on the left.
Return the right value of this disjunction or the given default if left.
Return the right value of this disjunction or the given default if left. Alias for getOrElse
Return this if it is a right, otherwise, return the given value.
Return this if it is a right, otherwise, return the given value. Alias for orElse
Run the given function on this swapped value.
Run the given function on this swapped value. Alias for swapped
A left disjunction
Often used to represent the failure case of a result