GHC.Natural

Safe Haskell	Safe
Language	Haskell2010

Содержание

Арифметика
Биты
Преобразования
Модулярная арифметика

Описание

Модуль совместимости для кода pre ghc-bignum.

data Natural where

Связанные шаблоны

pattern NatS# :: Word# -> Natural
pattern NatJ# :: BigNat -> Natural

Экземпляры

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

PrintfArg Natural Источник	С версии: base-4.8.0.0
Подробности о экземпляре Определено в Text.Printf Методы formatArg :: Natural -> FieldFormatter Источник parseFormat :: Natural -> ModifierParser Источник
Bits Natural Источник	С версии: base-4.8.0
Подробности о экземпляре Определено в GHC.Internal.Bits Методы (.&.) :: Natural -> Natural -> Natural Источник (.\|.) :: Natural -> Natural -> Natural Источник xor :: Natural -> Natural -> Natural Источник complement :: Natural -> Natural Источник shift :: Natural -> Int -> Natural Источник rotate :: Natural -> Int -> Natural Источник zeroBits :: Natural Источник bit :: Int -> Natural Источник setBit :: Natural -> Int -> Natural Источник clearBit :: Natural -> Int -> Natural Источник complementBit :: Natural -> Int -> Natural Источник testBit :: Natural -> Int -> Bool Источник bitSizeMaybe :: Natural -> Maybe Int Источник bitSize :: Natural -> Int Источник isSigned :: Natural -> Bool Источник shiftL :: Natural -> Int -> Natural Источник unsafeShiftL :: Natural -> Int -> Natural Источник shiftR :: Natural -> Int -> Natural Источник unsafeShiftR :: Natural -> Int -> Natural Источник rotateL :: Natural -> Int -> Natural Источник rotateR :: Natural -> Int -> Natural Источник popCount :: Natural -> Int Источник
Data Natural Источник	С версии: base-4.8.0.0

Подробности экземпляра Определено в GHC.Internal.Data.Data Методы gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Natural -> c Natural Исходный код gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Natural Исходный код toConstr :: Natural -> Constr Исходный код dataTypeOf :: Natural -> DataType Исходный код dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Natural) Исходный код dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Natural) Исходный код gmapT :: (forall b. Data b => b -> b) -> Natural -> Natural Исходный код gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Natural -> r Исходный код gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Natural -> r Исходный код gmapQ :: (forall d. Data d => d -> u) -> Natural -> [u] Исходный код gmapQi :: Int -> (forall d. Data d => d -> u) -> Natural -> u Исходный код gmapM :: Monad m => (forall d. Data d => d -> m d) -> Natural -> m Natural Исходный код gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Natural -> m Natural Исходный код gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Natural -> m Natural Исходный код
Enum Natural Исходный код	С момента: base-4.8.0.0
Подробности экземпляра Определено в GHC.Internal.Enum Методы succ :: Natural -> Natural Исходный код pred :: Natural -> Natural Исходный код toEnum :: Int -> Natural Исходный код fromEnum :: Natural -> Int Исходный код enumFrom :: Natural -> [Natural] Исходный код enumFromThen :: Natural -> Natural -> [Natural] Исходный код enumFromTo :: Natural -> Natural -> [Natural] Исходный код enumFromThenTo :: Natural -> Natural -> Natural -> [Natural] Исходный код
Ix Natural Исходный код	С момента: base-4.8.0.0

