Data.Number.BigFloat

A simple implementation of floating point numbers with a selectable precision. The number of digits in the mantissa is selected by the Epsilon type class from the Fixed module.

The numbers are stored in base 10.

Documentation

data BigFloat e

Floating point number where the precision is determined by the type e.

Instances

Eq (BigFloat e)

(Fractional (BigFloat e), Epsilon e) => Floating (BigFloat e)

(Num (BigFloat e), Epsilon e) => Fractional (BigFloat e)

Epsilon e => Num (BigFloat e)

(Eq (BigFloat e), Epsilon e) => Ord (BigFloat e)

(Num (BigFloat e), Ord (BigFloat e), Epsilon e) => Real (BigFloat e)

(RealFrac (BigFloat e), Floating (BigFloat e), Epsilon e) => RealFloat (BigFloat e)

(Real (BigFloat e), Fractional (BigFloat e), Epsilon e) => RealFrac (BigFloat e)

Epsilon e => Show (BigFloat e)

class Epsilon e

The Epsilon class contains the types that can be used to determine the precision of a Fixed number.

Instances

Epsilon Prec500

Epsilon Prec50

Epsilon Prec10

Epsilon Eps1

Epsilon e => Epsilon (PrecPlus20 e)

Epsilon e => Epsilon (EpsDiv10 e)

data Eps1

An epsilon of 1, i.e., no decimals.

Instances

Epsilon Eps1

data EpsDiv10 p

A type construct that gives one more decimals than the argument.

Instances

Epsilon e => Epsilon (EpsDiv10 e)

data Prec10

Ten decimals.

Instances

Epsilon Prec10

data Prec50

50 decimals.

Instances

Epsilon Prec50

data PrecPlus20 e

Instances

Epsilon e => Epsilon (PrecPlus20 e)