BSD-3-Clause licensed by Edward A. Kmett
Maintained by Edward A. Kmett
This version can be pinned in stack with:algebra-4.3.1@sha256:38b3e2e7f1058b8f51dcb97c906d4e9871876fd82029a316970ee613fcca130f,3952

Module documentation for 4.3.1

algebra

Hackage Build Status

This is a package for exploring constructive abstract algebra in Haskell.

Contact Information

Contributions and bug reports are welcome!

Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.

-Edward Kmett

Changes

4.3.1

  • Compatibility with GHC 8.4.x: added Semigroup (End r) instance.

4.3

  • Compatibility with GHC 8.0.x
  • Dropped incomplete instance for Algebra r (Map a b) instance
  • Restructured Ring hierarchy (Thanks @dfoxfranke!)
  • Added DecidableNilpotence class (Thanks @dfoxfranke!)

4.2

  • Support for nats version 1 and base 4.8’s version of Numeric.Natural. This required monomorphizing some stuff to Natural, but that is more accurate than the previous hack anyways.

4.1

  • Added Euclidean domains and the field of fractions.

4.0

  • Compatibility with GHC 7.8.x
  • Removed keyed and representable-tries dependencies

3.0.2

  • Started CHANGELOG