numbers-3000.2.0.2: Various number types
Safe HaskellSafe
LanguageHaskell98

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

Instances details
Enum CReal Source # 
Instance details

Defined in Data.Number.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

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.