AERN-Real-0.10.0: arbitrary precision interval arithmetic for approximating exact real numbers

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.Real.Approx.Tests.Run

Description

Support for running all function enclosure base tests in a batch.

Documentation

runRATests :: (ERApproxElementary ra, ERInnerOuterApproxElementary ra, Ord ra) => String -> ra -> IO () -> IO ()Source