Associative operation taking which combines two values.
Associative operation taking which combines two values.
Return the identity element for this monoid.
Given a sequence of as
, sum them using the monoid and return the total.
Given a sequence of as
, combine them and return the total.
Return a
appended to itself n
times.
Tests if a
is the identity.
Return a
combined with itself more than once.
Return a
combined with itself more than once.
A monoid is a semigroup with an identity. A monoid is a specialization of a semigroup, so its operation must be associative. Additionally,
combine(x, empty) == combine(empty, x) == x
. For example, if we haveMonoid[String]
, withcombine
as string concatenation, thenempty = ""
.