| Name : ghc-mixed-types-num
| |
| Version : 0.3.1.5
| Vendor : obs://build_opensuse_org/devel:languages:haskell
|
| Release : lp150.1.1
| Date : 2018-11-19 10:24:40
|
| Group : Development/Libraries/Haskell
| Source RPM : ghc-mixed-types-num-0.3.1.5-lp150.1.1.src.rpm
|
| Size : 1.82 MB
| |
| Packager : (none)
| |
| Summary : 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
< https://github.com/michalkonecny/aern2 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
< https://ghc.haskell.org/trac/ghc/ticket/13385#ticket 13385>. This bug does not
affect ghci 7.10.3 and ghci 8.2.* and above.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/12/openSUSE_Leap_15.0/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ghc-mixed-types-num
ghc-mixed-types-num(x86-64)
libHSmixed-types-num-0.3.1.5-1HIevX7cAkeAwqobvjssA7-ghc8.4.4.so()(64bit)
Requires :
