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

    @native() @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

    Annotations

    @native()

26.  final def guard[M[_]]: GuardPrevent[M]
27.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

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

    Annotations

    @native()

32.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

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

    @native() @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