Packages

c

spire.std

BooleanStructure

class BooleanStructure extends BooleanIsBool with BooleanIsRig with BooleanOrder with Serializable

Annotations
@SerialVersionUID()
Linear Supertypes
BooleanOrder, Serializable, Serializable, Order[Boolean], PartialOrder[Boolean], Eq[Boolean], BooleanIsRig, CRig[Boolean], MultiplicativeCMonoid[Boolean], MultiplicativeCSemigroup[Boolean], Rig[Boolean], MultiplicativeMonoid[Boolean], Semiring[Boolean], MultiplicativeSemigroup[Boolean], AdditiveMonoid[Boolean], AdditiveSemigroup[Boolean], BooleanIsBool, Bool[Boolean], Heyting[Boolean], BoundedLattice[Boolean], BoundedJoinSemilattice[Boolean], BoundedMeetSemilattice[Boolean], Lattice[Boolean], MeetSemilattice[Boolean], JoinSemilattice[Boolean], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BooleanStructure
  2. BooleanOrder
  3. Serializable
  4. Serializable
  5. Order
  6. PartialOrder
  7. Eq
  8. BooleanIsRig
  9. CRig
  10. MultiplicativeCMonoid
  11. MultiplicativeCSemigroup
  12. Rig
  13. MultiplicativeMonoid
  14. Semiring
  15. MultiplicativeSemigroup
  16. AdditiveMonoid
  17. AdditiveSemigroup
  18. BooleanIsBool
  19. Bool
  20. Heyting
  21. BoundedLattice
  22. BoundedJoinSemilattice
  23. BoundedMeetSemilattice
  24. Lattice
  25. MeetSemilattice
  26. JoinSemilattice
  27. AnyRef
  28. 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: 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

Inherited from BooleanOrder

Inherited from Serializable

Inherited from Serializable

Inherited from Order[Boolean]

Inherited from PartialOrder[Boolean]

Inherited from Eq[Boolean]

Inherited from BooleanIsRig

Inherited from CRig[Boolean]

Inherited from MultiplicativeCMonoid[Boolean]

Inherited from MultiplicativeCSemigroup[Boolean]

Inherited from Rig[Boolean]

Inherited from MultiplicativeMonoid[Boolean]

Inherited from Semiring[Boolean]

Inherited from MultiplicativeSemigroup[Boolean]

Inherited from AdditiveMonoid[Boolean]

Inherited from AdditiveSemigroup[Boolean]

Inherited from BooleanIsBool

Inherited from Bool[Boolean]

Inherited from Heyting[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 AnyRef

Inherited from Any

Ungrouped