GHC.Real

Copyright	(c) The University of Glasgow 1994-2002
License	see libraries/base/LICENSE
Maintainer	cvs-ghc@haskell.org
Stability	internal
Portability	non-portable (GHC Extensions)
Safe Haskell	Trustworthy
Language	Haskell2010

Описание

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

divZeroError :: a Source

ratioZeroDenominatorError :: a Source

overflowError :: a Source

underflowError :: a Source

data Ratio a Source

Рациональные числа, с числителем и знаменателем некоторого типа Integral.

Обратите внимание, что экземпляры Ratio наследуют недостатки от параметра типа. Например, экземпляр Ratio Natural Num имеет похожие проблемы, что и Natural.

Конструкторы

!a :% !a

Экземпляры

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

Integral a => Enum (Ratio a)	Since: base-2.0.1
Подробности о экземпляре Определено в GHC.Real Методы succ :: Ratio a -> Ratio a Source pred :: Ratio a -> Ratio a Source toEnum :: Int -> Ratio a Source fromEnum :: Ratio a -> Int Source enumFrom :: Ratio a -> [Ratio a] Source enumFromThen :: Ratio a -> Ratio a -> [Ratio a] Source enumFromTo :: Ratio a -> Ratio a -> [Ratio a] Source enumFromThenTo :: Ratio a -> Ratio a -> Ratio a -> [Ratio a] Source
Eq a => Eq (Ratio a)	Since: base-2.1
Подробности о экземпляре Определено в GHC.Real Методы (==) :: Ratio a -> Ratio a -> Bool Source (/=) :: Ratio a -> Ratio a -> Bool Source
Integral a => Fractional (Ratio a)	Since: base-2.0.1
Подробности о экземпляре Определено в GHC.Real Методы (/) :: Ratio a -> Ratio a -> Ratio a Source recip :: Ratio a -> Ratio a Source fromRational :: Rational -> Ratio a Source
(Data a, Integral a) => Data (Ratio a)	Since: base-4.0.0.0

Подробности экземпляра Определено в Data.Data Методы gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ratio a -> c (Ratio a) Исходный код gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Ratio a) Исходный код toConstr :: Ratio a -> Constr Исходный код dataTypeOf :: Ratio a -> DataType Исходный код dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Ratio a)) Исходный код dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Ratio a)) Исходный код gmapT :: (forall b. Data b => b -> b) -> Ratio a -> Ratio a Исходный код gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ratio a -> r Исходный код gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ratio a -> r Исходный код gmapQ :: (forall d. Data d => d -> u) -> Ratio a -> [u] Исходный код gmapQi :: Int -> (forall d. Data d => d -> u) -> Ratio a -> u Исходный код gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ratio a -> m (Ratio a) Исходный код gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ratio a -> m (Ratio a) Исходный код gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ratio a -> m (Ratio a) Исходный код
Integral a => Num (Ratio a)	С момента: base-2.0.1
Подробности экземпляра Определено в GHC.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 => Ord (Ratio a)	С момента: base-2.0.1

Подробные сведения об экземпляре Определено в GHC.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 Исходный код
(Integral a, Read a) => Read (Ratio a)	С момента: base-2.1
Подробные сведения об экземпляре Определено в GHC.Read Методы readsPrec :: Int -> ReadS (Ratio a) Исходный код readList :: ReadS [Ratio a] Исходный код readPrec :: ReadPrec (Ratio a) Исходный код readListPrec :: ReadPrec [Ratio a] Исходный код
Integral a => Real (Ratio a)	С момента: base-2.0.1
Подробные сведения об экземпляре Определено в GHC.Real Методы toRational :: Ratio a -> Rational Исходный код
Integral a => RealFrac (Ratio a)	С момента: base-2.0.1
Подробные сведения об экземпляре Определено в GHC.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.Real Методы showsPrec :: Int -> Ratio a -> ShowS Исходный код show :: Ratio a -> String Исходный код showList :: [Ratio a] -> ShowS Исходный код
(Storable a, Integral a) => Storable (Ratio a)	С момента: base-4.8.0.0

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

