Trait/Object

algebra.ring

BoolRing

Related Docs: object BoolRing | package ring

Permalink

trait BoolRing[A] extends BoolRng[A] with CommutativeRing[A]

A Boolean ring is a ring 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 Boolean ring is equivalent to a Boolean algebra. See algebra.lattice.BoolFromBoolRing for details.

Linear Supertypes
CommutativeRing[A], CommutativeRig[A], MultiplicativeCommutativeMonoid[A], MultiplicativeCommutativeSemigroup[A], Ring[A], Rig[A], MultiplicativeMonoid[A], BoolRng[A], Rng[A], AdditiveCommutativeGroup[A], AdditiveGroup[A], Semiring[A], MultiplicativeSemigroup[A], AdditiveCommutativeMonoid[A], AdditiveCommutativeSemigroup[A], AdditiveMonoid[A], AdditiveSemigroup[A], Serializable, Serializable, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. BoolRing
  2. CommutativeRing
  3. CommutativeRig
  4. MultiplicativeCommutativeMonoid
  5. MultiplicativeCommutativeSemigroup
  6. Ring
  7. Rig
  8. MultiplicativeMonoid
  9. BoolRng
  10. Rng
  11. AdditiveCommutativeGroup
  12. AdditiveGroup
  13. Semiring
  14. MultiplicativeSemigroup
  15. AdditiveCommutativeMonoid
  16. AdditiveCommutativeSemigroup
  17. AdditiveMonoid
  18. AdditiveSemigroup
  19. Serializable
  20. Serializable
  21. 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 one: A

    Permalink
    Definition Classes
    MultiplicativeMonoid

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

    Permalink
    Definition Classes
    AdditiveSemigroup

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

    Permalink
    Definition Classes
    MultiplicativeSemigroup

  5. 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 fromInt(n: Int): A

    Permalink

    Convert the given integer to an instance of A.

    Convert the given integer to an instance of A.

    Defined to be equivalent to sumN(one, n).

    That is, n repeated summations of this ring's one, or -n summations of -one if n is negative.

    Most type class instances should consider overriding this method for performance reasons.

    Definition Classes
    Ring

  8. def hashCode(): Int

    Permalink
    Definition Classes
    Any

  9. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink

    Tests if a is one.

    Tests if a is one.

    Definition Classes
    MultiplicativeMonoid

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

    Permalink

    Tests if a is zero.

    Tests if a is zero.

    Definition Classes
    AdditiveMonoid

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

    Permalink
    Definition Classes
    AdditiveGroup

  13. def multiplicative: CommutativeMonoid[A]

    Permalink
    Definition Classes
    MultiplicativeCommutativeMonoid → MultiplicativeCommutativeSemigroup → MultiplicativeMonoid → MultiplicativeSemigroup

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

    Permalink
    Definition Classes
    BoolRng → AdditiveGroup

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MultiplicativeSemigroup

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    AdditiveSemigroup

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

    Permalink
    Definition Classes
    MultiplicativeMonoid → MultiplicativeSemigroup

  18. def product(as: TraversableOnce[A]): A

    Permalink

    Given a sequence of as, compute the product.

    Given a sequence of as, compute the product.

    Definition Classes
    MultiplicativeMonoid

  19. 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

  20. def sumN(a: A, n: Int): A

    Permalink
    Definition Classes
    AdditiveGroup → AdditiveMonoid → AdditiveSemigroup

  21. def toString(): String

    Permalink
    Definition Classes
    Any

  22. 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

  23. 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 CommutativeRing[A]

Inherited from CommutativeRig[A]

Inherited from MultiplicativeCommutativeMonoid[A]

Inherited from MultiplicativeCommutativeSemigroup[A]

Inherited from Ring[A]

Inherited from Rig[A]

Inherited from MultiplicativeMonoid[A]

Inherited from BoolRng[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