Kleenean

com.phasmidsoftware.comparer.Kleenean
See theKleenean companion object
enum Kleenean

Enumeration which models a three-valued logic based on the algebra of Stephen C. Kleene. See https://en.wikipedia.org/wiki/Three-valued_logic

A Kleenean can be converted to an Option[Boolean] when required (see toOption).

NOTE: the cases are exported at the package level, so that they can be referred to simply as Maybe and Truth.

Attributes

Companion
object
Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Type members

Enum entries

case Maybe extends Kleenean

The indeterminate state of a Kleenean, neither true nor false.

The indeterminate state of a Kleenean, neither true nor false.

Attributes

final case class Truth(b: Boolean)

The Boolean equivalent of a Kleenean.

The Boolean equivalent of a Kleenean.

Value parameters

b

either true or false.

Attributes