Spec-Zone.ru › Haskell 9

GHC.Real

Авторские права (c) Университет Глазго 1994-2002
Лицензия см. libraries/base/LICENSE
Поддержка ghc-devs@haskell.org
Стабильность внутренняя
Переносимость непереносимый (Расширения GHC)
Safe Haskell Безопасный
Язык Haskell2010

Содержание

  • Классы
  • Преобразование
  • Форматирование
  • Предикаты
  • Арифметика
  • Ratio
  • Enum помощники
    • Создание
    • Проекция
    • Операции
  • Внутреннее

Описание

Типы Ratio и Rational, и классы Real, Fractional, Integral, и RealFrac.

Классы

class (Num a, Ord a) => Real a where Источник

Действительные числа.

Отчет Haskell не определяет законов для Real, однако экземпляры Real обычно ожидаются, чтобы придерживаться следующего закона:

Согласованность с fromRational
если тип также реализует Fractional, то fromRational является левым обратным элементом для toRational, т.е. fromRational (toRational i) = i

Закон не выполняется для Float, Double, CFloat, CDouble, и т.д., потому что эти типы содержат бесконечные значения, которые не могут быть обработаны через Rational.

Методы

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

Рациональное эквивалент его действительного аргумента с полной точностью.

Экземпляры
Подробности об экземплярах
Real CBool Исходный код
Подробности об экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CBool -> Rational Исходный код

Real CChar Исходный код
Подробности об экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CChar -> Rational Исходный код

Real CClock Исходный код
Подробности об экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CClock -> Rational Исходный код

Real CDouble Исходный код
Подробности об экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CDouble -> Rational Исходный код

Real CFloat Исходный код
Подробности об экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CFloat -> Rational Исходный код

Real CInt Исходный код
Подробности об экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CInt -> Rational Исходный код

Real CIntMax Исходный код
Подробности об экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CIntMax -> Rational Исходный код

Real CIntPtr Исходный код
Подробности об экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CIntPtr -> Rational Исходный код

Real CLLong Исходный код
Подробности об экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CLLong -> Rational Исходный код

Real CLong Исходный код
Подробности об экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CLong -> Rational Исходный код

Real CPtrdiff Исходный код
Подробности экземпляра

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CPtrdiff -> Rational Источник

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

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CSChar -> Rational Источник

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

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CSUSeconds -> Rational Источник

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

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CShort -> Rational Источник

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

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CSigAtomic -> Rational Источник

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

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CSize -> Rational Источник

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

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CTime -> Rational Источник

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

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CUChar -> Rational Источник

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

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CUInt -> Rational Источник

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

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CUIntMax -> Rational Источник

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

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CUIntPtr -> Rational Источник

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

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CULLong -> Rational Source

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

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CULong -> Rational Source

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

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CUSeconds -> Rational Source

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

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CUShort -> Rational Source

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

Определено в GHC.Internal.Foreign.C.Types

Методы

toRational :: CWchar -> Rational Source

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

Определено в GHC.Internal.Foreign.Ptr

Методы

toRational :: IntPtr -> Rational Source

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

Определено в GHC.Internal.Foreign.Ptr

Методы

toRational :: WordPtr -> Rational Source

Real Int16 Source

С момента: base-2.1
Подробности экземпляра

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

Методы

toRational :: Int16 -> Rational Source

Real Int32 Source

С момента: base-2.1
Подробности экземпляра

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

Методы

toRational :: Int32 -> Rational Source

Real Int64 Source

С момента: base-2.1
Подробности экземпляра

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

Методы

toRational :: Int64 -> Rational Source

Real Int8 Source

С момента: base-2.1
Подробности экземпляра

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

Методы

toRational :: Int8 -> Rational Источник

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

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CBlkCnt -> Rational Источник

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

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CBlkSize -> Rational Источник

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

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CCc -> Rational Источник

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

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CClockId -> Rational Источник

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

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CDev -> Rational Источник

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

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CFsBlkCnt -> Rational Источник

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

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CFsFilCnt -> Rational Источник

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

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CGid -> Rational Источник

END_OF_DOCUMENT_MARKER
Real CId Source
Instance details

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CId -> Rational Source

Real CIno Source
Instance details

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CIno -> Rational Source

Real CKey Source
Instance details

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CKey -> Rational Source

Real CMode Source
Instance details

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CMode -> Rational Source

Real CNfds Source
Instance details

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CNfds -> Rational Source

Real CNlink Source
Instance details

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CNlink -> Rational Source

Real COff Source
Instance details

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: COff -> Rational Source

Real CPid Source
Instance details

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CPid -> Rational Source

Real CRLim Source
Instance details

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CRLim -> Rational Source

Real CSocklen Source
Instance details

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CSocklen -> Rational Source

Real CSpeed Source
Instance details

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CSpeed -> Rational Source

Real CSsize Source
Instance details

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CSsize -> Rational Source

Real CTcflag Source
Instance details

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CTcflag -> Rational Source

Real CUid Source
Instance details

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: CUid -> Rational Source

Real Fd Source
Instance details

Определено в GHC.Internal.System.Posix.Types

Методы

toRational :: Fd -> Rational Source

Real Word16 Source

Since: base-2.1
Instance details

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

Методы

toRational :: Word16 -> Rational Source

Real Word32 Source

Since: base-2.1
Instance details

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

Методы

toRational :: Word32 -> Rational Source

Real Word64 Source

Since: base-2.1
Instance details

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

Методы

toRational :: Word64 -> Rational Источник

Real Word8 Источник

Since: base-2.1
Instance details

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

Методы

toRational :: Word8 -> Rational Источник

Real Integer Источник

Since: base-2.0.1
Instance details

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

Методы

toRational :: Integer -> Rational Источник

Real Natural Источник

Since: base-4.8.0.0
Instance details

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

Методы

toRational :: Natural -> Rational Источник

Real Int Источник

Since: base-2.0.1
Instance details

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

Методы

toRational :: Int -> Rational Источник

Real Word Источник

Since: base-2.1
Instance details

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

Методы

toRational :: Word -> Rational Источник

Real a => Real (Identity a) Источник

Since: base-4.9.0.0
Instance details

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

Методы

toRational :: Identity a -> Rational Источник

Real a => Real (Down a) Источник

Since: base-4.14.0.0
Instance details

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

Методы

toRational :: Down a -> Rational Источник

Integral a => Real (Ratio a) Источник

Since: base-2.0.1
Instance details

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

Методы

toRational :: Ratio a -> Rational Источник

HasResolution a => Real (Fixed a) Источник

Since: base-2.1
Instance details

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

Методы

toRational :: Fixed a -> Rational Источник

Real a => Real (Const a b) Источник

Since: base-4.9.0.0
Подробности экземпляра

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

Методы

toRational :: Const a b -> Рациональное Исходный код

Вещественный (f (g a)) => Вещественный (Compose f g a) Исходный код

С момента: base-4.19.0.0
Подробности экземпляра

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

Методы

toRational :: Compose f g a -> Рациональное Исходный код

class (Вещественный a, Enum a) => Целочисленный a where Исходный код

Целочисленные числа, поддерживающие целочисленное деление.

Отчёт Haskell не определяет законов для Integral. Однако Integral экземпляры обычно ожидается определять евклидову область и иметь следующие свойства для пар div/mod и quot/rem, учитывая подходящие евклидовы функции f и g:

  • x = y * quot x y + rem x y с rem x y = fromInteger 0 или g (rem x y) < g y
  • x = y * div x y + mod x y с mod x y = fromInteger 0 или f (mod x y) < f y

