Numeric.Natural

Copyright	(C) 2014 Herbert Valerio Riedel (C) 2011 Edward Kmett
License	see libraries/base/LICENSE
Maintainer	libraries@haskell.org
Stability	provisional
Portability	portable
Safe Haskell	Safe
Language	Haskell2010

Описание

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

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

data 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 :: (Натуральное, Натуральное) -> Целое Исходный код
Num Натуральное Исходный код	Обратите внимание, что экземпляр `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 :: ReadPrec Натуральное Исходный код readListPrec :: ReadPrec [Натуральное] Исходный код
Целочисленный Натуральное Исходный код	С версии: 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 Исходный код
Eq Natural
Подробности экземпляра Определено в GHC.Num.Natural Методы (==) :: Natural -> Natural -> Bool Исходный код (/=) :: Natural -> Natural -> Bool Исходный код
Ord Natural
Подробности экземпляра Определено в GHC.Num.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 Исходный код
KnownNat n => HasResolution (n :: Nat) Исходный код	Например, `Fixed 1000` даст вам `Fixed` с разрешением 1000.

Детали экземпляра Определено в Data.Fixed Методы resolution :: p n -> Целое число Источник
TestCoercion SNat Источник	С версии: base-4.18.0.0
Детали экземпляра Определено в GHC.Internal.TypeNats Методы testCoercion :: forall (a :: Nat) (b :: Nat). SNat a -> SNat b -> Может быть (Преобразование a b) Источник
TestEquality SNat Источник	С версии: base-4.18.0.0
Детали экземпляра Определено в GHC.Internal.TypeNats Методы testEquality :: forall (a :: Nat) (b :: Nat). SNat a -> SNat b -> Может быть (a :~: b) Источник
Поднять Естественное число Источник
Детали экземпляра Определено в GHC.Internal.TH.Lift Методы lift :: Цитата m => Естественное число -> m Выражение Источник liftTyped :: forall (m :: Тип -> Тип). Цитата m => Естественное число -> Код m Естественное число Источник
type Сравнение (a :: Естественное число) (b :: Естественное число) Источник
Детали экземпляра Определено в GHC.Internal.Data.Type.Ord type Сравнение (a :: Естественное число) (b :: Естественное число) = CmpNat a b

minusNaturalMaybe :: Естественное число -> Естественное число -> Может быть Естественное число Источник

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.12.1/docs/libraries/base-4.21.0.0-8e62/Numeric-Natural.html

Numeric.Natural

Описание

Экземпляры

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы