The latest version of aern2-mp is 0.2.16.1-0.
lib:aern2-mp
Modules
- AERN2.MP
- AERN2.MP.Accuracy
- AERN2.MP.Ball
- AERN2.MP.Ball.Tests
- AERN2.MP.Dyadic
- AERN2.MP.Enclosure
- AERN2.MP.ErrorBound
- AERN2.MP.Precision
- AERN2.MP.UseMPFR.Ball
- AERN2.MP.UseMPFR.Ball.Comparisons
- AERN2.MP.UseMPFR.Ball.Conversions
- AERN2.MP.UseMPFR.Ball.Elementary
- AERN2.MP.UseMPFR.Ball.Field
- AERN2.MP.UseMPFR.Ball.PreludeOps
- AERN2.MP.UseMPFR.Ball.Type
- AERN2.MP.UseMPFR.Dyadic
- AERN2.MP.UseMPFR.ErrorBound
- AERN2.MP.UseMPFR.Float
- AERN2.MP.UseMPFR.Float.Arithmetic
- AERN2.MP.UseMPFR.Float.Constants
- AERN2.MP.UseMPFR.Float.Conversions
- AERN2.MP.UseMPFR.Float.Operators
- AERN2.MP.UseMPFR.Float.RoundedAdaptor
- AERN2.MP.UseMPFR.Float.Tests
- AERN2.MP.UseMPFR.Float.Type
- AERN2.Norm
- AERN2.Normalize
- AERN2.Utils.Bench
Dependencies
- QuickCheck lib:QuickCheck >=2.7 && <2.10
- base lib:base >=4 && <5
- convertible lib:convertible >=1.1.1.0 && <1.2
- haskell-mpfr lib:haskell-mpfr >=0.1 && <0.2
- hmpfr lib:hmpfr >=0.4 && <0.5
- hspec lib:hspec >=2.1 && <2.5
- integer-gmp lib:integer-gmp <0.6 && >=1.0 && <1.1
- integer-logarithms lib:integer-logarithms >=1.0 && <1.1
- lens lib:lens >=4.13 && <4.16
- mixed-types-num lib:mixed-types-num >=0.3.1 && <0.4
- regex-tdfa lib:regex-tdfa >=1.2.1 && <1.3
- rounded lib:rounded >=0.1 && <0.2
- template-haskell lib:template-haskell >=0
Reverse dependencies
Direct only. Not exhaustive.
- aern2-mp test:aern2-mp-test
- aern2-mp test:spec
- aern2-real exe:aern2-generate-netlog-elm
- aern2-real exe:aern2-real-benchOp
- aern2-real lib:aern2-real