Success
Members list
Value members
Inherited methods
Compare this Result with that for semantic equality.
Compare this Result with that for semantic equality.
For Success results this uses Term.alphaEq to compare the produced terms (so alpha-equivalent terms are considered equal), and also requires budgets, costs and logs to be equal.
For Failure results this compares the runtime exception classes and messages (stack traces are intentionally ignored), and also requires budgets, costs and logs to be equal.
Returns true only when both sides are the same variant (Success or Failure) and all compared components match as described above.
Value parameters
- that
-
the other Result to compare against
Attributes
- Returns
-
true if results are semantically equal (alpha-equivalence for terms)
- Inherited from:
- Result
Attributes
- Inherited from:
- Result
Attributes
- Inherited from:
- Result
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
Returns the Success result if this is a Success, otherwise throws NoSuchElementException.
Returns the Success result if this is a Success, otherwise throws NoSuchElementException.
Attributes
- Inherited from:
- Result
Returns a string representation of the object.
Returns a string representation of the object.
The default representation is platform dependent.
Attributes
- Returns
-
a string representation of the object.
- Definition Classes
-
Result -> Any
- Inherited from:
- Result