Trait/Object

algebra.ring

BoolRng

Related Docs: object BoolRng | package ring

Permalink

trait BoolRng[A] extends Rng[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]
Linear Supertypes
Rng[A], AdditiveCommutativeGroup[A], AdditiveGroup[A], Semiring[A], MultiplicativeSemigroup[A], AdditiveCommutativeMonoid[A], AdditiveCommutativeSemigroup[A], AdditiveMonoid[A], AdditiveSemigroup[A], Serializable, Serializable, Any
Known Subclasses
BoolRing
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. BoolRng
  2. Rng
  3. AdditiveCommutativeGroup
  4. AdditiveGroup
  5. Semiring
  6. MultiplicativeSemigroup
  7. AdditiveCommutativeMonoid
  8. AdditiveCommutativeSemigroup
  9. AdditiveMonoid
  10. AdditiveSemigroup
  11. Serializable
  12. Serializable
  13. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def getClass(): Class[_]

    Permalink
    Definition Classes
    Any

  2. abstract def plus(x: A, y: A): A

    Permalink
    Definition Classes
    AdditiveSemigroup

  3. abstract def times(x: A, y: A): A

    Permalink
    Definition Classes
    MultiplicativeSemigroup

  4. abstract def zero: A

    Permalink
    Definition Classes
    AdditiveMonoid

Concrete Value Members

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

    Permalink
    Definition Classes
    Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    Any

  4. def additive: CommutativeGroup[A]

    Permalink
    Definition Classes
    AdditiveCommutativeGroup → AdditiveCommutativeMonoid → AdditiveCommutativeSemigroup → AdditiveGroup → AdditiveMonoid → AdditiveSemigroup

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  6. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any

  7. def hashCode(): Int

    Permalink
    Definition Classes
    Any

  8. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink

    Tests if a is zero.

    Tests if a is zero.

    Definition Classes
    AdditiveMonoid

  10. def minus(x: A, y: A): A

    Permalink
    Definition Classes
    AdditiveGroup

  11. def multiplicative: Semigroup[A]

    Permalink
    Definition Classes
    MultiplicativeSemigroup

  12. final def negate(x: A): A

    Permalink
    Definition Classes
    BoolRng → AdditiveGroup

  13. def positivePow(a: A, n: Int): A

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MultiplicativeSemigroup

  14. def positiveSumN(a: A, n: Int): A

    Permalink
    Attributes
    protected[this]
    Definition Classes
    AdditiveSemigroup

  15. def pow(a: A, n: Int): A

    Permalink
    Definition Classes
    MultiplicativeSemigroup

  16. def sum(as: TraversableOnce[A]): A

    Permalink

    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

    Permalink
    Definition Classes
    AdditiveGroup → AdditiveMonoid → AdditiveSemigroup

  18. def toString(): String

    Permalink
    Definition Classes
    Any

  19. def tryProduct(as: TraversableOnce[A]): Option[A]

    Permalink

    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]

    Permalink

    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
    AdditiveSemigroup

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