Data.Number.IReal

The type of real numbers and intervals

data IReal

toDouble

Printing IReals

(?)

(??)

Total comparison operators

(<!)

(>!)

(=?=)

atDecimals

Intervals

Constructing interval values

(+-)

(-+-)

hull

intersection

Selectors

lower

upper

mid

rad

containedIn

Balanced folds

foldb

foldb1

bsum

foldb'

isumN'

isum'

QuickCheck support

Generators

uniformNum

uniformIval

exprGen

Properties

propIsRealNum

propIsRealIval

Auxiliary functions and type classes

force

dec2bits

lg2

class Powers a

class Scalable a

class VarPrec a