Index
| Adaptive | |
| 1 (Type/Class) | Data.Adaptive |
| 2 (Data Constructor) | Data.Adaptive |
| approx | Data.Adaptive |
| approx' | Data.Adaptive |
| approxFast | Data.Adaptive |
| epsilon | Data.Adaptive |
| fromFloatingPoint | Data.Adaptive |
| splitter | Data.Adaptive |
Adaptive-0.1: Adaptive precision floating-point arithmetic
Index
| Adaptive | |
| 1 (Type/Class) | Data.Adaptive |
| 2 (Data Constructor) | Data.Adaptive |
| approx | Data.Adaptive |
| approx' | Data.Adaptive |
| approxFast | Data.Adaptive |
| epsilon | Data.Adaptive |
| fromFloatingPoint | Data.Adaptive |
| splitter | Data.Adaptive |