Skip to main content

CommSemigroup

typeclass S: CommSemigroup extends Semigroup {
    commutative(a: S, b: S) {
        a * b = b * a
    }
}

Extending the multiplicative semigroup with commutativity.

GitHub

commutative​

commutative(a: S, b: S) {
    a * b = b * a
}

The multiplication operation must be commutative: a * b = b * a.

mul​

Inherited from Semigroup.

mul_associative​

Inherited from Semigroup.