| effIx2gran | Data.Number.ER.BasicTypes, Data.Number.ER.Real.Base, Data.Number.ER.Real, Data.Number.ER |
| effIx2int | Data.Number.ER.BasicTypes, Data.Number.ER.Real.Base, Data.Number.ER.Real, Data.Number.ER |
| effIx2prec | Data.Number.ER.BasicTypes, Data.Number.ER.Real.Base, Data.Number.ER.Real, Data.Number.ER |
| effIx2ra | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
| EffortIndex | Data.Number.ER.BasicTypes, Data.Number.ER.Real.Base, Data.Number.ER.Real, Data.Number.ER |
| elems | Data.Number.ER.BasicTypes.DomainBox |
| eqSingletons | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
| equalApprox | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
| equalIntervals | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
| equalReals | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
| ERApprox | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
| ERApproxApprox | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
| ERApproxElementary | Data.Number.ER.Real.Approx.Elementary, Data.Number.ER.Real, Data.Number.ER |
| ERApproxOI | |
| 1 (Type/Class) | Data.Number.ER.Real.Approx.OI |
| 2 (Data Constructor) | Data.Number.ER.Real.Approx.OI |
| erATan_IR | Data.Number.ER.Real.Arithmetic.Elementary |
| erATan_IR_Inner | Data.Number.ER.Real.Arithmetic.Elementary |
| erATan_R | Data.Number.ER.Real.Arithmetic.Elementary |
| erCosine_IR | Data.Number.ER.Real.Arithmetic.Elementary |
| erCosine_IR_Inner | Data.Number.ER.Real.Arithmetic.Elementary |
| erCosine_R | Data.Number.ER.Real.Arithmetic.Elementary |
| erCosine_Tay_Opt_R | Data.Number.ER.Real.Arithmetic.Taylor, Data.Number.ER.Real, Data.Number.ER |
| erExp_IR | Data.Number.ER.Real.Arithmetic.Elementary |
| erExp_IR_Inner | Data.Number.ER.Real.Arithmetic.Elementary |
| erExp_R | Data.Number.ER.Real.Arithmetic.Elementary |
| erExp_Tay_Opt_R | Data.Number.ER.Real.Arithmetic.Taylor, Data.Number.ER.Real, Data.Number.ER |
| ERFloat | Data.Number.ER.Real.Base.Float |
| ERInnerOuterApprox | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
| ERInnerOuterApproxElementary | Data.Number.ER.Real.Approx.Elementary, Data.Number.ER.Real, Data.Number.ER |
| ERIntApprox | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
| ERInterval | |
| 1 (Type/Class) | Data.Number.ER.Real.Approx.Interval |
| 2 (Data Constructor) | Data.Number.ER.Real.Approx.Interval |
| erintv_left | Data.Number.ER.Real.Approx.Interval |
| erintv_right | Data.Number.ER.Real.Approx.Interval |
| erLog_IR | Data.Number.ER.Real.Arithmetic.Elementary |
| erLog_IR_Inner | Data.Number.ER.Real.Arithmetic.Elementary |
| erLog_R | Data.Number.ER.Real.Arithmetic.Elementary |
| ERMachineAP | Data.Number.ER.Real.Base.CombinedMachineAP |
| erNaN | Data.Number.ER.Real.Base |
| erNewton_FullArgs | Data.Number.ER.Real.Arithmetic.Newton, Data.Number.ER.Real, Data.Number.ER |
| erNewton_mdfd_FullArgs | Data.Number.ER.Real.Arithmetic.Newton, Data.Number.ER.Real, Data.Number.ER |
| eroiInner | Data.Number.ER.Real.Approx.OI |
| eroiOuter | Data.Number.ER.Real.Approx.OI |
| erPi_R | Data.Number.ER.Real.Arithmetic.Elementary |
| erPow_IR | Data.Number.ER.Real.Arithmetic.Elementary |
| erPow_R | Data.Number.ER.Real.Arithmetic.Elementary |
| ERRealBase | Data.Number.ER.Real.Base |
| erRoot_IR | Data.Number.ER.Real.Arithmetic.Elementary |
| erRoot_IR_Inner | Data.Number.ER.Real.Arithmetic.Elementary |
| erRoot_R | Data.Number.ER.Real.Arithmetic.Elementary |
| erRunTests | Data.Number.ER.Misc.Tests |
| erSine_IR | Data.Number.ER.Real.Arithmetic.Elementary |
| erSine_IR_Inner | Data.Number.ER.Real.Arithmetic.Elementary |
| erSine_R | Data.Number.ER.Real.Arithmetic.Elementary |
| erSine_Tay_Opt_R | Data.Number.ER.Real.Arithmetic.Taylor, Data.Number.ER.Real, Data.Number.ER |
| erSqrt_IR | Data.Number.ER.Real.Arithmetic.Elementary |
| erSqrt_IR_Inner | Data.Number.ER.Real.Arithmetic.Elementary |
| erSqrt_R | Data.Number.ER.Real.Arithmetic.Elementary |
| erSqr_IR | Data.Number.ER.Real.Arithmetic.Elementary |
| erSqr_R | Data.Number.ER.Real.Arithmetic.Elementary |
| erTaylor_R | Data.Number.ER.Real.Arithmetic.Taylor, Data.Number.ER.Real, Data.Number.ER |
| erTaylor_R_FullArgs | Data.Number.ER.Real.Arithmetic.Taylor, Data.Number.ER.Real, Data.Number.ER |
| exactMiddle | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
| exp | Data.Number.ER.Real.Approx.Elementary, Data.Number.ER.Real, Data.Number.ER |
| expInner | Data.Number.ER.Real.Approx.Elementary, Data.Number.ER.Real, Data.Number.ER |
| ExtendedInteger | Data.Number.ER.BasicTypes.ExtendedInteger |
| ExtendedRational | Data.Number.ER.Real.Base.Rational |