Agda-2.6.1: A dependently typed functional programming language and proof assistant

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 #

floatEq :: Double -> Double -> Bool Source #

floatLt :: Double -> Double -> Bool Source #

toStringWithoutDotZero :: Double -> String Source #

Remove suffix .0 from printed floating point number.