Safe Haskell	None
Language	Haskell98

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 #
Methods (==) :: BigFloat e -> BigFloat e -> Bool # (/=) :: BigFloat e -> BigFloat e -> Bool #
Epsilon e => Floating (BigFloat e) Source #
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) Source #
Methods (/) :: BigFloat e -> BigFloat e -> BigFloat e # recip :: BigFloat e -> BigFloat e # fromRational :: Rational -> BigFloat e #
Epsilon e => Num (BigFloat e) Source #
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) Source #
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) Source #
Methods toRational :: BigFloat e -> Rational #
Epsilon e => RealFloat (BigFloat e) Source #
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) Source #
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) Source #
Methods showsPrec :: Int -> BigFloat e -> ShowS # show :: BigFloat e -> String # showList :: [BigFloat e] -> ShowS #

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 #
Methods eps :: Prec500 -> Rational
Epsilon Prec50 Source #
Methods eps :: Prec50 -> Rational
Epsilon Prec10 Source #
Methods eps :: Prec10 -> Rational
Epsilon Eps1 Source #
Methods eps :: Eps1 -> Rational
Epsilon e => Epsilon (PrecPlus20 e) Source #
Methods eps :: PrecPlus20 e -> Rational
Epsilon e => Epsilon (EpsDiv10 e) Source #
Methods eps :: EpsDiv10 e -> Rational

data Eps1 Source #

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

Instances

Epsilon Eps1 Source #
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 #
Methods eps :: EpsDiv10 e -> Rational

data Prec10 Source #

Ten decimals.

Instances

Epsilon Prec10 Source #
Methods eps :: Prec10 -> Rational

data Prec50 Source #

50 decimals.

Instances

Epsilon Prec50 Source #
Methods eps :: Prec50 -> Rational

data PrecPlus20 e Source #

Instances

Epsilon e => Epsilon (PrecPlus20 e) Source #
Methods eps :: PrecPlus20 e -> Rational