scalaz.std

BooleanFunctions

trait BooleanFunctions extends AnyRef

Source
AnyVal.scala
Linear Supertypes
AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. BooleanFunctions
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Value Members

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

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

    Definition Classes
    Any
  3. final def ##(): Int

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

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

    Definition Classes
    Any
  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  7. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. 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
  9. 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
  10. 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
  11. 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.

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

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

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

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

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  16. final def fold[A](cond: Boolean, t: ⇒ A, f: ⇒ A): A

    returns

    t if cond is true, f otherwise

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

    Definition Classes
    AnyRef → Any
  18. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  19. 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
  20. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  21. final def nand(p: Boolean, q: ⇒ Boolean): Boolean

    Negation of Disjunction.

    Negation of Disjunction. (NAND)

    p q  p !|| q
    0 0  1
    0 1  0
    1 0  0
    1 1  0
  22. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  23. 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
  24. 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
  25. final def nor(p: Boolean, q: ⇒ Boolean): Boolean

    Negation of Conjunction.

    Negation of Conjunction. (NOR)

    p q  p !&& q
    0 0  1
    0 1  1
    1 0  1
    1 1  0
  26. final def notify(): Unit

    Definition Classes
    AnyRef
  27. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  28. final def option[A](cond: Boolean, a: ⇒ A): Option[A]

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

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

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

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

    Definition Classes
    AnyRef
  32. def test(p: Boolean): Int

    Returns 1 if p is true, or 0 otherwise.

  33. def toString(): String

    Definition Classes
    AnyRef → Any
  34. final def unless(cond: Boolean)(f: ⇒ Unit): Unit

    Executes the given side-effect if cond is false

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

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

  37. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def when(cond: Boolean)(f: ⇒ Unit): Unit

    Executes the given side-effect if cond is true

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

  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.

Inherited from AnyRef

Inherited from Any

Ungrouped