The affinely-extended package

[Tags:library, mit]

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).

Properties

Versions 0.1.0.0
Dependencies base (>=4.7 && <5) [details]
License MIT
Copyright Clinton Mead (2017)
Author Clinton Mead
Maintainer clintonmead@gmail.com
Category Data
Home page https://github.com/clintonmead/affinely-extended
Bug tracker https://github.com/clintonmead/affinely-extended/issues
Source repository head: git clone https://github.com/clintonmead/affinely-extended.git
Uploaded Wed Apr 5 06:41:11 UTC 2017 by clinton
Distributions NixOS:0.1.0.0
Downloads 51 total (7 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees