Semiring

algebra.ring.Semiring

See theSemiring companion object

Semiring consists of:

Alternately, a Semiring can be thought of as a ring without a multiplicative identity or an additive inverse.

A Semiring with an additive inverse (-) is a Rng. A Semiring with a multiplicative identity (1) is a Rig. A Semiring with both of those is a Ring.

Attributes

Companion:: object
Source:: Semiring.scala
Graph
Supertypes: trait MultiplicativeSemigroup[A]
trait AdditiveCommutativeMonoid[A]
trait AdditiveCommutativeSemigroup[A]
trait AdditiveMonoid[A]
trait AdditiveSemigroup[A]
trait Serializable
class Any
Known subtypes: class MapSemiring[K, V]
class SetSemiring[A]
trait CommutativeSemiring[A]
trait CommutativeRig[A]
class BooleanAlgebra
trait CommutativeRing[A]
class ByteAlgebra
class IntAlgebra
class LongAlgebra
class ShortAlgebra
class UnitAlgebra
trait BoolRing[A]
class BoolRingFromBool[A]
trait GCDRing[A]
trait EuclideanRing[A]
class BigIntAlgebra
class BigIntTruncatedDivison
trait Field[A]
class BigDecimalAlgebra
class DoubleAlgebra
class FloatAlgebra
trait forCommutativeRing[A]
trait CommutativeSemifield[A]
trait CommutativeRng[A]
trait BoolRng[A]
class SetBoolRng[A]
class BoolRngFromGenBool[A]
trait Rig[A]
trait Ring[A]
trait DivisionRing[A]
trait Semifield[A]
trait Rng[A]

Concise view

Definition Classes: AdditiveCommutativeMonoid -> AdditiveCommutativeSemigroup -> AdditiveMonoid -> AdditiveSemigroup
Inherited from:: AdditiveCommutativeMonoid
Source:: Additive.scala

Tests if a is zero.

Given a sequence of as, compute the sum.

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

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

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

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

Generated with