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)

Methods

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

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

Epsilon e => Floating (BigFloat e)

Methods

pi :: BigFloat e

exp :: BigFloat e -> BigFloat e

log :: BigFloat e -> BigFloat e

sqrt :: BigFloat e -> BigFloat e

(**) :: BigFloat e -> BigFloat e -> BigFloat e

logBase :: BigFloat e -> BigFloat e -> BigFloat e

sin :: BigFloat e -> BigFloat e

cos :: BigFloat e -> BigFloat e

tan :: BigFloat e -> BigFloat e

asin :: BigFloat e -> BigFloat e

acos :: BigFloat e -> BigFloat e

atan :: BigFloat e -> BigFloat e

sinh :: BigFloat e -> BigFloat e

cosh :: BigFloat e -> BigFloat e

tanh :: BigFloat e -> BigFloat e

asinh :: BigFloat e -> BigFloat e

acosh :: BigFloat e -> BigFloat e

atanh :: BigFloat e -> BigFloat e

log1p :: BigFloat e -> BigFloat e

expm1 :: BigFloat e -> BigFloat e

log1pexp :: BigFloat e -> BigFloat e

log1mexp :: BigFloat e -> BigFloat e

Epsilon e => Fractional (BigFloat e)

Methods

(/) :: BigFloat e -> BigFloat e -> BigFloat e

recip :: BigFloat e -> BigFloat e

fromRational :: Rational -> BigFloat e

Epsilon e => Num (BigFloat e)

Methods

(+) :: BigFloat e -> BigFloat e -> BigFloat e

(-) :: BigFloat e -> BigFloat e -> BigFloat e

(*) :: BigFloat e -> BigFloat e -> BigFloat e

negate :: BigFloat e -> BigFloat e

abs :: BigFloat e -> BigFloat e

signum :: BigFloat e -> BigFloat e

fromInteger :: Integer -> BigFloat e

Epsilon e => Ord (BigFloat e)

Methods

compare :: BigFloat e -> BigFloat e -> Ordering

(<) :: BigFloat e -> BigFloat e -> Bool

(<=) :: BigFloat e -> BigFloat e -> Bool

(>) :: BigFloat e -> BigFloat e -> Bool

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

max :: BigFloat e -> BigFloat e -> BigFloat e

min :: BigFloat e -> BigFloat e -> BigFloat e

Epsilon e => Real (BigFloat e)

Methods

toRational :: BigFloat e -> Rational

Epsilon e => RealFloat (BigFloat e)

Methods

floatRadix :: BigFloat e -> Integer

floatDigits :: BigFloat e -> Int

floatRange :: BigFloat e -> (Int, Int)

decodeFloat :: BigFloat e -> (Integer, Int)

encodeFloat :: Integer -> Int -> BigFloat e

exponent :: BigFloat e -> Int

significand :: BigFloat e -> BigFloat e

scaleFloat :: Int -> BigFloat e -> BigFloat e

isNaN :: BigFloat e -> Bool

isInfinite :: BigFloat e -> Bool

isDenormalized :: BigFloat e -> Bool

isNegativeZero :: BigFloat e -> Bool

isIEEE :: BigFloat e -> Bool

atan2 :: BigFloat e -> BigFloat e -> BigFloat e

Epsilon e => RealFrac (BigFloat e)

Methods

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

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

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

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

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

Epsilon e => Show (BigFloat e)

Methods

showsPrec :: Int -> BigFloat e -> ShowS

show :: BigFloat e -> String

showList :: [BigFloat e] -> ShowS

class Epsilon e

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

Methods

eps :: Prec500 -> Rational

Epsilon Prec50

Methods

eps :: Prec50 -> Rational

Epsilon Prec10

Methods

eps :: Prec10 -> Rational

Epsilon Eps1

Methods

eps :: Eps1 -> Rational

Epsilon e => Epsilon (PrecPlus20 e)

Methods

eps :: PrecPlus20 e -> Rational

Epsilon e => Epsilon (EpsDiv10 e)

Methods

eps :: EpsDiv10 e -> Rational

data Eps1

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

Instances

Epsilon Eps1

Methods

eps :: Eps1 -> Rational

data EpsDiv10 p

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

Instances

Epsilon e => Epsilon (EpsDiv10 e)

Methods

eps :: EpsDiv10 e -> Rational

data Prec10

Ten decimals.

Instances

Epsilon Prec10

Methods

eps :: Prec10 -> Rational

data Prec50

50 decimals.

Instances

Epsilon Prec50

Methods

eps :: Prec50 -> Rational

data PrecPlus20 e

Instances

Epsilon e => Epsilon (PrecPlus20 e)

Methods

eps :: PrecPlus20 e -> Rational