Right-associative conjunctive operator with an Option[Boolean]
Right-associative conjunctive operator with an Option[Boolean]
other Maybe value
a Maybe value with is the Kleenean logical AND of this and x
Right-associative conjunctive operator with a Boolean
Right-associative conjunctive operator with a Boolean
other Maybe value
a Maybe value with is the Kleenean logical AND of this and b
Left-associative conjunctive operator with a Boolean
Left-associative conjunctive operator with a Boolean
other Boolean value
a Maybe value with is the Kleenean logical AND of this and b
Left-associative conjunctive operator with another Maybe
Left-associative conjunctive operator with another Maybe
other Maybe value
a Maybe value with is the Kleenean logical AND of this and m
Left-associative disjunctive operator with a Boolean
Left-associative disjunctive operator with a Boolean
other Maybe value
a Maybe value with is the Kleenean logical OR of this and b
Left-associative disjunctive operator with another Maybe
Left-associative disjunctive operator with another Maybe
other Maybe value
a Maybe value with is the Kleenean logical OR of this and m
Method to deny (invert, negate, ...) this Maybe
Method to deny (invert, negate, ...) this Maybe
TEST this method
Some(!x) if exists, else return None
Method to convert this Maybe into a Boolean
Method to convert this Maybe into a Boolean
the value to use if this is None
a Boolean corresponding to either the existing Boolean or else the given default.
Method to convert this Maybe into an integer corresponding to the return value of compareTo
Method to convert this Maybe into an integer corresponding to the return value of compareTo
TEST this method
either 1 (true), 0 (maybe), or -1 (false)
Right-associative disjunctive operator with a Boolean
Right-associative disjunctive operator with a Boolean
other Maybe value
a Maybe value with is the Kleenean logical OR of this and b
Right-associative disjunctive operator with an Option[Boolean]
Right-associative disjunctive operator with an Option[Boolean]
other Maybe value
a Maybe value with is the Kleenean logical OR of this and x
This trait is to support Kleenean algebra, potentially in a disjunctive or conjunctive expression. The truth-tables for Kleenean logic can be found here: See https://en.wikipedia.org/wiki/Three-valued_logic#Logics Or you can look at KleeneanSpec to see what the rules are.
The original source and specification for Kleenean is in the LaScala project on github at https://github.com/rchillyard/LaScala