Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Utils.Float
Description
Logically consistent comparison of floating point numbers.
Synopsis
- normaliseNaN :: Double -> Double
- doubleToWord64 :: Double -> Word64
- floatEq :: Double -> Double -> Bool
- floatLt :: Double -> Double -> Bool
- toStringWithoutDotZero :: Double -> String
Documentation
normaliseNaN :: Double -> Double Source #
doubleToWord64 :: Double -> Word64 Source #
toStringWithoutDotZero :: Double -> String Source #
Remove suffix .0
from printed floating point number.