Safe Haskell | None |
---|---|
Language | Haskell98 |
- type Precision = Int
- newtype IReal = IR (Precision -> IntegerInterval)
- ir :: (Precision -> IntegerInterval) -> IReal
- appr :: IReal -> Precision -> IntegerInterval
Documentation
A real number/interval is a function from required precision to an integer interval; for numbers the interval is thin (has radius 1).
IR (Precision -> IntegerInterval) |
ir :: (Precision -> IntegerInterval) -> IReal Source
Smart constructor; uses (unfortunately unsafe) memoizing techniques for efficiency.
appr :: IReal -> Precision -> IntegerInterval Source
Selector; computes integer interval for given precision.