Interface AbelianMonoid<T>

All instances of Monoid must satisfy following conditions:

Associative: for all x, y and z; combine(combine(x, y), z) equals to combine(x, combine(y, z)).
Identity: for all x; combine(x, identity) equals to combine(identity, x) and x.

Type Parameters

T

Hierarchy

Monoid<T>
- AbelianMonoid

Index

Properties

[abelSymbol] [semiGroupSymbol] combine identity

Properties

[abelSymbol]

[abelSymbol]: true

[semiGroupSymbol]

[semiGroupSymbol]: true

`Readonly` combine

combine: ((l, r) => T)

Type declaration

- (l, r): T
- Parameters
  - l: T
  - r: T
  Returns T

`Readonly` identity

identity: T

Generated using TypeDoc