Определено в 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 () Исходный код

type Рациональное число = Ratio Integer Исходный код

Рациональные числа произвольной точности, представленные как отношение двух Integer значений. Рациональное число может быть создано с помощью оператора %.

ratioPrec :: Int Исходный код

ratioPrec1 :: Int Исходный код

бесконечность :: Рациональное число Исходный код

не число :: Рациональное число Исходный код

(%) :: Целочисленный a => a -> a -> Ratio a infixl 7 Исходный код

Образует отношение двух целых чисел.

числитель :: Ratio a -> a Исходный код

Извлечь числитель отношения в сокращённой форме: числитель и знаменатель не имеют общего делителя, и знаменатель положителен.

знаменатель :: Ratio a -> a Исходный код

Извлечь знаменатель отношения в сокращённой форме: числитель и знаменатель не имеют общего делителя, и знаменатель положителен.

reduce :: Целочисленный a => a -> a -> Ratio a Исходный код

reduce — вспомогательная функция, используемая только в этом модуле. Она нормализует отношение, разделив числитель и знаменатель на их наибольший общий делитель.

class (Число a, Порядок a) => Действительный a where Исходный код

Методы

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

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

Экземпляры

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

Real Double	С версии: base-2.1
Подробности экземпляра Определено в GHC.Float Методы toRational :: Double -> Rational Источник
Real Float	С версии: base-2.1
Подробности экземпляра Определено в GHC.Float Методы toRational :: Float -> Rational Источник
Real Int	С версии: base-2.0.1
Подробности экземпляра Определено в GHC.Real Методы toRational :: Int -> Rational Источник
Real Int8	С версии: base-2.1
Подробности экземпляра Определено в GHC.Int Методы toRational :: Int8 -> Rational Источник
Real Int16	С версии: base-2.1
Подробности экземпляра Определено в GHC.Int Методы toRational :: Int16 -> Rational Источник
Real Int32	С версии: base-2.1
Подробности экземпляра Определено в GHC.Int Методы toRational :: Int32 -> Rational Источник
Real Int64	С версии: base-2.1
Подробности экземпляра Определено в GHC.Int Методы toRational :: Int64 -> Rational Источник
Real Integer	С версии: base-2.0.1
Подробности экземпляра Определено в GHC.Real Методы toRational :: Integer -> Rational Источник
Real Natural	С версии: base-4.8.0.0
Подробности экземпляра Определено в GHC.Real Методы toRational :: Natural -> Rational Источник
Real Word	С версии: base-2.1
Подробности экземпляра Определено в GHC.Real Методы toRational :: Word -> Rational Источник
Real Word8	С версии: base-2.1
Подробности экземпляра Определено в GHC.Word Методы toRational :: Word8 -> Rational Источник
Real Word16	С версии: base-2.1
Подробности экземпляра Определено в GHC.Word Методы toRational :: Word16 -> Rational Источник
Real Word32	С версии: base-2.1
Подробности экземпляра Определено в GHC.Word Методы toRational :: Word32 -> Rational Источник
Real Word64	С версии: base-2.1
Подробности экземпляра Определено в GHC.Word Методы toRational :: Word64 -> Rational Источник
Real IntPtr

