Data.Number.IReal

The type of real numbers and intervals

data IReal

toDouble

Printing IReals

(?)

(??)

showIReal

Total comparison operators

(<!)

(>!)

(=?=)

atDecimals

Intervals

Constructing interval values

(+-)

(-+-)

hull

intersection

Selectors

lower

upper

mid

rad

containedIn

Balanced folds

foldb

foldb1

bsum

foldb'

isumN'

isum'

Automatic Differentiation

data Dif a

deriv

derivs

con

var

unDif

val

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