final class BooleanOps extends AnyRef
- Source
- BooleanOps.scala
- Alphabetic
- By Inheritance
- BooleanOps
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
- final class Conditional [X] extends AnyRef
- final class ConditionalEither [A] extends AnyRef
- sealed abstract class GuardPrevent [M[_]] extends AnyRef
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
- AnyRef → 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
- AnyRef → 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
- AnyRef → Any
-
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.
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
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
- final def conjunction: @@[Boolean, Conjunction]
- final def disjunction: @@[Boolean, Tags.Disjunction]
-
final
def
either[A, B](a: ⇒ A): ConditionalEither[A]
Returns the first argument in
\/-
if this istrue
, otherwise the second argument in-\/
. -
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](t: ⇒ A, f: ⇒ A): A
- returns
t
if true,f
otherwise
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- final def guard[M[_]]: GuardPrevent[M]
-
def
hashCode(): Int
- Definition Classes
- AnyRef → 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 istrue
,LazyNone
otherwise. -
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
final
def
option[A](a: ⇒ A): Option[A]
Returns the given argument in
Some
if this istrue
,None
otherwise. - final def prevent[M[_]]: GuardPrevent[M]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
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
isfalse
, 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 constructorM
. -
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(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
istrue
, 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 constructorM
. - 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