Data.Number.ER.Real.Base.Float

This module defines an arbitrary precision floating point type and its operations. It should be viewed more abstractly as an instance of ERRealBase when used as interval endpoints.

Documentation

data ERFloat

A floating point number with a given but arbitrary precision represented by its Granularity.

• base: 2.
• granularity specifies the bit-size of both the significand and the exponent
• special values: NaN, signed Infinity and signed Zero
• no denormalised numbers
• operations unify the granularity of their operands to the maximum Granularity
• Rounding is always towards +Infinity. For field operations, the rounded result is as close as possible to the exact result.

Instances

Eq ERFloat

Fractional ERFloat

Data ERFloat

Num ERFloat

Ord ERFloat

Real ERFloat

RealFrac ERFloat

Show ERFloat

Typeable ERFloat

Binary ERFloat

ERRealBase ERFloat