Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
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]).
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) |