You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Feb 8, 2022. It is now read-only.
Repository navigation
This repository was archived by the owner on Feb 8, 2022. It is now read-only.
Well, it depends. There are a lot of instances that we could provide. I just copied over the essential (for me) ones. But I think we should at least provide Monoid before we close the issue.
defconcatMonoid[T:ClassTag]:Monoid[Array[T]]
// then the usual vector space style ones, which are probably what people want:defextendingPointwiseSemigroup[T:ClassTag:Semigroup]:Semigroup[Array[T]]
// you can do pretty much everything this way in core except Field, I think.// It is a shame we have to write those all out. Maybe macros could help here.
Add instances for arrays.
Arrays are essential in many cases for compact representation, so I think having array instances would be good.
I care most about really basic things like Eq[A] and Order[A], but I guess it would do no harm to just copy everything applicable to algebra from https://github.com/non/spire/blob/master/core/shared/src/main/scala/spire/std/array.scala