Подробности экземпляра Определено в Foreign.Ptr Методы toRational :: IntPtr -> Rational Source
Real WordPtr
Подробности экземпляра Определено в Foreign.Ptr Методы toRational :: WordPtr -> Rational Source
Real CUIntMax
Подробности экземпляра Определено в Foreign.C.Types Методы toRational :: CUIntMax -> Rational Source
Real CIntMax
Подробности экземпляра Определено в Foreign.C.Types Методы toRational :: CIntMax -> Rational Source
Real CUIntPtr
Подробности экземпляра Определено в Foreign.C.Types Методы toRational :: CUIntPtr -> Rational Source
Real CIntPtr
Подробности экземпляра Определено в Foreign.C.Types Методы toRational :: CIntPtr -> Rational Source
Real CSUSeconds
Подробности экземпляра Определено в Foreign.C.Types Методы toRational :: CSUSeconds -> Rational Source
Real CUSeconds
Подробности экземпляра Определено в Foreign.C.Types Методы toRational :: CUSeconds -> Rational Source
Real CTime
Подробности экземпляра Определено в Foreign.C.Types Методы toRational :: CTime -> Rational Source
Real CClock
Подробности экземпляра Определено в Foreign.C.Types Методы toRational :: CClock -> Rational Source
Real CSigAtomic
Подробности экземпляра Определено в Foreign.C.Types Методы toRational :: CSigAtomic -> Rational Source
Real CWchar
Подробности экземпляра Определено в Foreign.C.Types Методы toRational :: CWchar -> Rational Source
Real CSize
Подробности экземпляра Определено в Foreign.C.Types Методы toRational :: CSize -> Rational Source
Real CPtrdiff
Подробности экземпляра Определено в Foreign.C.Types Методы toRational :: CPtrdiff -> Rational Source
Real CDouble
Подробности экземпляра Определено в Foreign.C.Types Методы toRational :: CDouble -> Rational Source

Real CFloat
Instance details Определено в Foreign.C.Types Методы toRational :: CFloat -> Rational Source
Real CBool
Instance details Определено в Foreign.C.Types Методы toRational :: CBool -> Rational Source
Real CULLong
Instance details Определено в Foreign.C.Types Методы toRational :: CULLong -> Rational Source
Real CLLong
Instance details Определено в Foreign.C.Types Методы toRational :: CLLong -> Rational Source
Real CULong
Instance details Определено в Foreign.C.Types Методы toRational :: CULong -> Rational Source
Real CLong
Instance details Определено в Foreign.C.Types Методы toRational :: CLong -> Rational Source
Real CUInt
Instance details Определено в Foreign.C.Types Методы toRational :: CUInt -> Rational Source
Real CInt
Instance details Определено в Foreign.C.Types Методы toRational :: CInt -> Rational Source
Real CUShort
Instance details Определено в Foreign.C.Types Методы toRational :: CUShort -> Rational Source
Real CShort
Instance details Определено в Foreign.C.Types Методы toRational :: CShort -> Rational Source
Real CUChar
Instance details Определено в Foreign.C.Types Методы toRational :: CUChar -> Rational Source
Real CSChar
Instance details Определено в Foreign.C.Types Методы toRational :: CSChar -> Rational Source
Real CChar
Instance details Определено в Foreign.C.Types Методы toRational :: CChar -> Rational Source
Real Fd
Instance details Определено в System.Posix.Types Методы toRational :: Fd -> Rational Source
Real CNfds

Подробности экземпляра Определено в System.Posix.Types Методы toRational :: CNfds -> Rational Источник
Real CSocklen
Подробности экземпляра Определено в System.Posix.Types Методы toRational :: CSocklen -> Rational Источник
Real CKey
Подробности экземпляра Определено в System.Posix.Types Методы toRational :: CKey -> Rational Источник
Real CId
Подробности экземпляра Определено в System.Posix.Types Методы toRational :: CId -> Rational Источник
Real CFsFilCnt
Подробности экземпляра Определено в System.Posix.Types Методы toRational :: CFsFilCnt -> Rational Источник
Real CFsBlkCnt
Подробности экземпляра Определено в System.Posix.Types Методы toRational :: CFsBlkCnt -> Rational Источник
Real CClockId
Подробности экземпляра Определено в System.Posix.Types Методы toRational :: CClockId -> Rational Источник
Real CBlkCnt
Подробности экземпляра Определено в System.Posix.Types Методы toRational :: CBlkCnt -> Rational Источник
Real CBlkSize
Подробности экземпляра Определено в System.Posix.Types Методы toRational :: CBlkSize -> Rational Источник
Real CRLim
Подробности экземпляра Определено в System.Posix.Types Методы toRational :: CRLim -> Rational Источник
Real CTcflag
Подробности экземпляра Определено в System.Posix.Types Методы toRational :: CTcflag -> Rational Источник
Real CSpeed
Подробности экземпляра Определено в System.Posix.Types Методы toRational :: CSpeed -> Rational Источник
Real CCc
Подробности экземпляра Определено в System.Posix.Types Методы toRational :: CCc -> Rational Источник
Real CUid
Подробности экземпляра Определено в System.Posix.Types Методы toRational :: CUid -> Rational Источник
Real CNlink