Подробности экземпляра Определено в GHC.Internal.Ix Методы range :: (Натуральное, Натуральное) -> [Натуральное] Исходный код index :: (Натуральное, Натуральное) -> Натуральное -> Целое Исходный код unsafeIndex :: (Натуральное, Натуральное) -> Натуральное -> Целое Исходный код inRange :: (Натуральное, Натуральное) -> Натуральное -> Булево Исходный код rangeSize :: (Натуральное, Натуральное) -> Целое Исходный код unsafeRangeSize :: (Натуральное, Натуральное) -> Целое Исходный код
Число Натуральное Исходный код	Обратите внимание, что экземпляр `Natural` `Num` не является кольцом: нет элементов, кроме 0, имеющих аддитивную инверсию. Однако это полукольцо. С тех пор как: base-4.8.0.0
Подробности экземпляра Определено в GHC.Internal.Num Методы (+) :: Натуральное -> Натуральное -> Натуральное Исходный код (-) :: Натуральное -> Натуральное -> Натуральное Исходный код (*) :: Натуральное -> Натуральное -> Натуральное Исходный код negate :: Натуральное -> Натуральное Исходный код abs :: Натуральное -> Натуральное Исходный код signum :: Натуральное -> Натуральное Исходный код fromInteger :: Целое -> Натуральное Исходный код
Чтение Натуральное Исходный код	С тех пор как: base-4.8.0.0
Подробности экземпляра Определено в GHC.Internal.Read Методы readsPrec :: Целое -> ЧтениеS Натуральное Исходный код readList :: ЧтениеS [Натуральное] Исходный код readPrec :: ЧтениеПрец Натуральное Исходный код readListPrec :: ЧтениеПрец [Натуральное] Исходный код
Целое Натуральное Исходный код	С тех пор как: base-4.8.0.0

Подробности экземпляра Определено в GHC.Internal.Real Методы quot :: Натуральное число -> Натуральное число -> Натуральное число Исходный код rem :: Натуральное число -> Натуральное число -> Натуральное число Исходный код div :: Натуральное число -> Натуральное число -> Натуральное число Исходный код mod :: Натуральное число -> Натуральное число -> Натуральное число Исходный код quotRem :: Натуральное число -> Натуральное число -> (Натуральное число, Натуральное число) Исходный код divMod :: Натуральное число -> Натуральное число -> (Натуральное число, Натуральное число) Исходный код toInteger :: Натуральное число -> Целое число Исходный код
Действительное Натуральное число Исходный код	С момента: base-4.8.0.0
Подробности экземпляра Определено в GHC.Internal.Real Методы toRational :: Натуральное число -> Рациональное число Исходный код
Вывод Натуральное число Исходный код	С момента: base-4.8.0.0
Подробности экземпляра Определено в GHC.Internal.Show Методы showsPrec :: Целое число -> Натуральное число -> ShowS Исходный код show :: Натуральное число -> Строка Исходный код showList :: [Натуральное число] -> ShowS Исходный код
Равенство Натуральное число
Подробности экземпляра Определено в GHC.Num.Natural Методы (==) :: Натуральное число -> Натуральное число -> Булево значение Исходный код (/=) :: Натуральное число -> Натуральное число -> Булево значение Исходный код
Порядок Натуральное число
Подробности экземпляра Определено в GHC.Num.Natural Методы compare :: Натуральное число -> Натуральное число -> Порядок Исходный код (<) :: Натуральное число -> Натуральное число -> Булево значение Исходный код (<=) :: Натуральное число -> Натуральное число -> Булево значение Исходный код (>) :: Натуральное число -> Натуральное число -> Булево значение Исходный код (>=) :: Натуральное число -> Натуральное число -> Булево значение Исходный код max :: Натуральное число -> Натуральное число -> Натуральное число Исходный код min :: Натуральное число -> Натуральное число -> Натуральное число Исходный код
Известное натуральное число n => Имеет разрешение (n :: Nat) Исходный код	Например, `Fixed 1000` даст вам `Fixed` с разрешением 1000.
Подробности экземпляра Определено в Data.Fixed Методы resolution :: p n -> Целое число Исходный код

