packages feed

aern2-mp 0.2.5.0 → 0.2.6.0

raw patch · 4 files changed

+7/−8 lines, 4 filesdep ~mixed-types-numPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: mixed-types-num

API changes (from Hackage documentation)

+ AERN2.MP.Ball.Type: instance Numeric.MixedTypes.Power.CanTestIsIntegerType AERN2.MP.Ball.Type.MPBall
+ AERN2.MP.WithCurrentPrec.Type: instance forall k t (p :: k). Numeric.MixedTypes.Power.CanTestIsIntegerType t => Numeric.MixedTypes.Power.CanTestIsIntegerType (AERN2.MP.WithCurrentPrec.Type.WithCurrentPrec t p)

Files

aern2-mp.cabal view
@@ -3,11 +3,9 @@ -- This file has been generated from package.yaml by hpack version 0.34.4. -- -- see: https://github.com/sol/hpack------ hash: f380106cebd760457afe30f95f96a4613a687aa0d3f908c17172376defe10224  name:           aern2-mp-version:        0.2.5.0+version:        0.2.6.0 synopsis:       Multi-precision ball (interval) arithmetic description:    Please see the README on GitHub at <https://github.com/michalkonecny/aern2/#readme> category:       Math@@ -91,7 +89,7 @@     , deepseq     , hspec     , integer-logarithms-    , mixed-types-num >=0.5.5+    , mixed-types-num >=0.5.7     , reflection     , regex-tdfa     , template-haskell@@ -131,7 +129,7 @@     , deepseq     , hspec     , integer-logarithms-    , mixed-types-num >=0.5.5+    , mixed-types-num >=0.5.7     , reflection     , regex-tdfa     , template-haskell
src/AERN2/MP/Ball/Type.hs view
@@ -99,6 +99,8 @@     showAC NoInformation = "(oo)"     showAC ac = " ~2^(" ++ show (negate $ fromAccuracy ac) ++ ")"     +instance CanTestIsIntegerType MPBall -- False by default+ -- instance CanTestValid MPBall where --   isValid = isFinite
src/AERN2/MP/ErrorBound.hs view
@@ -29,8 +29,6 @@  -- import Data.Convertible -import Data.Ratio (numerator)- import Math.NumberTheory.Logarithms (integerLog2)  import AERN2.MP.Precision@@ -228,6 +226,6 @@         | otherwise =           do           (s :: Integer) <- arbitrary-          let resultR = ((abs s) `P.mod` (numerator $ 2^35))/(2^32)+          let resultR = ((abs s) `P.mod` (2^35))/(2^32)           let result = convert resultR           return result
src/AERN2/MP/WithCurrentPrec/Type.hs view
@@ -60,6 +60,7 @@     deriving (Show)  deriving instance (CanTakeErrors NumErrors t) => (CanTakeErrors NumErrors (WithCurrentPrec t p))+deriving instance (CanTestIsIntegerType t) => (CanTestIsIntegerType (WithCurrentPrec t p))  runWithPrec :: Precision -> (forall n. (KnownNat n) => WithCurrentPrec t n) -> t runWithPrec p (wfp :: (forall n. (KnownNat n) => WithCurrentPrec t n)) =