Packages

object boolean extends BooleanValidate with BooleanInference0

Module for logical predicates.

Source
boolean.scala
Linear Supertypes
BooleanInference0, BooleanInference1, BooleanInference2, BooleanValidate, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. boolean
  2. BooleanInference0
  3. BooleanInference1
  4. BooleanInference2
  5. BooleanValidate
  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. implicit def allOfHConsValidate[T, PH, RH, PT <: HList, RT <: HList](implicit vh: Aux[T, PH, RH], vt: Aux[T, AllOf[PT], AllOf[RT]]): Aux[T, AllOf[::[PH, PT]], AllOf[::[(vh)#Res, RT]]]
    Definition Classes
    BooleanValidate
  5. implicit def allOfHNilValidate[T]: Plain[T, AllOf[HNil]]
    Definition Classes
    BooleanValidate
  6. implicit def andValidate[T, A, RA, B, RB](implicit va: Aux[T, A, RA], vb: Aux[T, B, RB]): Aux[T, And[A, B], And[(va)#Res, (vb)#Res]]
    Definition Classes
    BooleanValidate
  7. implicit def anyOfHConsValidate[T, PH, RH, PT <: HList, RT <: HList](implicit vh: Aux[T, PH, RH], vt: Aux[T, AnyOf[PT], AnyOf[RT]]): Aux[T, AnyOf[::[PH, PT]], AnyOf[::[(vh)#Res, RT]]]
    Definition Classes
    BooleanValidate
  8. implicit def anyOfHNilValidate[T]: Plain[T, AnyOf[HNil]]
    Definition Classes
    BooleanValidate
  9. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  10. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  11. implicit def conjunctionAssociativity[A, B, C]: ==>[And[And[A, B], C], And[A, And[B, C]]]
    Definition Classes
    BooleanInference0
  12. implicit def conjunctionCommutativity[A, B]: ==>[And[A, B], And[B, A]]
    Definition Classes
    BooleanInference0
  13. implicit def conjunctionEliminationL[A, B, C](implicit p1: ==>[A, C]): ==>[And[A, B], C]
    Definition Classes
    BooleanInference2
  14. implicit def conjunctionEliminationR[A, B, C](implicit p1: ==>[B, C]): ==>[And[A, B], C]
    Definition Classes
    BooleanInference0
  15. implicit def deMorgansLaw1[A, B]: ==>[Not[And[A, B]], Or[Not[A], Not[B]]]
    Definition Classes
    BooleanInference0
  16. implicit def deMorgansLaw2[A, B]: ==>[Not[Or[A, B]], And[Not[A], Not[B]]]
    Definition Classes
    BooleanInference0
  17. implicit def disjunctionAssociativity[A, B, C]: ==>[Or[Or[A, B], C], Or[A, Or[B, C]]]
    Definition Classes
    BooleanInference0
  18. implicit def disjunctionCommutativity[A, B]: ==>[Or[A, B], Or[B, A]]
    Definition Classes
    BooleanInference0
  19. implicit def disjunctionIntroductionL[A, B]: ==>[A, Or[A, B]]
    Definition Classes
    BooleanInference0
  20. implicit def disjunctionIntroductionR[A, B]: ==>[B, Or[A, B]]
    Definition Classes
    BooleanInference0
  21. implicit def doubleNegationElimination[A, B](implicit p1: ==>[A, B]): ==>[Not[Not[A]], B]
    Definition Classes
    BooleanInference0
  22. implicit def doubleNegationIntroduction[A, B](implicit p1: ==>[A, B]): ==>[A, Not[Not[B]]]
    Definition Classes
    BooleanInference0
  23. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  24. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  25. implicit def falseValidate[T]: Plain[T, False]
    Definition Classes
    BooleanValidate
  26. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  27. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  28. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  29. implicit def hypotheticalSyllogism[A, B, C](implicit p1: ==>[A, B], p2: ==>[B, C]): ==>[A, C]
    Definition Classes
    BooleanInference2
  30. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  31. implicit def minimalTautology[A]: ==>[A, A]
    Definition Classes
    BooleanInference0
  32. implicit def modusTollens[A, B](implicit p1: ==>[A, B]): ==>[Not[B], Not[A]]
    Definition Classes
    BooleanInference1
  33. implicit def nandCommutativity[A, B]: ==>[Nand[A, B], Nand[B, A]]
    Definition Classes
    BooleanInference0
  34. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  35. implicit def norCommutativity[A, B]: ==>[Nor[A, B], Nor[B, A]]
    Definition Classes
    BooleanInference0
  36. implicit def notValidate[T, P, R](implicit v: Aux[T, P, R]): Aux[T, Not[P], Not[(v)#Res]]
    Definition Classes
    BooleanValidate
  37. final def notify(): Unit
    Definition Classes
    AnyRef
  38. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  39. implicit def oneOfHConsValidate[T, PH, RH, PT <: HList, RT <: HList](implicit vh: Aux[T, PH, RH], vt: Aux[T, OneOf[PT], OneOf[RT]], toList: ToList[RT, Result[_]]): Aux[T, OneOf[::[PH, PT]], OneOf[::[(vh)#Res, RT]]]
    Definition Classes
    BooleanValidate
  40. implicit def oneOfHNilValidate[T]: Plain[T, OneOf[HNil]]
    Definition Classes
    BooleanValidate
  41. implicit def orValidate[T, A, RA, B, RB](implicit va: Aux[T, A, RA], vb: Aux[T, B, RB]): Aux[T, Or[A, B], Or[(va)#Res, (vb)#Res]]
    Definition Classes
    BooleanValidate
  42. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  43. def toString(): String
    Definition Classes
    AnyRef → Any
  44. implicit def trueValidate[T]: Plain[T, True]
    Definition Classes
    BooleanValidate
  45. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  46. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  47. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  48. implicit def xorCommutativity[A, B]: ==>[Xor[A, B], Xor[B, A]]
    Definition Classes
    BooleanInference0
  49. implicit def xorValidate[T, A, RA, B, RB](implicit va: Aux[T, A, RA], vb: Aux[T, B, RB]): Aux[T, Xor[A, B], Xor[(va)#Res, (vb)#Res]]
    Definition Classes
    BooleanValidate

Inherited from BooleanInference0

Inherited from BooleanInference1

Inherited from BooleanInference2

Inherited from BooleanValidate

Inherited from AnyRef

Inherited from Any

Ungrouped