boolean

Type Members

trait AllOf[PS] extends AnyRef

Conjunction of all predicates in PS.
trait And[A, B] extends AnyRef

Conjunction of the predicates A and B.
trait AnyOf[PS] extends AnyRef

Disjunction of all predicates in PS.
trait False extends AnyRef

Constant predicate that is always false.
trait Not[P] extends AnyRef

Negation of the predicate P.
trait OneOf[PS] extends AnyRef

Exclusive disjunction of all predicates in PS.
trait Or[A, B] extends AnyRef

Disjunction of the predicates A and B.
trait True extends AnyRef

Constant predicate that is always true.
trait Xor[A, B] extends AnyRef

Exclusive disjunction of the predicates A and B.

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
implicit def allOfHConsPredicate[PH, PT <: HList, T](implicit ph: Predicate[PH, T], pt: Predicate[AllOf[PT], T]): Predicate[AllOf[::[PH, PT]], T]

Definition Classes
BooleanPredicates
implicit def allOfHNilPredicate[T]: Predicate[AllOf[HNil], T]

Definition Classes
BooleanPredicates
implicit def andPredicate[A, B, T](implicit pa: Predicate[A, T], pb: Predicate[B, T]): Predicate[And[A, B], T]

Definition Classes
BooleanPredicates
implicit def anyOfHConsPredicate[PH, PT <: HList, T](implicit ph: Predicate[PH, T], pt: Predicate[AnyOf[PT], T]): Predicate[AnyOf[::[PH, PT]], T]

Definition Classes
BooleanPredicates
implicit def anyOfHNilPredicate[T]: Predicate[AnyOf[HNil], T]

Definition Classes
BooleanPredicates
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
implicit def conjunctionAssociativity[A, B, C]: ==>[And[And[A, B], C], And[A, And[B, C]]]

Definition Classes
BooleanInferenceRules0
implicit def conjunctionCommutativity[A, B]: ==>[And[A, B], And[B, A]]

Definition Classes
BooleanInferenceRules0
implicit def conjunctionEliminationL[A, B, C](implicit p1: ==>[A, C]): ==>[And[A, B], C]

Definition Classes
BooleanInferenceRules1
implicit def conjunctionEliminationR[A, B, C](implicit p1: ==>[B, C]): ==>[And[A, B], C]

Definition Classes
BooleanInferenceRules0
implicit def deMorgansLaw1[A, B]: ==>[Not[And[A, B]], Or[Not[A], Not[B]]]

Definition Classes
BooleanInferenceRules0
implicit def deMorgansLaw2[A, B]: ==>[Not[Or[A, B]], And[Not[A], Not[B]]]

Definition Classes
BooleanInferenceRules0
implicit def disjunctionAssociativity[A, B, C]: ==>[Or[Or[A, B], C], Or[A, Or[B, C]]]

Definition Classes
BooleanInferenceRules0
implicit def disjunctionCommutativity[A, B]: ==>[Or[A, B], Or[B, A]]

Definition Classes
BooleanInferenceRules0
implicit def disjunctionIntroductionL[A, B]: ==>[A, Or[A, B]]

Definition Classes
BooleanInferenceRules0
implicit def disjunctionIntroductionR[A, B]: ==>[B, Or[A, B]]

Definition Classes
BooleanInferenceRules0
implicit def doubleNegationElimination[A, B](implicit p1: ==>[A, B]): ==>[Not[Not[A]], B]

Definition Classes
BooleanInferenceRules0
implicit def doubleNegationIntroduction[A, B](implicit p1: ==>[A, B]): ==>[A, Not[Not[B]]]

Definition Classes
BooleanInferenceRules0
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
implicit def falsePredicate[T]: Predicate[False, T]

Definition Classes
BooleanPredicates
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
implicit def hypotheticalSyllogism[A, B, C](implicit p1: ==>[A, B], p2: ==>[B, C]): ==>[A, C]

Definition Classes
BooleanInferenceRules1
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
implicit def minimalTautology[A]: ==>[A, A]

