includes | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
Infinity | Data.Number.ER.Real.Base.Rational |
inftyChance | Data.Number.ER.Real.Approx.Tests.Generate |
initialiseBaseArithmetic | |
1 (Function) | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
2 (Function) | Data.Number.ER.Real.Base |
initMachineDouble | Data.Number.ER.Real.Base.MachineDouble |
insert | Data.Number.ER.BasicTypes.DomainBox |
insertWith | Data.Number.ER.BasicTypes.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.BasicTypes.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 |
isAnticonsistent | Data.Number.ER.Real.Approx, 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 |
isConsistent | 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 |
isERNaN | Data.Number.ER.Real.Base |
isExact | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
isInfinite | Data.Number.ER.BasicTypes.ExtendedInteger |
isInteriorDisjoint | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
isMinusInfinity | Data.Number.ER.Real.Base |
isNoinfo | Data.Number.ER.BasicTypes.DomainBox |
isPlusInfinity | Data.Number.ER.Real.Base |
isTop | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
Ix10 | |
1 (Type/Class) | Data.Number.ER.BasicTypes.Tests.Generate |
2 (Data Constructor) | Data.Number.ER.BasicTypes.Tests.Generate |
Ix20 | |
1 (Type/Class) | Data.Number.ER.BasicTypes.Tests.Generate |
2 (Data Constructor) | Data.Number.ER.BasicTypes.Tests.Generate |