Пример подходящей евклидовой функции для экземпляра Integer — abs.

Кроме того, toInteger должно быть полным, а fromInteger должно быть левым обратным для него, то есть fromInteger (toInteger i) = i.

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

quotRem, toInteger

Методы

quot :: a -> a -> a infixl 7 Исходный код

Целочисленное деление, усеченное к нулю.

ПРЕДУПРЕЖДЕНИЕ: Эта функция частична (потому что она выбрасывает исключение, когда 0 передаётся в качестве делителя) для всех целочисленных типов в base.

rem :: a -> a -> a infixl 7 Исходный код

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

(x `quot` y)*y + (x `rem` y) == x

ПРЕДУПРЕЖДЕНИЕ: Эта функция частична (потому что она выбрасывает исключение, когда 0 передаётся в качестве делителя) для всех целочисленных типов в base.

div :: a -> a -> a infixl 7 Исходный код

Целочисленное деление, усеченное до отрицательной бесконечности.

ПРЕДУПРЕЖДЕНИЕ: Эта функция частична (потому что она выбрасывает исключение, когда 0 передаётся в качестве делителя) для всех целочисленных типов в base.

mod :: a -> a -> a infixl 7 Исходный код

Целочисленный модуль, удовлетворяющий

(x `div` y)*y + (x `mod` y) == x

ПРЕДУПРЕЖДЕНИЕ: Эта функция частична (потому что она выбрасывает исключение, когда 0 передаётся в качестве делителя) для всех целочисленных типов в base.

quotRem :: a -> a -> (a, a) Исходный код

Одновременное вычисление quot и rem.

ПРЕДУПРЕЖДЕНИЕ: Эта функция частична (потому что она выбрасывает исключение, когда 0 передаётся в качестве делителя) для всех целочисленных типов в base.

divMod :: a -> a -> (a, a) Исходный код

Одновременное вычисление div и mod.

ПРЕДУПРЕЖДЕНИЕ: Эта функция частична (потому что она выбрасывает исключение, когда 0 передаётся в качестве делителя) для всех целочисленных типов в base.

toInteger :: a -> Целое Исходный код

Преобразование в Integer.

Экземпляры
Подробности об экземплярах
Integral CBool Источник
Подробности об экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

quot :: CBool -> CBool -> CBool Источник

rem :: CBool -> CBool -> CBool Источник

div :: CBool -> CBool -> CBool Источник

mod :: CBool -> CBool -> CBool Источник

quotRem :: CBool -> CBool -> (CBool, CBool) Источник

divMod :: CBool -> CBool -> (CBool, CBool) Источник

toInteger :: CBool -> Integer Источник

Integral CChar Источник
Подробности об экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

quot :: CChar -> CChar -> CChar Источник

rem :: CChar -> CChar -> CChar Источник

div :: CChar -> CChar -> CChar Источник

mod :: CChar -> CChar -> CChar Источник

quotRem :: CChar -> CChar -> (CChar, CChar) Источник

divMod :: CChar -> CChar -> (CChar, CChar) Источник

toInteger :: CChar -> Integer Источник

Integral CInt Источник
Подробности об экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

quot :: CInt -> CInt -> CInt Источник

rem :: CInt -> CInt -> CInt Источник

div :: CInt -> CInt -> CInt Источник

mod :: CInt -> CInt -> CInt Источник

quotRem :: CInt -> CInt -> (CInt, CInt) Источник

divMod :: CInt -> CInt -> (CInt, CInt) Источник

toInteger :: CInt -> Integer Источник

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

Определено в GHC.Internal.Foreign.C.Types

Методы

quot :: CIntMax -> CIntMax -> CIntMax Исходный код

rem :: CIntMax -> CIntMax -> CIntMax Исходный код

div :: CIntMax -> CIntMax -> CIntMax Исходный код

mod :: CIntMax -> CIntMax -> CIntMax Исходный код

quotRem :: CIntMax -> CIntMax -> (CIntMax, CIntMax) Исходный код

divMod :: CIntMax -> CIntMax -> (CIntMax, CIntMax) Исходный код

toInteger :: CIntMax -> Integer Исходный код

Integral CIntPtr Исходный код
Подробности экземпляра

Определено в GHC.Internal.Foreign.C.Types

Методы

quot :: CIntPtr -> CIntPtr -> CIntPtr Исходный код

rem :: CIntPtr -> CIntPtr -> CIntPtr Исходный код

div :: CIntPtr -> CIntPtr -> CIntPtr Исходный код

mod :: CIntPtr -> CIntPtr -> CIntPtr Исходный код

quotRem :: CIntPtr -> CIntPtr -> (CIntPtr, CIntPtr) Исходный код

divMod :: CIntPtr -> CIntPtr -> (CIntPtr, CIntPtr) Исходный код

toInteger :: CIntPtr -> Integer Исходный код

Integral CLLong Исходный код
Подробности экземпляра

Определено в GHC.Internal.Foreign.C.Types

Методы

quot :: CLLong -> CLLong -> CLLong Исходный код

rem :: CLLong -> CLLong -> CLLong Исходный код

div :: CLLong -> CLLong -> CLLong Исходный код

mod :: CLLong -> CLLong -> CLLong Исходный код

quotRem :: CLLong -> CLLong -> (CLLong, CLLong) Исходный код

divMod :: CLLong -> CLLong -> (CLLong, CLLong) Исходный код

toInteger :: CLLong -> Integer Исходный код

Integral CLong Исходный код
Информация о реализации

Определено в GHC.Internal.Foreign.C.Types

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

quot :: CLong -> CLong -> CLong Исходный код

rem :: CLong -> CLong -> CLong Исходный код

div :: CLong -> CLong -> CLong Исходный код

mod :: CLong -> CLong -> CLong Исходный код

quotRem :: CLong -> CLong -> (CLong, CLong) Исходный код

divMod :: CLong -> CLong -> (CLong, CLong) Исходный код

toInteger :: CLong -> Integer Исходный код

Integral CPtrdiff Исходный код
Информация о реализации

Определено в GHC.Internal.Foreign.C.Types

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

quot :: CPtrdiff -> CPtrdiff -> CPtrdiff Исходный код

rem :: CPtrdiff -> CPtrdiff -> CPtrdiff Исходный код

div :: CPtrdiff -> CPtrdiff -> CPtrdiff Исходный код

mod :: CPtrdiff -> CPtrdiff -> CPtrdiff Исходный код

quotRem :: CPtrdiff -> CPtrdiff -> (CPtrdiff, CPtrdiff) Исходный код

divMod :: CPtrdiff -> CPtrdiff -> (CPtrdiff, CPtrdiff) Исходный код

toInteger :: CPtrdiff -> Integer Исходный код

Integral CSChar Исходный код
Информация о реализации

Определено в GHC.Internal.Foreign.C.Types

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

quot :: CSChar -> CSChar -> CSChar Исходный код

rem :: CSChar -> CSChar -> CSChar Исходный код

div :: CSChar -> CSChar -> CSChar Исходный код

mod :: CSChar -> CSChar -> CSChar Исходный код

quotRem :: CSChar -> CSChar -> (CSChar, CSChar) Исходный код

divMod :: CSChar -> CSChar -> (CSChar, CSChar) Исходный код

toInteger :: CSChar -> Integer Исходный код

Integral CShort Исходный код
Подробности экземпляра

Определено в GHC.Internal.Foreign.C.Types

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

quot :: CShort -> CShort -> CShort Источник

rem :: CShort -> CShort -> CShort Источник

div :: CShort -> CShort -> CShort Источник

mod :: CShort -> CShort -> CShort Источник

quotRem :: CShort -> CShort -> (CShort, CShort) Источник

divMod :: CShort -> CShort -> (CShort, CShort) Источник

toInteger :: CShort -> Integer Источник

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

Определено в GHC.Internal.Foreign.C.Types

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

quot :: CSigAtomic -> CSigAtomic -> CSigAtomic Источник

rem :: CSigAtomic -> CSigAtomic -> CSigAtomic Источник

div :: CSigAtomic -> CSigAtomic -> CSigAtomic Источник

mod :: CSigAtomic -> CSigAtomic -> CSigAtomic Источник

quotRem :: CSigAtomic -> CSigAtomic -> (CSigAtomic, CSigAtomic) Источник

divMod :: CSigAtomic -> CSigAtomic -> (CSigAtomic, CSigAtomic) Источник

toInteger :: CSigAtomic -> Integer Источник

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

Определено в GHC.Internal.Foreign.C.Types

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

quot :: CSize -> CSize -> CSize Источник

rem :: CSize -> CSize -> CSize Источник

div :: CSize -> CSize -> CSize Источник

mod :: CSize -> CSize -> CSize Источник

quotRem :: CSize -> CSize -> (CSize, CSize) Источник

divMod :: CSize -> CSize -> (CSize, CSize) Источник

toInteger :: CSize -> Integer Источник

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

Определено в GHC.Internal.Foreign.C.Types

Методы

quot :: CUChar -> CUChar -> CUChar Источник

rem :: CUChar -> CUChar -> CUChar Источник

div :: CUChar -> CUChar -> CUChar Источник

mod :: CUChar -> CUChar -> CUChar Источник

quotRem :: CUChar -> CUChar -> (CUChar, CUChar) Источник

divMod :: CUChar -> CUChar -> (CUChar, CUChar) Источник

toInteger :: CUChar -> Integer Источник

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

Определено в GHC.Internal.Foreign.C.Types

Методы

quot :: CUInt -> CUInt -> CUInt Источник

rem :: CUInt -> CUInt -> CUInt Источник

div :: CUInt -> CUInt -> CUInt Источник

mod :: CUInt -> CUInt -> CUInt Источник

quotRem :: CUInt -> CUInt -> (CUInt, CUInt) Источник

divMod :: CUInt -> CUInt -> (CUInt, CUInt) Источник

toInteger :: CUInt -> Integer Источник

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

Определено в GHC.Internal.Foreign.C.Types

Методы

quot :: CUIntMax -> CUIntMax -> CUIntMax Источник

rem :: CUIntMax -> CUIntMax -> CUIntMax Источник

div :: CUIntMax -> CUIntMax -> CUIntMax Источник

mod :: CUIntMax -> CUIntMax -> CUIntMax Источник

quotRem :: CUIntMax -> CUIntMax -> (CUIntMax, CUIntMax) Источник

divMod :: CUIntMax -> CUIntMax -> (CUIntMax, CUIntMax) Источник

toInteger :: CUIntMax -> Integer Источник

Integral CUIntPtr Источник
Подробные сведения об экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

quot :: CUIntPtr -> CUIntPtr -> CUIntPtr Исходный код

rem :: CUIntPtr -> CUIntPtr -> CUIntPtr Исходный код

div :: CUIntPtr -> CUIntPtr -> CUIntPtr Исходный код

mod :: CUIntPtr -> CUIntPtr -> CUIntPtr Исходный код

quotRem :: CUIntPtr -> CUIntPtr -> (CUIntPtr, CUIntPtr) Исходный код

divMod :: CUIntPtr -> CUIntPtr -> (CUIntPtr, CUIntPtr) Исходный код

toInteger :: CUIntPtr -> Integer Исходный код

Integral CULLong Исходный код
Подробные сведения об экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

quot :: CULLong -> CULLong -> CULLong Исходный код

rem :: CULLong -> CULLong -> CULLong Исходный код

div :: CULLong -> CULLong -> CULLong Исходный код

mod :: CULLong -> CULLong -> CULLong Исходный код

quotRem :: CULLong -> CULLong -> (CULLong, CULLong) Исходный код

divMod :: CULLong -> CULLong -> (CULLong, CULLong) Исходный код

toInteger :: CULLong -> Integer Исходный код

Integral CULong Исходный код
Подробные сведения об экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

quot :: CULong -> CULong -> CULong Исходный код

rem :: CULong -> CULong -> CULong Исходный код

div :: CULong -> CULong -> CULong Исходный код

mod :: CULong -> CULong -> CULong Исходный код

quotRem :: CULong -> CULong -> (CULong, CULong) Исходный код

divMod :: CULong -> CULong -> (CULong, CULong) Исходный код

toInteger :: CULong -> Integer Исходный код

Integral CUShort Исходный код
Instance details

Определено в GHC.Internal.Foreign.C.Types

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

quot :: CUShort -> CUShort -> CUShort Source

rem :: CUShort -> CUShort -> CUShort Source

div :: CUShort -> CUShort -> CUShort Source

mod :: CUShort -> CUShort -> CUShort Source

quotRem :: CUShort -> CUShort -> (CUShort, CUShort) Source

divMod :: CUShort -> CUShort -> (CUShort, CUShort) Source

toInteger :: CUShort -> Integer Source

Integral CWchar Source
Instance details

Определено в GHC.Internal.Foreign.C.Types

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

quot :: CWchar -> CWchar -> CWchar Source

rem :: CWchar -> CWchar -> CWchar Source

div :: CWchar -> CWchar -> CWchar Source

mod :: CWchar -> CWchar -> CWchar Source

quotRem :: CWchar -> CWchar -> (CWchar, CWchar) Source

divMod :: CWchar -> CWchar -> (CWchar, CWchar) Source

toInteger :: CWchar -> Integer Source

Integral IntPtr Source
Instance details

Определено в GHC.Internal.Foreign.Ptr

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

quot :: IntPtr -> IntPtr -> IntPtr Source

rem :: IntPtr -> IntPtr -> IntPtr Source

div :: IntPtr -> IntPtr -> IntPtr Source

mod :: IntPtr -> IntPtr -> IntPtr Source

quotRem :: IntPtr -> IntPtr -> (IntPtr, IntPtr) Source

divMod :: IntPtr -> IntPtr -> (IntPtr, IntPtr) Source

toInteger :: IntPtr -> Integer Source

Integral WordPtr Source
Информация о экземпляре

Определено в GHC.Internal.Foreign.Ptr

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

quot :: WordPtr -> WordPtr -> WordPtr Исходный код

rem :: WordPtr -> WordPtr -> WordPtr Исходный код

div :: WordPtr -> WordPtr -> WordPtr Исходный код

mod :: WordPtr -> WordPtr -> WordPtr Исходный код

quotRem :: WordPtr -> WordPtr -> (WordPtr, WordPtr) Исходный код

divMod :: WordPtr -> WordPtr -> (WordPtr, WordPtr) Исходный код

toInteger :: WordPtr -> Integer Исходный код

Integral Int16 Исходный код

С версии: base-2.1
Информация о экземпляре

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

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

quot :: Int16 -> Int16 -> Int16 Исходный код

rem :: Int16 -> Int16 -> Int16 Исходный код

div :: Int16 -> Int16 -> Int16 Исходный код

mod :: Int16 -> Int16 -> Int16 Исходный код

quotRem :: Int16 -> Int16 -> (Int16, Int16) Исходный код

