| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Cryptol.Eval.Concrete.FloatHelpers
Synopsis
- data BF = BF {}
- fpOpts :: Integer -> Integer -> RoundMode -> BFOpts
- fpRound :: Integer -> Either EvalError RoundMode
- fpCheckStatus :: (BigFloat, Status) -> BigFloat
- fpPP :: PPOpts -> BF -> Doc
- fpLit :: Integer -> Integer -> Rational -> BF
- floatFromRational :: Integer -> Integer -> RoundMode -> Rational -> BF
- floatToRational :: String -> BF -> Either EvalError Rational
- floatToInteger :: String -> RoundMode -> BF -> Either EvalError Integer
- floatFromBits :: Integer -> Integer -> Integer -> BF
- floatFromBits' :: Integer -> Integer -> Integer -> BigFloat
- floatToBits :: Integer -> Integer -> BigFloat -> Integer
Documentation
Constructors
| BF | |
Fields
| |
fpOpts :: Integer -> Integer -> RoundMode -> BFOpts Source #
Make LibBF options for the given precision and rounding mode.
fpRound :: Integer -> Either EvalError RoundMode Source #
Mapping from the rounding modes defined in the cry to
the rounding modes of LibBF.
fpCheckStatus :: (BigFloat, Status) -> BigFloat Source #
Check that we didn't get an unexpected status.
Make a literal
floatFromRational :: Integer -> Integer -> RoundMode -> Rational -> BF Source #
Make a floating point number from a rational, using the given rounding mode
floatToRational :: String -> BF -> Either EvalError Rational Source #
Convert a floating point number to a rational, if possible.
floatToInteger :: String -> RoundMode -> BF -> Either EvalError Integer Source #
Convert a floating point number to an integer, if possible.
Make a float using "raw" bits.