Package

com.phasmidsoftware

util

Permalink

package util

Visibility
  1. Public
  2. All

Type Members

  1. case class Kleenean(value: Option[Boolean]) extends Maybe with Product with Serializable

    Permalink

    This is the Kleenean case class which extends Maybe

    This is the Kleenean case class which extends Maybe

    value

    the Option[Boolean] value

  2. trait Maybe extends () ⇒ Option[Boolean]

    Permalink

    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

Value Members

  1. object Kleenean extends Serializable

    Permalink

    Companion object to Kleenean

  2. object Maybe

    Permalink

    Companion object to Maybe

  3. object MonadOps

    Permalink

  4. object ^^ extends Kleenean

    Permalink

    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.

Ungrouped