| Portability | portable |
|---|---|
| Stability | experimental |
| Maintainer | mik@konecny.aow.cz |
Data.Number.ER.Real.Approx.Tests.Properties
Description
Properties of real approximations we want to check in tests.
Documentation
type RAPropTupleUnary ira = ira -> String -> ((Ix20, RAThin ira) -> Bool, (Ix20, RAConsistent ira) -> Bool, (Ix20, RAThin ira) -> Bool, (Ix20, RAConsistent ira) -> Bool, (Ix20, RADirected ira) -> Bool)Source
props_ra_AMinusA_eq_oi :: (ERIntApprox ira, ERInnerOuterApprox ira) => RAPropTupleUnary iraSource
props_ra_ADivA_eq_oi :: (ERIntApprox ira, ERInnerOuterApprox ira) => RAPropTupleUnary iraSource
props_ra_AddCommut_eq_oi :: (ERIntApprox ira, ERInnerOuterApprox ira) => RAPropTupleUnary iraSource
props_ra_MultCommut_eq_oi :: (ERIntApprox ira, ERInnerOuterApprox ira) => RAPropTupleUnary iraSource
props_ra_AddAssoc_eq_oi :: (ERIntApprox ira, ERInnerOuterApprox ira) => RAPropTupleUnary iraSource
props_ra_MultAssoc_eq_oi :: (ERIntApprox ira, ERInnerOuterApprox ira) => RAPropTupleUnary iraSource
props_ra_Distr_eq_oi :: (ERIntApprox ira, ERInnerOuterApprox ira) => RAPropTupleUnary iraSource
props_ra_SinCos_eq_oi :: (ERInnerOuterApproxElementary ira, ERApproxElementary ira) => RAPropTupleUnary iraSource
props_ra_TanATan_eq_oi :: (ERInnerOuterApproxElementary ira, ERApproxElementary ira) => RAPropTupleUnary iraSource
props_ra_LogExp_eq_oi :: (ERInnerOuterApproxElementary ira, ERApproxElementary ira) => RAPropTupleUnary iraSource