affinely-extended
A simply way to extend numerical types to add infinity.
Includes 4 data types:
Both infinities: GADT
Positive infinity only: GADT
Both infinities, represented as upper and lower bound of type (well almost)
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).
Downloads
- affinely-extended-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1.0.0 |
---|---|
Dependencies | base (>=4.7 && <5) [details] |
Tested with | ghc ==8.0.2 |
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 repo | head: git clone https://github.com/clintonmead/affinely-extended.git |
Uploaded | by clinton at 2017-04-05T06:41:11Z |
Distributions | NixOS:0.1.0.0 |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 1156 total (8 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |