CommutativeSemiGroup

trait CommutativeSemiGroup[a: Type] with SemiGroup[a]Source

A trait for types that form a commutative semigroup.

Instances

instance CommutativeSemiGroup[Unit]Source
instance CommutativeSemiGroup[Int8]Source
instance CommutativeSemiGroup[Int16]Source
instance CommutativeSemiGroup[Int32]Source
instance CommutativeSemiGroup[Int64]Source
instance CommutativeSemiGroup[BigInt]Source
instance CommutativeSemiGroup[Float32]Source
instance CommutativeSemiGroup[Float64]Source
instance CommutativeSemiGroup[BigDecimal]Source
instance CommutativeSemiGroup[(a1, a2)] with CommutativeSemiGroup[a1], CommutativeSemiGroup[a2]Source
instance CommutativeSemiGroup[(a1, a2, a3)] with CommutativeSemiGroup[a1], CommutativeSemiGroup[a2], CommutativeSemiGroup[a3]Source
instance CommutativeSemiGroup[(a1, a2, a3, a4)] with CommutativeSemiGroup[a1], CommutativeSemiGroup[a2], CommutativeSemiGroup[a3], CommutativeSemiGroup[a4]Source
instance CommutativeSemiGroup[(a1, a2, a3, a4, a5)] with CommutativeSemiGroup[a1], CommutativeSemiGroup[a2], CommutativeSemiGroup[a3], CommutativeSemiGroup[a4], CommutativeSemiGroup[a5]Source
instance CommutativeSemiGroup[(a1, a2, a3, a4, a5, a6)] with CommutativeSemiGroup[a1], CommutativeSemiGroup[a2], CommutativeSemiGroup[a3], CommutativeSemiGroup[a4], CommutativeSemiGroup[a5], CommutativeSemiGroup[a6]Source
instance CommutativeSemiGroup[(a1, a2, a3, a4, a5, a6, a7)] with CommutativeSemiGroup[a1], CommutativeSemiGroup[a2], CommutativeSemiGroup[a3], CommutativeSemiGroup[a4], CommutativeSemiGroup[a5], CommutativeSemiGroup[a6], CommutativeSemiGroup[a7]Source
instance CommutativeSemiGroup[(a1, a2, a3, a4, a5, a6, a7, a8)] with CommutativeSemiGroup[a1], CommutativeSemiGroup[a2], CommutativeSemiGroup[a3], CommutativeSemiGroup[a4], CommutativeSemiGroup[a5], CommutativeSemiGroup[a6], CommutativeSemiGroup[a7], CommutativeSemiGroup[a8]Source
instance CommutativeSemiGroup[(a1, a2, a3, a4, a5, a6, a7, a8, a9)] with CommutativeSemiGroup[a1], CommutativeSemiGroup[a2], CommutativeSemiGroup[a3], CommutativeSemiGroup[a4], CommutativeSemiGroup[a5], CommutativeSemiGroup[a6], CommutativeSemiGroup[a7], CommutativeSemiGroup[a8], CommutativeSemiGroup[a9]Source
instance CommutativeSemiGroup[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)] with CommutativeSemiGroup[a1], CommutativeSemiGroup[a2], CommutativeSemiGroup[a3], CommutativeSemiGroup[a4], CommutativeSemiGroup[a5], CommutativeSemiGroup[a6], CommutativeSemiGroup[a7], CommutativeSemiGroup[a8], CommutativeSemiGroup[a9], CommutativeSemiGroup[a10]Source
instance CommutativeSemiGroup[Map[k, v]] with Order[k], CommutativeSemiGroup[v]Source
instance CommutativeSemiGroup[MultiMap[k, v]] with Order[k], Order[v]Source
instance CommutativeSemiGroup[Option[a]] with CommutativeSemiGroup[a]Source
instance CommutativeSemiGroup[Set[a]] with Order[a]Source

Trait Definitions

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

An associative & commutative binary operation on a.