ireal-0.2.3: Real numbers and intervals with relatively efficient exact arithmetic.

Safe HaskellNone
LanguageHaskell98

Data.Number.IReal.IReal

Synopsis

Documentation

type Precision = Int Source

newtype IReal Source

A real number/interval is a function from required precision to an integer interval; for numbers the interval is thin (has radius 1).

Constructors

IR (Precision -> IntegerInterval) 

Instances

VarPrec IReal Source

prec n x is an interval of width at least 10^(-n) containing x.

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.