@hackage monoid-absorbing0.1.0.1

A library for (left, right) zero monoids and backtracking with cut

A library for (left, right) zero monoids, that is, monoids with (left, right) absorbing elements. Includes free constructions of those and a list monad transformer with Prolog's cut operator, which is related to the theory of right zero monoids.