divMod :: Int16 -> Int16 -> (Int16, Int16) Исходный код

toInteger :: Int16 -> Integer Исходный код

Integral Int32 Исходный код

С версии: base-2.1
Информация о экземпляре

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

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

quot :: Int32 -> Int32 -> Int32 Исходный код

rem :: Int32 -> Int32 -> Int32 Исходный код

div :: Int32 -> Int32 -> Int32 Исходный код

mod :: Int32 -> Int32 -> Int32 Исходный код

quotRem :: Int32 -> Int32 -> (Int32, Int32) Исходный код

divMod :: Int32 -> Int32 -> (Int32, Int32) Исходный код

toInteger :: Int32 -> Integer Исходный код

Integral Int64 Исходный код

С версии: base-2.1
Подробности экземпляра

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

Методы

quot :: Int64 -> Int64 -> Int64 Исходный код

rem :: Int64 -> Int64 -> Int64 Исходный код

div :: Int64 -> Int64 -> Int64 Исходный код

mod :: Int64 -> Int64 -> Int64 Исходный код

quotRem :: Int64 -> Int64 -> (Int64, Int64) Исходный код

divMod :: Int64 -> Int64 -> (Int64, Int64) Исходный код

toInteger :: Int64 -> Integer Исходный код

Integral Int8 Исходный код

С момента: base-2.1
Подробности экземпляра

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

Методы

quot :: Int8 -> Int8 -> Int8 Исходный код

rem :: Int8 -> Int8 -> Int8 Исходный код

div :: Int8 -> Int8 -> Int8 Исходный код

mod :: Int8 -> Int8 -> Int8 Исходный код

quotRem :: Int8 -> Int8 -> (Int8, Int8) Исходный код

divMod :: Int8 -> Int8 -> (Int8, Int8) Исходный код

toInteger :: Int8 -> Integer Исходный код

Integral CBlkCnt Исходный код
Подробности экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: CBlkCnt -> CBlkCnt -> CBlkCnt Исходный код

rem :: CBlkCnt -> CBlkCnt -> CBlkCnt Исходный код

div :: CBlkCnt -> CBlkCnt -> CBlkCnt Исходный код

mod :: CBlkCnt -> CBlkCnt -> CBlkCnt Исходный код

quotRem :: CBlkCnt -> CBlkCnt -> (CBlkCnt, CBlkCnt) Исходный код

divMod :: CBlkCnt -> CBlkCnt -> (CBlkCnt, CBlkCnt) Исходный код

toInteger :: CBlkCnt -> Integer Исходный код

Integral CBlkSize Исходный код
Подробности экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: CBlkSize -> CBlkSize -> CBlkSize Исходный код

rem :: CBlkSize -> CBlkSize -> CBlkSize Исходный код

div :: CBlkSize -> CBlkSize -> CBlkSize Исходный код

mod :: CBlkSize -> CBlkSize -> CBlkSize Исходный код

quotRem :: CBlkSize -> CBlkSize -> (CBlkSize, CBlkSize) Исходный код

divMod :: CBlkSize -> CBlkSize -> (CBlkSize, CBlkSize) Исходный код

toInteger :: CBlkSize -> Integer Исходный код

Integral CClockId Исходный код
Детали экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: CClockId -> CClockId -> CClockId Исходный код

rem :: CClockId -> CClockId -> CClockId Исходный код

div :: CClockId -> CClockId -> CClockId Исходный код

mod :: CClockId -> CClockId -> CClockId Исходный код

quotRem :: CClockId -> CClockId -> (CClockId, CClockId) Исходный код

divMod :: CClockId -> CClockId -> (CClockId, CClockId) Исходный код

toInteger :: CClockId -> Integer Исходный код

Integral CDev Исходный код
Подробности экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: CDev -> CDev -> CDev Исходный код

rem :: CDev -> CDev -> CDev Исходный код

div :: CDev -> CDev -> CDev Исходный код

mod :: CDev -> CDev -> CDev Исходный код

quotRem :: CDev -> CDev -> (CDev, CDev) Исходный код

divMod :: CDev -> CDev -> (CDev, CDev) Исходный код

toInteger :: CDev -> Integer Исходный код

Integral CFsBlkCnt Исходный код
Подробности экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: CFsBlkCnt -> CFsBlkCnt -> CFsBlkCnt Источник

rem :: CFsBlkCnt -> CFsBlkCnt -> CFsBlkCnt Источник

div :: CFsBlkCnt -> CFsBlkCnt -> CFsBlkCnt Источник

mod :: CFsBlkCnt -> CFsBlkCnt -> CFsBlkCnt Источник

quotRem :: CFsBlkCnt -> CFsBlkCnt -> (CFsBlkCnt, CFsBlkCnt) Источник

divMod :: CFsBlkCnt -> CFsBlkCnt -> (CFsBlkCnt, CFsBlkCnt) Источник

toInteger :: CFsBlkCnt -> Целое Источник

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

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: CFsFilCnt -> CFsFilCnt -> CFsFilCnt Источник

rem :: CFsFilCnt -> CFsFilCnt -> CFsFilCnt Источник

div :: CFsFilCnt -> CFsFilCnt -> CFsFilCnt Источник

mod :: CFsFilCnt -> CFsFilCnt -> CFsFilCnt Источник

quotRem :: CFsFilCnt -> CFsFilCnt -> (CFsFilCnt, CFsFilCnt) Источник

divMod :: CFsFilCnt -> CFsFilCnt -> (CFsFilCnt, CFsFilCnt) Источник

toInteger :: CFsFilCnt -> Целое Источник

Целочисленный CGid Источник
Подробности экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: CGid -> CGid -> CGid Исходный код

rem :: CGid -> CGid -> CGid Исходный код

div :: CGid -> CGid -> CGid Исходный код

mod :: CGid -> CGid -> CGid Исходный код

quotRem :: CGid -> CGid -> (CGid, CGid) Исходный код

divMod :: CGid -> CGid -> (CGid, CGid) Исходный код

toInteger :: CGid -> Integer Исходный код

Integral CId Исходный код
Подробности экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: CId -> CId -> CId Исходный код

rem :: CId -> CId -> CId Исходный код

div :: CId -> CId -> CId Исходный код

mod :: CId -> CId -> CId Исходный код

quotRem :: CId -> CId -> (CId, CId) Исходный код

divMod :: CId -> CId -> (CId, CId) Исходный код

toInteger :: CId -> Integer Исходный код

Integral CIno Исходный код
Подробности экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: CIno -> CIno -> CIno Исходный код

rem :: CIno -> CIno -> CIno Исходный код

div :: CIno -> CIno -> CIno Исходный код

mod :: CIno -> CIno -> CIno Исходный код

quotRem :: CIno -> CIno -> (CIno, CIno) Исходный код

divMod :: CIno -> CIno -> (CIno, CIno) Исходный код

toInteger :: CIno -> Integer Исходный код

Integral CKey Исходный код
Подробности экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: CKey -> CKey -> CKey Исходный код

rem :: CKey -> CKey -> CKey Исходный код

div :: CKey -> CKey -> CKey Исходный код

mod :: CKey -> CKey -> CKey Исходный код

quotRem :: CKey -> CKey -> (CKey, CKey) Исходный код

divMod :: CKey -> CKey -> (CKey, CKey) Исходный код

toInteger :: CKey -> Integer Исходный код

Integral CMode Исходный код
Подробности экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: CMode -> CMode -> CMode Исходный код

rem :: CMode -> CMode -> CMode Исходный код

div :: CMode -> CMode -> CMode Исходный код

