spire.std

BooleanStructure

class BooleanStructure extends BooleanIsBool with BooleanIsRig with BooleanOrder with Serializable

Annotations
@SerialVersionUID( 0L )
Linear Supertypes
BooleanOrder, Order[Boolean], PartialOrder[Boolean], Eq[Boolean], BooleanIsRig, CommutativeRig[Boolean], MultiplicativeCommutativeMonoid[Boolean], CommutativeSemiring[Boolean], MultiplicativeCommutativeSemigroup[Boolean], Rig[Boolean], MultiplicativeMonoid[Boolean], Semiring[Boolean], MultiplicativeSemigroup[Boolean], AdditiveCommutativeMonoid[Boolean], AdditiveCommutativeSemigroup[Boolean], AdditiveMonoid[Boolean], AdditiveSemigroup[Boolean], BooleanIsBool, Bool[Boolean], GenBool[Boolean], Heyting[Boolean], BoundedDistributiveLattice[Boolean], DistributiveLattice[Boolean], BoundedLattice[Boolean], BoundedJoinSemilattice[Boolean], BoundedMeetSemilattice[Boolean], Lattice[Boolean], MeetSemilattice[Boolean], JoinSemilattice[Boolean], Serializable, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. BooleanStructure
  2. BooleanOrder
  3. Order
  4. PartialOrder
  5. Eq
  6. BooleanIsRig
  7. CommutativeRig
  8. MultiplicativeCommutativeMonoid
  9. CommutativeSemiring
  10. MultiplicativeCommutativeSemigroup
  11. Rig
  12. MultiplicativeMonoid
  13. Semiring
  14. MultiplicativeSemigroup
  15. AdditiveCommutativeMonoid
  16. AdditiveCommutativeSemigroup
  17. AdditiveMonoid
  18. AdditiveSemigroup
  19. BooleanIsBool
  20. Bool
  21. GenBool
  22. Heyting
  23. BoundedDistributiveLattice
  24. DistributiveLattice
  25. BoundedLattice
  26. BoundedJoinSemilattice
  27. BoundedMeetSemilattice
  28. Lattice
  29. MeetSemilattice
  30. JoinSemilattice
  31. Serializable
  32. Serializable
  33. AnyRef
  34. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new BooleanStructure()

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. def additive: CommutativeMonoid[Boolean]

    Definition Classes
    AdditiveCommutativeMonoid → AdditiveCommutativeSemigroup → AdditiveMonoid → AdditiveSemigroup

  7. def and(that: Eq[Boolean]): Eq[Boolean]

    Definition Classes
    Eq

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

    Definition Classes
    BooleanIsBool → GenBool → Heyting

  9. def asBoolRing: BoolRing[Boolean]

    Definition Classes
    Bool → GenBool

  10. def asCommutativeRig: CommutativeRig[Boolean]

    Definition Classes
    BoundedDistributiveLattice

  11. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  12. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    BooleanOrder → Order

  14. def comparison(x: Boolean, y: Boolean): Comparison

    Definition Classes
    Order

  15. def complement(a: Boolean): Boolean

    Definition Classes
    BooleanIsBool → Heyting

  16. def dual: Bool[Boolean]

    Definition Classes
    Bool → BoundedDistributiveLattice → BoundedLattice → Lattice

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

    Definition Classes
    AnyRef

  18. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    BooleanOrder → Order → PartialOrder → Eq

  20. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

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

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    BooleanOrder → Order → PartialOrder

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

    Definition Classes
    BooleanOrder → Order → PartialOrder

  24. def hashCode(): Int

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    Bool → Heyting

  26. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

    Definition Classes
    BooleanStructure → MultiplicativeMonoid → BoundedMeetSemilattice

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

    Definition Classes
    BooleanStructure → AdditiveMonoid → BoundedJoinSemilattice

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

    Definition Classes
    GenBool → JoinSemilattice

  30. def joinPartialOrder(implicit ev: Eq[Boolean]): PartialOrder[Boolean]

    Definition Classes
    JoinSemilattice

  31. def joinSemilattice: BoundedSemilattice[Boolean]

    Definition Classes
    BoundedJoinSemilattice → JoinSemilattice

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

    Definition Classes
    BooleanOrder → Order → PartialOrder

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

    Definition Classes
    BooleanOrder → Order → PartialOrder

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

    Definition Classes
    BooleanOrder → Order

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

    Definition Classes
    GenBool → MeetSemilattice

  36. def meetPartialOrder(implicit ev: Eq[Boolean]): PartialOrder[Boolean]

    Definition Classes
    MeetSemilattice

  37. def meetSemilattice: BoundedSemilattice[Boolean]

    Definition Classes
    BoundedMeetSemilattice → MeetSemilattice

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

    Definition Classes
    BooleanOrder → Order

  39. def multiplicative: CommutativeMonoid[Boolean]

    Definition Classes
    MultiplicativeCommutativeMonoid → MultiplicativeCommutativeSemigroup → MultiplicativeMonoid → MultiplicativeSemigroup

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

    Definition Classes
    Heyting

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

    Definition Classes
    AnyRef

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

    Definition Classes
    BooleanOrder → Order → Eq

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

    Definition Classes
    Heyting

  44. final def notify(): Unit

    Definition Classes
    AnyRef

  45. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

    Definition Classes
    Heyting

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

    Definition Classes
    Order → PartialOrder → Eq

  48. def one: Boolean

    Definition Classes
    BooleanStructure → BooleanIsRig → MultiplicativeMonoid → BooleanIsBool → BoundedMeetSemilattice

  49. def or(that: Eq[Boolean]): Eq[Boolean]

    Definition Classes
    Eq

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

    Definition Classes
    BooleanIsBool → GenBool → Heyting

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

    Definition Classes
    Order → PartialOrder

  52. def partialComparison(x: Boolean, y: Boolean): Option[Comparison]

    Definition Classes
    PartialOrder

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

    Definition Classes
    BooleanIsRig → AdditiveSemigroup

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

    Definition Classes
    PartialOrder

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

    Definition Classes
    PartialOrder

  56. def positivePow(a: Boolean, n: Int): Boolean

    Attributes
    protected[this]
    Definition Classes
    MultiplicativeSemigroup

  57. def positiveSumN(a: Boolean, n: Int): Boolean

    Attributes
    protected[this]
    Definition Classes
    AdditiveSemigroup

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

    Definition Classes
    BooleanIsRig → MultiplicativeMonoid → MultiplicativeSemigroup

  59. def product(as: TraversableOnce[Boolean]): Boolean

    Definition Classes
    MultiplicativeMonoid

  60. def reverse: Order[Boolean]

    Definition Classes
    Order → PartialOrder

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

    Definition Classes
    AdditiveMonoid

  62. def sumN(a: Boolean, n: Int): Boolean

    Definition Classes
    AdditiveMonoid → AdditiveSemigroup

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

    Definition Classes
    AnyRef

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

    Definition Classes
    BooleanIsRig → MultiplicativeSemigroup

  65. def toOrdering: Ordering[Boolean]

    Definition Classes
    Order

  66. def toString(): String

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    PartialOrder

  68. def tryProduct(as: TraversableOnce[Boolean]): Option[Boolean]

    Definition Classes
    MultiplicativeMonoid → MultiplicativeSemigroup

  69. def trySum(as: TraversableOnce[Boolean]): Option[Boolean]

    Definition Classes
    AdditiveMonoid → AdditiveSemigroup

  70. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  73. def whenEqual(o: Order[Boolean]): Order[Boolean]

    Definition Classes
    Order

  74. def without(a: Boolean, b: Boolean): Boolean

    Definition Classes
    Bool → GenBool

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

    Definition Classes
    BooleanIsBool → Bool → GenBool → Heyting

  76. def zero: Boolean

    Definition Classes
    BooleanStructure → BooleanIsRig → AdditiveMonoid → BooleanIsBool → BoundedJoinSemilattice

