CommutativeMonoid

trait CommutativeMonoid[a: Type] with Monoid[a]Source

A trait for types that form a commutative monoid.

Instances

instance CommutativeMonoid[Unit]Source

instance CommutativeMonoid[Int8]Source

instance CommutativeMonoid[Int16]Source

instance CommutativeMonoid[Int32]Source

instance CommutativeMonoid[Int64]Source

instance CommutativeMonoid[BigInt]Source

instance CommutativeMonoid[Float32]Source

instance CommutativeMonoid[Float64]Source

instance CommutativeMonoid[BigDecimal]Source

instance CommutativeMonoid[(a1, a2)] with CommutativeMonoid[a1], CommutativeMonoid[a2]Source

instance CommutativeMonoid[(a1, a2, a3)] with CommutativeMonoid[a1], CommutativeMonoid[a2], CommutativeMonoid[a3]Source

instance CommutativeMonoid[(a1, a2, a3, a4)] with CommutativeMonoid[a1], CommutativeMonoid[a2], CommutativeMonoid[a3], CommutativeMonoid[a4]

Source

instance CommutativeMonoid[(a1, a2, a3, a4, a5)] with CommutativeMonoid[a1], CommutativeMonoid[a2], CommutativeMonoid[a3], CommutativeMonoid[a4], CommutativeMonoid[a5]

Source

instance CommutativeMonoid[(a1, a2, a3, a4, a5, a6)] with CommutativeMonoid[a1], CommutativeMonoid[a2], CommutativeMonoid[a3], CommutativeMonoid[a4], CommutativeMonoid[a5], CommutativeMonoid[a6]

Source

instance CommutativeMonoid[(a1, a2, a3, a4, a5, a6, a7)] with CommutativeMonoid[a1], CommutativeMonoid[a2], CommutativeMonoid[a3], CommutativeMonoid[a4], CommutativeMonoid[a5], CommutativeMonoid[a6], CommutativeMonoid[a7]

Source

instance CommutativeMonoid[(a1, a2, a3, a4, a5, a6, a7, a8)] with CommutativeMonoid[a1], CommutativeMonoid[a2], CommutativeMonoid[a3], CommutativeMonoid[a4], CommutativeMonoid[a5], CommutativeMonoid[a6], CommutativeMonoid[a7], CommutativeMonoid[a8]

Source

instance CommutativeMonoid[(a1, a2, a3, a4, a5, a6, a7, a8, a9)] with CommutativeMonoid[a1], CommutativeMonoid[a2], CommutativeMonoid[a3], CommutativeMonoid[a4], CommutativeMonoid[a5], CommutativeMonoid[a6], CommutativeMonoid[a7], CommutativeMonoid[a8], CommutativeMonoid[a9]

Source

instance CommutativeMonoid[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)] with CommutativeMonoid[a1], CommutativeMonoid[a2], CommutativeMonoid[a3], CommutativeMonoid[a4], CommutativeMonoid[a5], CommutativeMonoid[a6], CommutativeMonoid[a7], CommutativeMonoid[a8], CommutativeMonoid[a9], CommutativeMonoid[a10]

Source

instance CommutativeMonoid[Map[k, v]] with Order[k], CommutativeMonoid[v]Source

instance CommutativeMonoid[MultiMap[k, v]] with Order[k], Order[v]Source

instance CommutativeMonoid[Option[a]] with CommutativeMonoid[a]Source

instance CommutativeMonoid[Any]Source

instance CommutativeMonoid[All]Source

instance CommutativeMonoid[Set[a]] with Order[a]Source

Trait Definitions

def combine(x: a, y: a): a with CommutativeMonoid[a] Source

An associative & commutative binary operation on a.

def empty(): a with CommutativeMonoid[a] Source

Returns a neutral element.