Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Data.Number.CReal
Documentation
The CReal
type implements (constructive) real numbers.
Note that the comparison operations on CReal
may diverge
since it is (by necessity) impossible to implementent them
correctly and always terminating.
This implementation is really David Lester's ERA package.
Instances
Enum CReal Source # | |
Eq CReal Source # | |
Floating CReal Source # | |
Fractional CReal Source # | |
Defined in Data.Number.CReal | |
Num CReal Source # | |
Ord CReal Source # | |
Read CReal Source # | |
Defined in Data.Number.CReal | |
Real CReal Source # | |
Defined in Data.Number.CReal Methods toRational :: CReal -> Rational | |
RealFloat CReal Source # | |
Defined in Data.Number.CReal Methods floatRadix :: CReal -> Integer floatDigits :: CReal -> Int floatRange :: CReal -> (Int, Int) decodeFloat :: CReal -> (Integer, Int) encodeFloat :: Integer -> Int -> CReal significand :: CReal -> CReal scaleFloat :: Int -> CReal -> CReal isInfinite :: CReal -> Bool isDenormalized :: CReal -> Bool isNegativeZero :: CReal -> Bool | |
RealFrac CReal Source # | |
Show CReal Source # | |