mod :: CMode -> CMode -> CMode Исходный код

quotRem :: CMode -> CMode -> (CMode, CMode) Исходный код

divMod :: CMode -> CMode -> (CMode, CMode) Исходный код

toInteger :: CMode -> Integer Исходный код

Integral CNfds Исходный код
Подробности экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: CNfds -> CNfds -> CNfds Исходный код

rem :: CNfds -> CNfds -> CNfds Исходный код

div :: CNfds -> CNfds -> CNfds Исходный код

mod :: CNfds -> CNfds -> CNfds Исходный код

quotRem :: CNfds -> CNfds -> (CNfds, CNfds) Исходный код

divMod :: CNfds -> CNfds -> (CNfds, CNfds) Исходный код

toInteger :: CNfds -> Integer Исходный код

Integral CNlink Исходный код
Подробности экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: CNlink -> CNlink -> CNlink Исходный код

rem :: CNlink -> CNlink -> CNlink Исходный код

div :: CNlink -> CNlink -> CNlink Исходный код

mod :: CNlink -> CNlink -> CNlink Исходный код

quotRem :: CNlink -> CNlink -> (CNlink, CNlink) Исходный код

divMod :: CNlink -> CNlink -> (CNlink, CNlink) Исходный код

toInteger :: CNlink -> Integer Исходный код

Integral COff Исходный код
Подробности экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: COff -> COff -> COff Исходный код

rem :: COff -> COff -> COff Исходный код

div :: COff -> COff -> COff Исходный код

mod :: COff -> COff -> COff Исходный код

quotRem :: COff -> COff -> (COff, COff) Исходный код

divMod :: COff -> COff -> (COff, COff) Исходный код

toInteger :: COff -> Integer Исходный код

Integral CPid Исходный код
Подробности экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: CPid -> CPid -> CPid Исходный код

rem :: CPid -> CPid -> CPid Исходный код

div :: CPid -> CPid -> CPid Исходный код

mod :: CPid -> CPid -> CPid Исходный код

quotRem :: CPid -> CPid -> (CPid, CPid) Исходный код

divMod :: CPid -> CPid -> (CPid, CPid) Исходный код

toInteger :: CPid -> Integer Исходный код

Integral CRLim Исходный код
Подробности экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: CRLim -> CRLim -> CRLim Исходный код

rem :: CRLim -> CRLim -> CRLim Исходный код

div :: CRLim -> CRLim -> CRLim Исходный код

mod :: CRLim -> CRLim -> CRLim Исходный код

quotRem :: CRLim -> CRLim -> (CRLim, CRLim) Исходный код

divMod :: CRLim -> CRLim -> (CRLim, CRLim) Исходный код

toInteger :: CRLim -> Integer Исходный код

Integral CSocklen Исходный код
Подробности экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: CSocklen -> CSocklen -> CSocklen Исходный код

rem :: CSocklen -> CSocklen -> CSocklen Исходный код

div :: CSocklen -> CSocklen -> CSocklen Исходный код

mod :: CSocklen -> CSocklen -> CSocklen Исходный код

quotRem :: CSocklen -> CSocklen -> (CSocklen, CSocklen) Исходный код

divMod :: CSocklen -> CSocklen -> (CSocklen, CSocklen) Исходный код

toInteger :: CSocklen -> Целое Исходный код

Целое CSsize Исходный код
Подробности экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: CSsize -> CSsize -> CSsize Исходный код

rem :: CSsize -> CSsize -> CSsize Исходный код

div :: CSsize -> CSsize -> CSsize Исходный код

mod :: CSsize -> CSsize -> CSsize Исходный код

quotRem :: CSsize -> CSsize -> (CSsize, CSsize) Исходный код

divMod :: CSsize -> CSsize -> (CSsize, CSsize) Исходный код

toInteger :: CSsize -> Integer Исходный код

Integral CTcflag Исходный код
Подробности экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: CTcflag -> CTcflag -> CTcflag Исходный код

rem :: CTcflag -> CTcflag -> CTcflag Исходный код

div :: CTcflag -> CTcflag -> CTcflag Исходный код

mod :: CTcflag -> CTcflag -> CTcflag Исходный код

quotRem :: CTcflag -> CTcflag -> (CTcflag, CTcflag) Исходный код

divMod :: CTcflag -> CTcflag -> (CTcflag, CTcflag) Исходный код

toInteger :: CTcflag -> Integer Исходный код

Integral CUid Исходный код
Подробности экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: CUid -> CUid -> CUid Исходный код

rem :: CUid -> CUid -> CUid Исходный код

div :: CUid -> CUid -> CUid Исходный код

mod :: CUid -> CUid -> CUid Исходный код

quotRem :: CUid -> CUid -> (CUid, CUid) Исходный код

divMod :: CUid -> CUid -> (CUid, CUid) Исходный код

toInteger :: CUid -> Integer Исходный код

Integral Fd Исходный код
Подробности экземпляра

Определено в GHC.Internal.System.Posix.Types

Методы

quot :: Fd -> Fd -> Fd Исходный код

rem :: Fd -> Fd -> Fd Исходный код

div :: Fd -> Fd -> Fd Исходный код

mod :: Fd -> Fd -> Fd Исходный код

quotRem :: Fd -> Fd -> (Fd, Fd) Исходный код

divMod :: Fd -> Fd -> (Fd, Fd) Исходный код

toInteger :: Fd -> Integer Исходный код

Integral Word16 Исходный код

С момента: base-2.1
Подробности экземпляра

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

Методы

quot :: Word16 -> Word16 -> Word16 Исходный код

rem :: Word16 -> Word16 -> Word16 Исходный код

div :: Word16 -> Word16 -> Word16 Исходный код

mod :: Word16 -> Word16 -> Word16 Исходный код

quotRem :: Word16 -> Word16 -> (Word16, Word16) Исходный код

divMod :: Word16 -> Word16 -> (Word16, Word16) Исходный код

toInteger :: Word16 -> Integer Исходный код

Integral Word32 Исходный код

С момента: base-2.1
Подробности о экземпляре

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

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

quot :: Word32 -> Word32 -> Word32 Источник

rem :: Word32 -> Word32 -> Word32 Источник

div :: Word32 -> Word32 -> Word32 Источник

mod :: Word32 -> Word32 -> Word32 Источник

quotRem :: Word32 -> Word32 -> (Word32, Word32) Источник

divMod :: Word32 -> Word32 -> (Word32, Word32) Источник

toInteger :: Word32 -> Integer Источник

Integral Word64 Источник

С версии: base-2.1
Подробности о экземпляре

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

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

quot :: Word64 -> Word64 -> Word64 Источник

rem :: Word64 -> Word64 -> Word64 Источник

div :: Word64 -> Word64 -> Word64 Источник

mod :: Word64 -> Word64 -> Word64 Источник

quotRem :: Word64 -> Word64 -> (Word64, Word64) Источник

divMod :: Word64 -> Word64 -> (Word64, Word64) Источник

toInteger :: Word64 -> Integer Источник

Integral Word8 Источник

С версии: base-2.1
Подробности о экземпляре

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

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

quot :: Word8 -> Word8 -> Word8 Источник

rem :: Word8 -> Word8 -> Word8 Источник

div :: Word8 -> Word8 -> Word8 Источник

mod :: Word8 -> Word8 -> Word8 Источник

quotRem :: Word8 -> Word8 -> (Word8, Word8) Источник

divMod :: Word8 -> Word8 -> (Word8, Word8) Источник

toInteger :: Word8 -> Integer Источник

