Numeric.Natural

Авторские права	(C) 2014 Herbert Valerio Riedel (C) 2011 Edward Kmett
Лицензия	см. libraries/base/LICENSE
Сопровождающий	libraries@haskell.org
Стабильность	предварительная
Переносимость	переносимая
Безопасный Haskell	Safe
Язык	Haskell2010

Описание

Тип чисел Natural произвольной точности.

Начиная с: base-4.8.0.0

data Natural Исходный код

Натуральное число

Инвариант: числа <= 0xffffffffffffffff используют конструктор NS

Экземпляры

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

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 Источник
Eq Natural Источник
Подробности экземпляра Определено в GHC.Internal.Bignum.Natural Методы (==) :: Natural -> Natural -> Bool Источник (/=) :: Natural -> Natural -> Bool Источник
Ord Natural Источник
Подробности экземпляра Определено в GHC.Internal.Bignum.Natural Методы compare :: Natural -> Natural -> Ordering Источник (<) :: Natural -> Natural -> Bool Источник (<=) :: Natural -> Natural -> Bool Источник (>) :: Natural -> Natural -> Bool Источник (>=) :: Natural -> Natural -> Bool Источник max :: Natural -> Natural -> Natural Источник min :: Natural -> Natural -> Natural Источник
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 :: (Natural, Natural) -> [Natural] Источник index :: (Natural, Natural) -> Natural -> Int Источник unsafeIndex :: (Natural, Natural) -> Natural -> Int Источник inRange :: (Natural, Natural) -> Natural -> Bool Источник rangeSize :: (Natural, Natural) -> Int Источник unsafeRangeSize :: (Natural, Natural) -> Int Источник
Num Natural Источник	Обратите внимание, что экземпляр `Num` типа `Natural` не является кольцом: ни один элемент, кроме 0, не имеет аддитивного обратного. Однако это полукольцо. Начиная с: base-4.8.0.0

Подробности экземпляра Определён в GHC.Internal.Num Методы (+) :: Natural -> Natural -> Natural Исходный код (-) :: Natural -> Natural -> Natural Исходный код (*) :: Natural -> Natural -> Natural Исходный код negate :: Natural -> Natural Исходный код abs :: Natural -> Natural Исходный код signum :: Natural -> Natural Исходный код fromInteger :: Integer -> Natural Исходный код
Read Natural Исходный код	Начиная с: base-4.8.0.0
Подробности экземпляра Определён в GHC.Internal.Read Методы readsPrec :: Int -> ReadS Natural Исходный код readList :: ReadS [Natural] Исходный код readPrec :: ReadPrec Natural Исходный код readListPrec :: ReadPrec [Natural] Исходный код
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 Исходный код
Real Natural Исходный код	Начиная с: base-4.8.0.0
Подробности экземпляра Определён в GHC.Internal.Real Методы toRational :: Natural -> Rational Исходный код
Show Natural Исходный код	Начиная с: base-4.8.0.0
Подробности экземпляра Определён в GHC.Internal.Show Методы showsPrec :: Int -> Natural -> ShowS Исходный код show :: Natural -> String Исходный код showList :: [Natural] -> ShowS Исходный код
KnownNat n => HasResolution (n :: Nat) Исходный код	Например, `Fixed 1000` даст вам `Fixed` с разрешением 1000.
Подробности экземпляра Определён в Data.Fixed Методы resolution :: p n -> Integer Исходный код
TestCoercion SNat Исходный код	Начиная с: base-4.18.0.0
Подробности экземпляра Определён в GHC.Internal.TypeNats Методы testCoercion :: forall (a :: Nat) (b :: Nat). SNat a -> SNat b -> Maybe (Coercion a b) Исходный код
TestEquality SNat Исходный код	Начиная с: base-4.18.0.0
Подробности экземпляра Определён в GHC.Internal.TypeNats Методы testEquality :: forall (a :: Nat) (b :: Nat). SNat a -> SNat b -> Maybe (a :~: b) Исходный код
Lift Natural Исходный код
Подробности экземпляра Определён в GHC.Internal.TH.Lift Методы lift :: Quote m => Natural -> m Exp Исходный код liftTyped :: forall (m :: Type -> Type). Quote m => Natural -> Code m Natural Исходный код
type Compare (a :: Natural) (b :: Natural) Исходный код
Подробности экземпляра Определён в GHC.Internal.Data.Type.Ord type Compare (a :: Natural) (b :: Natural) = CmpNat a b

minusNaturalMaybe :: Natural -> Natural -> Maybe Natural Исходный код

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

Начиная с: 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.14.1/docs/libraries/base-4.22.0.0-66f8/Numeric-Natural.html

Numeric.Natural

Описание

Экземпляры

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы