final class BooleanOps extends AnyVal
- Source
- BooleanOps.scala
- Alphabetic
- By Inheritance
- BooleanOps
- AnyVal
- Any
- Hide All
- Show All
- Public
- Protected
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