Returns a new assert result that is the logical conjunction of this assert result and the specified assert result.
Returns a new assert result, with all values mapped to the specified constant.
A named alias for &&.
Returns a new assert result with a filtered, mapped subset of the values in this assert result.
A named alias for ||.
If this assert value is a success returns None.
If this assert value is a success returns None. If it is a failure
returns a new assert value containing all failures that are relevant to
this assert value being a failure.
Folds over the assert result bottom up, first converting values to B
values, and then combining the B values, using the specified functions.
Determines whether the assert result is a failure, where Left represents
failure, Right represents success, and values are combined using logical
conjunction and disjunction.
Determines whether the assert result is a success, where Left represents
failure, Right represents success, and values are combined using logical
conjunction and disjunction.
Returns a new assert result, with all values mapped by the specified function.
Negates this assert result, converting all successes into failures and failures into successes.
Returns a new assert result that is the logical disjunction of this assert result and the specified assert result.
An
AssertResult[A]is the result of running an assertion on a value. Assert results compose using logical&&and||and all information will be preserved to provide robust reporting of test results.