Packages

c

spire.std

BooleanStructure

class BooleanStructure extends BooleanIsBool with BooleanIsRig with BooleanOrder with Serializable

Annotations
@SerialVersionUID()
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
Visibility
  1. Public
  2. All

Instance Constructors

  1. new 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: CommutativeMonoid[Boolean]
    Definition Classes
    AdditiveCommutativeMonoid → AdditiveCommutativeSemigroup → AdditiveMonoid → AdditiveSemigroup
  5. def and(a: Boolean, b: Boolean): Boolean
    Definition Classes
    BooleanIsBool → GenBool → Heyting
  6. def asBoolRing: BoolRing[Boolean]
    Definition Classes
    Bool → GenBool
  7. def asCommutativeRig: CommutativeRig[Boolean]
    Definition Classes
    BoundedDistributiveLattice
  8. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  9. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  10. def compare(x: Boolean, y: Boolean): Int
    Definition Classes
    BooleanOrder → Order
  11. def comparison(x: Boolean, y: Boolean): Comparison
    Definition Classes
    Order
  12. def complement(a: Boolean): Boolean
    Definition Classes
    BooleanIsBool → Heyting
  13. def dual: Bool[Boolean]
    Definition Classes
    Bool → BoundedDistributiveLattice → BoundedLattice → Lattice
  14. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  16. def eqv(x: Boolean, y: Boolean): Boolean
    Definition Classes
    BooleanOrder → Order → PartialOrder → Eq
  17. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  18. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  19. def gt(x: Boolean, y: Boolean): Boolean
    Definition Classes
    BooleanOrder → Order → PartialOrder
  20. def gteqv(x: Boolean, y: Boolean): Boolean
    Definition Classes
    BooleanOrder → Order → PartialOrder
  21. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  22. def imp(a: Boolean, b: Boolean): Boolean
    Definition Classes
    Bool → Heyting
  23. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  24. def isOne(a: Boolean)(implicit ev: Eq[Boolean]): Boolean
    Definition Classes
    BooleanStructure → MultiplicativeMonoid → BoundedMeetSemilattice
  25. def isZero(a: Boolean)(implicit ev: Eq[Boolean]): Boolean
    Definition Classes
    BooleanStructure → AdditiveMonoid → BoundedJoinSemilattice
  26. def join(a: Boolean, b: Boolean): Boolean
    Definition Classes
    GenBool → JoinSemilattice
  27. def joinPartialOrder(implicit ev: Eq[Boolean]): PartialOrder[Boolean]
    Definition Classes
    JoinSemilattice
  28. def joinSemilattice: BoundedSemilattice[Boolean]
    Definition Classes
    BoundedJoinSemilattice → JoinSemilattice
  29. def lt(x: Boolean, y: Boolean): Boolean
    Definition Classes
    BooleanOrder → Order → PartialOrder
  30. def lteqv(x: Boolean, y: Boolean): Boolean
    Definition Classes
    BooleanOrder → Order → PartialOrder
  31. def max(x: Boolean, y: Boolean): Boolean
    Definition Classes
    BooleanOrder → Order
  32. def meet(a: Boolean, b: Boolean): Boolean
    Definition Classes
    GenBool → MeetSemilattice
  33. def meetPartialOrder(implicit ev: Eq[Boolean]): PartialOrder[Boolean]
    Definition Classes
    MeetSemilattice
  34. def meetSemilattice: BoundedSemilattice[Boolean]
    Definition Classes
    BoundedMeetSemilattice → MeetSemilattice
  35. def min(x: Boolean, y: Boolean): Boolean
    Definition Classes
    BooleanOrder → Order
  36. def multiplicative: CommutativeMonoid[Boolean]
    Definition Classes
    MultiplicativeCommutativeMonoid → MultiplicativeCommutativeSemigroup → MultiplicativeMonoid → MultiplicativeSemigroup
  37. def nand(a: Boolean, b: Boolean): Boolean
    Definition Classes
    Heyting
  38. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  39. def neqv(x: Boolean, y: Boolean): Boolean
    Definition Classes
    BooleanOrder → Order → Eq
  40. def nor(a: Boolean, b: Boolean): Boolean
    Definition Classes
    Heyting
  41. final def notify(): Unit
    Definition Classes
    AnyRef
  42. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  43. def nxor(a: Boolean, b: Boolean): Boolean
    Definition Classes
    Heyting
  44. def one: Boolean
    Definition Classes
    BooleanStructure → BooleanIsRig → MultiplicativeMonoid → BooleanIsBool → BoundedMeetSemilattice
  45. def or(a: Boolean, b: Boolean): Boolean
    Definition Classes
    BooleanIsBool → GenBool → Heyting
  46. def partialCompare(x: Boolean, y: Boolean): Double
    Definition Classes
    Order → PartialOrder
  47. def partialComparison(x: Boolean, y: Boolean): Option[Comparison]
    Definition Classes
    PartialOrder
  48. def plus(a: Boolean, b: Boolean): Boolean
    Definition Classes
    BooleanIsRig → AdditiveSemigroup
  49. def pmax(x: Boolean, y: Boolean): Option[Boolean]
    Definition Classes
    PartialOrder
  50. def pmin(x: Boolean, y: Boolean): Option[Boolean]
    Definition Classes
    PartialOrder
  51. def positivePow(a: Boolean, n: Int): Boolean
    Attributes
    protected[this]
    Definition Classes
    MultiplicativeSemigroup
  52. def positiveSumN(a: Boolean, n: Int): Boolean
    Attributes
    protected[this]
    Definition Classes
    AdditiveSemigroup
  53. def pow(a: Boolean, b: Int): Boolean
    Definition Classes
    BooleanIsRig → MultiplicativeMonoid → MultiplicativeSemigroup
  54. def product(as: TraversableOnce[Boolean]): Boolean
    Definition Classes
    MultiplicativeMonoid
  55. def sum(as: TraversableOnce[Boolean]): Boolean
    Definition Classes
    AdditiveMonoid
  56. def sumN(a: Boolean, n: Int): Boolean
    Definition Classes
    AdditiveMonoid → AdditiveSemigroup
  57. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  58. def times(a: Boolean, b: Boolean): Boolean
    Definition Classes
    BooleanIsRig → MultiplicativeSemigroup
  59. def toOrdering: Ordering[Boolean]
    Definition Classes
    Order
  60. def toString(): String
    Definition Classes
    AnyRef → Any
  61. def tryCompare(x: Boolean, y: Boolean): Option[Int]
    Definition Classes
    PartialOrder
  62. def tryProduct(as: TraversableOnce[Boolean]): Option[Boolean]
    Definition Classes
    MultiplicativeMonoid → MultiplicativeSemigroup
  63. def trySum(as: TraversableOnce[Boolean]): Option[Boolean]
    Definition Classes
    AdditiveMonoid → AdditiveSemigroup
  64. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  65. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  66. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  67. def without(a: Boolean, b: Boolean): Boolean
    Definition Classes
    Bool → GenBool
  68. def xor(a: Boolean, b: Boolean): Boolean
    Definition Classes
    BooleanIsBool → Bool → GenBool → Heyting
  69. 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