Instance details Defined in System.Posix.Types Methods toRational :: CNlink -> Rational Source
Real CGid
Instance details Defined in System.Posix.Types Methods toRational :: CGid -> Rational Source
Real CSsize
Instance details Defined in System.Posix.Types Methods toRational :: CSsize -> Rational Source
Real CPid
Instance details Defined in System.Posix.Types Methods toRational :: CPid -> Rational Source
Real COff
Instance details Defined in System.Posix.Types Methods toRational :: COff -> Rational Source
Real CMode
Instance details Defined in System.Posix.Types Methods toRational :: CMode -> Rational Source
Real CIno
Instance details Defined in System.Posix.Types Methods toRational :: CIno -> Rational Source
Real CDev
Instance details Defined in System.Posix.Types Methods toRational :: CDev -> Rational Source
Integral a => Real (Ratio a)	Since: base-2.0.1
Instance details Defined in GHC.Real Methods toRational :: Ratio a -> Rational Source
Real a => Real (Down a)	Since: base-4.14.0.0
Instance details Defined in Data.Ord Methods toRational :: Down a -> Rational Source
Real a => Real (Identity a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Identity Methods toRational :: Identity a -> Rational Source
HasResolution a => Real (Fixed a)	Since: base-2.1
Instance details Defined in Data.Fixed Methods toRational :: Fixed a -> Rational Source
Real a => Real (Const a b)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Const Methods toRational :: Const a b -> Rational Source

class (Real a, Enum a) => Integral a where Source

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

В отчёте по 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.

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

quotRem, toInteger

Методы

quot :: a -> a -> a infixl 7 Источник

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

rem :: a -> a -> a infixl 7 Источник

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

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

div :: a -> a -> a infixl 7 Источник

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

mod :: a -> a -> a infixl 7 Источник

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

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

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

одновременное получение quot и rem

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

одновременное получение div и mod

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

преобразование в Integer

Экземпляры

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

Integral Int	С версии: base-2.0.1
Подробности экземпляра Определено в GHC.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 Int8	С версии: base-2.1
Подробности экземпляра Определено в GHC.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 Int16	С версии: base-2.1
Подробности экземпляра Определено в GHC.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.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.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 Integer	С момента: base-2.0.1
Сведения об экземпляре Определено в GHC.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.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 Word	С версии: base-2.1
Подробности экземпляра Определено в GHC.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 Word8	С версии: base-2.1
Подробности экземпляра Определено в GHC.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 Word16	С версии: base-2.1

Instance details Определено в GHC.Word Методы quot :: Word16 -> Word16 -> Word16 Source rem :: Word16 -> Word16 -> Word16 Source div :: Word16 -> Word16 -> Word16 Source mod :: Word16 -> Word16 -> Word16 Source quotRem :: Word16 -> Word16 -> (Word16, Word16) Source divMod :: Word16 -> Word16 -> (Word16, Word16) Source toInteger :: Word16 -> Integer Source
Integral Word32	Since: base-2.1
Instance details Определено в GHC.Word Методы quot :: Word32 -> Word32 -> Word32 Source rem :: Word32 -> Word32 -> Word32 Source div :: Word32 -> Word32 -> Word32 Source mod :: Word32 -> Word32 -> Word32 Source quotRem :: Word32 -> Word32 -> (Word32, Word32) Source divMod :: Word32 -> Word32 -> (Word32, Word32) Source toInteger :: Word32 -> Integer Source
Integral Word64	Since: base-2.1
Instance details Определено в GHC.Word Методы quot :: Word64 -> Word64 -> Word64 Source rem :: Word64 -> Word64 -> Word64 Source div :: Word64 -> Word64 -> Word64 Source mod :: Word64 -> Word64 -> Word64 Source quotRem :: Word64 -> Word64 -> (Word64, Word64) Source divMod :: Word64 -> Word64 -> (Word64, Word64) Source toInteger :: Word64 -> Integer Source
Integral IntPtr

Информация о реализации Определено в Foreign.Ptr Методы quot :: IntPtr -> IntPtr -> IntPtr Исходный код rem :: IntPtr -> IntPtr -> IntPtr Исходный код div :: IntPtr -> IntPtr -> IntPtr Исходный код mod :: IntPtr -> IntPtr -> IntPtr Исходный код quotRem :: IntPtr -> IntPtr -> (IntPtr, IntPtr) Исходный код divMod :: IntPtr -> IntPtr -> (IntPtr, IntPtr) Исходный код toInteger :: IntPtr -> Integer Исходный код
Integral WordPtr
Информация о реализации Определено в 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 CUIntMax
Информация о реализации Определено в 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 CIntMax

Подробности экземпляра Определено в 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 CUIntPtr
Подробности экземпляра Определено в 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 CIntPtr
Подробности экземпляра Определено в 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 CSigAtomic

Instance details Определено в 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 CWchar
Instance details Определено в Foreign.C.Types Методы quot :: CWchar -> CWchar -> CWchar Источник rem :: CWchar -> CWchar -> CWchar Источник div :: CWchar -> CWchar -> CWchar Источник mod :: CWchar -> CWchar -> CWchar Источник quotRem :: CWchar -> CWchar -> (CWchar, CWchar) Источник divMod :: CWchar -> CWchar -> (CWchar, CWchar) Источник toInteger :: CWchar -> Integer Источник
Integral CSize
Instance details Определено в 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 CPtrdiff

Информация о реализации Определено в 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 CBool
Информация о реализации Определено в 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 CULLong
Информация о реализации Определено в 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 CLLong

Подробности экземпляра Определено в 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 CULong
Подробности экземпляра Определено в 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 CLong
Подробности экземпляра Определено в 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 CUInt

Подробности экземпляра Определено в 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 CInt
Подробности экземпляра Определено в 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 CUShort
Подробности экземпляра Определено в Foreign.C.Types Краткое описание методов quot :: CUShort -> CUShort -> CUShort Исходный код rem :: CUShort -> CUShort -> CUShort Исходный код div :: CUShort -> CUShort -> CUShort Исходный код mod :: CUShort -> CUShort -> CUShort Исходный код quotRem :: CUShort -> CUShort -> (CUShort, CUShort) Исходный код divMod :: CUShort -> CUShort -> (CUShort, CUShort) Исходный код toInteger :: CUShort -> Integer Исходный код
Integral CShort

Информация о реализации Определено в 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 CUChar
Информация о реализации Определено в 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 CSChar
Информация о реализации Определено в 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 CChar

Информация о экземпляре Определено в 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 Fd
Информация о экземпляре Определено в 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 CNfds
Информация о экземпляре Определено в 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 CSocklen

END_OF_DOCUMENT_MARKER

Информация о реализации Определено в 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 -> Integer Исходный код
Integral CKey
Информация о реализации Определено в 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 CId
Информация о реализации Определено в 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 CFsFilCnt

Подробности экземпляра Определено в System.Posix.Types Краткое описание методов quot :: CFsFilCnt -> CFsFilCnt -> CFsFilCnt Source rem :: CFsFilCnt -> CFsFilCnt -> CFsFilCnt Source div :: CFsFilCnt -> CFsFilCnt -> CFsFilCnt Source mod :: CFsFilCnt -> CFsFilCnt -> CFsFilCnt Source quotRem :: CFsFilCnt -> CFsFilCnt -> (CFsFilCnt, CFsFilCnt) Source divMod :: CFsFilCnt -> CFsFilCnt -> (CFsFilCnt, CFsFilCnt) Source toInteger :: CFsFilCnt -> Integer Source
Integral CFsBlkCnt
Подробности экземпляра Определено в System.Posix.Types Краткое описание методов quot :: CFsBlkCnt -> CFsBlkCnt -> CFsBlkCnt Source rem :: CFsBlkCnt -> CFsBlkCnt -> CFsBlkCnt Source div :: CFsBlkCnt -> CFsBlkCnt -> CFsBlkCnt Source mod :: CFsBlkCnt -> CFsBlkCnt -> CFsBlkCnt Source quotRem :: CFsBlkCnt -> CFsBlkCnt -> (CFsBlkCnt, CFsBlkCnt) Source divMod :: CFsBlkCnt -> CFsBlkCnt -> (CFsBlkCnt, CFsBlkCnt) Source toInteger :: CFsBlkCnt -> Integer Source
Integral CClockId
Подробности экземпляра Определено в System.Posix.Types Краткое описание методов quot :: CClockId -> CClockId -> CClockId Source rem :: CClockId -> CClockId -> CClockId Source div :: CClockId -> CClockId -> CClockId Source mod :: CClockId -> CClockId -> CClockId Source quotRem :: CClockId -> CClockId -> (CClockId, CClockId) Source divMod :: CClockId -> CClockId -> (CClockId, CClockId) Source toInteger :: CClockId -> Integer Source
Integral CBlkCnt

Подробности экземпляра Определено в 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
Подробности экземпляра Определено в 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 CRLim
Подробности экземпляра Определено в 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 CTcflag

Подробности экземпляра Определено в 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
Подробности экземпляра Определено в 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 CNlink
Подробности экземпляра Определено в 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 CGid

Подробности экземпляра Определено в 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 CSsize
Подробности экземпляра Определено в 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 CPid
Подробности экземпляра Определено в 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 COff

Подробности экземпляра Определено в System.Posix.Types Краткое описание методов quot :: COff -> COff -> COff Source rem :: COff -> COff -> COff Source div :: COff -> COff -> COff Source mod :: COff -> COff -> COff Source quotRem :: COff -> COff -> (COff, COff) Source divMod :: COff -> COff -> (COff, COff) Source toInteger :: COff -> Integer Source
Integral CMode
Подробности экземпляра Определено в System.Posix.Types Краткое описание методов quot :: CMode -> CMode -> CMode Source rem :: CMode -> CMode -> CMode Source div :: CMode -> CMode -> CMode Source mod :: CMode -> CMode -> CMode Source quotRem :: CMode -> CMode -> (CMode, CMode) Source divMod :: CMode -> CMode -> (CMode, CMode) Source toInteger :: CMode -> Integer Source
Integral CIno
Подробности экземпляра Определено в System.Posix.Types Краткое описание методов quot :: CIno -> CIno -> CIno Source rem :: CIno -> CIno -> CIno Source div :: CIno -> CIno -> CIno Source mod :: CIno -> CIno -> CIno Source quotRem :: CIno -> CIno -> (CIno, CIno) Source divMod :: CIno -> CIno -> (CIno, CIno) Source toInteger :: CIno -> Integer Source
Integral CDev

Подробности экземпляра Определено в 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 a => Integral (Down a)	С момента: base-4.14.0.0
Подробности экземпляра Определено в Data.Ord Методы quot :: Down a -> Down a -> Down a Исходный код rem :: Down a -> Down a -> Down a Исходный код div :: Down a -> Down a -> Down a Исходный код mod :: Down a -> Down a -> Down a Исходный код quotRem :: Down a -> Down a -> (Down a, Down a) Исходный код divMod :: Down a -> Down a -> (Down a, Down a) Исходный код toInteger :: Down a -> Integer Исходный код
Integral a => Integral (Identity a)	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Functor.Identity Методы
Integral a => Integral (Const a b)	С момента: base-4.9.0.0

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

Определено в 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 Исходный код

class Num a => Fractional a where Исходный код

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

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

recip задаёт мультипликативную инверсию: x * recip x = recip x * x = fromInteger 1

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

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

fromRational, (recip | (/))

Методы

(/) :: a -> a -> a infixl 7 Исходный код

Дробное деление.

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

Взаимно обратное дробное число.

fromRational :: Rational -> a Исходный код

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

Экземпляры

Подробности о реализации

Fractional Double	Обратите внимание, что из-за наличия `NaN`, не все элементы `Double` имеют мультипликативную обратную. >>> *0/0 (recip 0/0 :: Double)** NaN Since: base-2.1
Подробности о реализации Определено в GHC.Float Методы (/) :: Double -> Double -> Double Source recip :: Double -> Double Source fromRational :: Rational -> Double Source
Fractional Float	Обратите внимание, что из-за наличия `NaN`, не все элементы `Float` имеют мультипликативную обратную. >>> *0/0 (recip 0/0 :: Float)** NaN Since: base-2.1
Подробности о реализации Определено в GHC.Float Методы (/) :: Float -> Float -> Float Source recip :: Float -> Float Source fromRational :: Rational -> Float Source
Fractional CDouble
Подробности о реализации Определено в Foreign.C.Types Методы (/) :: CDouble -> CDouble -> CDouble Source recip :: CDouble -> CDouble Source fromRational :: Rational -> CDouble Source
Fractional CFloat
Подробности о реализации Определено в Foreign.C.Types Методы (/) :: CFloat -> CFloat -> CFloat Source recip :: CFloat -> CFloat Source fromRational :: Rational -> CFloat Source
Integral a => Fractional (Ratio a)	Since: base-2.0.1
Подробности о реализации Определено в GHC.Real Методы (/) :: Ratio a -> Ratio a -> Ratio a Source recip :: Ratio a -> Ratio a Source fromRational :: Rational -> Ratio a Source
Fractional a => Fractional (Down a)	Since: base-4.14.0.0
Подробности о реализации Определено в Data.Ord Методы (/) :: Down a -> Down a -> Down a Source recip :: Down a -> Down a Source fromRational :: Rational -> Down a Source
Fractional a => Fractional (Identity a)	Since: base-4.9.0.0
Подробности о реализации Определено в Data.Functor.Identity Методы (/) :: Identity a -> Identity a -> Identity a Source recip :: Identity a -> Identity a Source fromRational :: Rational -> Identity a Source
RealFloat a => Fractional (Complex a)	Since: base-2.1

Подробности экземпляра Определено в Data.Complex Методы (/) :: Комплексное a -> Комплексное a -> Комплексное a Источник recip :: Комплексное a -> Комплексное a Источник fromRational :: Рациональное -> Комплексное a Источник
Дробное a => Дробное (Op a b)
Подробности экземпляра Определено в Data.Functor.Contravariant Методы (/) :: Op a b -> Op a b -> Op a b Источник recip :: Op a b -> Op a b Источник fromRational :: Рациональное -> Op a b Источник
HasResolution a => Дробное (Fixed a)	С момента: base-2.1
Подробности экземпляра Определено в Data.Fixed Методы (/) :: Fixed a -> Fixed a -> Fixed a Источник recip :: Fixed a -> Fixed a Источник fromRational :: Рациональное -> Fixed a Источник
Дробное a => Дробное (Const a b)	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Functor.Const Методы (/) :: Const a b -> Const a b -> Const a b Источник recip :: Const a b -> Const a b Источник fromRational :: Рациональное -> Const a b Источник

class (Вещественное a, Дробное a) => RealFrac a where Источник

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

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

properFraction

Методы

properFraction :: Целочисленное b => a -> (b, a) Источник

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

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

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

truncate :: Целочисленное b => a -> b Источник

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

round :: Целочисленное b => a -> b Источник

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

ceiling :: Целочисленное b => a -> b Источник

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

floor :: Целочисленное b => a -> b Источник

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

Экземпляры

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

RealFrac Double	С версии: base-2.1
Подробности о экземпляре Определено в GHC.Float Методы properFraction :: Integral b => Double -> (b, Double) Исходный код truncate :: Integral b => Double -> b Исходный код round :: Integral b => Double -> b Исходный код ceiling :: Integral b => Double -> b Исходный код floor :: Integral b => Double -> b Исходный код
RealFrac Float	С версии: base-2.1
Подробности о экземпляре Определено в GHC.Float Методы properFraction :: Integral b => Float -> (b, Float) Исходный код truncate :: Integral b => Float -> b Исходный код round :: Integral b => Float -> b Исходный код ceiling :: Integral b => Float -> b Исходный код floor :: Integral b => Float -> b Исходный код
RealFrac CDouble
Подробности о экземпляре Определено в 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
Подробности о экземпляре Определено в 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 (Ratio a)	С версии: base-2.0.1
Подробности о экземпляре Определено в GHC.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 Исходный код
RealFrac a => RealFrac (Down a)	С версии: base-4.14.0.0

Подробности экземпляра Определено в 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 Исходный код
RealFrac a => RealFrac (Identity a)	С момента: base-4.9.0.0
Подробности экземпляра Определено в 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 Исходный код
HasResolution a => RealFrac (Fixed a)	С момента: base-2.1
Подробности экземпляра Определено в Data.Fixed Методы properFraction :: Integral b => Fixed a -> (b, Fixed a) Исходный код truncate :: Integral b => Fixed a -> b Исходный код round :: Integral b => Fixed a -> b Исходный код ceiling :: Integral b => Fixed a -> b Исходный код floor :: Integral b => Fixed a -> b Исходный код
RealFrac a => RealFrac (Const a b)	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Functor.Const Методы properFraction :: Integral b0 => Const a b -> (b0, Const a b) Исходный код truncate :: Integral b0 => Const a b -> b0 Исходный код round :: Integral b0 => Const a b -> b0 Исходный код ceiling :: Integral b0 => Const a b -> b0 Исходный код floor :: Integral b0 => Const a b -> b0 Исходный код

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

fromIntegral :: (Integral a, Num b) => a -> b Исходный код

Общая кодировка из целочисленных типов

realToFrac :: (Real a, Fractional b) => a -> b Исходный код

Общая кодировка в дробные типы

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

Аргументы

:: Real a
=> (a -> ShowS)	функция, которая может отображать беззнаковые значения
-> Int	приоритет окружающего контекста
-> a	значение для отображения
-> ShowS

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

even :: Integral a => a -> Bool Source

odd :: Integral a => a -> Bool Source

(^) :: (Num a, Integral b) => a -> b -> a infixr 8 Source

Возводит число в неотрицательную целую степень.

(^^) :: (Fractional a, Integral b) => a -> b -> a infixr 8 Source

Возводит число в целую степень.

(^%^) :: Integral a => Rational -> a -> Rational Source

(^^%^^) :: Integral a => Rational -> a -> Rational Source

gcd :: Integral a => a -> a -> a Source

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 Source

lcm x y - наименьшее положительное целое число, которое делят как x, так и y.

gcdInt' :: Int -> Int -> Int Source

gcdWord' :: Word -> Word -> Word Source

integralEnumFrom :: (Integral a, Bounded a) => a -> [a] Source

integralEnumFromThen :: (Integral a, Bounded a) => a -> a -> [a] Source

integralEnumFromTo :: Integral a => a -> a -> [a] Source

integralEnumFromThenTo :: Integral a => a -> a -> a -> [a] Source

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.10.2/docs/html/libraries/base-4.14.1.0/GHC-Real.html

GHC.Real

Описание

Конструкторы

Экземпляры

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Экземпляры

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Methods

Methods

Methods

Methods

Methods

Methods