Final class FH\Monoids

Static methods

make<T>((function(T, T): T) $append, T $appendId): Monoid<T>

Return a monoid from an associative binary function and an identity value.

concat<T>(Monoid<T> $m, Traversable<T> $xs): T

intAdd(): Monoid<int>

$(\mathtt{int}, \mathtt{+}, \mathtt{0})$

intMul(): Monoid<int>

$(\mathtt{int}, \mathtt{*}, \mathtt{1})$

stringConcat(): Monoid<string>

$(\mathtt{string}, \mathtt{.}, \mathtt{''})$

vectorConcat<T>(): Monoid<ImmVector<T>>

$(\mathtt{ImmVector<T>}, \mathtt{concat}, \mathtt{ImmVector\{\}})$