Data.Number.IReal.Rounded

data Rounded p

class Precision p

r

proxyPrecision

(?)

(??)

(=?=)

(<!)

(>!)

(+-)

(-+-)

showIReal

mid

rad

lower

upper

hull

containedIn

intersection