monoid-absorbing

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

http://github.com/maciejpirog/monoid-absorbing

Latest on Hackage:

0.1.0.4

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

MIT licensed by Maciej Piróg

Maintained by [email protected]

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.