litter
A microlibrary to incubate a ZeroSemigroup type class and friends for Cats. They designate an absorbing element a such that combine(x, a) == combine(a, x) == a for all x.
The complete list of type classes introduced is:
ZeroSemigroupandCommutativeZeroSemigroupZeroMonoidandCommutativeZeroMonoidZeroGroupandCommutativeZeroGroupZeroBandZeroSemilatticeBoundedZeroSemilattice
Usage
libraryDependencies += "com.armanbilge" %% "litter" % "0.1.1"
libraryDependencies += "com.armanbilge" %% "litter-laws" % "0.1.1" % Test