Data.Number.CReal

Documentation

data CReal

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

Arguments

:: Int

The number of decimals

-> CReal

The real number

-> String

The resulting string

The showCReal function connverts a CReal to a String.