Different
A Comparison which is different.
Value parameters
- less
-
true or false. By conventions, we yield a true value when we compare a lesser object with a greater object.
Attributes
Members list
Value members
Inherited methods
Method to yield logical AND.
Method to yield logical AND.
Value parameters
- c
-
the other Comparison (eagerly evaluated).
Attributes
- Returns
-
a Comparison according to Kleenean logic.
- Inherited from:
- Comparison
Method to yield logical AND with short-circuit logic.
Method to yield logical AND with short-circuit logic.
Value parameters
- c
-
the other Comparison (lazily evaluated: not evaluated if this is Different(true)).
Attributes
- Returns
-
a Comparison according to Kleenean logic.
- Inherited from:
- Comparison
Method to yield the complementary Comparison to this Comparison, that's to say the result is flipped (i.e. negated).
Method to yield the complementary Comparison to this Comparison, that's to say the result is flipped (i.e. negated).
Attributes
- Returns
-
Same if this Comparison is Same else the complementary (flipped) value of Different.
- Inherited from:
- Comparison
Method to compose this with another Comparison. That is to say we yield either this or, in the case that this is Same, a default value of Comparison.
Method to compose this with another Comparison. That is to say we yield either this or, in the case that this is Same, a default value of Comparison.
Value parameters
- c
-
the other Comparison (lazily evaluated: only evaluated if this is Same).
Attributes
- Returns
-
the composition of this and c.
- Inherited from:
- Comparison
An iterator over the names of all the elements of this product.
An iterator over the names of all the elements of this product.
Attributes
- Inherited from:
- Product
An iterator over all the elements of this product.
An iterator over all the elements of this product.
Attributes
- Returns
-
in the default implementation, an
Iterator[Any] - Inherited from:
- Product
Method to return the Java-style value of this Comparison.
Method to return the Java-style value of this Comparison.
Attributes
- Returns
-
if Same then 0 else if Different(true) then -1 else 1
- Inherited from:
- Comparison
Method to convert this Comparison into a Kleenean. The conversion is consistent with &, |, and toInt: More is Truth(true), Less is Truth(false) and Same is Maybe.
Method to convert this Comparison into a Kleenean. The conversion is consistent with &, |, and toInt: More is Truth(true), Less is Truth(false) and Same is Maybe.
Attributes
- Returns
-
the homologous Kleenean.
- Inherited from:
- Comparison
Method to yield a String representing this Comparison.
Method to yield a String representing this Comparison.
Attributes
- Returns
-
"Same", "Less" or "More".
- Definition Classes
-
Comparison -> Any
- Inherited from:
- Comparison
Method to yield logical OR.
Method to yield logical OR.
Value parameters
- c
-
the other Comparison (eagerly evaluated).
Attributes
- Returns
-
a Comparison according to Kleenean logic.
- Inherited from:
- Comparison
Method to yield logical OR with short-circuit logic.
Method to yield logical OR with short-circuit logic.
Value parameters
- c
-
the other Comparison (lazily evaluated: not evaluated if this is Different(false)).
Attributes
- Returns
-
a Comparison according to Kleenean logic.
- Inherited from:
- Comparison