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

Agda.Utils.Float

Description

Logically consistent comparison of floating point numbers.

Synopsis

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.