packages feed

aern2-real 0.2.9.1 → 0.2.9.2

raw patch · 3 files changed

+4/−1 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- AERN2.Real: class (OrderedField r, HasLimits Int r, HasLimits Integer r, HasLimits Rational r, CanSelect (OrderCompareType r r), (CanTestCertainly (SelectType (OrderCompareType r r)))) => RealNumber r
+ AERN2.Real: class (OrderedField r, HasLimits Int r, HasLimits Integer r, HasLimits Rational r, CanSelect (OrderCompareType r r), HasIfThenElseSameType (SelectType (OrderCompareType r r)) r, (CanTestCertainly (SelectType (OrderCompareType r r)))) => RealNumber r

Files

aern2-real.cabal view
@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           aern2-real-version:        0.2.9.1+version:        0.2.9.2 synopsis:       Real numbers as convergent sequences of intervals description:    Please see the README on GitHub at <https://github.com/michalkonecny/aern2/#readme> category:       Math
changelog.md view
@@ -1,5 +1,7 @@ # Change log for aern2-real +* v 0.2.9.2 2022-08-19+  * add to RealNumber: HasIfThenElse for its SelectType * v 0.2.9 2022-07-13 (update in aern2-mp) * v 0.2.8 2021-08-04   * compatibility with ghc 9.0.1
src/AERN2/Real.hs view
@@ -56,6 +56,7 @@     , HasLimits Integer r     , HasLimits Rational r     , CanSelect (OrderCompareType r r)+    , HasIfThenElseSameType (SelectType (OrderCompareType r r)) r     , (CanTestCertainly (SelectType (OrderCompareType r r))))     =>      RealNumber r