Associative operation taking which combines two values.
Associative operation taking which combines two values.
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.
Given a sequence of as
, combine them and return the total.
If the sequence is empty, returns None. Otherwise, returns Some(total).
Return the identity element for this monoid.