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.Comparisons
- AERN2.MP.Ball.Conversions
- AERN2.MP.Ball.Elementary
- AERN2.MP.Ball.Field
- AERN2.MP.Ball.PreludeOps
- AERN2.MP.Ball.Tests
- AERN2.MP.Ball.Type
- AERN2.MP.Dyadic
- AERN2.MP.Enclosure
- AERN2.MP.ErrorBound
- AERN2.MP.Float
- AERN2.MP.Float.Arithmetic
- AERN2.MP.Float.Auxi
- AERN2.MP.Float.Conversions
- AERN2.MP.Float.Operators
- AERN2.MP.Float.RoundedAdaptor
- AERN2.MP.Float.Tests
- AERN2.MP.Float.Type
- AERN2.MP.Precision
- AERN2.Norm
- AERN2.Normalize
- AERN2.Utils.Bench
Dependencies
- QuickCheck lib:QuickCheck >=0
- base lib:base >=4 && <5
- cdar lib:cdar >=0
- convertible lib:convertible >=0
- hspec lib:hspec >=0
- integer-logarithms lib:integer-logarithms >=0
- lens lib:lens >=0
- mixed-types-num lib:mixed-types-num >=0.3.2
- regex-tdfa lib:regex-tdfa >=0
- 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