Denis Rosset
Denis Rosset
As a working example, discipline could provide an "AnyRefLaws" implementation that checks the behavior of the default `equals` and `hashCode` methods. In particular, the implementation could work from: - a...
This follows the Spire implementations as well (we just put `Sign` into the `Signed` companion object). We added the missing companion object functions.
This aligns the commutative rings/field hierarchy with the one available in Spire. I haven't provided instances for non-exact types such as Long, Int, etc, because their overflow behaviour doesn't work...
This merges #246 and #247, which can be reviewed separately; it also adds laws that combine both operations.
Right now, `spire` has a finer grained distinction of commutative rings, namely: - the availability of `gcd` and `lcm` operations, - the availability of Euclidean division (`emod`, `equot`), in the...
(This comment is *not* about the simpler encoding discussed in #206.) I remarked that the laws structure does not follow the typeclass structure exactly. For example, we have tests for...
To catch bugs such as #187 .
Looking at transformation methods in typeclasses, I wonder about how to keep binary compatibility in the future. Suppose that library A depends on non/algebra version 1 to implement a few...
I was working on my own variant when I was pointed to the following project: https://github.com/stew/indoctrinate Tearing apart the cats/doobie `build.sbt` file is not so fun!
For the people I work with, Pylance/Pyright support is important. Would it be possible to use `nptyping` Shape annotations with `Annotated`, and document that possibility? note: that wouldn't require even...