Infinity | Data.Number.ER.Real.Base.Rational |
initMachineDouble | Data.Number.ER.Real.Base.MachineDouble, Data.Number.ER.Real.DefaultRepr, Data.Number.ER.Real, Data.Number.ER |
int2effIx | Data.Number.ER.BasicTypes, Data.Number.ER.Real.Base, Data.Number.ER.Real, Data.Number.ER |
integerBounds | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
integrateCont | Data.Number.ER.Real.Arithmetic.Integration, Data.Number.ER.Real, Data.Number.ER |
integrateContAdapt_R | Data.Number.ER.Real.Arithmetic.Integration, Data.Number.ER.Real, Data.Number.ER |
integrateCont_R | Data.Number.ER.Real.Arithmetic.Integration, Data.Number.ER.Real, Data.Number.ER |
intersectMeasureImprovement | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
intLog | Data.Number.ER.Misc |
IRA | Data.Number.ER.Real.DefaultRepr, Data.Number.ER.Real, Data.Number.ER |
isBottom | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
isBounded | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
isDisjoint | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
isEmpty | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
isERNaN | Data.Number.ER.Real.Base |
isExact | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
isInfinite | Data.Number.ER.ExtendedInteger |
isPlusInfinity | Data.Number.ER.Real.Base |