BooleanFunctions

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

5. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

6. 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

7. 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

8. 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

9. final def emptyOrPure[M[_], A](cond: Boolean)(a: ⇒ A)(implicit M: Applicative[M], M0: PlusEmpty[M]): M[A]

   

   Returns the value a lifted into the context M if cond is false, otherwise, the empty value for M.

10. final def emptyOrPureNT[M[_]](cond: Boolean)(implicit M: Applicative[M], M0: PlusEmpty[M]): ~>[Id.Id, M]

    

11. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

12. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

13. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

14. final def fold[A](cond: Boolean, t: ⇒ A, f: ⇒ A): A

    
    returns

    t if cond is true, f otherwise

15. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

16. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

17. 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

18. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

19. 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

20. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

21. 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

22. 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

23. 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

24. final def notify(): Unit

    

    Definition Classes

    AnyRef

25. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

26. final def option[A](cond: Boolean, a: ⇒ A): Option[A]

    

    Returns the given argument in Some if cond is true, None otherwise.

27. 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 context M if cond is true, otherwise, the empty value for M.

28. final def pointOrEmptyNT[M[_]](cond: Boolean)(implicit M: Applicative[M], M0: PlusEmpty[M]): ~>[Id.Id, M]

    

29. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

30. def test(p: Boolean): Int

    

    Returns 1 if p is true, or 0 otherwise.

31. def toString(): String

    

    Definition Classes

    AnyRef → Any

32. final def unless(cond: Boolean)(f: ⇒ Unit): Unit

    

    Executes the given side-effect if cond is false

33. final def unlessM[M[_], A](cond: Boolean)(f: ⇒ M[A])(implicit M: Applicative[M]): M[Unit]

    

    Returns the given argument if cond is false, otherwise, unit lifted into M.

34. final def unlessMU[MA](cond: Boolean)(f: ⇒ MA)(implicit M: Unapply[Applicative, MA]): M[Unit]

    

    A version of unlessM that infers the type constructor M.

35. final def valueOrZero[A](cond: Boolean)(value: ⇒ A)(implicit z: Monoid[A]): A

    

    Returns the given argument if cond is true, otherwise, the zero element for the type of the given argument.

36. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

37. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

38. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

39. final def when(cond: Boolean)(f: ⇒ Unit): Unit

    

    Executes the given side-effect if cond is true

40. final def whenM[M[_], A](cond: Boolean)(f: ⇒ M[A])(implicit M: Applicative[M]): M[Unit]

    

    Returns the given argument if cond is true, otherwise, unit lifted into M.

41. final def whenMU[MA](cond: Boolean)(f: ⇒ MA)(implicit M: Unapply[Applicative, MA]): M[Unit]

    

    A version of whenM that infers the type constructor M.

42. final def zeroOrValue[A](cond: Boolean)(value: ⇒ A)(implicit z: Monoid[A]): A

    

    Returns the given argument if cond is false, otherwise, the zero element for the type of the given argument.