mixed-types-num: Alternative Prelude with numeric and logic expressions typed bottom-up

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.

Modules

[Index] [Quick Jump]

Downloads

• mixed-types-num-0.3.1.5.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• MichalKonecny

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates