affinely-extended

https://github.com/clintonmead/affinely-extended

Latest on Hackage:0.1.0.0

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 Clinton Mead
Maintained by [email protected]

A simply way to extend numerical types to add infinity.

Includes 4 data types:

  1. Both infinities: GADT

  2. Positive infinity only: GADT

  3. Both infinities, represented as upper and lower bound of type (well almost)

  4. Positive infinity only, represented as upper bound of type

There's also rewrite rules in an attempt to make this all work as efficiently as possible (although unbenchmarked and untested).