BooleanOps

Value Members

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

2. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

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

   Definition Classes

   Any

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

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

6. final def ##(): Int

   Definition Classes

   AnyRef → Any

7. final def -->(q: ⇒ Boolean): Boolean

   Conditional.

   Conditional.

   p q  p --> q
   0 0  1
   0 1  1
   1 0  0
   1 1  1

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

9. final def /\(q: ⇒ Boolean): Boolean

   Conjunction.

   Conjunction. (AND)

   p q  p /\ q
   0 0  0
   0 1  0
   1 0  0
   1 1  1

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

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

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

13. final def ==(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

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

    Definition Classes

    Any

15. final def ?[X](t: ⇒ X): Conditional[X]

    Conditional operator that returns the first argument if this is true, the second argument otherwise.

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

17. final def \/(q: ⇒ Boolean): Boolean

    Disjunction.

    Disjunction. (OR)

    p q  p \/ q
    0 0  0
    0 1  1
    1 0  1
    1 1  1

18. final def asInstanceOf[T0]: T0

    Definition Classes

    Any

19. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

20. final def conjunction: @@[Boolean, Conjunction]

21. final def disjunction: @@[Boolean, Tags.Disjunction]

22. final def either[A](a: ⇒ A): ConditionalEither[A]

    Returns the first argument in \/- if this is true, otherwise the second argument in -\/.

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

    Definition Classes

    AnyRef

24. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

25. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

26. final def fold[A](t: ⇒ A, f: ⇒ A): A

    returns

    t if true, f otherwise

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

    Definition Classes

    AnyRef → Any

28. final def guard[M[_]]: GuardPrevent[M]

29. def hashCode(): Int

    Definition Classes

    AnyRef → Any

30. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

31. final def lazyOption[A](a: ⇒ A): LazyOption[A]

    Returns the given argument in LazySome if this is true, LazyNone otherwise.

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

    Definition Classes

    AnyRef

33. final def notify(): Unit

    Definition Classes

    AnyRef

34. final def notifyAll(): Unit

    Definition Classes

    AnyRef

35. final def option[A](a: ⇒ A): Option[A]

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

36. final def prevent[M[_]]: GuardPrevent[M]

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

    Definition Classes

    AnyRef

38. def toString(): String

    Definition Classes

    AnyRef → Any

39. final def unless(f: ⇒ Unit): Unit

    Executes the given side-effect if this boolean value is false.

40. final def unlessM[M[_], A](f: ⇒ M[A])(implicit arg0: Applicative[M]): M[Unit]

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

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

    A version of unlessM that infers the type constructor M.

42. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

45. final def when(f: ⇒ Unit): Unit

    Executes the given side-effect if this boolean value is true.

46. final def whenM[M[_], A](f: ⇒ M[A])(implicit arg0: Applicative[M]): M[Unit]

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

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

    A version of whenM that infers the type constructor M.

48. final def |/\|: @@[Boolean, Conjunction]

49. final def |\/|: @@[Boolean, Tags.Disjunction]

50. final def |∧|: @@[Boolean, Conjunction]

51. final def |∨|: @@[Boolean, Tags.Disjunction]

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

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

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

55. final def ∧(q: ⇒ Boolean): Boolean

    Conjunction.

    Conjunction. (AND)

    p q  p ￢ﾈﾧ q
    0 0  0
    0 1  0
    1 0  0
    1 1  1

56. final def ∨(q: ⇒ Boolean): Boolean

    Disjunction.

    Disjunction. (OR)

    p q  p ￢ﾈﾨ q
    0 0  0
    0 1  1
    1 0  1
    1 1  1