Safe Haskell	Safe
Language	Haskell98

Data.Number.CReal

Synopsis

Documentation

data CReal Source #

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 #
Methods succ :: CReal -> CReal # pred :: CReal -> CReal # toEnum :: Int -> CReal # fromEnum :: CReal -> Int # enumFrom :: CReal -> [CReal] # enumFromThen :: CReal -> CReal -> [CReal] # enumFromTo :: CReal -> CReal -> [CReal] # enumFromThenTo :: CReal -> CReal -> CReal -> [CReal] #
Eq CReal Source #
Methods (==) :: CReal -> CReal -> Bool # (/=) :: CReal -> CReal -> Bool #
Floating CReal Source #
Methods pi :: CReal # exp :: CReal -> CReal # log :: CReal -> CReal # sqrt :: CReal -> CReal # (**) :: CReal -> CReal -> CReal # logBase :: CReal -> CReal -> CReal # sin :: CReal -> CReal # cos :: CReal -> CReal # tan :: CReal -> CReal # asin :: CReal -> CReal # acos :: CReal -> CReal # atan :: CReal -> CReal # sinh :: CReal -> CReal # cosh :: CReal -> CReal # tanh :: CReal -> CReal # asinh :: CReal -> CReal # acosh :: CReal -> CReal # atanh :: CReal -> CReal # log1p :: CReal -> CReal # expm1 :: CReal -> CReal # log1pexp :: CReal -> CReal # log1mexp :: CReal -> CReal #
Fractional CReal Source #
Methods (/) :: CReal -> CReal -> CReal # recip :: CReal -> CReal # fromRational :: Rational -> CReal #
Num CReal Source #
Methods (+) :: CReal -> CReal -> CReal # (-) :: CReal -> CReal -> CReal # (*) :: CReal -> CReal -> CReal # negate :: CReal -> CReal # abs :: CReal -> CReal # signum :: CReal -> CReal # fromInteger :: Integer -> CReal #
Ord CReal Source #
Methods compare :: CReal -> CReal -> Ordering # (<) :: CReal -> CReal -> Bool # (<=) :: CReal -> CReal -> Bool # (>) :: CReal -> CReal -> Bool # (>=) :: CReal -> CReal -> Bool # max :: CReal -> CReal -> CReal # min :: CReal -> CReal -> CReal #
Read CReal Source #
Methods readsPrec :: Int -> ReadS CReal # readList :: ReadS [CReal] # readPrec :: ReadPrec CReal # readListPrec :: ReadPrec [CReal] #
Real CReal Source #
Methods toRational :: CReal -> Rational #
RealFloat CReal Source #
Methods floatRadix :: CReal -> Integer # floatDigits :: CReal -> Int # floatRange :: CReal -> (Int, Int) # decodeFloat :: CReal -> (Integer, Int) # encodeFloat :: Integer -> Int -> CReal # exponent :: CReal -> Int # significand :: CReal -> CReal # scaleFloat :: Int -> CReal -> CReal # isNaN :: CReal -> Bool # isInfinite :: CReal -> Bool # isDenormalized :: CReal -> Bool # isNegativeZero :: CReal -> Bool # isIEEE :: CReal -> Bool # atan2 :: CReal -> CReal -> CReal #
RealFrac CReal Source #
Methods properFraction :: Integral b => CReal -> (b, CReal) # truncate :: Integral b => CReal -> b # round :: Integral b => CReal -> b # ceiling :: Integral b => CReal -> b # floor :: Integral b => CReal -> b #
Show CReal Source #
Methods showsPrec :: Int -> CReal -> ShowS # show :: CReal -> String # showList :: [CReal] -> ShowS #

showCReal Source #

Arguments

:: Int	The number of decimals
-> CReal	The real number
-> String	The resulting string

The showCReal function connverts a CReal to a String.