trait BooleanFunctions extends AnyRef
- Alphabetic
- By Inheritance
- BooleanFunctions
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- 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 conditional(p: Boolean, q: => Boolean): Boolean
Conditional.
Conditional.
p q p --> q 0 0 1 0 1 1 1 0 0 1 1 1
- 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
- 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
- final def emptyOrPoint[M[_], A](cond: Boolean)(a: => A)(implicit M: Applicative[M], M0: PlusEmpty[M]): M[A]
Returns the value
a
lifted into the contextM
ifcond
isfalse
, otherwise, the empty value forM
. - final def emptyOrPointNT[M[_]](cond: Boolean)(implicit M: Applicative[M], M0: PlusEmpty[M]): ~>[Id.Id, M]
emptyOrPoint curried into a natural transformation.
- 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](cond: Boolean, t: => A, f: => A): A
- returns
t
ifcond
istrue
,f
otherwise
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- 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
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def nand(p: Boolean, 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 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
- 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
- final def nor(p: Boolean, 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 notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def option[A](cond: Boolean, a: => A): Option[A]
Returns the given argument in
Some
ifcond
istrue
,None
otherwise. - 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 contextM
ifcond
istrue
, otherwise, the empty value forM
. - final def pointOrEmptyNT[M[_]](cond: Boolean)(implicit M: Applicative[M], M0: PlusEmpty[M]): ~>[Id.Id, M]
pointOrEmpty curried into a natural transformation.
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def test(p: Boolean): Int
Returns
1
ifp
is true, or0
otherwise. - def toString(): String
- Definition Classes
- AnyRef → Any
- final def unless(cond: Boolean)(f: => Unit): Unit
Executes the given side-effect if
cond
isfalse
- final def unlessM[M[_], A](cond: Boolean)(f: => M[A])(implicit M: Applicative[M]): M[Unit]
Returns the given argument if
cond
isfalse
, otherwise, unit lifted into M. - final def unlessMU[MA](cond: Boolean)(f: => MA)(implicit M: Unapply[Applicative, MA]): M[Unit]
A version of
unlessM
that infers the type constructorM
. - final def valueOrZero[A](cond: Boolean)(value: => A)(implicit z: Monoid[A]): A
Returns the given argument if
cond
istrue
, otherwise, the zero element for the type of the given argument. - 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(cond: Boolean)(f: => Unit): Unit
Executes the given side-effect if
cond
istrue
- final def whenM[M[_], A](cond: Boolean)(f: => M[A])(implicit M: Applicative[M]): M[Unit]
Returns the given argument if
cond
istrue
, otherwise, unit lifted into M. - final def whenMU[MA](cond: Boolean)(f: => MA)(implicit M: Unapply[Applicative, MA]): M[Unit]
A version of
whenM
that infers the type constructorM
. - final def zeroOrValue[A](cond: Boolean)(value: => A)(implicit z: Monoid[A]): A
Returns the given argument if
cond
isfalse
, otherwise, the zero element for the type of the given argument.