BooleanW

abstract val isTrue: Boolean

def !(t: ⇒ Unit): Unit

Executes the given side-effect if this boolean value is true.

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

def !?[A](a: ⇒ A)(implicit arg0: Zero[A]): A

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

def ?[X](t: ⇒ X): Conditional[X]

Conditional operator that returns the first argument if this is true, the second argument otherwise.

def ??[A](a: ⇒ A)(implicit arg0: Zero[A]): A

Returns the given argument if this is true, otherwise, the zero element for the type of the given argument.

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def either[A, B](a: ⇒ A): ConditionalEither[A]

Returns the first argument in Left if this is true, otherwise the second argument in Right.

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def fold[A](a: ⇒ A, b: ⇒ A): A

final def getClass(): Class[_]

def guard[M[_]]: GuardPrevent[M]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def option[A](a: ⇒ A): Option[A]

Returns the given argument in Some if this is true, None otherwise.

def prevent[M[_]]: GuardPrevent[M]

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

def toString(): String

def unless(f: ⇒ Unit): Unit

Executes the given side-effect if this boolean value is false.

final def wait(): Unit

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

final def wait(arg0: Long): Unit

def when(f: ⇒ Unit): Unit

Executes the given side-effect if this boolean value is true.

def |∧|: BooleanConjunction

def →(q: ⇒ BooleanW): Boolean

Conditional.

p q  p → q
0 0  1
0 1  1
1 0  0
1 1  1

def ⇍(q: ⇒ BooleanW): Boolean

Negation of Inverse Conditional.

p q  p ⇍ q
0 0  0
0 1  1
1 0  0
1 1  0

def ⇏(q: ⇒ BooleanW): Boolean

Negational of Conditional.

p q  p ⇏ q
0 0  0
0 1  0
1 0  1
1 1  0

def ⇐(q: ⇒ BooleanW): Boolean

Inverse Conditional.

p q  p ⇐ q
0 0  1
0 1  0
1 0  1
1 1  1

def ∧(q: ⇒ BooleanW): Boolean

Conjunction.

p q  p ∧ q
0 0  0
0 1  0
1 0  0
1 1  1

def ∨(q: ⇒ BooleanW): Boolean

Disjunction.

p q  p ∨ q
0 0  0
0 1  1
1 0  1
1 1  1

def ⊼(q: ⇒ BooleanW): Boolean

Negation of Disjunction.

p q  p ⊼ q
0 0  1
0 1  0
1 0  0
1 1  0

def ⊽(q: ⇒ BooleanW): Boolean

Negation of Conjunction.

p q  p ⊽ q
0 0  1
0 1  1
1 0  1
1 1  0