Packages

object boolean extends BooleanInference0

Module for logical predicates.

Source
boolean.scala
Linear Supertypes
BooleanInference0, BooleanInference1, BooleanInference2, BooleanInference3, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. boolean
  2. BooleanInference0
  3. BooleanInference1
  4. BooleanInference2
  5. BooleanInference3
  6. AnyRef
  7. 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[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @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 disjunctionTautologyElimination[A, B, C](implicit p1: ==>[A, C], p2: ==>[B, C]): ==>[Or[A, B], C]
    Definition Classes
    BooleanInference3
  17. implicit def doubleNegationElimination[A, B](implicit p1: ==>[A, B]): ==>[Not[Not[A]], B]
    Definition Classes
    BooleanInference0
  18. implicit def doubleNegationIntroduction[A, B](implicit p1: ==>[A, B]): ==>[A, Not[Not[B]]]
    Definition Classes
    BooleanInference0
  19. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  21. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  22. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  23. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  24. implicit def hypotheticalSyllogism[A, B, C](implicit p1: ==>[A, B], p2: ==>[B, C]): ==>[A, C]
    Definition Classes
    BooleanInference2
  25. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  26. implicit def minimalTautology[A]: ==>[A, A]
    Definition Classes
    BooleanInference0
  27. implicit def modusTollens[A, B](implicit p1: ==>[A, B]): ==>[Not[B], Not[A]]
    Definition Classes
    BooleanInference1
  28. implicit def nandCommutativity[A, B]: ==>[Nand[A, B], Nand[B, A]]
    Definition Classes
    BooleanInference0
  29. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  30. implicit def norCommutativity[A, B]: ==>[Nor[A, B], Nor[B, A]]
    Definition Classes
    BooleanInference0
  31. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  32. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  33. implicit def substitutionInConjunction[A, B, C](implicit p1: ==>[B, C]): ==>[And[A, B], And[A, C]]
    Definition Classes
    BooleanInference3
  34. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  35. def toString(): String
    Definition Classes
    AnyRef → Any
  36. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  39. implicit def xorCommutativity[A, B]: ==>[Xor[A, B], Xor[B, A]]
    Definition Classes
    BooleanInference0
  40. object AllOf extends Serializable
  41. object And extends Serializable
  42. object AnyOf extends Serializable
  43. object False extends Serializable
  44. object Not extends Serializable
  45. object OneOf extends Serializable
  46. object Or extends Serializable
  47. object True extends Serializable
  48. object Xor extends Serializable

Inherited from BooleanInference0

Inherited from BooleanInference1

Inherited from BooleanInference2

Inherited from BooleanInference3

Inherited from AnyRef

Inherited from Any

Ungrouped