Interface Monoid.Definition<A>

All Superinterfaces:

Semigroup.Definition<A>

All Known Subinterfaces:

Monoid.AltDefinition<A>

Enclosing class:

Monoid<A>

public static interface Monoid.Definition<A>
extends Semigroup.Definition<A>

Primitives functions of Monoid: minimal definition and overridable methods.

Method Summary

Modifier and Type	Method	Description
default Monoid.Definition<A>	dual()
A	empty()
default A	multiply(int n, A a)
default A	multiply1p(int n, A a)
default A	sum(A a, F0<Stream<A>> as)
default A	sum(F0<Stream<A>> as)

Methods inherited from interface Semigroup.Definition

append, prepend

Method Details

empty

A empty()

sum

default A sum(F0<Stream<A>> as)

sum

default A sum(A a,
 F0<Stream<A>> as)

Specified by:

sum in interface Semigroup.Definition<A>

multiply

default A multiply(int n,
 A a)

multiply1p

default A multiply1p(int n,
 A a)

Specified by:

multiply1p in interface Semigroup.Definition<A>

dual

default Monoid.Definition<A> dual()

Specified by:

dual in interface Semigroup.Definition<A>