| Portability | portable |
|---|---|
| Stability | experimental |
| Maintainer | mik@konecny.aow.cz |
Data.Number.ER.Real.Approx.OI
Description
This module offers a transformation of a safely rounded real approximation type into a type that approximates these approximations from outside as well as *inside*.
- data ERApproxOI ra = ERApproxOI {}
Documentation
data ERApproxOI ra Source
A pair of approximations that form an interval in the lattice of approximations.
Eg outer = [1,4] inner = [3,2] can be thought of as the set of all generalised intervals where the left endpoint is between 1 and 3 and the right endpoint is between 2 and 4 (eg [1,4], [3,4], [3,2], [3,3]).
Constructors
| ERApproxOI | |
Instances
| Eq ra => Eq (ERApproxOI ra) | |
| ERApprox ra => Fractional (ERApproxOI ra) | |
| ERApprox ra => Num (ERApproxOI ra) | |
| Ord ra => Ord (ERApproxOI ra) | |
| ERApprox ra => Show (ERApproxOI ra) | |
| ERApprox ra => ERApproxApprox (ERApproxOI ra) | |
| ERApprox ra => ERApprox (ERApproxOI ra) |