Data Sign Source #
Instance details Defined in LibBF.Mutable Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Sign -> c Sign gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Sign toConstr :: Sign -> Constr dataTypeOf :: Sign -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Sign) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Sign) gmapT :: (forall b. Data b => b -> b) -> Sign -> Sign gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Sign -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Sign -> r gmapQ :: (forall d. Data d => d -> u) -> Sign -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Sign -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Sign -> m Sign gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Sign -> m Sign gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Sign -> m Sign
Show Sign Source #
Instance details Defined in LibBF.Mutable Methods showsPrec :: Int -> Sign -> ShowS show :: Sign -> String showList :: [Sign] -> ShowS
Eq Sign Source #
Instance details Defined in LibBF.Mutable Methods (==) :: Sign -> Sign -> Bool (/=) :: Sign -> Sign -> Bool
Ord Sign Source #
Instance details Defined in LibBF.Mutable Methods compare :: Sign -> Sign -> Ordering (<) :: Sign -> Sign -> Bool (<=) :: Sign -> Sign -> Bool (>) :: Sign -> Sign -> Bool (>=) :: Sign -> Sign -> Bool max :: Sign -> Sign -> Sign min :: Sign -> Sign -> Sign

setWord :: Word64 -> BF -> IO () Source #

Assign from a word

setInt :: Int64 -> BF -> IO () Source #

Assign from an int

setDouble :: Double -> BF -> IO () Source #

Assign from a double

setInteger :: Integer -> BF -> IO () Source #

Set an integer. If the integer is larger than the primitive types, this does repreated Int64 additions and multiplications.

setBF Source #

Arguments

:: BF
-> BF	This number is changed
-> IO ()

Assign from another number.

setString :: Int -> BFOpts -> String -> BF -> IO (Status, Int, Bool) Source #

Set the value to the float parsed out of the given string. * The radix should not exceed maxRadix. * Sets the number to NaN on failure. * Assumes that characters are encoded with a single byte each. * Retruns: - Status for the conversion - How many bytes we consumed - Did we consume the whole input

Queries and Comparisons

cmpEq :: BF -> BF -> IO Bool Source #

Check if the two numbers are equal.

cmpLT :: BF -> BF -> IO Bool Source #

Check if the first number is strictly less than the second.

cmpLEQ :: BF -> BF -> IO Bool Source #

Check if the first number is less than, or equal to, the second.

cmpAbs :: BF -> BF -> IO Ordering Source #

Compare the absolute values of the two numbers. See also cmp.

cmp :: BF -> BF -> IO Ordering Source #

Compare the two numbers. The special values are ordered like this:

-0 < 0
NaN == NaN
NaN is larger than all other numbers

getSign :: BF -> IO (Maybe Sign) Source #

Returns Nothing for NaN.

getExp :: BF -> IO (Maybe Int64) Source #

Get the exponent of the number. Returns Nothing for inifinity, zero and NaN.

isFinite :: BF -> IO Bool Source #

Check if the number is "normal", i.e. (not infinite or NaN)

isInf :: BF -> IO Bool Source #

Check if the given numer is infinite.

isNaN :: BF -> IO Bool Source #

Check if the number is NaN

isZero :: BF -> IO Bool Source #

Check if the given number is a zero.

Arithmetic

fneg :: BF -> IO () Source #

Negate the number.

fadd :: BFOpts -> BF -> BF -> BF -> IO Status Source #

Add two numbers, using the given settings, and store the result in the last.

faddInt :: BFOpts -> BF -> Int64 -> BF -> IO Status Source #

Add a number and an int64 and store the result in the last.

fsub :: BFOpts -> BF -> BF -> BF -> IO Status Source #

Subtract two numbers, using the given settings, and store the result in the last.

fmul :: BFOpts -> BF -> BF -> BF -> IO Status Source #

Multiply two numbers, using the given settings, and store the result in the last.

fmulInt :: BFOpts -> BF -> Int64 -> BF -> IO Status Source #

Multiply the number by the given int, and store the result in the second number.

fmulWord :: BFOpts -> BF -> Word64 -> BF -> IO Status Source #

Multiply the number by the given word, and store the result in the second number.

fmul2Exp :: BFOpts -> Int -> BF -> IO Status Source #

Multiply the number by 2^e.

ffma :: BFOpts -> BF -> BF -> BF -> BF -> IO Status Source #

Compute the fused-multiply-add. ffma opts x y z r computes r := (x*y)+z.

fdiv :: BFOpts -> BF -> BF -> BF -> IO Status Source #

