This is the Kleenean case class which extends Maybe
This trait is to support Kleenean algebra, potentially in a disjunctive or conjunctive expression.
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
Companion object to Kleenean
Companion object to Maybe
This case object is the None version of Maybe.
This case object is the None version of Maybe. It is used for the bookends of a dis/conjunctive expression of Maybes. But be careful, you need to understand the rules of Kleenean logic with regard to None combining with true or false.
This is the Kleenean case class which extends Maybe
the Option[Boolean] value