Game.Goatee.Common.Bigfloat

Base-10 arbitrary-precision floating-point numbers.

Documentation

data Bigfloat

A base-10, infinite-precision, floating-point number. Implemented as an infinite-precision significand together with an exponent, such that the numeric value is equal to significand f * (10 ^ exponent f). The exponent is a limited-precision Int, because some operations may break if the exponent is larger (specifically show and toDouble). This shouldn't be an issue for Goatee.

These values form an integral domain.

The Show instance always outputs in decimal notation, never scientific notation. Examples:

300   (never trailing .0 if there's no fractional part)
0.1   (never redundant trailing or leading zeros)

Similarly, the Read instance accepts numbers matching the regex -?\d+(\.\d+)?(e-?\d+)?. Scientific exponent notation is supported for reading, for ease of converting Doubles to Bigfloats.

Instances

Eq Bigfloat

Defined in Game.Goatee.Common.Bigfloat

Methods

(==) :: Bigfloat -> Bigfloat -> Bool

(/=) :: Bigfloat -> Bigfloat -> Bool

Num Bigfloat

Defined in Game.Goatee.Common.Bigfloat

Methods

(+) :: Bigfloat -> Bigfloat -> Bigfloat

(-) :: Bigfloat -> Bigfloat -> Bigfloat

(*) :: Bigfloat -> Bigfloat -> Bigfloat

negate :: Bigfloat -> Bigfloat

abs :: Bigfloat -> Bigfloat

signum :: Bigfloat -> Bigfloat

fromInteger :: Integer -> Bigfloat

Ord Bigfloat

Defined in Game.Goatee.Common.Bigfloat

Methods

compare :: Bigfloat -> Bigfloat -> Ordering

(<) :: Bigfloat -> Bigfloat -> Bool

(<=) :: Bigfloat -> Bigfloat -> Bool

(>) :: Bigfloat -> Bigfloat -> Bool

(>=) :: Bigfloat -> Bigfloat -> Bool

max :: Bigfloat -> Bigfloat -> Bigfloat

min :: Bigfloat -> Bigfloat -> Bigfloat

Read Bigfloat

Defined in Game.Goatee.Common.Bigfloat

Methods

readsPrec :: Int -> ReadS Bigfloat

readList :: ReadS [Bigfloat]

readPrec :: ReadPrec Bigfloat

readListPrec :: ReadPrec [Bigfloat]

Show Bigfloat

Defined in Game.Goatee.Common.Bigfloat

Methods

showsPrec :: Int -> Bigfloat -> ShowS

show :: Bigfloat -> String

showList :: [Bigfloat] -> ShowS

encode :: Integer -> Int -> Bigfloat

encode significand exponent creates a Bigfloat value whose numeric value is significand * (10 ^ exponent).

significand :: Bigfloat -> Integer

exponent :: Bigfloat -> Int

fromDouble :: Double -> Bigfloat

Converts a Double to a Bigfloat (with as much precision as the Double Show instance provides).

toDouble :: Bigfloat -> Double

Converts a Bigfloat to a Double, lossily.