Skip to content

Latest commit

 

History

History
23 lines (18 loc) · 839 Bytes

README.md

File metadata and controls

23 lines (18 loc) · 839 Bytes
Raw

litter

Latest version

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 and CommutativeZeroSemigroup
  • ZeroMonoid and CommutativeZeroMonoid
  • ZeroGroup and CommutativeZeroGroup
  • ZeroBand
  • ZeroSemilattice
  • BoundedZeroSemilattice

Usage

libraryDependencies += "com.armanbilge" %% "litter" % "0.1.1"
libraryDependencies += "com.armanbilge" %% "litter-laws" % "0.1.1" % Test