Packages

BooleanOps

final class BooleanOps extends AnyVal

Source: BooleanOps.scala

Linear Supertypes

AnyVal, Any

Ordering

Alphabetic
By Inheritance

Inherited

BooleanOps
AnyVal
Any

Hide All
Show All

Visibility

Public
All

Instance Constructors

new BooleanOps(self: Boolean)

Value Members

final def !&&(q: ⇒ Boolean): Boolean
Negation of Conjunction.
Negation of Conjunction. (NAND)
```
p q  p !&& q
0 0  1
0 1  1
1 0  1
1 1  0
```
final def !=(arg0: Any): Boolean

Definition Classes
Any
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.
Negation of Disjunction. (NOR)
```
p q  p !|| q
0 0  1
0 1  0
1 0  0
1 1  0
```
final def ##(): Int

Definition Classes
Any
final def -->(q: ⇒ Boolean): Boolean
Conditional.
Conditional.
```
p q  p --> q
0 0  1
0 1  1
1 0  0
1 1  1
```
final def -/>(q: ⇒ Boolean): Boolean
Negation of Conditional.
Negation of Conditional.
```
p q  p -/> q
0 0  0
0 1  0
1 0  1
1 1  0
```
final def /\(q: ⇒ Boolean): Boolean
Conjunction.
Conjunction. (AND)
```
p q  p /\ q
0 0  0
0 1  0
1 0  0
1 1  1
```
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
```
final def <-->(q: ⇒ Boolean): Boolean
Bi-Conditional.
Bi-Conditional.
```
p q  p <--> q
0 0  1
0 1  0
1 0  0
1 1  1
```
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
```
final def ==(arg0: Any): Boolean

Definition Classes
Any
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.
Disjunction. (OR)
```
p q  p \/ q
0 0  0
0 1  1
1 0  1
1 1  1
```
final def asInstanceOf[T0]: T0

Definition Classes
Any
final def conjunction: @@[Boolean, Conjunction]
final def disjunction: @@[Boolean, Tags.Disjunction]
final def fold[A](t: ⇒ A, f: ⇒ A): A
returns
t if true, f otherwise
def getClass(): Class[_ <: AnyVal]

Definition Classes
AnyVal → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def lazyOption[A](a: ⇒ A): LazyOption[A]
Returns the given argument in LazySome if this is true, LazyNone otherwise.
final def option[A](a: ⇒ A): Option[A]
Returns the given argument in Some if this is true, None otherwise.
def toString(): String

Definition Classes
Any
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 unlessMU[MA](f: ⇒ MA)(implicit M: Unapply[Applicative, MA]): M[Unit]
A version of unlessM that infers the type constructor M.
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 whenMU[MA](f: ⇒ MA)(implicit M: Unapply[Applicative, MA]): M[Unit]
A version of whenM that infers the type constructor M.
final def |/\|: @@[Boolean, Conjunction]
final def |\/|: @@[Boolean, Tags.Disjunction]
final def |∧|: @@[Boolean, Conjunction]
final def |∨|: @@[Boolean, Tags.Disjunction]
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
```
final def ⇏(q: ⇒ Boolean): Boolean
Negation of Conditional.
Negation of Conditional.
```
p q  p ⇏ q
0 0  0
0 1  0
1 0  1
1 1  0
```
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
```
final def ∧(q: ⇒ Boolean): Boolean
Conjunction.
Conjunction. (AND)
```
p q  p ∧ q
0 0  0
0 1  0
1 0  0
1 1  1
```
final def ∨(q: ⇒ Boolean): Boolean
Disjunction.
Disjunction. (OR)
```
p q  p ∨ q
0 0  0
0 1  1
1 0  1
1 1  1
```

Packages

BooleanOps

final class BooleanOps extends AnyVal

Instance Constructors

Value Members

Inherited from AnyVal

Inherited from Any

Ungrouped

Packages

BooleanOps 

final class BooleanOps extends AnyVal

Instance Constructors

Value Members

Inherited from AnyVal

Inherited from Any

Ungrouped

BooleanOps