eu.timepit.refined

boolean

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
Learn more about member selection
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: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. 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

  7. implicit def allOfHNilValidate[T]: Plain[T, AllOf[HNil]]

    Definition Classes
    BooleanValidate

  8. 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

  9. 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

  10. implicit def anyOfHNilValidate[T]: Plain[T, AnyOf[HNil]]

    Definition Classes
    BooleanValidate

  11. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  12. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  13. implicit def conjunctionAssociativity[A, B, C]: ==>[And[And[A, B], C], And[A, And[B, C]]]

    Definition Classes
    BooleanInference0

  14. implicit def conjunctionCommutativity[A, B]: ==>[And[A, B], And[B, A]]

    Definition Classes
    BooleanInference0

  15. implicit def conjunctionEliminationL[A, B, C](implicit p1: ==>[A, C]): ==>[And[A, B], C]

    Definition Classes
    BooleanInference2

  16. implicit def conjunctionEliminationR[A, B, C](implicit p1: ==>[B, C]): ==>[And[A, B], C]

    Definition Classes
    BooleanInference0

  17. implicit def deMorgansLaw1[A, B]: ==>[Not[And[A, B]], Or[Not[A], Not[B]]]

    Definition Classes
    BooleanInference0

  18. implicit def deMorgansLaw2[A, B]: ==>[Not[Or[A, B]], And[Not[A], Not[B]]]

    Definition Classes
    BooleanInference0

  19. implicit def disjunctionAssociativity[A, B, C]: ==>[Or[Or[A, B], C], Or[A, Or[B, C]]]

    Definition Classes
    BooleanInference0

  20. implicit def disjunctionCommutativity[A, B]: ==>[Or[A, B], Or[B, A]]

    Definition Classes
    BooleanInference0

  21. implicit def disjunctionIntroductionL[A, B]: ==>[A, Or[A, B]]

    Definition Classes
    BooleanInference0

  22. implicit def disjunctionIntroductionR[A, B]: ==>[B, Or[A, B]]

    Definition Classes
    BooleanInference0

  23. implicit def doubleNegationElimination[A, B](implicit p1: ==>[A, B]): ==>[Not[Not[A]], B]

    Definition Classes
    BooleanInference0

  24. implicit def doubleNegationIntroduction[A, B](implicit p1: ==>[A, B]): ==>[A, Not[Not[B]]]

    Definition Classes
    BooleanInference0

  25. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  26. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  27. implicit def falseValidate[T]: Plain[T, False]

    Definition Classes
    BooleanValidate

  28. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  29. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  30. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  31. implicit def hypotheticalSyllogism[A, B, C](implicit p1: ==>[A, B], p2: ==>[B, C]): ==>[A, C]

    Definition Classes
    BooleanInference2

  32. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  33. implicit def minimalTautology[A]: ==>[A, A]

    Definition Classes
    BooleanInference0

  34. implicit def modusTollens[A, B](implicit p1: ==>[A, B]): ==>[Not[B], Not[A]]

    Definition Classes
    BooleanInference1

  35. implicit def nandCommutativity[A, B]: ==>[Nand[A, B], Nand[B, A]]

    Definition Classes
    BooleanInference0

  36. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  37. implicit def norCommutativity[A, B]: ==>[Nor[A, B], Nor[B, A]]

    Definition Classes
    BooleanInference0

  38. implicit def notValidate[T, P, R](implicit v: Aux[T, P, R]): Aux[T, Not[P], Not[(v)#Res]]

    Definition Classes
    BooleanValidate

  39. final def notify(): Unit

    Definition Classes
    AnyRef

  40. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  41. 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

  42. implicit def oneOfHNilValidate[T]: Plain[T, OneOf[HNil]]

    Definition Classes
    BooleanValidate

  43. 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

  44. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  45. def toString(): String

    Definition Classes
    AnyRef → Any

  46. implicit def trueValidate[T]: Plain[T, True]

    Definition Classes
    BooleanValidate

  47. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  48. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  49. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  50. implicit def xorCommutativity[A, B]: ==>[Xor[A, B], Xor[B, A]]

    Definition Classes
    BooleanInference0

  51. 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