flix

0.79.0

CommutativeMonoid

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

Trait for types that form a commutative monoid.

Instances

Primitives
Unit, Float32, Float64, BigDecimal, Int8, Int16, Int32, Int64, BigInt and tuples of 2 to 10 elements
Non-primitives
All, Any, Map[k, v], MultiMap[k, v], Option[a], Set[a]

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.