Package eu.bandm.tools.ops

Interface GenMonoid<A,M>

Type Parameters:

M - the carrier of the monoid.

A - the generating set.

All Superinterfaces:

GenSemigroup<A,M>, Monoid<M>, Semigroup<M>

public interface GenMonoid<A,M>
extends GenSemigroup<A,M>, Monoid<M>

Monoid generated by a given set. All elements of the monoid are accessible by combinations of GenSemigroup.unit(A) and Semigroup.combine(M, M). A typical instance is M for strings and A for characters.

Method Summary

Modifier and Type	Method	Description
default M	fold(Iterable<? extends A> things)
default <T> Map<T,M>	zip(Map<T,A> m, Map<T,A> n)

Methods inherited from interface eu.bandm.tools.ops.GenSemigroup

fold, makeIndex, unit

Methods inherited from interface eu.bandm.tools.ops.Monoid

neutral

Methods inherited from interface eu.bandm.tools.ops.Semigroup

combine

Method Details

fold

default M fold(Iterable<? extends A> things)

Specified by:

fold in interface GenSemigroup<A,M>

zip

default <T> Map<T,M> zip(Map<T,A> m,
 Map<T,A> n)