These are chat archives for non/algebra
Just curious, is there a reason the Additive and Multiplicative Typeclasses don't extend their general versions from Cats?
Here's the header of AdditiveSemiGroup:
package algebra package ring trait AdditiveSemigroup[@sp(Int, Long, Float, Double) A] extends Any with Serializable
So it doesn't actually extend Semigroup from Cats.
I'm running into a situation where I want to have a function defined for a cats.kernel.Semigroup but I can't pass an AdditiveSemigroup to it.
Currently I'm getting around this by using an implicit def to convert from the Additive and Multiplicative versions to the generic one. Is there a reason for this? or potentially a way to resolve it? Thanks
.additive; please check if it exists in algebra.