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:
ZeroSemigroup
andCommutativeZeroSemigroup
ZeroMonoid
andCommutativeZeroMonoid
ZeroGroup
andCommutativeZeroGroup
ZeroBand
ZeroSemilattice
BoundedZeroSemilattice
Usage
libraryDependencies += "com.armanbilge" %% "litter" % "0.1.1"
libraryDependencies += "com.armanbilge" %% "litter-laws" % "0.1.1" % Test