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

Instances details
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

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

Instances details
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

Instances details
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

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

Defined in Data.Number.Fixed

Methods

eps :: EpsDiv10 e -> Rational

data Prec10 Source #

Ten decimals.

Instances

Instances details
Epsilon Prec10 Source # 
Instance details

Defined in Data.Number.Fixed

Methods

eps :: Prec10 -> Rational

data Prec50 Source #

50 decimals.

Instances

Instances details
Epsilon Prec50 Source # 
Instance details

Defined in Data.Number.Fixed

Methods

eps :: Prec50 -> Rational

data PrecPlus20 e Source #

Instances

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

Defined in Data.Number.Fixed

Methods

eps :: PrecPlus20 e -> Rational