Package rocks.palaiologos.maja.structure

Interface AdditiveMonoid<T>

All Superinterfaces:

AdditiveGroupoid<T>, AdditiveSemigroup<T>

All Known Subinterfaces:

AdditiveAbelianGroup<T>, AdditiveGroup<T>, CommutativeRing<T>, DivisionRing<T>, Field<T>, Ring<T>

public interface AdditiveMonoid<T>
extends AdditiveSemigroup<T>

An algebraic structure with an associative binary operation (implied by semigroup properties) and an identity element. Formally speaking for all a in T, add(a, zero()) = add(zero(), a) = a must hold.

Method Summary

Modifier and Type	Method	Description
static <T> AdditiveMonoid<T>	of(MultiplicativeMonoid<T> monoid)
T	zero()

Methods inherited from interface rocks.palaiologos.maja.structure.AdditiveSemigroup

plus

Method Details

zero

T zero()

of

static <T> AdditiveMonoid<T> of(MultiplicativeMonoid<T> monoid)