David Strawn
David Strawn
This commit provides an initial encoding a of `ServerBuildable` a pseudo typeclass alternative to `ServerBuilder`. The intent here is to provide a clean minimal ad-hoc polymorphic way to define an...
This commit adds the following type classes. * Order2 * Order1 * PartialOrder2 * PartialOrder1 * Hash2 * Hash1 * Eq2 * Eq1 These typeclasses lift their base classes through...
This PR changes tests which were using `assert(actual == expected)` or `assert(actual === expected)` into either * `assertResult(actual, expected)`, for non-property tests * `actual ?= expected`, for property tests Tests...
This commit provides a redesign of `Cursor`. The reasons for this redesign * `ACursor` is not sealed. This created some modeling and correctness issues around certain operations. For example, when...
ScalaCheck provides these out of the box in a more complete form. We have to wait until the next release of ScalaCheck, due to needing the instances for Scalajs in...
This commit provides a redesign of `Cursor`. The reasons for this redesign * `ACursor` is not sealed. This created some modeling and correctness issues around certain operations. For example, when...
I've noticed some inconsistencies with how several methods on `Range` and that use `Range` are defined when dealing with ranges which go different directions. ### Range.contains ### `contains` for `Range`...
Prototyping adding the `Enumerable` class to cats. This class is based on https://hackage.haskell.org/package/base-4.15.0.0/docs/GHC-Enum.html#v:toEnum but tries to avoid some pitfalls that the Haskell version has (e.g. `toEnum` doesn't throw in our...
Also load the existing definitions PartialNext/PartialPrevious into implicit scope. ```scala scala> import cats.syntax.all._ import cats.syntax.all._ scala> 1.cycleNext val res0: Int = 2 scala> 1.cycleNext.cyclePrevious val res1: Int = 1 ```
# Introduce The Inverse Type # The type `Inverse[A]` is a newtype which exists to invert the `Order`, `PartialOrder`, `UpperBounded` and `LowerBounded` instances for some type `A`. It's basically just...