trait BoolRng[A] extends CommutativeRng[A]

A Boolean rng is a rng whose multiplication is idempotent, that is a⋅a = a for all elements a. This property also implies a+a = 0 for all a, and a⋅b = b⋅a (commutativity of multiplication).

Every BoolRng is equivalent to algebra.lattice.GenBool. See algebra.lattice.GenBoolFromBoolRng for details.

Self Type
BoolRng[A]
Source
BoolRng.scala
Linear Supertypes
CommutativeRng[A], CommutativeSemiring[A], MultiplicativeCommutativeSemigroup[A], Rng[A], AdditiveCommutativeGroup[A], AdditiveGroup[A], Semiring[A], MultiplicativeSemigroup[A], AdditiveCommutativeMonoid[A], AdditiveCommutativeSemigroup[A], AdditiveMonoid[A], AdditiveSemigroup[A], Serializable, Serializable, Any
Known Subclasses
SetBoolRng, BoolRing
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BoolRng
  2. CommutativeRng
  3. CommutativeSemiring
  4. MultiplicativeCommutativeSemigroup
  5. Rng
  6. AdditiveCommutativeGroup
  7. AdditiveGroup
  8. Semiring
  9. MultiplicativeSemigroup
  10. AdditiveCommutativeMonoid
  11. AdditiveCommutativeSemigroup
  12. AdditiveMonoid
  13. AdditiveSemigroup
  14. Serializable
  15. Serializable
  16. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def getClass(): Class[_]
    Definition Classes
    Any
  2. abstract def plus(x: A, y: A): A
    Definition Classes
    AdditiveSemigroup
  3. abstract def times(x: A, y: A): A
    Definition Classes
    MultiplicativeSemigroup
  4. abstract def zero: A
    Definition Classes
    AdditiveMonoid

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    Any
  2. final def ##(): Int
    Definition Classes
    Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    Any
  4. def additive: CommutativeGroup[A]
    Definition Classes
    AdditiveCommutativeGroup → AdditiveCommutativeMonoid → AdditiveCommutativeSemigroup → AdditiveGroup → AdditiveMonoid → AdditiveSemigroup
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def equals(arg0: Any): Boolean
    Definition Classes
    Any
  7. def hashCode(): Int
    Definition Classes
    Any
  8. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  9. def isZero(a: A)(implicit ev: Eq[A]): Boolean

    Tests if a is zero.

    Tests if a is zero.

    Definition Classes
    AdditiveMonoid
  10. def minus(x: A, y: A): A
    Definition Classes
    AdditiveGroup
  11. def multiplicative: CommutativeSemigroup[A]
    Definition Classes
    MultiplicativeCommutativeSemigroup → MultiplicativeSemigroup
  12. final def negate(x: A): A
    Definition Classes
    BoolRng → AdditiveGroup
  13. def positivePow(a: A, n: Int): A
    Attributes
    protected[this]
    Definition Classes
    MultiplicativeSemigroup
  14. def positiveSumN(a: A, n: Int): A
    Attributes
    protected[this]
    Definition Classes
    AdditiveSemigroup
  15. def pow(a: A, n: Int): A
    Definition Classes
    MultiplicativeSemigroup
  16. def sum(as: TraversableOnce[A]): A

    Given a sequence of as, compute the sum.

    Given a sequence of as, compute the sum.

    Definition Classes
    AdditiveMonoid
  17. def sumN(a: A, n: Int): A
    Definition Classes
    AdditiveGroup → AdditiveMonoid → AdditiveSemigroup
  18. def toString(): String
    Definition Classes
    Any
  19. def tryProduct(as: TraversableOnce[A]): Option[A]

    Given a sequence of as, combine them and return the total.

    Given a sequence of as, combine them and return the total.

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

    Definition Classes
    MultiplicativeSemigroup
  20. def trySum(as: TraversableOnce[A]): Option[A]

    Given a sequence of as, combine them and return the total.

    Given a sequence of as, combine them and return the total.

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

    Definition Classes
    AdditiveMonoid → AdditiveSemigroup

Inherited from CommutativeRng[A]

Inherited from CommutativeSemiring[A]

Inherited from MultiplicativeCommutativeSemigroup[A]

Inherited from Rng[A]

Inherited from AdditiveCommutativeGroup[A]

Inherited from AdditiveGroup[A]

Inherited from Semiring[A]

Inherited from MultiplicativeSemigroup[A]

Inherited from AdditiveCommutativeMonoid[A]

Inherited from AdditiveCommutativeSemigroup[A]

Inherited from AdditiveMonoid[A]

Inherited from AdditiveSemigroup[A]

Inherited from Serializable

Inherited from Serializable

Inherited from Any

Ungrouped