Infinity | Data.Number.ER.Real.Base.Rational |
initialiseBaseArithmetic | |
1 (Function) | Data.Number.ER.Real.Base |
2 (Function) | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
initMachineDouble | Data.Number.ER.Real.Base.MachineDouble |
insert | Data.Number.ER.Real.DomainBox |
insertWith | Data.Number.ER.Real.DomainBox |
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 |
intersectionWith | Data.Number.ER.Real.DomainBox |
intersectMeasureImprovement | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
intLog | Data.Number.ER.Misc |
intLogDown | Data.Number.ER.Misc |
intLogUp | 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 |
isInteriorDisjoint | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
isNoinfo | Data.Number.ER.Real.DomainBox |
isPlusInfinity | Data.Number.ER.Real.Base |