Port other packages to use `Commutative`

obsidiansystems / commutative-semigroups

Other

4 stars 7 forks source link

Open endgame opened 2 years ago

endgame commented 2 years ago

Off the top of my head:

[x] patch (so long as it has a Group class) (https://github.com/reflex-frp/patch/pull/39)
[x] groups (https://github.com/Taneb/groups/pull/14)
[x] group-theory (if required, or maybe the transitive re-export is fine)
[x] monoid-subclasses (https://github.com/blamario/monoid-subclasses/pull/35
[ ] monoidal-containers

Ericson2314 commented 2 years ago

group-theory uses Abelian from groups so it should be all good.

Ericson2314 commented 2 years ago

Ericson2314 commented 2 years ago

Groups is doing it, thanks @Taneb!