affinely-extended
Version 0.1.0.0 revision 0 uploaded by clinton.
Package meta
- Synopsis
- n/a
- Description
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).
- Author
- Clinton Mead
- Bug reports
- https://github.com/clintonmead/affinely-extended/issues
- Category
- Data
- Copyright
- Clinton Mead (2017)
- Homepage
- https://github.com/clintonmead/affinely-extended
- Maintainer
- clintonmead@gmail.com
- Package URL
- n/a
- Stability
- n/a