28 Dec
2012
28 Dec
'12
1:14 p.m.
On 12/28/2012 12:07 PM, Roman Cheplyaka wrote:
So, the best solution seems to be to merge semigroups into base. My proposal would be to move only Data.Semigroup to base, as it will lead to significant simplification, but leave other modules (NonEmpty, Natural) in a separate package, since they are of limited applicability and would gain nothing by being inside base.
I'm okay with this. However, his Semigroup class depends on NonEmpty and Whole from the other semigroup modules, but I assume those are just there for efficiency purposes. Also, if semigroups is in base, then you can move the semigroups instances back to containers.