boolean

Value Members

final def !=(arg0: AnyRef): Boolean

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

Definition Classes
Any
final def ##(): Int

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

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

Definition Classes
Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def conditional(p: Boolean, q: ⇒ Boolean): Boolean

Conditional.
Conditional.
```
p q  p --> q
0 0  1
0 1  1
1 0  0
1 1  1
```
Definition Classes
BooleanFunctions
final def conjunction(p: Boolean, q: ⇒ Boolean): Boolean

Conjunction.
Conjunction. (AND)
```
p q  p ￢ﾈﾧ q
0 0  0
0 1  0
1 0  0
1 1  1
```
Definition Classes
BooleanFunctions
final def disjunction(p: Boolean, q: ⇒ Boolean): Boolean

Disjunction.
Disjunction. (OR)
```
p q  p ￢ﾈﾨ q
0 0  0
0 1  1
1 0  1
1 1  1
```
Definition Classes
BooleanFunctions
final def emptyOrPure[M[_], A](cond: Boolean)(a: ⇒ A)(implicit M: Applicative[M], M0: PlusEmpty[M]): M[A]

Returns the value a lifted into the context M if cond is false, otherwise, the empty value for M.
Returns the value a lifted into the context M if cond is false, otherwise, the empty value for M.

Definition Classes
BooleanFunctions
final def emptyOrPureNT[M[_]](cond: Boolean)(implicit M: Applicative[M], M0: PlusEmpty[M]): ~>[Id.Id, M]

Definition Classes
BooleanFunctions
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
def finalize(): Unit

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

returns
t if cond is true, f otherwise

Definition Classes
BooleanFunctions
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def inverseConditional(p: Boolean, q: ⇒ Boolean): Boolean

Inverse Conditional.
Inverse Conditional.
```
p q  p <-- q
0 0  1
0 1  0
1 0  1
1 1  1
```
Definition Classes
BooleanFunctions
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def nand(p: Boolean, 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
```
Definition Classes
BooleanFunctions
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def negConditional(p: Boolean, 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
```
Definition Classes
BooleanFunctions
final def negInverseConditional(p: Boolean, 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
```
Definition Classes
BooleanFunctions
final def nor(p: Boolean, 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
```
Definition Classes
BooleanFunctions
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def option[A](cond: Boolean, a: ⇒ A): Option[A]

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

Definition Classes
BooleanFunctions
final def pointOrEmpty[M[_], A](cond: Boolean)(a: ⇒ A)(implicit M: Applicative[M], M0: PlusEmpty[M]): M[A]

Returns the value a lifted into the context M if cond is true, otherwise, the empty value for M.
Returns the value a lifted into the context M if cond is true, otherwise, the empty value for M.

Definition Classes
BooleanFunctions
final def pointOrEmptyNT[M[_]](cond: Boolean)(implicit M: Applicative[M], M0: PlusEmpty[M]): ~>[Id.Id, M]

Definition Classes
BooleanFunctions
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def test(p: Boolean): Int

Returns 1 if p is true, or 0 otherwise.
Returns 1 if p is true, or 0 otherwise.

Definition Classes
BooleanFunctions
def toString(): String

Definition Classes
AnyRef → Any
final def unless(cond: Boolean)(f: ⇒ Unit): Unit

Executes the given side-effect if cond is false
Executes the given side-effect if cond is false

Definition Classes
BooleanFunctions
final def unlessM[M[_], A](cond: Boolean)(f: ⇒ M[A])(implicit M: Applicative[M]): M[Unit]

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

Definition Classes
BooleanFunctions
final def valueOrZero[A](cond: Boolean)(value: ⇒ A)(implicit z: Monoid[A]): A

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

Definition Classes
BooleanFunctions
final def wait(): Unit

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

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

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

Executes the given side-effect if cond is true
Executes the given side-effect if cond is true

Definition Classes
BooleanFunctions
final def whenM[M[_], A](cond: Boolean)(f: ⇒ M[A])(implicit M: Applicative[M]): M[Unit]

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

Definition Classes
BooleanFunctions
final def zeroOrValue[A](cond: Boolean)(value: ⇒ A)(implicit z: Monoid[A]): A

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

Definition Classes
BooleanFunctions

object boolean extends BooleanFunctions

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def conditional(p: Boolean, q: ⇒ Boolean): Boolean

final def conjunction(p: Boolean, q: ⇒ Boolean): Boolean

final def disjunction(p: Boolean, q: ⇒ Boolean): Boolean

final def emptyOrPure[M[_], A](cond: Boolean)(a: ⇒ A)(implicit M: Applicative[M], M0: PlusEmpty[M]): M[A]

final def emptyOrPureNT[M[_]](cond: Boolean)(implicit M: Applicative[M], M0: PlusEmpty[M]): ~>[Id.Id, M]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

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

final def getClass(): Class[_]

def hashCode(): Int

final def inverseConditional(p: Boolean, q: ⇒ Boolean): Boolean

final def isInstanceOf[T0]: Boolean

final def nand(p: Boolean, q: ⇒ Boolean): Boolean

final def ne(arg0: AnyRef): Boolean

final def negConditional(p: Boolean, q: ⇒ Boolean): Boolean

final def negInverseConditional(p: Boolean, q: ⇒ Boolean): Boolean

final def nor(p: Boolean, q: ⇒ Boolean): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

final def pointOrEmpty[M[_], A](cond: Boolean)(a: ⇒ A)(implicit M: Applicative[M], M0: PlusEmpty[M]): M[A]

final def pointOrEmptyNT[M[_]](cond: Boolean)(implicit M: Applicative[M], M0: PlusEmpty[M]): ~>[Id.Id, M]

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

def test(p: Boolean): Int

def toString(): String

final def unless(cond: Boolean)(f: ⇒ Unit): Unit

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

final def valueOrZero[A](cond: Boolean)(value: ⇒ A)(implicit z: Monoid[A]): A

final def wait(): Unit

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

final def wait(arg0: Long): Unit

final def when(cond: Boolean)(f: ⇒ Unit): Unit

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

final def zeroOrValue[A](cond: Boolean)(value: ⇒ A)(implicit z: Monoid[A]): A

Inherited from BooleanFunctions

Inherited from AnyRef

Inherited from Any

Ungrouped