The latest version of aern2-real is 0.2.16.1-0.
lib:aern2-real
Modules
- AERN2.AccuracySG
- AERN2.Limit
- AERN2.MPBallWithGlobalPrec
- AERN2.QA.NetLog
- AERN2.QA.Protocol
- AERN2.QA.Strategy.Cached
- AERN2.QA.Strategy.Cached.Arrow
- AERN2.QA.Strategy.Cached.NetState
- AERN2.QA.Strategy.CachedUnsafe
- AERN2.QA.Strategy.Parallel
- AERN2.Real
- AERN2.Real.Arithmetic
- AERN2.Real.Tests
- AERN2.Real.Type
- AERN2.Sequence
- AERN2.Sequence.Branching
- AERN2.Sequence.Comparison
- AERN2.Sequence.Elementary
- AERN2.Sequence.Field
- AERN2.Sequence.Helpers
- AERN2.Sequence.PreludeOps
- AERN2.Sequence.Ring
- AERN2.Sequence.Type
- AERN2.Utils.Arrows
- AERN2.WithGlobalParam
- AERN2.WithGlobalParam.Branching
- AERN2.WithGlobalParam.Comparison
- AERN2.WithGlobalParam.Elementary
- AERN2.WithGlobalParam.Field
- AERN2.WithGlobalParam.Helpers
- AERN2.WithGlobalParam.Ring
- AERN2.WithGlobalParam.Type
Dependencies
- QuickCheck lib:QuickCheck >=2.7
- aern2-mp lib:aern2-mp >=0.1 && <0.2
- aeson lib:aeson >=0.11
- base lib:base >=4 && <5
- bytestring lib:bytestring >=0.10
- containers lib:containers >=0.5 && <0.6
- convertible lib:convertible >=1.1.1.0
- hspec lib:hspec >=2.1
- lens lib:lens >=4.13
- mixed-types-num lib:mixed-types-num >=0.3.1
- stm lib:stm >=2.4
- transformers lib:transformers >=0.4
Reverse dependencies
Direct only. Not exhaustive.
- aern2-real exe:aern2-generate-netlog-elm
- aern2-real exe:aern2-real-benchOp
- aern2-real test:aern2-real-test
- aern2-real test:spec