monoid-absorbing
Version 0.1.0.4 revision 0 uploaded by maciejpirog.
Package meta
- Synopsis
- A library for (left, right) zero monoids and backtracking with cut
- Description
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.
- Author
- Maciej Piróg
- Bug reports
- http://github.com/maciejpirog/monoid-absorbing/issues
- Category
- Algebra
- Copyright
- 2015 Maciej Piróg
- Homepage
- http://github.com/maciejpirog/monoid-absorbing
- Maintainer
- maciej.adam.pirog@gmail.com
- Package URL
- n/a
- Stability
- n/a