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: Any): Boolean

   

   Definition Classes

   AnyRef → Any

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

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

5. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

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

   

   Conditional.

   Conditional.

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

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

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

   

   Conjunction.

   Conjunction. (AND)

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

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

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

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

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

    

    Definition Classes

    AnyRef → Any

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

    

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

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

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

    

    Disjunction.

    Disjunction. (OR)

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

16. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

17. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

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

    

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

    

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

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

    

    Definition Classes

    AnyRef

22. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

23. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    
    returns

    t if true, f otherwise

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

    

    Definition Classes

    AnyRef → Any

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

    

27. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

28. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

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

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

    

    Definition Classes

    AnyRef

31. final def notify(): Unit

    

    Definition Classes

    AnyRef

32. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

    

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

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

    

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

    

    Definition Classes

    AnyRef

36. def toString(): String

    

    Definition Classes

    AnyRef → Any

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

    

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

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

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

    

    A version of unlessM that infers the type constructor M.

40. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

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

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

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

    

    A version of whenM that infers the type constructor M.

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

    

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

    

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

    

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

    

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

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

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

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

    

    Conjunction.

    Conjunction. (AND)

    p q  p ∧ q
    0 0  0
    0 1  0
    1 0  0
    1 1  1

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

    

    Disjunction.

    Disjunction. (OR)

    p q  p ∨ q
    0 0  0
    0 1  1
    1 0  1
    1 1  1