@hackage / monoid-absorbing

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

Latest0.1.0.4

About

Metadata

  • Last updated , by maciejpirog
  • License MIT
  • Categories Mathematics

  • Maintained by: maciej.adam.pirog@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

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.