Safe Haskell	Safe
Language	Haskell98

Data.Number.CReal

Synopsis

data CReal
showCReal :: Int -> CReal -> String

Documentation

data CReal #

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 #
Instance details Defined in Data.Number.CReal 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 #
Instance details Defined in Data.Number.CReal Methods (==) :: CReal -> CReal -> Bool # (/=) :: CReal -> CReal -> Bool #
Floating CReal #
Instance details Defined in Data.Number.CReal 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 #
Instance details Defined in Data.Number.CReal Methods (/) :: CReal -> CReal -> CReal # recip :: CReal -> CReal # fromRational :: Rational -> CReal #
Num CReal #
Instance details Defined in Data.Number.CReal Methods (+) :: CReal -> CReal -> CReal # (-) :: CReal -> CReal -> CReal # (*) :: CReal -> CReal -> CReal # negate :: CReal -> CReal # abs :: CReal -> CReal # signum :: CReal -> CReal # fromInteger :: Integer -> CReal #
Ord CReal #
Instance details Defined in Data.Number.CReal 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 #
Instance details Defined in Data.Number.CReal Methods readsPrec :: Int -> ReadS CReal # readList :: ReadS [CReal] # readPrec :: ReadPrec CReal # readListPrec :: ReadPrec [CReal] #
Real CReal #
Instance details Defined in Data.Number.CReal Methods toRational :: CReal -> Rational #
RealFloat CReal #
Instance details Defined in Data.Number.CReal 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 #
Instance details Defined in Data.Number.CReal 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 #
Instance details Defined in Data.Number.CReal Methods showsPrec :: Int -> CReal -> ShowS # show :: CReal -> String # showList :: [CReal] -> ShowS #

showCReal #

Arguments

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

The showCReal function connverts a CReal to a String.