| 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 |
Numeric.Natural
Description
The arbitrary-precision Natural number type.
Since: 4.8.0.0
Synopsis
- data Natural
Documentation
Type representing arbitrary-precision non-negative integers.
Operations whose result would be negative
throw (Underflow :: ArithException)
Since: 4.8.0.0
Instances
Methods
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 #
Methods
quot :: Natural -> Natural -> Natural Source #
rem :: Natural -> Natural -> Natural Source #
div :: Natural -> Natural -> Natural Source #
mod :: Natural -> Natural -> Natural Source #
quotRem :: Natural -> Natural -> (Natural, Natural) Source #
Methods
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Natural -> c Natural Source #
gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Natural Source #
toConstr :: Natural -> Constr Source #
dataTypeOf :: Natural -> DataType Source #
dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Natural) Source #
dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Natural) Source #
gmapT :: (forall b. Data b => b -> b) -> Natural -> Natural Source #
gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Natural -> r Source #
gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Natural -> r Source #
gmapQ :: (forall d. Data d => d -> u) -> Natural -> [u] Source #
gmapQi :: Int -> (forall d. Data d => d -> u) -> Natural -> u Source #
gmapM :: Monad m => (forall d. Data d => d -> m d) -> Natural -> m Natural Source #
gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Natural -> m Natural Source #
gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Natural -> m Natural Source #
Methods
toRational :: Natural -> Rational Source #
Methods
range :: (Natural, Natural) -> [Natural] Source #
index :: (Natural, Natural) -> Natural -> Int Source #
unsafeIndex :: (Natural, Natural) -> Natural -> Int
inRange :: (Natural, Natural) -> Natural -> Bool Source #
rangeSize :: (Natural, Natural) -> Int Source #
unsafeRangeSize :: (Natural, Natural) -> Int
Methods
(.&.) :: 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 #
bit :: 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 #
Methods
formatArg :: Natural -> FieldFormatter Source #
parseFormat :: Natural -> ModifierParser Source #