Числовые

Авторские права	(с) Университет Глазго 2002
Лицензия	BSD-стиль (см. файл libraries/base/LICENSE)
Поддержка	libraries@haskell.org
Устойчивость	предварительная
Переносимость	переносимая
Безопасный Haskell	Достоверный
Язык	Haskell2010

Отображение

showSigned Исходный код

Преобразует значение, которое может быть отрицательным Real в строку.

showIntAtBase :: (Integral a, Show a) => a -> (Int -> Char) -> a -> ShowS Исходный код

Отображает неотрицательное Integral число, используя базу, указанную в первом аргументе, и представление символов, указанное во втором.

showInt :: Integral a => a -> ShowS Исходный код

Отображает неотрицательные Integral числа в системе счисления по основанию 10.

showHex :: (Integral a, Show a) => a -> ShowS Исходный код

Отображает неотрицательные Integral числа в шестнадцатеричной системе.

showOct :: (Integral a, Show a) => a -> ShowS Исходный код

Отображает неотрицательные Integral числа в восьмеричной системе.

showEFloat :: RealFloat a => Maybe Int -> a -> ShowS Исходный код

Отображает знаковое RealFloat значение с использованием экспоненциальной (научной) нотации (например, 2.45e2, 1.5e-3).

В вызове showEFloat digs val, если digs равно Nothing, значение отображается с полной точностью; если digs равно Just d, отображается не более d цифр после запятой.

showFFloat :: RealFloat a => Maybe Int -> a -> ShowS Исходный код

Отображает знаковое RealFloat значение с использованием стандартной десятичной нотации (например, 245000, 0.0015).

В вызове showFFloat digs val, если digs равно Nothing, значение отображается с полной точностью; если digs равно Just d, отображается не более d цифр после запятой.

showGFloat :: RealFloat a => Maybe Int -> a -> ShowS Исходный код

Отображает знаковое RealFloat значение с использованием стандартной десятичной нотации для аргументов, абсолютное значение которых лежит между 0.1 и 9,999,999, и экспоненциальной нотации в противном случае.

В вызове showGFloat digs val, если digs равно Nothing, значение отображается с полной точностью; если digs равно Just d, отображается не более d цифр после запятой.

showFFloatAlt :: RealFloat a => Maybe Int -> a -> ShowS Исходный код

Отображает знаковое RealFloat значение с использованием стандартной десятичной нотации (например, 245000, 0.0015).

Это ведет себя как showFFloat, за исключением того, что десятичная точка всегда гарантируется, даже если она не нужна.

С версии: base-4.7.0.0

showGFloatAlt :: RealFloat a => Maybe Int -> a -> ShowS Исходный код

Отображает знаковое RealFloat значение с использованием стандартной десятичной нотации для аргументов, абсолютное значение которых лежит между 0.1 и 9,999,999, и экспоненциальной нотации в противном случае.

Это ведет себя как showFFloat, за исключением того, что десятичная точка всегда гарантируется, даже если она не нужна.

С версии: base-4.7.0.0

showFloat :: RealFloat a => a -> ShowS Исходный код

Отображает знаковое RealFloat значение с полной точностью с использованием стандартной десятичной нотации для аргументов, абсолютное значение которых лежит между 0.1 и 9,999,999, и экспоненциальной нотации в противном случае.

showHFloat :: RealFloat a => a -> ShowS Исходный код

Отображает значение с плавающей запятой в шестнадцатеричном формате, аналогично спецификатору %a в C printf.

>>> showHFloat (212.21 :: Double) ""
"0x1.a86b851eb851fp7"
>>> showHFloat (-12.76 :: Float) ""
"-0x1.9851ecp3"
>>> showHFloat (-0 :: Double) ""
"-0x0p+0"

floatToDigits :: RealFloat a => Integer -> a -> ([Int], Int) Исходный код

floatToDigits принимает основание и неотрицательное RealFloat число и возвращает список цифр и показатель степени. В частности, если x>=0, и

floatToDigits base x = ([d1,d2,...,dn], e)

тогда

1. n >= 1

2. x = 0.d1d2...dn * (base**e)

3. 0 <= di <= base-1

Чтение

Примечание: readInt является «дуалом» showIntAtBase, а readDec является «дуалом» showInt. Несогласованное именование — историческая случайность.

readSigned :: Real a => ReadS a -> ReadS a Исходный код

Считывает значение со знаком Real, заданное считывателем для беззнакового значения.

readInt Исходный код

Читает беззнаковое Integral значение в произвольной базе.

readDec :: (Eq a, Num a) => ReadS a Source

Читает беззнаковое число в десятичной записи.

>>> readDec "0644"
[(644,"")]

readOct :: (Eq a, Num a) => ReadS a Source

Читает беззнаковое число в восьмеричной записи.

>>> readOct "0644"
[(420,"")]

readHex :: (Eq a, Num a) => ReadS a Source

Читает беззнаковое число в шестнадцатеричной записи. Допускаются как прописные, так и строчные буквы.

>>> readHex "deadbeef"
[(3735928559,"")]

readFloat :: RealFrac a => ReadS a Source

Читает беззнаковое RealFrac значение, выраженное в десятичной экспоненциальной записи.

lexDigits :: ReadS String Source

Читает непустую строку десятичных цифр.

Разное

fromRat :: RealFloat a => Rational -> a Source

Преобразует Rational значение в любой тип класса RealFloat.

class Fractional a => Floating a where Source

Тригонометрические и гиперболические функции и связанные с ними функции.

В отчёте по Haskell не определены законы для Floating. Однако, (+), (*) и exp обычно ожидается, что они определяют экспоненциальное поле и обладают следующими свойствами:

• exp (a + b) = exp a * exp b
• exp (fromInteger 0) = fromInteger 1