Truth
The Boolean equivalent of a Kleenean.
Value parameters
- b
-
either true or false.
Attributes
Members list
Value members
Inherited methods
Negate this Kleenean.
Negate this Kleenean.
Attributes
- Returns
-
the complement of this Kleenean.
- Inherited from:
- Kleenean
Return the logical AND of this and k.
Return the logical AND of this and k.
Value parameters
- k
-
the other Kleenean (call-by-name, evaluated unless this is Truth(false)).
Attributes
- Returns
-
the logical AND.
- Inherited from:
- Kleenean
Convert this Kleenean into a Boolean by providing a default value for the Maybe case.
Convert this Kleenean into a Boolean by providing a default value for the Maybe case.
Value parameters
- x
-
the result if this is Maybe.
Attributes
- Returns
-
a Boolean corresponding to this Kleenean.
- Inherited from:
- Kleenean
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
Yield an Int corresponding to a Java-style comparison for this Kleenean.
Yield an Int corresponding to a Java-style comparison for this Kleenean.
Attributes
- Returns
-
an Int which is either -1, 0 or 1.
- Inherited from:
- Kleenean
Method to convert this Kleenean to an Option[Boolean].
Method to convert this Kleenean to an Option[Boolean].
Attributes
- Returns
-
None if this is Maybe, otherwise Some(b).
- Inherited from:
- Kleenean
Attributes
- Returns
-
"?" for Maybe, otherwise "T" or "F".
- Definition Classes
-
Kleenean -> Any
- Inherited from:
- Kleenean