Type Alias 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)).