final class BooleanOps extends AnyVal
- Source
- BooleanOps.scala
- Alphabetic
- By Inheritance
- BooleanOps
- AnyVal
- Any
- Hide All
- Show All
- Public
- All
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 istrue
,LazyNone
otherwise. -
final
def
option[A](a: ⇒ A): Option[A]
Returns the given argument in
Some
if this istrue
,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
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
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