BooleanOps

abstract def self: Boolean

final def !&&(q: ⇒ Boolean): Boolean

Negation of Conjunction.

p q  p !&& q
0 0  1
0 1  1
1 0  1
1 1  0

final def !=(arg0: Any): Boolean

final def !?[A](a: ⇒ A)(implicit z: Monoid[A]): A

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

final def !||(q: ⇒ Boolean): Boolean

Negation of Disjunction.

p q  p !|| q
0 0  1
0 1  0
1 0  0
1 1  0

final def ##(): Int

final def -->(q: ⇒ Boolean): Boolean

Conditional.

p q  p --> q
0 0  1
0 1  1
1 0  0
1 1  1

final def -/>(q: ⇒ Boolean): Boolean

Negational of Conditional.

p q  p -/> q
0 0  0
0 1  0
1 0  1
1 1  0

final def /\(q: ⇒ Boolean): Boolean

Conjunction.

p q  p /\ q
0 0  0
0 1  0
1 0  0
1 1  1

final def <--(q: ⇒ Boolean): Boolean

Inverse Conditional.

p q  p <-- q
0 0  1
0 1  0
1 0  1
1 1  1

final def <\-(q: ⇒ Boolean): Boolean

Negation of Inverse Conditional.

p q  p ￢ﾇﾍ q
0 0  0
0 1  1
1 0  0
1 1  0

final def ==(arg0: Any): Boolean

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

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

final def ??[A](a: ⇒ A)(implicit z: Monoid[A]): A

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

final def \/(q: ⇒ Boolean): Boolean

Disjunction.

p q  p \/ q
0 0  0
0 1  1
1 0  1
1 1  1

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def conjunction: @@[Boolean, Conjunction]

final def disjunction: @@[Boolean, Disjunction]

final 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

final def fold[A](t: ⇒ A, f: ⇒ A): A

final def getClass(): Class[_]

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

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def lazyOption[A](a: ⇒ A): LazyOption[A]

Returns the given argument in LazySome if this is true, LazyNone otherwise.

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

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

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

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

def toString(): String

final def unless(f: ⇒ Unit): Unit

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

final def unlessM[M[_], A](f: ⇒ M[A])(implicit arg0: Applicative[M]): M[Unit]

Returns the given argument if cond is false, otherwise, unit lifted into M.

final def wait(): Unit

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

final def wait(arg0: Long): Unit

final def when(f: ⇒ Unit): Unit

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

final def whenM[M[_], A](f: ⇒ M[A])(implicit arg0: Applicative[M]): M[Unit]

Returns the given argument if cond is true, otherwise, unit lifted into M.

final def |/\|: @@[Boolean, Conjunction]

final def |\/|: @@[Boolean, Disjunction]

final def |∧|: @@[Boolean, Conjunction]

final def |∨|: @@[Boolean, Disjunction]

final def ⇍(q: ⇒ Boolean): Boolean

Negation of Inverse Conditional.

p q  p <\- q
0 0  0
0 1  1
1 0  0
1 1  0

final def ⇏(q: ⇒ Boolean): Boolean

Negational of Conditional.

p q  p ￢ﾇﾏ q
0 0  0
0 1  0
1 0  1
1 1  0

final def ∧(q: ⇒ Boolean): Boolean

Conjunction.

p q  p ￢ﾈﾧ q
0 0  0
0 1  0
1 0  0
1 1  1

final def ∨(q: ⇒ Boolean): Boolean

Disjunction.

p q  p ￢ﾈﾨ q
0 0  0
0 1  1
1 0  1
1 1  1