Package eu.bandm.tools.ops

Interface Monoid<M>

Type Parameters:
M - the carrier of the monoid.
All Superinterfaces:
Semigroup<M>
All Known Subinterfaces:
GenMonoid<A,M>, MonoidAction<M,S>
public interface Monoid<M> extends Semigroup<M>
Extends a semigroup to a monoid by providing a neutral element. Each dhe implementation must fulfill combine(m,neutral()) == combine(neutral(),m) == m for each m from M.

  • Method Summary

    Modifier and Type
    Method
    Description
    M
    neutral()
     

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

    combine

  • Method Details

    • neutral

      M neutral()