numbers-3000.2.0.2: Various number types
Safe HaskellSafe-Inferred
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

Floating CReal Source # 
Instance details

Defined in Data.Number.CReal

RealFloat CReal Source # 
Instance details

Defined in Data.Number.CReal

Num CReal Source # 
Instance details

Defined in Data.Number.CReal

Read CReal Source # 
Instance details

Defined in Data.Number.CReal

Fractional CReal Source # 
Instance details

Defined in Data.Number.CReal

Real CReal Source # 
Instance details

Defined in Data.Number.CReal

RealFrac CReal Source # 
Instance details

Defined in Data.Number.CReal

Methods

properFraction :: Integral b => CReal -> (b, CReal) Source #

truncate :: Integral b => CReal -> b Source #

round :: Integral b => CReal -> b Source #

ceiling :: Integral b => CReal -> b Source #

floor :: Integral b => CReal -> b Source #

Show CReal Source # 
Instance details

Defined in Data.Number.CReal

Eq CReal Source # 
Instance details

Defined in Data.Number.CReal

Methods

(==) :: CReal -> CReal -> Bool Source #

(/=) :: CReal -> CReal -> Bool Source #

Ord CReal Source # 
Instance details

Defined in Data.Number.CReal

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.