Divide two numbers, using the given settings, and store the result in the last.

frem :: BFOpts -> BF -> BF -> BF -> IO Status Source #

Compute the remainder x - y * n where n is the integer nearest to x/y (with ties broken to even values of n). Output is written into the final argument.

fsqrt :: BFOpts -> BF -> BF -> IO Status Source #

Compute the square root of the first number and store the result in the second.

fpow :: BFOpts -> BF -> BF -> BF -> IO Status Source #

Exponentiate the first number by the second, and store the result in the third number.

fround :: BFOpts -> BF -> IO Status Source #

Round to the nearest float matching the configuration parameters.

frint :: RoundMode -> BF -> IO Status Source #

Round to the neareset integer.

Convert from a number

toDouble :: RoundMode -> BF -> IO (Double, Status) Source #

Get the current value of a BF as a Haskell Double.

toString :: Int -> ShowFmt -> BF -> IO String Source #

Render a big-float as a Haskell string. The radix should not exceed maxRadix.

toRep :: BF -> IO BFRep Source #

Get the representation of the number.

data BFRep Source #

An explicit representation for big nums.

Constructors

BFRep !Sign !BFNum	A signed number
BFNaN	Not a number

Instances

Instances details

Data BFRep Source #
Instance details Defined in LibBF.Mutable Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BFRep -> c BFRep gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BFRep toConstr :: BFRep -> Constr dataTypeOf :: BFRep -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BFRep) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BFRep) gmapT :: (forall b. Data b => b -> b) -> BFRep -> BFRep gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BFRep -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BFRep -> r gmapQ :: (forall d. Data d => d -> u) -> BFRep -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> BFRep -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> BFRep -> m BFRep gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BFRep -> m BFRep gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BFRep -> m BFRep
Show BFRep Source #
Instance details Defined in LibBF.Mutable Methods showsPrec :: Int -> BFRep -> ShowS show :: BFRep -> String showList :: [BFRep] -> ShowS
Eq BFRep Source #
Instance details Defined in LibBF.Mutable Methods (==) :: BFRep -> BFRep -> Bool (/=) :: BFRep -> BFRep -> Bool
Ord BFRep Source #
Instance details Defined in LibBF.Mutable Methods compare :: BFRep -> BFRep -> Ordering (<) :: BFRep -> BFRep -> Bool (<=) :: BFRep -> BFRep -> Bool (>) :: BFRep -> BFRep -> Bool (>=) :: BFRep -> BFRep -> Bool max :: BFRep -> BFRep -> BFRep min :: BFRep -> BFRep -> BFRep
Hashable BFRep Source #
Instance details Defined in LibBF.Mutable Methods hashWithSalt :: Int -> BFRep -> Int hash :: BFRep -> Int

data BFNum Source #

Representations for unsigned floating point numbers.

Constructors

Zero	zero
Num Integer !Int64	x * 2 ^ y
Inf	infinity

Instances

Instances details

Data BFNum Source #
Instance details Defined in LibBF.Mutable Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BFNum -> c BFNum gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BFNum toConstr :: BFNum -> Constr dataTypeOf :: BFNum -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BFNum) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BFNum) gmapT :: (forall b. Data b => b -> b) -> BFNum -> BFNum gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BFNum -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BFNum -> r gmapQ :: (forall d. Data d => d -> u) -> BFNum -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> BFNum -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> BFNum -> m BFNum gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BFNum -> m BFNum gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BFNum -> m BFNum
Show BFNum Source #
Instance details Defined in LibBF.Mutable Methods showsPrec :: Int -> BFNum -> ShowS show :: BFNum -> String showList :: [BFNum] -> ShowS
Eq BFNum Source #
Instance details Defined in LibBF.Mutable Methods (==) :: BFNum -> BFNum -> Bool (/=) :: BFNum -> BFNum -> Bool
Ord BFNum Source #
Instance details Defined in LibBF.Mutable Methods compare :: BFNum -> BFNum -> Ordering (<) :: BFNum -> BFNum -> Bool (<=) :: BFNum -> BFNum -> Bool (>) :: BFNum -> BFNum -> Bool (>=) :: BFNum -> BFNum -> Bool max :: BFNum -> BFNum -> BFNum min :: BFNum -> BFNum -> BFNum
Hashable BFNum Source #
Instance details Defined in LibBF.Mutable Methods hashWithSalt :: Int -> BFNum -> Int hash :: BFNum -> Int

Configuration

module LibBF.Opts

toChunks :: Integer -> [LimbT] Source #

Chunk a non-negative integer into words, least significatn first