search

typelevel / algebra

Experimental project to lay out basic algebra type classes
https://typelevel.org/algebra/
Other
378 stars 69 forks source link

Set instances #79

Closed fsvehla closed 8 years ago

fsvehla commented 9 years ago

From cats Gitter:

@fsvehla want to open an issue at https://github.com/non/algebra/ ?
johnynek commented 9 years ago

instances for what? Just everything?

non commented 9 years ago

I think in this case the commenter was asking about monoid/semigroup instances for sets.

EDIT: Regardless it would be good to update this issue to be clear what its scope is.

non commented 8 years ago

It looks like we have the following:

I think this is actually sufficient. Projects like Cats which want a default Monoid[Set[A]] can define it themselves (or use Semiring[Set[A]].additive).

non commented 8 years ago

Since I encouraged this issue to be opened (in Cats' Gitter) I'm going to close it, but feel free to disagree and reopen it (along with the type classes that should be added of course).