Package eu.bandm.tools.ops

Interface MonoidAction<M,S>

Type Parameters:
M - the type of the set realizing the monoid structure.
S - the type of the set on which the monoid acts
All Superinterfaces:
Monoid<M>, Semigroup<M>
public interface MonoidAction<M,S> extends Monoid<M>
Models the "operation" of a Monoid on some carrier set.

  • Method Summary

    Modifier and Type
    Method
    Description
    S
    action(M m, S s)
     

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

    neutral

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

    combine

  • Method Details

    • action

      S action(M m, S s)