Safe Haskell	Safe
Language	Haskell98

Data.Number.CReal

Synopsis

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

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

Instances details

Enum CReal Source #
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 Source #
Instance details Defined in Data.Number.CReal Methods (==) :: CReal -> CReal -> Bool (/=) :: CReal -> CReal -> Bool
Floating CReal Source #
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 Source #
Instance details Defined in Data.Number.CReal Methods (/) :: CReal -> CReal -> CReal recip :: CReal -> CReal fromRational :: Rational -> CReal
Num CReal Source #
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 Source #
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 Source #
Instance details Defined in Data.Number.CReal Methods readsPrec :: Int -> ReadS CReal readList :: ReadS [CReal] readPrec :: ReadPrec CReal readListPrec :: ReadPrec [CReal]
Real CReal Source #
Instance details Defined in Data.Number.CReal Methods toRational :: CReal -> Rational
RealFloat CReal Source #
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 Source #
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 Source #
Instance details Defined in Data.Number.CReal 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.