Class

spire.std

BooleanStructure

Related Doc: package std

Permalink

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

    Permalink

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    AnyRef → Any

  4. def additive: CommutativeMonoid[Boolean]

    Permalink
    Definition Classes
    AdditiveCommutativeMonoid → AdditiveCommutativeSemigroup → AdditiveMonoid → AdditiveSemigroup

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

    Permalink
    Definition Classes
    BooleanIsBool → GenBool → Heyting

  6. def asBoolRing: BoolRing[Boolean]

    Permalink
    Definition Classes
    Bool → GenBool

  7. def asCommutativeRig: CommutativeRig[Boolean]

    Permalink
    Definition Classes
    BoundedDistributiveLattice

  8. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  9. def clone(): AnyRef

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

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

    Permalink
    Definition Classes
    BooleanOrder → Order

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

    Permalink
    Definition Classes
    Order

  12. def complement(a: Boolean): Boolean

    Permalink
    Definition Classes
    BooleanIsBool → Heyting

  13. def dual: Bool[Boolean]

    Permalink
    Definition Classes
    Bool → BoundedDistributiveLattice → BoundedLattice → Lattice

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

    Permalink
    Definition Classes
    AnyRef

  15. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    BooleanOrder → Order → PartialOrder → Eq

  17. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    BooleanOrder → Order → PartialOrder

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

    Permalink
    Definition Classes
    BooleanOrder → Order → PartialOrder

  21. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    Bool → Heyting

  23. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    BooleanStructure → MultiplicativeMonoid → BoundedMeetSemilattice

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

    Permalink
    Definition Classes
    BooleanStructure → AdditiveMonoid → BoundedJoinSemilattice

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

    Permalink
    Definition Classes
    GenBool → JoinSemilattice

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

    Permalink
    Definition Classes
    JoinSemilattice

  28. def joinSemilattice: BoundedSemilattice[Boolean]

    Permalink
    Definition Classes
    BoundedJoinSemilattice → JoinSemilattice

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

    Permalink
    Definition Classes
    BooleanOrder → Order → PartialOrder

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

    Permalink
    Definition Classes
    BooleanOrder → Order → PartialOrder

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

    Permalink
    Definition Classes
    BooleanOrder → Order

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

    Permalink
    Definition Classes
    GenBool → MeetSemilattice

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

    Permalink
    Definition Classes
    MeetSemilattice

  34. def meetSemilattice: BoundedSemilattice[Boolean]

    Permalink
    Definition Classes
    BoundedMeetSemilattice → MeetSemilattice

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

    Permalink
    Definition Classes
    BooleanOrder → Order

  36. def multiplicative: CommutativeMonoid[Boolean]

    Permalink
    Definition Classes
    MultiplicativeCommutativeMonoid → MultiplicativeCommutativeSemigroup → MultiplicativeMonoid → MultiplicativeSemigroup

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

    Permalink
    Definition Classes
    Heyting

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

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    BooleanOrder → Order → Eq

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

    Permalink
    Definition Classes
    Heyting

  41. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  42. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    Heyting

  44. def one: Boolean

    Permalink
    Definition Classes
    BooleanStructure → BooleanIsRig → MultiplicativeMonoid → BooleanIsBool → BoundedMeetSemilattice

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

    Permalink
    Definition Classes
    BooleanIsBool → GenBool → Heyting

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

    Permalink
    Definition Classes
    Order → PartialOrder

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

    Permalink
    Definition Classes
    PartialOrder

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

    Permalink
    Definition Classes
    BooleanIsRig → AdditiveSemigroup

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

    Permalink
    Definition Classes
    PartialOrder

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

    Permalink
    Definition Classes
    PartialOrder

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MultiplicativeSemigroup

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    AdditiveSemigroup

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

    Permalink
    Definition Classes
    BooleanIsRig → MultiplicativeMonoid → MultiplicativeSemigroup

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

    Permalink
    Definition Classes
    MultiplicativeMonoid

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

    Permalink
    Definition Classes
    AdditiveMonoid

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

    Permalink
    Definition Classes
    AdditiveMonoid → AdditiveSemigroup

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

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    BooleanIsRig → MultiplicativeSemigroup

  59. def toOrdering: Ordering[Boolean]

    Permalink
    Definition Classes
    Order

  60. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    PartialOrder

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

    Permalink
    Definition Classes
    MultiplicativeMonoid → MultiplicativeSemigroup

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

    Permalink
    Definition Classes
    AdditiveMonoid → AdditiveSemigroup

  64. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    Bool → GenBool

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

    Permalink
    Definition Classes
    BooleanIsBool → Bool → GenBool → Heyting

  69. def zero: Boolean

    Permalink
    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