Числовые
| Авторские права | (c) Университет Глазго 2002 |
|---|---|
| Лицензия | BSD-стиль (см. файл libraries/base/LICENSE) |
| Поддержка | libraries@haskell.org |
| Устойчивость | временная |
| Переносимость | переносимый |
| Безопасный Haskell | Безопасный |
| Язык | Haskell2010 |
Содержание
Описание
Разное, в основном функции для чтения и отображения значений типа RealFloat.
Отображение
Аргументы
| :: Real a | |
| => (a -> ShowS) | функция, которая может отображать беззнаковые значения |
| -> Int | приоритет окружающего контекста |
| -> a | значение для отображения |
| -> ShowS |
Преобразует возможно отрицательное значение Real в строку.
showIntAtBase :: Integral a => a -> (Int -> Char) -> a -> ShowS Исходный код
Отображает неотрицательное число Integral, используя основание, заданное первым аргументом, и представление символов, заданное вторым.
showInt :: Integral a => a -> ShowS Исходный код
Отображает неотрицательные числа Integral в десятичной системе.
showBin :: Integral a => a -> ShowS Исходный код
Отображает неотрицательные числа Integral в двоичной системе.
showHex :: Integral a => a -> ShowS Исходный код
Отображает неотрицательные числа Integral в шестнадцатеричной системе.
showOct :: Integral 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's printf.
>>> showHFloat (212.21 :: Double) "" "0x1.a86b851eb851fp7" >>> showHFloat (-12.76 :: Float) "" "-0x1.9851ecp3" >>> showHFloat (-0 :: Double) "" "-0x0p+0"
С версии: base-4.11.0.0
floatToDigits :: RealFloat a => Integer -> a -> ([Int], Int) Исходный код
floatToDigits принимает основание и неотрицательное число RealFloat, и возвращает список цифр и экспоненту. В частности, если x>=0, и
floatToDigits base x = ([d1,d2,...,dn], e)
то
n >= 1
x = 0.d1d2...dn * (base**e)
0 <= di <= base-1
Чтение
Примечание: readInt — это 'дуальное' значение showIntAtBase, а readDec — 'дуальное' значение showInt. Несогласованное именование — историческая случайность.
readSigned :: Real a => ReadS a -> ReadS a Исходный код
Считывает знаковое значение Real, задавая считыватель для беззнакового значения.
Аргументы
| :: Num a | |
| => a | основание |
| -> (Char -> Bool) | предикат, определяющий допустимые цифры в данной системе счисления |
| -> (Char -> Int) | функция, преобразующая допустимый символ цифры в |
| -> ReadS a |
Считывает положительное целое значение в произвольной системе счисления.
readBin :: (Eq a, Num a) => ReadS a Источник
Считывает целое число в двоичной записи.
>>> readBin "10011" [(19,"")]
readDec :: (Eq a, Num a) => ReadS a Источник
Считывает целое число в десятичной записи.
>>> readDec "0644" [(644,"")]
readOct :: (Eq a, Num a) => ReadS a Источник
Считывает целое число в восьмеричной записи.
>>> readOct "0644" [(420,"")]
readHex :: (Eq a, Num a) => ReadS a Источник
Считывает целое число в шестнадцатеричной записи. Допускаются заглавные и строчные буквы.
>>> readHex "deadbeef" [(3735928559,"")]
readFloat :: RealFrac a => ReadS a Источник
Считывает положительное RealFrac значение, выраженное в десятичной экспоненциальной форме.
Обратите внимание, что эта функция тратит время, линейно зависящее от величины входных данных, которая может экспоненциально расти с размером входных данных (например, "1e100000000" — очень большое число, имеющее очень маленькую текстовую форму). По этой причине пользователям следует избегать использования этой функции с ненадежными входными данными. Пользователям, которым необходимо анализировать числа с плавающей точкой (например, Float) рекомендуется вместо этого использовать read, которая не страдает от этой проблемы.
lexDigits :: ReadS String Источник
Считывает непустую строку десятичных цифр.
Разное
fromRat :: RealFloat a => Rational -> a Источник
Преобразует значение Rational в любой тип из класса RealFloat.
class Fractional a => Floating a where Источник
Тригонометрические и гиперболические функции и связанные с ними функции.
В отчёте Haskell не определены законы для Floating. Однако (+), (*) и exp обычно ожидается, что они определят экспоненциальное поле и имеют следующие свойства:
-
exp (a + b)=exp a * exp b -
exp (fromInteger 0)=fromInteger 1
Методы
(**) :: a -> a -> a infixr 8 Источник
logBase :: a -> a -> a Источник
log1p x вычисляет log (1 + x), но обеспечивает более точные результаты для малых (по абсолютной величине) значений x при возможности.
С: base-4.9.0.0
expm1 x вычисляет exp x - 1, но обеспечивает более точные результаты для малых (по абсолютной величине) значений x при возможности.
С: base-4.9.0.0
log1pexp x вычисляет log (1 + exp x), но обеспечивает более точные результаты при возможности.
Примеры:
- если
x— большое отрицательное число,log (1 + exp x)будет неточным по причинам, указанным вlog1p. - если
exp xблизко к-1,log (1 + exp x)будет неточным по причинам, указанным вexpm1.
С: base-4.9.0.0
log1mexp x вычисляет log (1 - exp x), но обеспечивает более точные результаты при возможности.
Примеры:
- если
x— большое отрицательное число,log (1 - exp x)будет неточным по причинам, указанным вlog1p. - если
exp xблизко к1,log (1 - exp x)будет неточным по причинам, указанным вexpm1.
С: base-4.9.0.0
Экземпляры
| Floating CDouble Источник | |
Определено в GHC.Internal.Foreign.C.Types Методыexp :: CDouble -> CDouble Источник log :: CDouble -> CDouble Источник sqrt :: CDouble -> CDouble Источник (**) :: CDouble -> CDouble -> CDouble Источник logBase :: CDouble -> CDouble -> CDouble Источник sin :: CDouble -> CDouble Источник cos :: CDouble -> CDouble Источник tan :: CDouble -> CDouble Источник asin :: CDouble -> CDouble Источник acos :: CDouble -> CDouble Источник atan :: CDouble -> CDouble Источник sinh :: CDouble -> CDouble Источник cosh :: CDouble -> CDouble Источник tanh :: CDouble -> CDouble Источник asinh :: CDouble -> CDouble Источник acosh :: CDouble -> CDouble Источник atanh :: CDouble -> CDouble Источник log1p :: CDouble -> CDouble Источник expm1 :: CDouble -> CDouble Источник | |
| Floating CFloat Источник | |
Определено в GHC.Internal.Foreign.C.Types Методыpi :: CFloat Исходный код exp :: CFloat -> CFloat Исходный код log :: CFloat -> CFloat Исходный код sqrt :: CFloat -> CFloat Исходный код (**) :: CFloat -> CFloat -> CFloat Исходный код logBase :: CFloat -> CFloat -> CFloat Исходный код sin :: CFloat -> CFloat Исходный код cos :: CFloat -> CFloat Исходный код tan :: CFloat -> CFloat Исходный код asin :: CFloat -> CFloat Исходный код acos :: CFloat -> CFloat Исходный код atan :: CFloat -> CFloat Исходный код sinh :: CFloat -> CFloat Исходный код cosh :: CFloat -> CFloat Исходный код tanh :: CFloat -> CFloat Исходный код asinh :: CFloat -> CFloat Исходный код acosh :: CFloat -> CFloat Исходный код atanh :: CFloat -> CFloat Исходный код log1p :: CFloat -> CFloat Исходный код expm1 :: CFloat -> CFloat Исходный код log1pexp :: CFloat -> CFloat Исходный код log1mexp :: CFloat -> CFloat Исходный код | |
| Floating Double Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Float Методыpi :: Double Исходный код exp :: Double -> Double Исходный код log :: Double -> Double Исходный код sqrt :: Double -> Double Исходный код (**) :: Double -> Double -> Double Исходный код logBase :: Double -> Double -> Double Исходный код sin :: Double -> Double Исходный код cos :: Double -> Double Исходный код tan :: Double -> Double Исходный код asin :: Double -> Double Исходный код acos :: Double -> Double Исходный код atan :: Double -> Double Исходный код sinh :: Double -> Double Исходный код cosh :: Double -> Double Исходный код tanh :: Double -> Double Исходный код asinh :: Double -> Double Исходный код acosh :: Double -> Double Исходный код atanh :: Double -> Double Исходный код log1p :: Double -> Double Исходный код expm1 :: Double -> Double Исходный код log1pexp :: Double -> Double Исходный код log1mexp :: Double -> Double Исходный код | |
| Floating Float Исходный код | С момента: base-2.1 |
Определено в GHC.Internal.Float Методыexp :: Float -> Float Источник log :: Float -> Float Источник sqrt :: Float -> Float Источник (**) :: Float -> Float -> Float Источник logBase :: Float -> Float -> Float Источник sin :: Float -> Float Источник cos :: Float -> Float Источник tan :: Float -> Float Источник asin :: Float -> Float Источник acos :: Float -> Float Источник atan :: Float -> Float Источник sinh :: Float -> Float Источник cosh :: Float -> Float Источник tanh :: Float -> Float Источник asinh :: Float -> Float Источник acosh :: Float -> Float Источник atanh :: Float -> Float Источник log1p :: Float -> Float Источник expm1 :: Float -> Float Источник | |
| RealFloat a => Floating (Complex a) Источник | С версии: base-2.1 |
Определено в Data.Complex Методыexp :: Complex a -> Complex a Source log :: Complex a -> Complex a Source sqrt :: Complex a -> Complex a Source (**) :: Complex a -> Complex a -> Complex a Source logBase :: Complex a -> Complex a -> Complex a Source sin :: Complex a -> Complex a Source cos :: Complex a -> Complex a Source tan :: Complex a -> Complex a Source asin :: Complex a -> Complex a Source acos :: Complex a -> Complex a Source atan :: Complex a -> Complex a Source sinh :: Complex a -> Complex a Source cosh :: Complex a -> Complex a Source tanh :: Complex a -> Complex a Source asinh :: Complex a -> Complex a Source acosh :: Complex a -> Complex a Source atanh :: Complex a -> Complex a Source log1p :: Complex a -> Complex a Source expm1 :: Complex a -> Complex a Source | |
| Floating a => Floating (Identity a) Source | С версии: base-4.9.0.0 |
Определено в GHC.Internal.Data.Functor.Identity Краткое описание методовexp :: Identity a -> Identity a Source log :: Identity a -> Identity a Source sqrt :: Identity a -> Identity a Source (**) :: Identity a -> Identity a -> Identity a Source logBase :: Identity a -> Identity a -> Identity a Source sin :: Identity a -> Identity a Source cos :: Identity a -> Identity a Source tan :: Identity a -> Identity a Source asin :: Identity a -> Identity a Source acos :: Identity a -> Identity a Source atan :: Identity a -> Identity a Source sinh :: Identity a -> Identity a Source cosh :: Identity a -> Identity a Source tanh :: Identity a -> Identity a Source asinh :: Identity a -> Identity a Source acosh :: Identity a -> Identity a Source atanh :: Identity a -> Identity a Source log1p :: Identity a -> Identity a Source expm1 :: Identity a -> Identity a Source | |
| Floating a => Floating (Down a) Source | С версии: base-4.14.0.0 |
Определено в GHC.Internal.Data.Ord Методыexp :: Down a -> Down a Source log :: Down a -> Down a Source sqrt :: Down a -> Down a Source (**) :: Down a -> Down a -> Down a Source logBase :: Down a -> Down a -> Down a Source sin :: Down a -> Down a Source cos :: Down a -> Down a Source tan :: Down a -> Down a Source asin :: Down a -> Down a Source acos :: Down a -> Down a Source atan :: Down a -> Down a Source sinh :: Down a -> Down a Source cosh :: Down a -> Down a Source tanh :: Down a -> Down a Source asinh :: Down a -> Down a Source acosh :: Down a -> Down a Source atanh :: Down a -> Down a Source log1p :: Down a -> Down a Source expm1 :: Down a -> Down a Source | |
| Floating a => Floating (Op a b) Source | |
Определено в Data.Functor.Contravariant Краткое описание методовexp :: Op a b -> Op a b Source log :: Op a b -> Op a b Source sqrt :: Op a b -> Op a b Source (**) :: Op a b -> Op a b -> Op a b Source logBase :: Op a b -> Op a b -> Op a b Source sin :: Op a b -> Op a b Source cos :: Op a b -> Op a b Source tan :: Op a b -> Op a b Source asin :: Op a b -> Op a b Source acos :: Op a b -> Op a b Source atan :: Op a b -> Op a b Source sinh :: Op a b -> Op a b Source cosh :: Op a b -> Op a b Source tanh :: Op a b -> Op a b Source asinh :: Op a b -> Op a b Source acosh :: Op a b -> Op a b Source atanh :: Op a b -> Op a b Source log1p :: Op a b -> Op a b Source expm1 :: Op a b -> Op a b Source | |
| Floating a => Floating (Const a b) Source | С версии: base-4.9.0.0 |
Определено в GHC.Internal.Data.Functor.Const Методыexp :: Const a b -> Const a b Источник log :: Const a b -> Const a b Источник sqrt :: Const a b -> Const a b Источник (**) :: Const a b -> Const a b -> Const a b Источник logBase :: Const a b -> Const a b -> Const a b Источник sin :: Const a b -> Const a b Источник cos :: Const a b -> Const a b Источник tan :: Const a b -> Const a b Источник asin :: Const a b -> Const a b Источник acos :: Const a b -> Const a b Источник atan :: Const a b -> Const a b Источник sinh :: Const a b -> Const a b Источник cosh :: Const a b -> Const a b Источник tanh :: Const a b -> Const a b Источник asinh :: Const a b -> Const a b Источник acosh :: Const a b -> Const a b Источник atanh :: Const a b -> Const a b Источник log1p :: Const a b -> Const a b Источник expm1 :: Const a b -> Const a b Источник | |
| Floating (f (g a)) => Floating (Compose f g a) Источник | С момента: base-4.20.0.0 |
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.12.1/docs/libraries/base-4.21.0.0-8e62/Numeric.html