Interface SemiGroup<T>

Associative 2-term operation. All instances of SemiGroup must satisfy following conditions:

Associative: If S is a SemiGroup, for all x, y and z, S.combine(S.combine(x, y), z) equals to S.combine(x, S.combine(y, z)).

Type Parameters

T

Hierarchy

Magma<T>
- SemiGroup
  - Monoid

Index

Properties

[semiGroupSymbol] combine

Properties

[semiGroupSymbol]

[semiGroupSymbol]: true

`Readonly` combine

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

Type declaration

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

Generated using TypeDoc