TestCoercion SNat Source	С момента: base-4.18.0.0
Подробности экземпляра Определено в GHC.Internal.TypeNats Методы testCoercion :: forall (a :: Nat) (b :: Nat). SNat a -> SNat b -> Maybe (Coercion a b) Source
TestEquality SNat Source	С момента: base-4.18.0.0
Подробности экземпляра Определено в GHC.Internal.TypeNats Методы testEquality :: forall (a :: Nat) (b :: Nat). SNat a -> SNat b -> Maybe (a :~: b) Source
Lift Natural Source
Подробности экземпляра Определено в GHC.Internal.TH.Lift Методы lift :: Quote m => Natural -> m Exp Source liftTyped :: forall (m :: Type -> Type). Quote m => Natural -> Code m Natural Source
type Compare (a :: Natural) (b :: Natural) Source
Подробности экземпляра Определено в GHC.Internal.Data.Type.Ord type Compare (a :: Natural) (b :: Natural) = CmpNat a b

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

BN#
Поля unBigNat :: BigNat#

Экземпляры

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

Eq BigNat
Подробности экземпляра Определено в GHC.Num.BigNat Методы (==) :: BigNat -> BigNat -> Bool Source (/=) :: BigNat -> BigNat -> Bool Source
Ord BigNat
Подробности экземпляра Определено в GHC.Num.BigNat Методы compare :: BigNat -> BigNat -> Ordering Source (<) :: BigNat -> BigNat -> Bool Source (<=) :: BigNat -> BigNat -> Bool Source (>) :: BigNat -> BigNat -> Bool Source (>=) :: BigNat -> BigNat -> Bool Source max :: BigNat -> BigNat -> BigNat Source min :: BigNat -> BigNat -> BigNat Source

mkNatural :: [Word] -> Natural Source

Создать значение Natural из списка Word.

isValidNatural :: Natural -> Bool Source

Проверка, выполнены ли все внутренние инварианты для значения Natural

Эта операция полезна в основном для наборов тестов и/или кода, который строит значения Integer напрямую.

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

Арифметика

plusNatural :: Natural -> Natural -> Natural Source

Natural Сложение

minusNatural :: Natural -> Natural -> Natural Source

Natural вычитание. Может throw Underflow.

minusNaturalMaybe :: Natural -> Natural -> Maybe Natural Source

Natural Вычитание. Возвращает Nothing для результатов, не являющихся положительными.

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

timesNatural :: Natural -> Natural -> Natural Source

Natural Умножение

negateNatural :: Natural -> Natural Source

signumNatural :: Natural -> Natural Source

quotRemNatural :: Natural -> Natural -> (Natural, Natural) Source

quotNatural :: Natural -> Natural -> Natural Source

remNatural :: Natural -> Natural -> Natural Source

gcdNatural :: Natural -> Natural -> Natural Source

Вычисление наибольшего общего делителя.

lcmNatural :: Natural -> Natural -> Natural Source

Вычисление наименьшего общего кратного.

Биты

andNatural :: Natural -> Natural -> Natural Source

orNatural :: Natural -> Natural -> Natural Source

xorNatural :: Natural -> Natural -> Natural Source

bitNatural :: Int# -> Natural Source

testBitNatural :: Natural -> Int -> Bool Source

popCountNatural :: Natural -> Int Source

shiftLNatural :: Natural -> Int -> Natural Source

shiftRNatural :: Natural -> Int -> Natural Source

Преобразования

naturalToInteger :: Natural -> Integer Source

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

naturalToWord :: Natural -> Word Source

naturalToWordMaybe :: Natural -> Maybe Word Source

Попытка приведения типа Natural к значению типа Word. Возвращает Nothing, если значение не помещается в Word.

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

wordToNatural :: Word -> Natural Source

Конструирование значения Natural из значения Word.

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

wordToNatural# :: Word -> Natural Source

naturalFromInteger :: Integer -> Natural Source

Since: base-4.10.0.0

Модулярная арифметика

powModNatural :: Natural -> Natural -> Natural -> Natural Source

"powModNatural b e m" вычисляет значение b в степени e по модулю m.

Since: base-4.8.0.0

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

спецификации, руководства, описания, API

free hit counter