@hackage / monoid-extras

Various extra monoid-related definitions and utilities

Latest0.7.0.2

About

Metadata

  • Last updated , by BrentYorgey
  • License BSD-3-Clause

  • Maintained by: diagrams-discuss@googlegroups.com

  • Lottery factor: 1

Links

Installation

Tested Compilers

  1. 9.12.1
  2. 9.10.1
  3. 9.8.2
  4. 9.6.6
  5. 9.4.8
  6. 9.2.8
  7. 9.0.2
  8. 8.10.7
  9. 8.8.4
  10. 8.6.5
  11. 8.4.4

Readme

Various extra monoid-related definitions and utilities, such as monoid actions, monoid coproducts, semi-direct products, "deletable" monoids, "split" monoids, and "cut" monoids.