BooleanStructure

Value Members

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

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

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

   

   Definition Classes

   AnyRef → Any

4. def additive: Monoid[Boolean]

   

   Definition Classes

   AdditiveMonoid → AdditiveSemigroup

5. def and(a: Boolean, b: Boolean): Boolean

   

   Definition Classes

   BooleanIsBool → Heyting

6. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

7. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

8. def compare(x: Boolean, y: Boolean): Int

   

   Definition Classes

   BooleanOrder → Order

9. def complement(a: Boolean): Boolean

   

   Definition Classes

   BooleanIsBool → Heyting

10. def dual: Bool[Boolean]

    

    Definition Classes

    Bool

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

    

    Definition Classes

    AnyRef

12. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

13. def eqv(x: Boolean, y: Boolean): Boolean

    

    Returns true if x and y are equivalent, false otherwise.

    Returns true if x and y are equivalent, false otherwise.

    Definition Classes

    BooleanOrder → Order → PartialOrder → Eq

14. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

16. def gt(x: Boolean, y: Boolean): Boolean

    

    Definition Classes

    BooleanOrder → Order → PartialOrder

17. def gteqv(x: Boolean, y: Boolean): Boolean

    

    Definition Classes

    BooleanOrder → Order → PartialOrder

18. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

19. def imp(a: Boolean, b: Boolean): Boolean

    

    Definition Classes

    Bool → Heyting

20. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

21. def isOne(a: Boolean)(implicit ev: Eq[Boolean]): Boolean

    

    Definition Classes

    BooleanStructure → MultiplicativeMonoid → BoundedMeetSemilattice

22. def isZero(a: Boolean)(implicit ev: Eq[Boolean]): Boolean

    

    Tests if a is zero.

    Tests if a is zero.

    Definition Classes

    BooleanStructure → AdditiveMonoid → BoundedJoinSemilattice

23. def join(a: Boolean, b: Boolean): Boolean

    

    Definition Classes

    Heyting → JoinSemilattice

24. def lt(x: Boolean, y: Boolean): Boolean

    

    Definition Classes

    BooleanOrder → Order → PartialOrder

25. def lteqv(x: Boolean, y: Boolean): Boolean

    

    Definition Classes

    BooleanOrder → Order → PartialOrder

26. def max(x: Boolean, y: Boolean): Boolean

    

    Definition Classes

    BooleanOrder → Order

27. def meet(a: Boolean, b: Boolean): Boolean

    

    Definition Classes

    Heyting → MeetSemilattice

28. def min(x: Boolean, y: Boolean): Boolean

    

    Definition Classes

    BooleanOrder → Order

29. def multiplicative: CMonoid[Boolean]

    

    Definition Classes

    MultiplicativeCMonoid → MultiplicativeCSemigroup → MultiplicativeMonoid → MultiplicativeSemigroup

30. def nand(a: Boolean, b: Boolean): Boolean

    

    Definition Classes

    Bool

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

    

    Definition Classes

    AnyRef

32. def neqv(x: Boolean, y: Boolean): Boolean

    

    Returns false if x and y are equivalent, true otherwise.

    Returns false if x and y are equivalent, true otherwise.

    Definition Classes

    BooleanOrder → Eq

33. def nor(a: Boolean, b: Boolean): Boolean

    

    Definition Classes

    Bool

34. final def notify(): Unit

    

    Definition Classes

    AnyRef

35. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

36. def nxor(a: Boolean, b: Boolean): Boolean

    

    Definition Classes

    Bool

37. def on[B](f: (B) ⇒ Boolean): Order[B]

    

    Defines an order on B by mapping B to A using f and using As order to order B.

    Defines an order on B by mapping B to A using f and using As order to order B.

    Definition Classes

    Order → PartialOrder → Eq

38. def one: Boolean

    

    Definition Classes

    BooleanStructure → BooleanIsRig → MultiplicativeMonoid → BooleanIsBool → BoundedMeetSemilattice

39. def or(a: Boolean, b: Boolean): Boolean

    

    Definition Classes

    BooleanIsBool → Heyting

