removing only "provided we give clear documentation similar to circe Quick start (N.B. circe seems to work fine with this method)"
Yep, nice point.
And btw, another reason I came across for moving alleycats into cats, was that a few people I met had never heard of alleycats. Now, that can happen to any library that is not a "batteries-included-uber-lib", but the typeclasses in alleycats are fairly basic/common ones
And btw, another reason I came across for moving alleycats into cats, was that a few people I met had never heard of alleycats. Now, that can happen to any library that is not a "batteries-included-uber-lib", but the typeclasses in alleycats are fairly basic/common ones
eg
Pure, One, Extract, Empty, instances for Try and so on
I think Foldable should be moved there too.
Oh.
Do you have laws in mind?
Haskell community has had this argument a dozen times over
There's also #107, which would be impossible to implement if Foldable was moved
ie having alleycats under cats would facilitate this in some, but not all, cases
The same Foldable/Traverse problem arises with Zero/Monoid but it's not really a problem there, just because of implicit derivation.
and, tbh, is probably currently not quite right anyway
as algebra depends on cat-kernel
but even so, this was all done before the cats-core and cats-kernel split
so now, today, an algebra user that wants ,say
additiveMonoidIsZero would also have to bring in cats, as well
so, theoretically, we would need alleycats-core, alleycats-kernel, or something
well alleycats has a dual meaning in english and , erm, the other two haven't ;)
anyway, bedtime for me, nn :sleeping:
doobie.outlawed would work :smoking:
