Skip to main content

Semigroup

typeclass S: Semigroup extends Mul {
    mul_associative(a: S, b: S, c: S) {
        a * (b * c) = (a * b) * c
    }
}

The default semigroup uses the multiplication operator.. For an additive semigroup, see add_semigroup.ac.

GitHub

mul​

Inherited from Mul.

mul_associative​

mul_associative(a: S, b: S, c: S) {
    a * (b * c) = (a * b) * c
}

The multiplication operation must be associative: (a * b) * c = a * (b * c).