scalaz

BooleanW

trait BooleanW extends AnyRef

Attributes
sealed
Source
BooleanW.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. BooleanW
  2. AnyRef
  3. Any
Visibility
  1. Public
  2. All

Type Members

  1. trait Conditional [X] extends AnyRef

  2. trait ConditionalEither [A] extends AnyRef

  3. trait GuardPrevent [M[_]] extends AnyRef

Abstract Value Members

  1. val isTrue : Boolean

    Attributes
    abstract

Concrete Value Members

  1. def ! (t: ⇒ Unit): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef
  3. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  4. def !? [A] (a: ⇒ A)(implicit arg0: Zero[A]): A

  5. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any
  6. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  7. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  8. def ? [X] (t: ⇒ X): Conditional[X]

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

  9. def ?? [A] (a: ⇒ A)(implicit arg0: Zero[A]): A

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

  10. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  11. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  12. def either [A, B] (a: ⇒ A): ConditionalEither[A]

    Returns the first argument in Left if this is true, otherwise the second argument in Right.

  13. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  14. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  15. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  16. def fold [A] (a: ⇒ A, b: ⇒ A): A

    returns

    a if true, b otherwise

  17. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any
  18. def guard [M[_]] : GuardPrevent[M]

  19. def hashCode (): Int

    Definition Classes
    AnyRef → Any
  20. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  21. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  22. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  23. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  24. def option [A] (a: ⇒ A): Option[A]

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

  25. def prevent [M[_]] : GuardPrevent[M]

  26. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef
  27. def toString (): String

    Definition Classes
    AnyRef → Any
  28. def unless (f: ⇒ Unit): Unit

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

  29. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  30. def wait (arg0: Long, arg1: Int): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  31. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  32. def when (f: ⇒ Unit): Unit

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

  33. def |∧| : BooleanConjunction

  34. def (q: ⇒ BooleanW): Boolean

    Conditional.

    Conditional.

    p q  p → q
    0 0  1
    0 1  1
    1 0  0
    1 1  1
    

  35. def (q: ⇒ BooleanW): 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
    

  36. def (q: ⇒ BooleanW): Boolean

    Negational of Conditional.

    Negational of Conditional.

    p q  p ⇏ q
    0 0  0
    0 1  0
    1 0  1
    1 1  0
    

  37. def (q: ⇒ BooleanW): Boolean

    Inverse Conditional.

    Inverse Conditional.

    p q  p ⇐ q
    0 0  1
    0 1  0
    1 0  1
    1 1  1
    

  38. def (q: ⇒ BooleanW): Boolean

    Conjunction.

    Conjunction. (AND)

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

  39. def (q: ⇒ BooleanW): Boolean

    Disjunction.

    Disjunction. (OR)

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

  40. def (q: ⇒ BooleanW): Boolean

    Negation of Disjunction.

    Negation of Disjunction. (NAND)

    p q  p ⊼ q
    0 0  1
    0 1  0
    1 0  0
    1 1  0
    

  41. def (q: ⇒ BooleanW): Boolean

    Negation of Conjunction.

    Negation of Conjunction. (NOR)

    p q  p ⊽ q
    0 0  1
    0 1  1
    1 0  1
    1 1  0
    

Inherited from AnyRef

Inherited from Any