mixed-types-num
Version 0.4.0 revision 0 uploaded by MichalKonecny.
Package meta
- Synopsis
- Alternative Prelude with numeric and logic expressions typed bottom-up
- Description
This package provides a version of Prelude where unary and binary operations such as
not,+,==have their result type derived from the parameter type(s) and thus supports mixed-type arithmetic and comparisons.Partial operations such as division, sqrt and power do not throw exceptions even when errors such as division by zero occur. Instead, these errors are propagated bottom-up in a bespoke error-accumulating functor.
This library is a by-product of developing the AERN2 library for interval and exact real computation. Certain aspects are specifically tailored for interval or exact real arithmetics, including three-valued numerical comparisons and distinguishing potential and certain errors.
See module MixedTypesNumPrelude for further documentation.
Ghci 8.0.* fails when loading this package due to ghc bug 13385. This bug does not affect ghci 7.10.3 and ghci 8.2.* and above.
- Author
- Michal Konecny
- Bug reports
- n/a
- Category
- Math
- Copyright
- (c) 2015-2019 Michal Konecny
- Homepage
- https://github.com/michalkonecny/mixed-types-num
- Maintainer
- Michal Konecny <mikkonecny@gmail.com>
- Package URL
- n/a
- Stability
- experimental