Data.Number.BigFloat

numbers-2007.9.25: Various number types

Description

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.

Synopsis

data BigFloat e

class Epsilon e

data Eps1

data EpsDiv10 p

data Prec10

data Prec50

data PrecPlus20 e

Documentation

data BigFloat e

Source

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

Instances

Eq (BigFloat e)

Epsilon e => Floating (BigFloat e)

Epsilon e => Fractional (BigFloat e)

Epsilon e => Num (BigFloat e)

Ord (BigFloat e)

Epsilon e => Real (BigFloat e)

Epsilon e => RealFloat (BigFloat e)

Epsilon e => RealFrac (BigFloat e)

Epsilon e => Show (BigFloat e)

class Epsilon e

Source

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

Instances

Epsilon Eps1

Epsilon Prec10

Epsilon Prec50

Epsilon e => Epsilon (EpsDiv10 e)

Epsilon e => Epsilon (PrecPlus20 e)

data Eps1

Source

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

Instances

Epsilon Eps1

data EpsDiv10 p

Source

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

Instances

Epsilon e => Epsilon (EpsDiv10 e)

data Prec10

Source

Ten decimals.

Instances

Epsilon Prec10

data Prec50

Source

50 decimals.

Instances

Epsilon Prec50

data PrecPlus20 e

Source

Instances

Epsilon e => Epsilon (PrecPlus20 e)

Produced by Haddock version 2.1.0