Definition Classes
BooleanInferenceRules0
implicit def modusTollens[A, B](implicit p1: ==>[A, B]): ==>[Not[B], Not[A]]

Definition Classes
BooleanInferenceRules0
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
implicit def notPredicate[P, T](implicit p: Predicate[P, T]): Predicate[Not[P], T]

Definition Classes
BooleanPredicates
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
implicit def oneOfHConsPredicate[PH, PT <: HList, T](implicit ph: Predicate[PH, T], pt: Predicate[OneOf[PT], T]): Predicate[OneOf[::[PH, PT]], T]

Definition Classes
BooleanPredicates
implicit def oneOfHNilPredicate[T]: Predicate[OneOf[HNil], T]

Definition Classes
BooleanPredicates
implicit def orPredicate[A, B, T](implicit pa: Predicate[A, T], pb: Predicate[B, T]): Predicate[Or[A, B], T]

Definition Classes
BooleanPredicates
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
implicit def truePredicate[T]: Predicate[True, T]

Definition Classes
BooleanPredicates
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
implicit def xorCommutativity[A, B]: ==>[Xor[A, B], Xor[B, A]]

Definition Classes
BooleanInferenceRules0
implicit def xorPredicate[A, B, T](implicit pa: Predicate[A, T], pb: Predicate[B, T]): Predicate[Xor[A, B], T]

Definition Classes
BooleanPredicates

Related Doc: package refined

object boolean extends BooleanPredicates with BooleanInferenceRules0

Type Members

trait AllOf[PS] extends AnyRef

trait And[A, B] extends AnyRef

trait AnyOf[PS] extends AnyRef

trait False extends AnyRef

trait Not[P] extends AnyRef

trait OneOf[PS] extends AnyRef

trait Or[A, B] extends AnyRef

trait True extends AnyRef

trait Xor[A, B] extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

implicit def allOfHConsPredicate[PH, PT <: HList, T](implicit ph: Predicate[PH, T], pt: Predicate[AllOf[PT], T]): Predicate[AllOf[::[PH, PT]], T]

implicit def allOfHNilPredicate[T]: Predicate[AllOf[HNil], T]

implicit def andPredicate[A, B, T](implicit pa: Predicate[A, T], pb: Predicate[B, T]): Predicate[And[A, B], T]

implicit def anyOfHConsPredicate[PH, PT <: HList, T](implicit ph: Predicate[PH, T], pt: Predicate[AnyOf[PT], T]): Predicate[AnyOf[::[PH, PT]], T]

implicit def anyOfHNilPredicate[T]: Predicate[AnyOf[HNil], T]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

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

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

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

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

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

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

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

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

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

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

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

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

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

implicit def falsePredicate[T]: Predicate[False, T]

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

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

final def isInstanceOf[T0]: Boolean

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

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

final def ne(arg0: AnyRef): Boolean

implicit def notPredicate[P, T](implicit p: Predicate[P, T]): Predicate[Not[P], T]

final def notify(): Unit

final def notifyAll(): Unit

implicit def oneOfHConsPredicate[PH, PT <: HList, T](implicit ph: Predicate[PH, T], pt: Predicate[OneOf[PT], T]): Predicate[OneOf[::[PH, PT]], T]

implicit def oneOfHNilPredicate[T]: Predicate[OneOf[HNil], T]

implicit def orPredicate[A, B, T](implicit pa: Predicate[A, T], pb: Predicate[B, T]): Predicate[Or[A, B], T]

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

def toString(): String

implicit def truePredicate[T]: Predicate[True, T]

final def wait(): Unit

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

final def wait(arg0: Long): Unit

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

implicit def xorPredicate[A, B, T](implicit pa: Predicate[A, T], pb: Predicate[B, T]): Predicate[Xor[A, B], T]

Inherited from BooleanInferenceRules0

Inherited from BooleanInferenceRules1

Inherited from BooleanPredicates

Inherited from AnyRef

Inherited from Any

Ungrouped