Integral Integer Источник

С версии: base-2.0.1
Подробности о экземпляре

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

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

quot :: Integer -> Integer -> Integer Источник

rem :: Integer -> Integer -> Integer Источник

div :: Integer -> Integer -> Integer Источник

mod :: Integer -> Integer -> Integer Источник

quotRem :: Integer -> Integer -> (Integer, Integer) Источник

divMod :: Integer -> Integer -> (Integer, Integer) Источник

toInteger :: Integer -> Integer Источник

Integral Natural Источник

С версии: base-4.8.0.0
Подробности о экземпляре

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

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

quot :: Natural -> Natural -> Natural Источник

rem :: Natural -> Natural -> Natural Источник

div :: Natural -> Natural -> Natural Источник

mod :: Natural -> Natural -> Natural Источник

quotRem :: Natural -> Natural -> (Natural, Natural) Источник

divMod :: Natural -> Natural -> (Natural, Natural) Источник

toInteger :: Natural -> Integer Источник

Integral Int Источник

С версии: base-2.0.1
Подробности о экземпляре

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

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

quot :: Int -> Int -> Int Источник

rem :: Int -> Int -> Int Источник

div :: Int -> Int -> Int Источник

mod :: Int -> Int -> Int Источник

quotRem :: Int -> Int -> (Int, Int) Источник

divMod :: Int -> Int -> (Int, Int) Источник

toInteger :: Int -> Integer Источник

Integral Word Источник

С версии: base-2.1
Информация о реализации

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

Методы

quot :: Word -> Word -> Word Исходный код

rem :: Word -> Word -> Word Исходный код

div :: Word -> Word -> Word Исходный код

mod :: Word -> Word -> Word Исходный код

quotRem :: Word -> Word -> (Word, Word) Исходный код

divMod :: Word -> Word -> (Word, Word) Исходный код

toInteger :: Word -> Integer Исходный код

Integral a => Integral (Identity a) Исходный код

С версии: base-4.9.0.0
Информация о реализации

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

Методы

quot :: Identity a -> Identity a -> Identity a Исходный код

rem :: Identity a -> Identity a -> Identity a Исходный код

div :: Identity a -> Identity a -> Identity a Исходный код

mod :: Identity a -> Identity a -> Identity a Исходный код

quotRem :: Identity a -> Identity a -> (Identity a, Identity a) Исходный код

divMod :: Identity a -> Identity a -> (Identity a, Identity a) Исходный код

toInteger :: Identity a -> Integer Исходный код

Integral a => Integral (Const a b) Исходный код

С версии: base-4.9.0.0
Информация о реализации

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

Методы

quot :: Const a b -> Const a b -> Const a b Исходный код

rem :: Const a b -> Const a b -> Const a b Исходный код

div :: Const a b -> Const a b -> Const a b Исходный код

mod :: Const a b -> Const a b -> Const a b Исходный код

quotRem :: Const a b -> Const a b -> (Const a b, Const a b) Исходный код

divMod :: Const a b -> Const a b -> (Const a b, Const a b) Исходный код

toInteger :: Const a b -> Integer Исходный код

Целочисленная (f (g a)) => Целочисленная (Compose f g a) Источник

С момента: base-4.19.0.0
Подробности экземпляра

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

Методы

quot :: Compose f g a -> Compose f g a -> Compose f g a Источник

rem :: Compose f g a -> Compose f g a -> Compose f g a Источник

div :: Compose f g a -> Compose f g a -> Compose f g a Источник

mod :: Compose f g a -> Compose f g a -> Compose f g a Источник

quotRem :: Compose f g a -> Compose f g a -> (Compose f g a, Compose f g a) Источник

divMod :: Compose f g a -> Compose f g a -> (Compose f g a, Compose f g a) Источник

toInteger :: Compose f g a -> Integer Источник

class Число a => Дробное a where Источник

Дробные числа, поддерживающие деление с плавающей точкой.

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

recip даёт обратный элемент относительно умножения
x * recip x = recip x * x = fromInteger 1
Полная определённость toRational
toRational является полной
Согласованность с toRational
если тип также реализует Real, то fromRational является обратным элементом слева для toRational, т.е. fromRational (toRational i) = i

Обратите внимание, что обычно не ожидается, что экземпляр типа Fractional реализует поле. Однако, все экземпляры в base делают это.

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

fromRational, (recip | (/))

Методы

(/) :: a -> a -> a infixl 7 Источник

Деление с плавающей точкой.

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

Обратная дробь.

fromRational :: Рациональное -> a Источник

Преобразование из Rational (то есть Ratio Integer). Плавающая десятичная константа соответствует применению fromRational к значению типа Rational, поэтому такие литералы имеют тип (Fractional a) => a.

Экземпляры
Подробности об экземплярах
Fractional CDouble Источник
Подробности об экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

(/) :: CDouble -> CDouble -> CDouble Источник

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

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

Fractional CFloat Источник
Подробности об экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

(/) :: CFloat -> CFloat -> CFloat Источник

recip :: CFloat -> CFloat Источник

fromRational :: Rational -> CFloat Источник

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

С версии: base-2.1
Подробности об экземпляре

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

Методы

(/) :: Complex a -> Complex a -> Complex a Источник

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

fromRational :: Rational -> Complex a Источник

Fractional a => Fractional (Identity a) Источник

С версии: base-4.9.0.0
Подробности об экземпляре

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

Методы

(/) :: Identity a -> Identity a -> Identity a Источник

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

fromRational :: Rational -> Identity a Источник

Fractional a => Fractional (Down a) Источник

С версии: base-4.14.0.0
Подробности об экземпляре

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

Методы

(/) :: Down a -> Down a -> Down a Источник

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

fromRational :: Rational -> Down a Источник

Integral a => Fractional (Ratio a) Источник

С версии: base-2.0.1
Подробности об экземпляре

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

Методы

(/) :: Ratio a -> Ratio a -> Ratio a Источник

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

fromRational :: Rational -> Ratio a Источник

HasResolution a => Fractional (Fixed a) Source

Since: base-2.1
Instance details

Defined in Data.Fixed

Methods

(/) :: Fixed a -> Fixed a -> Fixed a Source

recip :: Fixed a -> Fixed a Source

fromRational :: Rational -> Fixed a Source

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

Defined in Data.Functor.Contravariant

Methods

(/) :: Op a b -> Op a b -> Op a b Source

recip :: Op a b -> Op a b Source

fromRational :: Rational -> Op a b Source

Fractional a => Fractional (Const a b) Source

Since: base-4.9.0.0
Instance details

Defined in GHC.Internal.Data.Functor.Const

Methods

(/) :: Const a b -> Const a b -> Const a b Source

recip :: Const a b -> Const a b Source

fromRational :: Rational -> Const a b Source

Fractional (f (g a)) => Fractional (Compose f g a) Source

Since: base-4.20.0.0
Instance details

Defined in Data.Functor.Compose

Methods

(/) :: Compose f g a -> Compose f g a -> Compose f g a Source

recip :: Compose f g a -> Compose f g a Source

fromRational :: Rational -> Compose f g a Source

class (Real a, Fractional a) => RealFrac a where Source

Извлечение компонентов дробей.

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

properFraction

Methods

properFraction :: Integral b => a -> (b, a) Source

Функция properFraction принимает вещественное дробное число x и возвращает пару (n,f) такую, что x = n+f, и:

  • n является целым числом с тем же знаком, что и x; и
  • f является дробью с тем же типом и знаком, что и x, и с абсолютным значением меньше 1.

