core/algebra.ring/AdditiveCommutativeMonoid

AdditiveCommutativeMonoid

object AdditiveCommutativeMonoid extends AdditiveMonoidFunctions[[A] =>> AdditiveCommutativeMonoid[A]]
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

@inline
final def additive[A](ev: AdditiveCommutativeMonoid[A]): CommutativeMonoid[A]

This method converts an additive instance into a generic instance.

This method converts an additive instance into a generic instance.

Given an implicit AdditiveCommutativeMonoid[A], this method returns a CommutativeMonoid[A].

Inherited methods

def isZero[@specialized(Int, Long, Float, Double) A](a: A)(ev0: AdditiveCommutativeMonoid[A], ev1: Eq[A]): Boolean
def plus[@specialized(Int, Long, Float, Double) A](x: A, y: A)(ev: AdditiveCommutativeMonoid[A]): A
def sum[@specialized(Int, Long, Float, Double) A](as: IterableOnce[A])(ev: AdditiveCommutativeMonoid[A]): A
def sumN[@specialized(Int, Long, Float, Double) A](a: A, n: Int)(ev: AdditiveCommutativeMonoid[A]): A
def trySum[A](as: IterableOnce[A])(ev: AdditiveCommutativeMonoid[A]): Option[A]
def zero[@specialized(Int, Long, Float, Double) A](ev: AdditiveCommutativeMonoid[A]): A