Packages

object boolean extends BooleanInference0

Module for logical predicates.

Source
boolean.scala
Linear Supertypes
BooleanInference0, BooleanInference1, BooleanInference2, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. boolean
  2. BooleanInference0
  3. BooleanInference1
  4. BooleanInference2
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. final case class AllOf[PS](ps: PS) extends Product with Serializable

    Conjunction of all predicates in PS.

  2. final case class And[A, B](a: A, b: B) extends Product with Serializable

    Conjunction of the predicates A and B.

  3. final case class AnyOf[PS](ps: PS) extends Product with Serializable

    Disjunction of all predicates in PS.

  4. final case class False() extends Product with Serializable

    Constant predicate that is always false.

  5. type Nand[A, B] = Not[And[A, B]]

    Negated conjunction of the predicates A and B.

  6. type Nor[A, B] = Not[Or[A, B]]

    Negated disjunction of the predicates A and B.

  7. final case class Not[P](p: P) extends Product with Serializable

    Negation of the predicate P.

  8. final case class OneOf[PS](ps: PS) extends Product with Serializable

    Exclusive disjunction of all predicates in PS.

  9. final case class Or[A, B](a: A, b: B) extends Product with Serializable

    Disjunction of the predicates A and B.

  10. final case class True() extends Product with Serializable

    Constant predicate that is always true.

  11. final case class Xor[A, B](a: A, b: B) extends Product with Serializable

    Exclusive disjunction of the predicates A and B.

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  6. implicit def conjunctionAssociativity[A, B, C]: ==>[And[And[A, B], C], And[A, And[B, C]]]
    Definition Classes
    BooleanInference0
  7. implicit def conjunctionCommutativity[A, B]: ==>[And[A, B], And[B, A]]
    Definition Classes
    BooleanInference0
  8. implicit def conjunctionEliminationL[A, B, C](implicit p1: ==>[A, C]): ==>[And[A, B], C]
    Definition Classes
    BooleanInference2
  9. implicit def conjunctionEliminationR[A, B, C](implicit p1: ==>[B, C]): ==>[And[A, B], C]
    Definition Classes
    BooleanInference0
  10. implicit def deMorgansLaw1[A, B]: ==>[Not[And[A, B]], Or[Not[A], Not[B]]]
    Definition Classes
    BooleanInference0
  11. implicit def deMorgansLaw2[A, B]: ==>[Not[Or[A, B]], And[Not[A], Not[B]]]
    Definition Classes
    BooleanInference0
  12. implicit def disjunctionAssociativity[A, B, C]: ==>[Or[Or[A, B], C], Or[A, Or[B, C]]]
    Definition Classes
    BooleanInference0
  13. implicit def disjunctionCommutativity[A, B]: ==>[Or[A, B], Or[B, A]]
    Definition Classes
    BooleanInference0
  14. implicit def disjunctionIntroductionL[A, B]: ==>[A, Or[A, B]]
    Definition Classes
    BooleanInference0
  15. implicit def disjunctionIntroductionR[A, B]: ==>[B, Or[A, B]]
    Definition Classes
    BooleanInference0
  16. implicit def doubleNegationElimination[A, B](implicit p1: ==>[A, B]): ==>[Not[Not[A]], B]
    Definition Classes
    BooleanInference0
  17. implicit def doubleNegationIntroduction[A, B](implicit p1: ==>[A, B]): ==>[A, Not[Not[B]]]
    Definition Classes
    BooleanInference0
  18. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  20. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  21. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  22. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  23. implicit def hypotheticalSyllogism[A, B, C](implicit p1: ==>[A, B], p2: ==>[B, C]): ==>[A, C]
    Definition Classes
    BooleanInference2
  24. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  25. implicit def minimalTautology[A]: ==>[A, A]
    Definition Classes
    BooleanInference0
  26. implicit def modusTollens[A, B](implicit p1: ==>[A, B]): ==>[Not[B], Not[A]]
    Definition Classes
    BooleanInference1
  27. implicit def nandCommutativity[A, B]: ==>[Nand[A, B], Nand[B, A]]
    Definition Classes
    BooleanInference0
  28. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  29. implicit def norCommutativity[A, B]: ==>[Nor[A, B], Nor[B, A]]
    Definition Classes
    BooleanInference0
  30. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  31. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  32. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  33. def toString(): String
    Definition Classes
    AnyRef → Any
  34. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  35. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  36. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  37. implicit def xorCommutativity[A, B]: ==>[Xor[A, B], Xor[B, A]]
    Definition Classes
    BooleanInference0
  38. object AllOf extends Serializable
  39. object And extends Serializable
  40. object AnyOf extends Serializable
  41. object False extends Serializable
  42. object Not extends Serializable
  43. object OneOf extends Serializable
  44. object Or extends Serializable
  45. object True extends Serializable
  46. object Xor extends Serializable

Inherited from BooleanInference0

Inherited from BooleanInference1

Inherited from BooleanInference2

Inherited from AnyRef

Inherited from Any

Ungrouped