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

   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

   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

    Any

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

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

    

    Disjunction.

    Disjunction. (OR)

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

15. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

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

    

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

    

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

    
    returns

    t if true, f otherwise

19. def getClass(): Class[_ <: AnyVal]

    

    Definition Classes

    AnyVal → Any

20. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

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

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

    

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

23. def toString(): String

    

    Definition Classes

    Any

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

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

    

    A version of unlessM that infers the type constructor M.

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

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

    

    A version of whenM that infers the type constructor M.

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

    

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

    

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

    

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

    

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

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

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

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

    

    Conjunction.

    Conjunction. (AND)

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

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

    

    Disjunction.

    Disjunction. (OR)

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