BooleanOps

trait BooleanOps extends Ops[Boolean]

Source
BooleanOps.scala
Linear Supertypes
Ops[Boolean], AnyRef, Any
Ordering
1. Alphabetic
2. By inheritance
Inherited
1. BooleanOps
2. Ops
3. AnyRef
4. Any
1. Hide All
2. Show all
Visibility
1. Public
2. All

Abstract Value Members

1. abstract def self: Boolean

Definition Classes
Ops

Concrete Value Members

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

Negation of Conjunction.

Negation of Conjunction. (NOR)

```p q  p !&& q
0 0  1
0 1  1
1 0  1
1 1  0```
2. final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
3. final def !=(arg0: Any): Boolean

Definition Classes
Any
4. 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.

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

Negation of Disjunction.

Negation of Disjunction. (NAND)

```p q  p !|| q
0 0  1
0 1  0
1 0  0
1 1  0```
6. final def ##(): Int

Definition Classes
AnyRef → Any
7. final def -->(q: ⇒ Boolean): Boolean

Conditional.

Conditional.

```p q  p --> q
0 0  1
0 1  1
1 0  0
1 1  1```
8. final def -/>(q: ⇒ Boolean): Boolean

Negational of Conditional.

Negational of Conditional.

```p q  p -/> q
0 0  0
0 1  0
1 0  1
1 1  0```
9. final def /\(q: ⇒ Boolean): Boolean

Conjunction.

Conjunction. (AND)

```p q  p /\ q
0 0  0
0 1  0
1 0  0
1 1  1```
10. final def <--(q: ⇒ Boolean): Boolean

Inverse Conditional.

Inverse Conditional.

```p q  p <-- q
0 0  1
0 1  0
1 0  1
1 1  1```
11. final def <\-(q: ⇒ Boolean): Boolean

Negation of Inverse Conditional.

Negation of Inverse Conditional.

```p q  p ￢ﾇﾍ q
0 0  0
0 1  1
1 0  0
1 1  0```
12. final def ==(arg0: AnyRef): Boolean

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

Definition Classes
Any
14. final def ?[X](t: ⇒ X): Conditional[X]

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

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

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

Disjunction.

Disjunction. (OR)

```p q  p \/ q
0 0  0
0 1  1
1 0  1
1 1  1```
17. final def asInstanceOf[T0]: T0

Definition Classes
Any
18. def clone(): AnyRef

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

21. 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`.

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

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

Definition Classes
AnyRef → Any
24. def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
25. final def fold[A](t: ⇒ A, f: ⇒ A): A

returns

`t` if true, `f` otherwise

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

Definition Classes
AnyRef → Any

28. def hashCode(): Int

Definition Classes
AnyRef → Any
29. final def isInstanceOf[T0]: Boolean

Definition Classes
Any
30. final def lazyOption[A](a: ⇒ A): LazyOption[A]

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

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

Definition Classes
AnyRef
32. final def notify(): Unit

Definition Classes
AnyRef
33. final def notifyAll(): Unit

Definition Classes
AnyRef
34. final def option[A](a: ⇒ A): Option[A]

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

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

Definition Classes
AnyRef
37. def toString(): String

Definition Classes
AnyRef → Any
38. final def unless(f: ⇒ Unit): Unit

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

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

40. final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )
43. final def when(f: ⇒ Unit): Unit

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

44. 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. ```

49. final def ⇍(q: ⇒ Boolean): Boolean

Negation of Inverse Conditional.

Negation of Inverse Conditional.

```p q  p <\- q
0 0  0
0 1  1
1 0  0
1 1  0```
50. final def ⇏(q: ⇒ Boolean): Boolean

Negational of Conditional.

Negational of Conditional.

```p q  p ￢ﾇﾏ q
0 0  0
0 1  0
1 0  1
1 1  0```
51. final def ∧(q: ⇒ Boolean): Boolean

Conjunction.

Conjunction. (AND)

```p q  p ￢ﾈﾧ q
0 0  0
0 1  0
1 0  0
1 1  1```
52. final def ∨(q: ⇒ Boolean): Boolean

Disjunction.

Disjunction. (OR)

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