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 | Trustworthy |
| Language | Haskell2010 |
Тип, представляющий целые неотрицательные числа с произвольной точностью.
>>> 2^100 :: Natural 1267650600228229401496703205376
Операции, результат которых был бы отрицательным throw
(Underflow :: ArithException),
>>> -1 :: Natural *** Exception: arithmetic underflow
С версии: base-4.8.0.0
Примеры реализации
| Enum Natural | С версии: base-4.8.0.0 |
Определено в GHC.Enum Методыsucc :: Natural -> Natural Source pred :: Natural -> Natural Source toEnum :: Int -> Natural Source fromEnum :: Natural -> Int Source enumFrom :: Natural -> [Natural] Source enumFromThen :: Natural -> Natural -> [Natural] Source enumFromTo :: Natural -> Natural -> [Natural] Source enumFromThenTo :: Natural -> Natural -> Natural -> [Natural] Source | |
| Eq Natural | С версии: base-4.8.0.0 |
| Integral Natural | С версии: base-4.8.0.0 |
Определено в GHC.Real Методы | |
Определено в 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 Исходный код | |
| Num Natural |
Обратите внимание, что экземпляр С: base-4.8.0.0 |
Определено в GHC.Num Методы(+) :: Natural -> Natural -> Natural Исходный код (-) :: Natural -> Natural -> Natural Исходный код (*) :: Natural -> Natural -> Natural Исходный код negate :: Natural -> Natural Исходный код abs :: Natural -> Natural Исходный код signum :: Natural -> Natural Исходный код | |
| Ord Natural | С: base-4.8.0.0 |
Определено в Data.Bits Методы(.&.) :: Natural -> Natural -> Natural Source (.|.) :: Natural -> Natural -> Natural Source xor :: Natural -> Natural -> Natural Source complement :: Natural -> Natural Source shift :: Natural -> Int -> Natural Source rotate :: Natural -> Int -> Natural Source setBit :: Natural -> Int -> Natural Source clearBit :: Natural -> Int -> Natural Source complementBit :: Natural -> Int -> Natural Source testBit :: Natural -> Int -> Bool Source bitSizeMaybe :: Natural -> Maybe Int Source bitSize :: Natural -> Int Source isSigned :: Natural -> Bool Source shiftL :: Natural -> Int -> Natural Source unsafeShiftL :: Natural -> Int -> Natural Source shiftR :: Natural -> Int -> Natural Source unsafeShiftR :: Natural -> Int -> Natural Source rotateL :: Natural -> Int -> Natural Source | |
| PrintfArg Natural | С версии: base-4.8.0.0 |
Определено в Text.Printf МетодыformatArg :: Natural -> FieldFormatter 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/Numeric-Natural.html
