numbers-3000.2.0.2: Various number types

Safe HaskellNone
LanguageHaskell98

Data.Number.BigFloat

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

Documentation

data BigFloat e Source #

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

Instances
Eq (BigFloat e) Source # 
Instance details

Defined in Data.Number.BigFloat

Methods

(==) :: BigFloat e -> BigFloat e -> Bool Source #

(/=) :: BigFloat e -> BigFloat e -> Bool Source #

Epsilon e => Floating (BigFloat e) Source # 
Instance details

Defined in Data.Number.BigFloat

Epsilon e => Fractional (BigFloat e) Source # 
Instance details

Defined in Data.Number.BigFloat

Epsilon e => Num (BigFloat e) Source # 
Instance details

Defined in Data.Number.BigFloat

Epsilon e => Ord (BigFloat e) Source # 
Instance details

Defined in Data.Number.BigFloat

Epsilon e => Real (BigFloat e) Source # 
Instance details

Defined in Data.Number.BigFloat

Epsilon e => RealFloat (BigFloat e) Source # 
Instance details

Defined in Data.Number.BigFloat

Epsilon e => RealFrac (BigFloat e) Source # 
Instance details

Defined in Data.Number.BigFloat

Methods

properFraction :: Integral b => BigFloat e -> (b, BigFloat e) Source #

truncate :: Integral b => BigFloat e -> b Source #

round :: Integral b => BigFloat e -> b Source #

ceiling :: Integral b => BigFloat e -> b Source #

floor :: Integral b => BigFloat e -> b Source #

Epsilon e => Show (BigFloat e) Source # 
Instance details

Defined in Data.Number.BigFloat

class Epsilon e Source #

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

Minimal complete definition

eps

Instances
Epsilon Prec500 Source # 
Instance details

Defined in Data.Number.Fixed

Methods

eps :: Prec500 -> Rational

Epsilon Prec50 Source # 
Instance details

Defined in Data.Number.Fixed

Methods

eps :: Prec50 -> Rational

Epsilon Prec10 Source # 
Instance details

Defined in Data.Number.Fixed

Methods

eps :: Prec10 -> Rational

Epsilon Eps1 Source # 
Instance details

Defined in Data.Number.Fixed

Methods

eps :: Eps1 -> Rational

Epsilon e => Epsilon (PrecPlus20 e) Source # 
Instance details

Defined in Data.Number.Fixed

Methods

eps :: PrecPlus20 e -> Rational

Epsilon e => Epsilon (EpsDiv10 e) Source # 
Instance details

Defined in Data.Number.Fixed

Methods

eps :: EpsDiv10 e -> Rational

data Eps1 Source #

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

Instances
Epsilon Eps1 Source # 
Instance details

Defined in Data.Number.Fixed

Methods

eps :: Eps1 -> Rational

data EpsDiv10 p Source #

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

Instances
Epsilon e => Epsilon (EpsDiv10 e) Source # 
Instance details

Defined in Data.Number.Fixed

Methods

eps :: EpsDiv10 e -> Rational

data Prec10 Source #

Ten decimals.

Instances
Epsilon Prec10 Source # 
Instance details

Defined in Data.Number.Fixed

Methods

eps :: Prec10 -> Rational

data Prec50 Source #

50 decimals.

Instances
Epsilon Prec50 Source # 
Instance details

Defined in Data.Number.Fixed

Methods

eps :: Prec50 -> Rational

data PrecPlus20 e Source #

Instances
Epsilon e => Epsilon (PrecPlus20 e) Source # 
Instance details

Defined in Data.Number.Fixed

Methods

eps :: PrecPlus20 e -> Rational