Documentation

The CReal type implements (constructive) real numbers.

Note that the comparison operations on CReal may diverge since it is (by necessity) impossible to implementent them correctly and always terminating.

This implementation is really David Lester's ERA package.

Instances

Enum CReal
Eq CReal
Floating CReal
Fractional CReal
Num CReal
Ord CReal
Read CReal
Real CReal
RealFloat CReal
RealFrac CReal
Show CReal

showCReal Source

Arguments

:: Int	The number of decimals
-> CReal	The real number
-> String	The resulting string

The showCReal function connverts a CReal to a String.