| I | |
| 1 (Data Constructor) | Numeric.Rounded.Hardware.Interval.NonEmpty |
| 2 (Data Constructor) | Numeric.Rounded.Hardware.Interval |
| increasing | |
| 1 (Function) | Numeric.Rounded.Hardware.Interval.NonEmpty |
| 2 (Function) | Numeric.Rounded.Hardware.Interval |
| inf | |
| 1 (Function) | Numeric.Rounded.Hardware.Interval.NonEmpty |
| 2 (Function) | Numeric.Rounded.Hardware.Interval |
| interior | Numeric.Rounded.Hardware.Interval.Class |
| intersection | |
| 1 (Function) | Numeric.Rounded.Hardware.Interval.Class |
| 2 (Function) | Numeric.Rounded.Hardware.Interval |
| Interval | |
| 1 (Type/Class) | Numeric.Rounded.Hardware.Interval.NonEmpty |
| 2 (Type/Class) | Numeric.Rounded.Hardware.Interval |
| intervalAdd | Numeric.Rounded.Hardware.Internal, Numeric.Rounded.Hardware.Class |
| intervalDiv | Numeric.Rounded.Hardware.Internal, Numeric.Rounded.Hardware.Class |
| intervalDivAdd | Numeric.Rounded.Hardware.Internal, Numeric.Rounded.Hardware.Class |
| intervalFromInteger | Numeric.Rounded.Hardware.Internal, Numeric.Rounded.Hardware.Class |
| intervalFromInteger_default | Numeric.Rounded.Hardware.Internal |
| intervalFromIntegral | Numeric.Rounded.Hardware.Internal |
| intervalFromRational | Numeric.Rounded.Hardware.Internal, Numeric.Rounded.Hardware.Class |
| intervalFromRational_default | Numeric.Rounded.Hardware.Internal |
| intervalMul | Numeric.Rounded.Hardware.Internal, Numeric.Rounded.Hardware.Class |
| intervalMulAdd | Numeric.Rounded.Hardware.Internal, Numeric.Rounded.Hardware.Class |
| intervalRecip | Numeric.Rounded.Hardware.Internal, Numeric.Rounded.Hardware.Class |
| intervalSqrt | Numeric.Rounded.Hardware.Internal, Numeric.Rounded.Hardware.Class |
| intervalSub | Numeric.Rounded.Hardware.Internal, Numeric.Rounded.Hardware.Class |
| IsInterval | Numeric.Rounded.Hardware.Interval.Class |