Определения по умолчанию функций ceiling, floor, truncate и round даны через properFraction.

truncate :: Integral b => a -> b Source

truncate x возвращает целое число, ближайшее x между нулём и x

round :: Integral b => a -> b Source

round x возвращает ближайшее целое число к x; чётное целое число, если x равноудалено от двух целых чисел

ceiling :: Integral b => a -> b Source

ceiling x возвращает наименьшее целое число, не меньшее x

floor :: Integral b => a -> b Source

floor x возвращает наибольшее целое число, не большее x

Экземпляры
Подробности о экземплярах
RealFrac CDouble Источник
Подробности о экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

properFraction :: Integral b => CDouble -> (b, CDouble) Источник

truncate :: Integral b => CDouble -> b Источник

round :: Integral b => CDouble -> b Источник

ceiling :: Integral b => CDouble -> b Источник

floor :: Integral b => CDouble -> b Источник

RealFrac CFloat Источник
Подробности о экземпляре

Определено в GHC.Internal.Foreign.C.Types

Методы

properFraction :: Integral b => CFloat -> (b, CFloat) Источник

truncate :: Integral b => CFloat -> b Источник

round :: Integral b => CFloat -> b Источник

ceiling :: Integral b => CFloat -> b Источник

floor :: Integral b => CFloat -> b Источник

RealFrac a => RealFrac (Identity a) Источник

С версии: base-4.9.0.0
Подробности о экземпляре

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

Методы

properFraction :: Integral b => Identity a -> (b, Identity a) Источник

truncate :: Integral b => Identity a -> b Источник

round :: Integral b => Identity a -> b Источник

ceiling :: Integral b => Identity a -> b Источник

floor :: Integral b => Identity a -> b Источник

RealFrac a => RealFrac (Down a) Источник

С версии: base-4.14.0.0
Подробности о экземпляре

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

Методы

properFraction :: Integral b => Down a -> (b, Down a) Источник

truncate :: Integral b => Down a -> b Источник

round :: Integral b => Down a -> b Источник

ceiling :: Integral b => Down a -> b Источник

floor :: Integral b => Down a -> b Источник

Integral a => RealFrac (Ratio a) Источник

С версии: base-2.0.1
Подробности экземпляра

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

Методы

properFraction :: Целочисленный b => Рациональное число a -> (b, Рациональное число a) Исходный код

truncate :: Целочисленный b => Рациональное число a -> b Исходный код

round :: Целочисленный b => Рациональное число a -> b Исходный код

ceiling :: Целочисленный b => Рациональное число a -> b Исходный код

floor :: Целочисленный b => Рациональное число a -> b Исходный код

HasResolution a => RealFrac (Fixed a) Исходный код

С тех пор как: base-2.1
Подробности экземпляра

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

Методы

properFraction :: Целочисленный b => Fixed a -> (b, Fixed a) Исходный код

truncate :: Целочисленный b => Fixed a -> b Исходный код

round :: Целочисленный b => Fixed a -> b Исходный код

ceiling :: Целочисленный b => Fixed a -> b Исходный код

floor :: Целочисленный b => Fixed a -> b Исходный код

RealFrac a => RealFrac (Const a b) Исходный код

С тех пор как: base-4.9.0.0
Подробности экземпляра

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

Методы

properFraction :: Целочисленный b0 => Const a b -> (b0, Const a b) Исходный код

truncate :: Целочисленный b0 => Const a b -> b0 Исходный код

round :: Целочисленный b0 => Const a b -> b0 Исходный код

ceiling :: Целочисленный b0 => Const a b -> b0 Исходный код

floor :: Целочисленный b0 => Const a b -> b0 Исходный код

RealFrac (f (g a)) => RealFrac (Compose f g a) Исходный код

С тех пор как: base-4.20.0.0
Подробности экземпляра

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

Методы

properFraction :: Целочисленный b => Compose f g a -> (b, Compose f g a) Исходный код

truncate :: Целочисленный b => Compose f g a -> b Исходный код

round :: Целочисленный b => Compose f g a -> b Исходный код

ceiling :: Целочисленный b => Compose f g a -> b Исходный код

floor :: Целочисленный b => Compose f g a -> b Исходный код

Преобразование

fromIntegral :: (Целочисленный a, Число b) => a -> b Исходный код

Общее приведение типов из Integral.

ВНИМАНИЕ: Эта функция выполняет неявное усечение, если тип результата не по крайней мере так же велик, как тип аргумента.

realToFrac :: (Действительный a, Дробный b) => a -> b Исходный код

Общее приведение типов к Fractional типам.

ВНИМАНИЕ: Эта функция проходит через Rational тип, который не имеет значений для NaN, например. Это означает, что она необратима.

Для Double она также ведет себя по-разному с -O0 или без него:

Prelude> realToFrac nan -- With -O0
-Infinity
Prelude> realToFrac nan
NaN

Форматирование

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

Аргументы

:: Real a
=> (a -> ShowS)

Функция, которая может отображать беззнаковые значения
-> Int

Приоритет окружающего контекста
-> a

Значение для отображения
-> ShowS

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

Предикаты

even :: Integral a => a -> Bool Источник

odd :: Integral a => a -> Bool Источник

Арифметика

(^) :: (Num a, Integral b) => a -> b -> a infixr 8 Источник

Возведение числа в неотрицательную целую степень

(^^) :: (Fractional a, Integral b) => a -> b -> a infixr 8 Источник

Возведение числа в целую степень

gcd :: Integral a => a -> a -> a Источник

gcd x y — это наибольший неотрицательный общий делитель x и y, то есть наибольший общий делитель, где каждый общий делитель x и y также является делителем; например, gcd 4 2 = 2, gcd (-4) 6 = 2, gcd 0 4 = 4. gcd 0 0 = 0. (Это наибольший общий делитель в порядке делимости.)

Примечание: Так как для знаковых целых чисел фиксированной ширины, abs minBound < 0, результат может быть отрицательным, если один из аргументов minBound (и обязательно является таковым, если другой — 0 или minBound) для таких типов.

lcm :: Integral a => a -> a -> a Источник

lcm x y — это наименьшее положительное целое число, которое делит как x, так и y.

Рациональное число

data Ratio a Источник

Рациональные числа, с числителем и знаменателем некоторого Integral типа.

Обратите внимание, что экземпляры Ratio наследуют недостатки от типа-параметра. Например, экземпляр Ratio Natural Num имеет похожие проблемы, что и экземпляр Natural.

Конструкторы

!a :% !a
Экземпляры
Подробности о экземплярах
Integral a => Lift (Ratio a :: Type) Source
Подробности о экземпляре

Определено в GHC.Internal.TH.Lift

Методы

lift :: Quote m => Ratio a -> m Exp Source

liftTyped :: forall (m :: Type -> Type). Quote m => Ratio a -> Code m (Ratio a) Source

(Data a, Integral a) => Data (Ratio a) Source

С версии: base-4.0.0.0
Подробности о экземпляре

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ratio a -> c (Ratio a) Source

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Ratio a) Source

toConstr :: Ratio a -> Constr Source

dataTypeOf :: Ratio a -> DataType Source

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Ratio a)) Source

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Ratio a)) Source

gmapT :: (forall b. Data b => b -> b) -> Ratio a -> Ratio a Source

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ratio a -> r Source

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ratio a -> r Source

gmapQ :: (forall d. Data d => d -> u) -> Ratio a -> [u] Source

gmapQi :: Int -> (forall d. Data d => d -> u) -> Ratio a -> u Source

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ratio a -> m (Ratio a) Source

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ratio a -> m (Ratio a) Source

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ratio a -> m (Ratio a) Source

