Data.Number.IReal.Rounded

data Rounded p

class Precision p

r

proxyPrecision

(?)

(??)

(=?=)

(>!)

(<!)

(+-)

(-+-)

showIReal

mid

upper

lower

rad

hull

containedIn

intersection