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

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) Source #
Instance details Defined in Data.Number.BigFloat Methods (==) :: BigFloat e -> BigFloat e -> Bool # (/=) :: BigFloat e -> BigFloat e -> Bool #
Epsilon e => Floating (BigFloat e) Source #
Instance details Defined in Data.Number.BigFloat 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 #
Instance details Defined in Data.Number.BigFloat Methods (/) :: BigFloat e -> BigFloat e -> BigFloat e # recip :: BigFloat e -> BigFloat e # fromRational :: Rational -> BigFloat e #
Epsilon e => Num (BigFloat e) Source #
Instance details Defined in Data.Number.BigFloat 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 #
Instance details Defined in Data.Number.BigFloat 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 #
Instance details Defined in Data.Number.BigFloat Methods toRational :: BigFloat e -> Rational #
Epsilon e => RealFloat (BigFloat e) Source #
Instance details Defined in Data.Number.BigFloat 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 #
Instance details Defined in Data.Number.BigFloat 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 #
Instance details Defined in Data.Number.BigFloat 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 #
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