40. def partialCompare(x: Boolean, y: Boolean): Double

    

    Result of comparing x with y.

    Result of comparing x with y. Returns NaN if operands are not comparable. If operands are comparable, returns a Double whose sign is: - negative iff x < y - zero iff x === y - positive iff x > y

    Definition Classes

    Order → PartialOrder

41. def plus(a: Boolean, b: Boolean): Boolean

    

    Definition Classes

    BooleanIsRig → AdditiveSemigroup

42. def pmax(x: Boolean, y: Boolean): Option[Boolean]

    

    Returns Some(x) if x >= y, Some(y) if x < y, otherwise None.

    Returns Some(x) if x >= y, Some(y) if x < y, otherwise None.

    Definition Classes

    PartialOrder

43. def pmin(x: Boolean, y: Boolean): Option[Boolean]

    

    Returns Some(x) if x <= y, Some(y) if x > y, otherwise None.

    Returns Some(x) if x <= y, Some(y) if x > y, otherwise None.

    Definition Classes

    PartialOrder

44. def pow(a: Boolean, b: Int): Boolean

    

    This is similar to Semigroup#pow, except that a pow 0 is defined to be the multiplicative identity.

    This is similar to Semigroup#pow, except that a pow 0 is defined to be the multiplicative identity.

    Definition Classes

    BooleanIsRig → Rig → Semiring

45. def prod(as: TraversableOnce[Boolean]): Boolean

    

    Given a sequence of as, sum them using the monoid and return the total.

    Given a sequence of as, sum them using the monoid and return the total.

    Definition Classes

    MultiplicativeMonoid

46. def prodOption(as: TraversableOnce[Boolean]): Option[Boolean]

    

    Given a sequence of as, sum them using the semigroup and return the total.

    Given a sequence of as, sum them using the semigroup and return the total.

    If the sequence is empty, returns None. Otherwise, returns Some(total).

    Definition Classes

    MultiplicativeSemigroup

47. def prodn(a: Boolean, n: Int): Boolean

    

    Return a multiplied with itself n times.

    Return a multiplied with itself n times.

    Definition Classes

    MultiplicativeMonoid → MultiplicativeSemigroup

48. def prodnAboveOne(a: Boolean, n: Int): Boolean

    

    Attributes

    protected

    Definition Classes

    MultiplicativeSemigroup

49. def reverse: Order[Boolean]

    

    Defines an ordering on A where all arrows switch direction.

    Defines an ordering on A where all arrows switch direction.

    Definition Classes

    Order → PartialOrder

50. def sum(as: TraversableOnce[Boolean]): Boolean

    

    Given a sequence of as, sum them using the monoid and return the total.

    Given a sequence of as, sum them using the monoid and return the total.

    Definition Classes

    AdditiveMonoid

51. def sumOption(as: TraversableOnce[Boolean]): Option[Boolean]

    

    Given a sequence of as, sum them using the semigroup and return the total.

    Given a sequence of as, sum them using the semigroup and return the total.

    If the sequence is empty, returns None. Otherwise, returns Some(total).

    Definition Classes

    AdditiveSemigroup

52. def sumn(a: Boolean, n: Int): Boolean

    

    Return a added with itself n times.

    Return a added with itself n times.

    Definition Classes

    AdditiveMonoid → AdditiveSemigroup

53. def sumnAboveOne(a: Boolean, n: Int): Boolean

    

    Attributes

    protected

    Definition Classes

    AdditiveSemigroup

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

    

    Definition Classes

    AnyRef

55. def times(a: Boolean, b: Boolean): Boolean

    

    Definition Classes

    BooleanIsRig → MultiplicativeSemigroup

56. def toString(): String

    

    Definition Classes

    AnyRef → Any

57. def tryCompare(x: Boolean, y: Boolean): Option[Int]

    

    Result of comparing x with y.

    Result of comparing x with y. Returns None if operands are not comparable. If operands are comparable, returns Some[Int] where the Int sign is: - negative iff x < y - zero iff x == y - positive iff x > y

    Definition Classes

    PartialOrder

58. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

61. def xor(a: Boolean, b: Boolean): Boolean

    

    Definition Classes

    BooleanIsBool → Bool

62. def zero: Boolean

    

    Definition Classes

    BooleanStructure → BooleanIsRig → AdditiveMonoid → BooleanIsBool → BoundedJoinSemilattice