Inherited from BooleanOrder

Inherited from Order[Boolean]

Inherited from PartialOrder[Boolean]

Inherited from Eq[Boolean]

Inherited from BooleanIsRig

Inherited from CommutativeRig[Boolean]

Inherited from MultiplicativeCommutativeMonoid[Boolean]

Inherited from CommutativeSemiring[Boolean]

Inherited from MultiplicativeCommutativeSemigroup[Boolean]

Inherited from Rig[Boolean]

Inherited from MultiplicativeMonoid[Boolean]

Inherited from Semiring[Boolean]

Inherited from MultiplicativeSemigroup[Boolean]

Inherited from AdditiveCommutativeMonoid[Boolean]

Inherited from AdditiveCommutativeSemigroup[Boolean]

Inherited from AdditiveMonoid[Boolean]

Inherited from AdditiveSemigroup[Boolean]

Inherited from BooleanIsBool

Inherited from Bool[Boolean]

Inherited from GenBool[Boolean]

Inherited from Heyting[Boolean]

Inherited from BoundedDistributiveLattice[Boolean]

Inherited from DistributiveLattice[Boolean]

Inherited from BoundedLattice[Boolean]

Inherited from BoundedJoinSemilattice[Boolean]

Inherited from BoundedMeetSemilattice[Boolean]

Inherited from Lattice[Boolean]

Inherited from MeetSemilattice[Boolean]

Inherited from JoinSemilattice[Boolean]

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped