Returns a new result that is the logical conjunction of this result and the specified result.
Returns a new result that is the logical double implication of this result and the specified result.
Returns a new result that is the logical implication of this result and the specified result.
Returns a new result, with all values mapped to the specified constant.
A named alias for &&
.
A named alias for ||
.
If this result is a success returns None
.
If this result is a success returns None
. If it is a failure returns a
new result containing all failures that are relevant to this result being
a failure.
Returns a new result, with all values mapped to new results using the specified function.
Returns a new result, with all values mapped to new results using the specified effectual function.
Folds over the result bottom up, first converting values to B
values, and then combining the B
values, using the specified functions.
A named alias for "<==>".
A named alias for "==>".
Determines whether the result is a failure, where values represent success and are combined using logical conjunction, disjunction, and negation.
Determines whether the result is a success, where values represent success and are combined using logical conjunction, disjunction, and negation.
Returns a new result, with all values mapped by the specified function.
Returns a new result, with all values mapped by the specified effectual function.
Negates this result, converting all successes into failures and failures into successes.
Returns a new result that is the logical negation of this result.
Returns a new result that is the logical disjunction of this result and the specified result.
A
BoolAlgebra[A]
is a description of logical operations on values of typeA
.