Spec-Zone.ru › Haskell 9

Числовые

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

Содержание

  • Отображение
  • Чтение
  • Разное

Описание

Разное, в основном функции для чтения и отображения значений типа RealFloat.

Отображение

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

Аргументы

:: 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)

то

  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 Исходный код

Аргументы

:: Num a
=> a

основание

-> (Char -> Bool)

предикат, определяющий допустимые цифры в данной системе счисления

-> (Char -> Int)

функция, преобразующая допустимый символ цифры в 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

Минимальное полное определение

pi, exp, log, sin, cos, asin, acos, atan, sinh, cosh, asinh, acosh, atanh

Методы

pi :: a Источник

exp :: a -> a Источник

log :: a -> a Источник

sqrt :: a -> a Источник

(**) :: a -> a -> a infixr 8 Источник

logBase :: a -> a -> a Источник

sin :: a -> a Источник

cos :: a -> a Источник

tan :: a -> a Источник

asin :: a -> a Источник

acos :: a -> a Источник

atan :: a -> a Источник

sinh :: a -> a Источник

cosh :: a -> a Источник

tanh :: a -> a Источник

asinh :: a -> a Источник

acosh :: a -> a Источник

atanh :: a -> a Источник

log1p :: a -> a Источник

log1p x вычисляет log (1 + x), но обеспечивает более точные результаты для малых (по абсолютной величине) значений x при возможности.

С: base-4.9.0.0

expm1 :: a -> a Источник

expm1 x вычисляет exp x - 1, но обеспечивает более точные результаты для малых (по абсолютной величине) значений x при возможности.

С: base-4.9.0.0

log1pexp :: a -> a Источник

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 :: a -> a Источник

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

Методы

pi :: CDouble Источник

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 Источник

log1pexp :: CDouble -> CDouble Источник

log1mexp :: 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

Методы

pi :: 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 Источник

log1pexp :: Float -> Float Источник

log1mexp :: Float -> Float Источник

RealFloat a => Floating (Complex a) Источник

С версии: base-2.1

Instance details

Определено в Data.Complex

Методы

pi :: Complex a Source

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

log1pexp :: Complex a -> Complex a Source

log1mexp :: Complex a -> Complex a Source

Floating a => Floating (Identity a) Source

С версии: base-4.9.0.0

Подробности экземпляра

Определено в GHC.Internal.Data.Functor.Identity

Краткое описание методов

pi :: Identity a Source

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

log1pexp :: Identity a -> Identity a Source

log1mexp :: Identity a -> Identity a Source

Floating a => Floating (Down a) Source

С версии: base-4.14.0.0

Instance details

Определено в GHC.Internal.Data.Ord

Методы

pi :: Down a Source

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

log1pexp :: Down a -> Down a Source

log1mexp :: Down a -> Down a Source

Floating a => Floating (Op a b) Source
Instance details

Определено в Data.Functor.Contravariant

Краткое описание методов

pi :: Op a b Source

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

log1pexp :: Op a b -> Op a b Source

log1mexp :: Op a b -> Op a b Source

Floating a => Floating (Const a b) Source

С версии: base-4.9.0.0

Подробности экземпляра

Определено в GHC.Internal.Data.Functor.Const

Методы

pi :: Const a b Источник

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 Источник

log1pexp :: Const a b -> Const a b Источник

log1mexp :: Const a b -> Const a b Источник

Floating (f (g a)) => Floating (Compose f g a) Источник

С момента: base-4.20.0.0

Подробности экземпляра

Определено в Data.Functor.Compose

Методы

pi :: Compose f g a Исходный код

exp :: Compose f g a -> Compose f g a Исходный код

log :: Compose f g a -> Compose f g a Исходный код

sqrt :: Compose f g a -> Compose f g a Исходный код

(**) :: Compose f g a -> Compose f g a -> Compose f g a Исходный код

logBase :: Compose f g a -> Compose f g a -> Compose f g a Исходный код

sin :: Compose f g a -> Compose f g a Исходный код

cos :: Compose f g a -> Compose f g a Исходный код

tan :: Compose f g a -> Compose f g a Исходный код

asin :: Compose f g a -> Compose f g a Исходный код

acos :: Compose f g a -> Compose f g a Исходный код

atan :: Compose f g a -> Compose f g a Исходный код

sinh :: Compose f g a -> Compose f g a Исходный код

cosh :: Compose f g a -> Compose f g a Исходный код

tanh :: Compose f g a -> Compose f g a Исходный код

asinh :: Compose f g a -> Compose f g a Исходный код

acosh :: Compose f g a -> Compose f g a Исходный код

atanh :: Compose f g a -> Compose f g a Исходный код

log1p :: Compose f g a -> Compose f g a Исходный код

expm1 :: Compose f g a -> Compose f g a Исходный код

log1pexp :: Compose f g a -> Compose f g a Исходный код

log1mexp :: Compose f g a -> Compose f g a Исходный код

© 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

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API