| 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: base-4.8.0.0
Synopsis
- data Natural
Documentation
Natural number
Invariant: numbers <= 0xffffffffffffffff use the NS constructor
Instances
Instances details
Instance details
Defined in Data.Data
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 :: forall r r'. (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 #
Instance details
Defined in GHC.Bits
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 #
Instance details
Defined in GHC.Enum
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 #
Instance details
Defined in GHC.Ix
Note that Natural 's Num instance isn't a ring: no element but 0 has an
additive inverse. It is a semiring though.
Since: base-4.8.0.0
Instance details
Defined in GHC.Num
Instance details
Defined in GHC.Real
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 #
Instance details
Defined in Text.Printf
Methods
formatArg :: Natural -> FieldFormatter Source #
parseFormat :: Natural -> ModifierParser Source #
Instance details
Defined in GHC.Num.Natural
For example, Fixed 1000 will give you a Fixed with a resolution of 1000.