Integral a => Enum (Ratio a) Source

С версии: base-2.0.1
Подробности экземпляра

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

Методы

succ :: Ratio a -> Ratio a Исходный код

pred :: Ratio a -> Ratio a Исходный код

toEnum :: Int -> Ratio a Исходный код

fromEnum :: Ratio a -> Int Исходный код

enumFrom :: Ratio a -> [Ratio a] Исходный код

enumFromThen :: Ratio a -> Ratio a -> [Ratio a] Исходный код

enumFromTo :: Ratio a -> Ratio a -> [Ratio a] Исходный код

enumFromThenTo :: Ratio a -> Ratio a -> Ratio a -> [Ratio a] Исходный код

(Storable a, Integral a) => Storable (Ratio a) Исходный код

С момента: base-4.8.0.0
Подробности экземпляра

Определено в GHC.Internal.Foreign.Storable

Методы

sizeOf :: Ratio a -> Int Исходный код

alignment :: Ratio a -> Int Исходный код

peekElemOff :: Ptr (Ratio a) -> Int -> IO (Ratio a) Исходный код

pokeElemOff :: Ptr (Ratio a) -> Int -> Ratio a -> IO () Исходный код

peekByteOff :: Ptr b -> Int -> IO (Ratio a) Исходный код

pokeByteOff :: Ptr b -> Int -> Ratio a -> IO () Исходный код

peek :: Ptr (Ratio a) -> IO (Ratio a) Исходный код

poke :: Ptr (Ratio a) -> Ratio a -> IO () Исходный код

Integral a => Num (Ratio a) Исходный код

С момента: base-2.0.1
Подробности экземпляра

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

Методы

(+) :: Ratio a -> Ratio a -> Ratio a Исходный код

(-) :: Ratio a -> Ratio a -> Ratio a Исходный код

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

negate :: Ratio a -> Ratio a Исходный код

abs :: Ratio a -> Ratio a Исходный код

signum :: Ratio a -> Ratio a Исходный код

fromInteger :: Integer -> Ratio a Исходный код

(Integral a, Read a) => Read (Ratio a) Исходный код

С момента: base-2.1
Подробности экземпляра

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

Методы

readsPrec :: Int -> ReadS (Ratio a) Исходный код

readList :: ReadS [Ratio a] Исходный код

readPrec :: ReadPrec (Ratio a) Исходный код

readListPrec :: ReadPrec [Ratio a] Исходный код

Integral a => Fractional (Ratio a) Исходный код

С тех пор как: base-2.0.1
Подробности экземпляра

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

Методы

(/) :: Ratio a -> Ratio a -> Ratio a Исходный код

recip :: Ratio a -> Ratio a Исходный код

fromRational :: Rational -> Ratio a Исходный код

Integral a => Real (Ratio a) Исходный код

С тех пор как: base-2.0.1
Подробности экземпляра

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

Методы

toRational :: Ratio a -> Rational Исходный код

Integral a => RealFrac (Ratio a) Исходный код

С тех пор как: base-2.0.1
Подробности экземпляра

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

Методы

properFraction :: Integral b => Ratio a -> (b, Ratio a) Исходный код

truncate :: Integral b => Ratio a -> b Исходный код

round :: Integral b => Ratio a -> b Исходный код

ceiling :: Integral b => Ratio a -> b Исходный код

floor :: Integral b => Ratio a -> b Исходный код

Show a => Show (Ratio a) Исходный код

С тех пор как: base-2.0.1
Подробности экземпляра

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

Методы

showsPrec :: Int -> Ratio a -> ShowS Исходный код

show :: Ratio a -> String Исходный код

showList :: [Ratio a] -> ShowS Исходный код

Eq a => Eq (Ratio a) Исходный код

С тех пор как: base-2.1
Подробности экземпляра

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

Методы

(==) :: Ratio a -> Ratio a -> Bool Исходный код

(/=) :: Ratio a -> Ratio a -> Bool Исходный код

Integral a => Ord (Ratio a) Исходный код

С тех пор как: base-2.0.1
Подробности экземпляра

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

Методы

compare :: Ratio a -> Ratio a -> Ordering Исходный код

(<) :: Ratio a -> Ratio a -> Bool Исходный код

(<=) :: Ratio a -> Ratio a -> Bool Исходный код

(>) :: Ratio a -> Ratio a -> Bool Исходный код

(>=) :: Ratio a -> Ratio a -> Bool Исходный код

max :: Ratio a -> Ratio a -> Ratio a Исходный код

min :: Ratio a -> Ratio a -> Ratio a Исходный код

type Rational = Ratio Integer Исходный код

Рациональные числа произвольной точности, представленные как отношение двух Integer значений. Рациональное число можно создать с помощью оператора %.

infinity :: Rational Исходный код

notANumber :: Rational Исходный код

Справочные данные по Enum

numericEnumFrom :: Fractional a => a -> [a] Исходный код

numericEnumFromThen :: Fractional a => a -> a -> [a] Исходный код

numericEnumFromTo :: (Ord a, Fractional a) => a -> a -> [a] Исходный код

numericEnumFromThenTo :: (Ord a, Fractional a) => a -> a -> a -> [a] Исходный код

integralEnumFrom :: (Integral a, Bounded a) => a -> [a] Исходный код

integralEnumFromThen :: (Integral a, Bounded a) => a -> a -> [a] Исходный код

integralEnumFromTo :: Integral a => a -> a -> [a] Исходный код

integralEnumFromThenTo :: Integral a => a -> a -> a -> [a] Исходный код

Создание

(%) :: Integral a => a -> a -> Ratio a infixl 7 Исходный код

Образует отношение двух целых чисел.

Проекция

numerator :: Ratio a -> a Исходный код

Извлечь числитель отношения в приведенной форме: числитель и знаменатель не имеют общего делителя, а знаменатель положителен.

denominator :: Ratio a -> a Исходный код

Извлечь знаменатель отношения в приведенной форме: числитель и знаменатель не имеют общего делителя, а знаменатель положителен.

Операции

reduce :: Integral a => a -> a -> Ratio a Исходный код

reduce - вспомогательная функция, используемая только в этом модуле. Она нормализует отношение, разделив числитель и знаменатель на их наибольший общий делитель.

Внутреннее

ratioPrec :: Int Исходный код

ratioPrec1 :: Int Исходный код

divZeroError :: a Исходный код

ratioZeroDenominatorError :: a Исходный код

overflowError :: a Исходный код

underflowError :: a Исходный код

mkRationalBase2 :: Rational -> Integer -> Rational Исходный код

mkRationalBase10 :: Rational -> Integer -> Rational Исходный код

data FractionalExponentBase Исходный код

Конструкторы

Base2
Base10
Примеры реализации
Подробности примеров реализации
Show FractionalExponentBase Исходный код
Подробности реализации

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

Методы

showsPrec :: Int -> FractionalExponentBase -> ShowS Исходный код

show :: FractionalExponentBase -> String Исходный код

showList :: [FractionalExponentBase] -> ShowS Исходный код

(^%^) :: Integral a => Rational -> a -> Rational Исходный код

(^^%^^) :: Integral a => Rational -> a -> Rational Исходный код

mkRationalWithExponentBase :: Rational -> Integer -> FractionalExponentBase -> Rational Исходный код

powImpl :: (Num a, Integral b) => a -> b -> a Исходный код

powImplAcc :: (Num a, Integral b) => a -> b -> a -> 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/GHC-Real.html

Spec-Zone.ru

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