Jesús López-González
Jesús López-González
Adds `Category` as a typeclass with an instance for *Hask* (functions and types). As a consequence, laws can be defined now in a general way.
The matcher `shouldBe` is using the standard comparison method `==`. Ideally, it should use the `Equal` typeclass instead. At first glance, there seems to be other matchers where `==` is...
Hiding optic idioms in favor of more standard names, such as *attribute*, *association*, etc. This coq snippet is just a proof of concept. ```coq Record one_to_one (p : Type ->...
`At` is returning a plain lens algebra, while `FilterIndex` is returning indexed traversals. This is due to ad-hoc requirements by our testing applications. We should be more homogeneous here, by...
We need to provide further documentation (beyond the README) to make the library approachable. This includes documentation in code (right now it's practically inexistent) and as a wiki book.
New instances and examples should be located and published in different SBT subprojects.
Now, we're using *scalaz* exclusively. Eventually, adapting *stateless* to *cats* will be necessary.