AddSemigroup

typeclass A: AddSemigroup extends Add {
    add_associative(a: A, b: A, c: A) {
        a + (b + c) = (a + b) + c
    }
}

An additive semigroup is associative, and that's about it.

GitHub

---

add

Inherited from Add.

add_associative

add_associative(a: A, b: A, c: A) {
    a + (b + c) = (a + b) + c
}

The addition operation must be associative: (a + b) + c = a + (b + c).