aern2-mp 0.2.9.1 → 0.2.10.0

raw patch · 4 files changed

+7/−1 lines, 4 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

+ AERN2.Limit: type HasLimitsSameType ix s = (HasLimits ix s, LimitType ix s ~ s)

+ AERN2.Select: type CanSelectBool k = (CanSelect k, SelectType k ~ Bool)

+ AERN2.Select: type CanSelectCNBool k = (CanSelect k, SelectType k ~ CN Bool)

Files

aern2-mp.cabal +1/−1
changelog.md +2/−0
src/AERN2/Limit.hs +1/−0
src/AERN2/Select.hs +3/−0

aern2-mp.cabal view

@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           aern2-mp-version:        0.2.9.1+version:        0.2.10.0 synopsis:       Multi-precision ball (interval) arithmetic 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-mp +* v 0.2.10 2022-08-20+  * add HasLimitsSameType, CanSelectBool, CanSelectCNBool * v 0.2.9 2022-07-13   * testing basic ops produce valid MPBalls   * more instances for CN Kleenean

src/AERN2/Limit.hs view

@@ -24,3 +24,4 @@   type LimitType ix s   limit :: (ix -> s) -> LimitType ix s +type HasLimitsSameType ix s = (HasLimits ix s, LimitType ix s ~ s)

src/AERN2/Select.hs view

@@ -26,6 +26,9 @@   -}   select :: k -> k -> (SelectType k) {-^ True means that the first computation succeeded. -} +type CanSelectBool k = (CanSelect k, SelectType k ~ Bool)+type CanSelectCNBool k = (CanSelect k, SelectType k ~ CN Bool)+ instance CanSelect Kleenean where   type SelectType Kleenean = CN Bool   select CertainTrue _ = cn True