BooleanW

val isTrue : Boolean

def ! (t: ⇒ Unit): Unit

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

def != (arg0: AnyRef): Boolean

def != (arg0: Any): Boolean

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

def ## (): Int

def == (arg0: AnyRef): Boolean

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.

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.

def eq (arg0: AnyRef): Boolean

def equals (arg0: Any): Boolean

def finalize (): Unit

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

def getClass (): java.lang.Class[_]

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

def hashCode (): Int

def isInstanceOf [T0] : Boolean

def ne (arg0: AnyRef): Boolean

def notify (): Unit

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]

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.

def wait (): Unit

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

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