final class BooleanOps extends AnyRef
- Source
- BooleanOps.scala
- Alphabetic
- By Inheritance
- BooleanOps
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
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[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def conjunction: @@[Boolean, Conjunction]
- final def disjunction: @@[Boolean, Tags.Disjunction]
- final def either[A](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: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def fold[A](t: => A, f: => A): A
- returns
tif true,fotherwise
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def guard[M[_]]: GuardPrevent[M]
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def lazyOption[A](a: => A): LazyOption[A]
Returns the given argument in
LazySomeif this istrue,LazyNoneotherwise. - final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def option[A](a: => A): Option[A]
Returns the given argument in
Someif this istrue,Noneotherwise. - 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
condisfalse, otherwise, unit lifted into M. - final def unlessMU[MA](f: => MA)(implicit M: Unapply[Applicative, MA]): M[Unit]
A version of
unlessMthat infers the type constructorM. - final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- 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
condistrue, otherwise, unit lifted into M. - final def whenMU[MA](f: => MA)(implicit M: Unapply[Applicative, MA]): M[Unit]
A version of
whenMthat 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