Teo Camarasu pushed to branch wip/T26343 at Glasgow Haskell Compiler / GHC
Commits:
-
68515163
by Teo Camarasu at 2026-01-10T22:32:29+00:00
13 changed files:
- libraries/base/base.cabal.in
- libraries/base/changelog.md
- libraries/base/src/Data/Array/Byte.hs
- − libraries/base/src/GHC/Num/BigNat.hs
- − libraries/base/src/GHC/Num/Integer.hs
- − libraries/base/src/GHC/Num/Natural.hs
- libraries/base/src/System/CPUTime/Utils.hs
- libraries/ghc-bignum/ghc-bignum.cabal
- libraries/ghc-experimental/src/GHC/TypeNats/Experimental.hs
- testsuite/tests/interface-stability/base-exports.stdout
- testsuite/tests/interface-stability/base-exports.stdout-javascript-unknown-ghcjs
- testsuite/tests/interface-stability/base-exports.stdout-mingw32
- testsuite/tests/interface-stability/base-exports.stdout-ws-32
Changes:
| ... | ... | @@ -219,9 +219,6 @@ Library |
| 219 | 219 | , GHC.MVar
|
| 220 | 220 | , GHC.Natural
|
| 221 | 221 | , GHC.Num
|
| 222 | - , GHC.Num.Integer
|
|
| 223 | - , GHC.Num.Natural
|
|
| 224 | - , GHC.Num.BigNat
|
|
| 225 | 222 | , GHC.OldList
|
| 226 | 223 | , GHC.OverloadedLabels
|
| 227 | 224 | , GHC.Profiling
|
| ... | ... | @@ -11,6 +11,7 @@ |
| 11 | 11 | * Modify the implementation of `Data.List.sortOn` to use `(>)` instead of `compare`. ([CLC proposal #332](https://github.com/haskell/core-libraries-committee/issues/332))
|
| 12 | 12 | * Add `thenA` and `thenM`. ([CLC proposal #351](https://github.com/haskell/core-libraries-committee/issues/351))
|
| 13 | 13 | * Fix bug where `naturalAndNot` was incorrectly truncating results ([CLC proposal #350](github.com/haskell/core-libraries-committee/issues/350))
|
| 14 | + * GHC.Num.{BigNat, Integer, Natural} are no longer exposed. Users should import them from `ghc-bignum` instead. ([CLC proposal #359](github.com/haskell/core-libraries-committee/issues/359))
|
|
| 14 | 15 | * Remove extra laziness from `Data.Bifunctor.Bifunctor` instances for all tuples to have the same laziness as their `Data.Functor.Functor` counterparts (i.e. they became more strict than before) ([CLC proposal #339](https://github.com/haskell/core-libraries-committee/issues/339))
|
| 15 | 16 | * Adjust the strictness of `Data.List.iterate'` to be more reasonable: every element of the output list is forced to WHNF when the `(:)` containing it is forced. ([CLC proposal #335)](https://github.com/haskell/core-libraries-committee/issues/335)
|
| 16 | 17 | * Add `nubOrd` / `nubOrdBy` to `Data.List` and `Data.List.NonEmpty`. ([CLC proposal #336](https://github.com/haskell/core-libraries-committee/issues/336))
|
| ... | ... | @@ -27,7 +27,7 @@ import qualified GHC.Internal.Data.Foldable as F |
| 27 | 27 | import GHC.Internal.Data.Maybe (fromMaybe)
|
| 28 | 28 | import Data.Semigroup
|
| 29 | 29 | import GHC.Internal.Exts
|
| 30 | -import GHC.Num.Integer (Integer(..))
|
|
| 30 | +import GHC.Internal.Bignum.Integer (Integer(..))
|
|
| 31 | 31 | import GHC.Internal.Show (intToDigit)
|
| 32 | 32 | import GHC.Internal.ST (ST(..), runST)
|
| 33 | 33 | import GHC.Internal.Word (Word8(..))
|
| 1 | -module GHC.Num.BigNat
|
|
| 2 | - ( module GHC.Internal.Bignum.BigNat
|
|
| 3 | - )
|
|
| 4 | -where
|
|
| 5 | - |
|
| 6 | -import GHC.Internal.Bignum.BigNat |
| 1 | -module GHC.Num.Integer
|
|
| 2 | - ( module GHC.Internal.Bignum.Integer
|
|
| 3 | - )
|
|
| 4 | -where
|
|
| 5 | - |
|
| 6 | -import GHC.Internal.Bignum.Integer |
| 1 | -module GHC.Num.Natural
|
|
| 2 | - ( module GHC.Internal.Bignum.Natural
|
|
| 3 | - )
|
|
| 4 | -where
|
|
| 5 | - |
|
| 6 | -import GHC.Internal.Bignum.Natural |
| ... | ... | @@ -8,7 +8,7 @@ module System.CPUTime.Utils |
| 8 | 8 | ) where
|
| 9 | 9 | |
| 10 | 10 | import GHC.Internal.Foreign.C.Types
|
| 11 | -import GHC.Num.Integer (Integer)
|
|
| 11 | +import GHC.Internal.Bignum.Integer (Integer)
|
|
| 12 | 12 | import GHC.Internal.Real (fromIntegral)
|
| 13 | 13 | |
| 14 | 14 | cClockToInteger :: CClock -> Integer
|
| ... | ... | @@ -10,10 +10,8 @@ bug-reports: https://gitlab.haskell.org/ghc/ghc/issues/new |
| 10 | 10 | category: Numeric, Algebra, GHC
|
| 11 | 11 | build-type: Simple
|
| 12 | 12 | description:
|
| 13 | - This package used to provide the low-level implementation of the standard
|
|
| 13 | + This package provides the low-level implementation of the standard
|
|
| 14 | 14 | 'BigNat', 'Natural' and 'Integer' types.
|
| 15 | - Use `base:GHC.Num.{Integer,Natural,BigNat}` instead or other modules from
|
|
| 16 | - `ghc-internal`.
|
|
| 17 | 15 | |
| 18 | 16 | extra-source-files:
|
| 19 | 17 | changelog.md
|
| ... | ... | @@ -40,13 +38,6 @@ library |
| 40 | 38 | , GHC.Internal.Bignum.Backend as GHC.Num.Backend
|
| 41 | 39 | , GHC.Internal.Bignum.Backend.Selected as GHC.Num.Backend.Selected
|
| 42 | 40 | , GHC.Internal.Bignum.Backend.Native as GHC.Num.Backend.Native
|
| 43 | - -- reexport from base
|
|
| 44 | - -- We can't reexport these modules from ghc-internal otherwise we get
|
|
| 45 | - -- ambiguity between:
|
|
| 46 | - -- ghc-bignum:GHC.Num.X
|
|
| 47 | - -- base:GHC.Num.X
|
|
| 48 | - -- we should probably just deprecate ghc-bignum and encourage users to use
|
|
| 49 | - -- exports from base instead.
|
|
| 50 | - , GHC.Num.BigNat
|
|
| 51 | - , GHC.Num.Natural
|
|
| 52 | - , GHC.Num.Integer |
|
| 41 | + , GHC.Internal.Bignum.BigNat as GHC.Num.BigNat
|
|
| 42 | + , GHC.Internal.Bignum.Natural as GHC.Num.Natural
|
|
| 43 | + , GHC.Internal.Bignum.Integer as GHC.Num.Integer |
| ... | ... | @@ -12,7 +12,7 @@ module GHC.TypeNats.Experimental ( |
| 12 | 12 | ) where
|
| 13 | 13 | |
| 14 | 14 | import GHC.Internal.TypeNats
|
| 15 | -import GHC.Num.Natural (naturalLog2)
|
|
| 15 | +import GHC.Internal.Bignum.Natural (naturalLog2)
|
|
| 16 | 16 | |
| 17 | 17 | plusSNat :: SNat n -> SNat m -> SNat (n + m)
|
| 18 | 18 | plusSNat (UnsafeSNat n) (UnsafeSNat m) = UnsafeSNat (n + m)
|
| ... | ... | @@ -8550,340 +8550,6 @@ module GHC.Num where |
| 8550 | 8550 | quotRemInteger :: Integer -> Integer -> (# Integer, Integer #)
|
| 8551 | 8551 | subtract :: forall a. Num a => a -> a -> a
|
| 8552 | 8552 | |
| 8553 | -module GHC.Num.BigNat where
|
|
| 8554 | - -- Safety: None
|
|
| 8555 | - type BigNat :: *
|
|
| 8556 | - data BigNat = BN# {unBigNat :: BigNat#}
|
|
| 8557 | - type BigNat# :: GHC.Internal.Types.UnliftedType
|
|
| 8558 | - type BigNat# = GHC.Internal.Bignum.WordArray.WordArray#
|
|
| 8559 | - bigNatAdd :: BigNat# -> BigNat# -> BigNat#
|
|
| 8560 | - bigNatAddWord :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 8561 | - bigNatAddWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8562 | - bigNatAnd :: BigNat# -> BigNat# -> BigNat#
|
|
| 8563 | - bigNatAndInt# :: BigNat# -> GHC.Internal.Prim.Int# -> BigNat#
|
|
| 8564 | - bigNatAndNot :: BigNat# -> BigNat# -> BigNat#
|
|
| 8565 | - bigNatAndNotWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8566 | - bigNatAndWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8567 | - bigNatBit :: GHC.Internal.Types.Word -> BigNat#
|
|
| 8568 | - bigNatBit# :: GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8569 | - bigNatCheck :: BigNat# -> GHC.Internal.Types.Bool
|
|
| 8570 | - bigNatCheck# :: BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8571 | - bigNatClearBit# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8572 | - bigNatCompare :: BigNat# -> BigNat# -> GHC.Internal.Types.Ordering
|
|
| 8573 | - bigNatCompareWord :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Ordering
|
|
| 8574 | - bigNatCompareWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Types.Ordering
|
|
| 8575 | - bigNatComplementBit# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8576 | - bigNatCtz :: BigNat# -> GHC.Internal.Types.Word
|
|
| 8577 | - bigNatCtz# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8578 | - bigNatCtzWord :: BigNat# -> GHC.Internal.Types.Word
|
|
| 8579 | - bigNatCtzWord# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8580 | - bigNatEncodeDouble# :: BigNat# -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Double#
|
|
| 8581 | - bigNatEq :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 8582 | - bigNatEq# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8583 | - bigNatEqWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8584 | - bigNatFromAbsInt# :: GHC.Internal.Prim.Int# -> BigNat#
|
|
| 8585 | - bigNatFromAddr# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 8586 | - bigNatFromAddrBE# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 8587 | - bigNatFromAddrLE# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 8588 | - bigNatFromByteArray# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 8589 | - bigNatFromByteArrayBE# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 8590 | - bigNatFromByteArrayLE# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 8591 | - bigNatFromWord :: GHC.Internal.Types.Word -> BigNat#
|
|
| 8592 | - bigNatFromWord# :: GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8593 | - bigNatFromWord2# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8594 | - bigNatFromWord64# :: GHC.Internal.Prim.Word64# -> BigNat#
|
|
| 8595 | - bigNatFromWordArray :: GHC.Internal.Bignum.WordArray.WordArray# -> GHC.Internal.Prim.Word# -> BigNat
|
|
| 8596 | - bigNatFromWordArray# :: GHC.Internal.Bignum.WordArray.WordArray# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8597 | - bigNatFromWordList :: [GHC.Internal.Types.Word] -> BigNat#
|
|
| 8598 | - bigNatFromWordList# :: [GHC.Internal.Types.Word] -> GHC.Internal.Bignum.WordArray.WordArray#
|
|
| 8599 | - bigNatFromWordListUnsafe :: [GHC.Internal.Types.Word] -> BigNat#
|
|
| 8600 | - bigNatGcd :: BigNat# -> BigNat# -> BigNat#
|
|
| 8601 | - bigNatGcdWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 8602 | - bigNatGe :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 8603 | - bigNatGe# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8604 | - bigNatGt :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 8605 | - bigNatGt# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8606 | - bigNatGtWord :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 8607 | - bigNatGtWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8608 | - bigNatIndex :: BigNat# -> GHC.Internal.Prim.Int# -> GHC.Internal.Types.Word
|
|
| 8609 | - bigNatIndex# :: BigNat# -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Word#
|
|
| 8610 | - bigNatIsOne :: BigNat# -> GHC.Internal.Types.Bool
|
|
| 8611 | - bigNatIsOne# :: BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8612 | - bigNatIsPowerOf2# :: BigNat# -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 8613 | - bigNatIsTwo :: BigNat# -> GHC.Internal.Types.Bool
|
|
| 8614 | - bigNatIsTwo# :: BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8615 | - bigNatIsZero :: BigNat# -> GHC.Internal.Types.Bool
|
|
| 8616 | - bigNatIsZero# :: BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8617 | - bigNatLcm :: BigNat# -> BigNat# -> BigNat#
|
|
| 8618 | - bigNatLcmWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8619 | - bigNatLcmWordWord# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8620 | - bigNatLe :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 8621 | - bigNatLe# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8622 | - bigNatLeWord :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 8623 | - bigNatLeWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8624 | - bigNatLog2 :: BigNat# -> GHC.Internal.Types.Word
|
|
| 8625 | - bigNatLog2# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8626 | - bigNatLogBase :: BigNat# -> BigNat# -> GHC.Internal.Types.Word
|
|
| 8627 | - bigNatLogBase# :: BigNat# -> BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8628 | - bigNatLogBaseWord :: GHC.Internal.Types.Word -> BigNat# -> GHC.Internal.Types.Word
|
|
| 8629 | - bigNatLogBaseWord# :: GHC.Internal.Prim.Word# -> BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8630 | - bigNatLt :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 8631 | - bigNatLt# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8632 | - bigNatMul :: BigNat# -> BigNat# -> BigNat#
|
|
| 8633 | - bigNatMulWord :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 8634 | - bigNatMulWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8635 | - bigNatNe :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 8636 | - bigNatNe# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8637 | - bigNatOne :: BigNat
|
|
| 8638 | - bigNatOne# :: (# #) -> BigNat#
|
|
| 8639 | - bigNatOr :: BigNat# -> BigNat# -> BigNat#
|
|
| 8640 | - bigNatOrWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8641 | - bigNatPopCount :: BigNat# -> GHC.Internal.Types.Word
|
|
| 8642 | - bigNatPopCount# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8643 | - bigNatPowMod :: BigNat# -> BigNat# -> BigNat# -> BigNat#
|
|
| 8644 | - bigNatPowModWord# :: BigNat# -> BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 8645 | - bigNatQuot :: BigNat# -> BigNat# -> BigNat#
|
|
| 8646 | - bigNatQuotRem# :: BigNat# -> BigNat# -> (# BigNat#, BigNat# #)
|
|
| 8647 | - bigNatQuotRemWord# :: BigNat# -> GHC.Internal.Prim.Word# -> (# BigNat#, GHC.Internal.Prim.Word# #)
|
|
| 8648 | - bigNatQuotWord :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 8649 | - bigNatQuotWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8650 | - bigNatRem :: BigNat# -> BigNat# -> BigNat#
|
|
| 8651 | - bigNatRemWord :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Word
|
|
| 8652 | - bigNatRemWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 8653 | - bigNatSetBit# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8654 | - bigNatShiftL :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 8655 | - bigNatShiftL# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8656 | - bigNatShiftR :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 8657 | - bigNatShiftR# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8658 | - bigNatShiftRNeg# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8659 | - bigNatSize :: BigNat# -> GHC.Internal.Types.Word
|
|
| 8660 | - bigNatSize# :: BigNat# -> GHC.Internal.Prim.Int#
|
|
| 8661 | - bigNatSizeInBase :: GHC.Internal.Types.Word -> BigNat# -> GHC.Internal.Types.Word
|
|
| 8662 | - bigNatSizeInBase# :: GHC.Internal.Prim.Word# -> BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8663 | - bigNatSqr :: BigNat# -> BigNat#
|
|
| 8664 | - bigNatSub :: BigNat# -> BigNat# -> (# (# #) | BigNat# #)
|
|
| 8665 | - bigNatSubUnsafe :: BigNat# -> BigNat# -> BigNat#
|
|
| 8666 | - bigNatSubWord# :: BigNat# -> GHC.Internal.Prim.Word# -> (# (# #) | BigNat# #)
|
|
| 8667 | - bigNatSubWordUnsafe :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 8668 | - bigNatSubWordUnsafe# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8669 | - bigNatTestBit :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 8670 | - bigNatTestBit# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8671 | - bigNatToAddr :: BigNat# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO GHC.Internal.Types.Word
|
|
| 8672 | - bigNatToAddr# :: forall s. BigNat# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8673 | - bigNatToAddrBE# :: forall s. BigNat# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8674 | - bigNatToAddrLE# :: forall s. BigNat# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8675 | - bigNatToInt :: BigNat# -> GHC.Internal.Types.Int
|
|
| 8676 | - bigNatToInt# :: BigNat# -> GHC.Internal.Prim.Int#
|
|
| 8677 | - bigNatToMutableByteArray# :: forall s. BigNat# -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8678 | - bigNatToMutableByteArrayBE# :: forall s. BigNat# -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8679 | - bigNatToMutableByteArrayLE# :: forall s. BigNat# -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8680 | - bigNatToWord :: BigNat# -> GHC.Internal.Types.Word
|
|
| 8681 | - bigNatToWord# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8682 | - bigNatToWord64# :: BigNat# -> GHC.Internal.Prim.Word64#
|
|
| 8683 | - bigNatToWordList :: BigNat# -> [GHC.Internal.Types.Word]
|
|
| 8684 | - bigNatToWordMaybe# :: BigNat# -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 8685 | - bigNatXor :: BigNat# -> BigNat# -> BigNat#
|
|
| 8686 | - bigNatXorWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8687 | - bigNatZero :: BigNat
|
|
| 8688 | - bigNatZero# :: (# #) -> BigNat#
|
|
| 8689 | - gcdInt :: GHC.Internal.Types.Int -> GHC.Internal.Types.Int -> GHC.Internal.Types.Int
|
|
| 8690 | - gcdInt# :: GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Int#
|
|
| 8691 | - gcdWord :: GHC.Internal.Types.Word -> GHC.Internal.Types.Word -> GHC.Internal.Types.Word
|
|
| 8692 | - gcdWord# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 8693 | - powModWord# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 8694 | - raiseDivZero_BigNat :: (# #) -> BigNat#
|
|
| 8695 | - |
|
| 8696 | -module GHC.Num.Integer where
|
|
| 8697 | - -- Safety: None
|
|
| 8698 | - type Integer :: *
|
|
| 8699 | - data Integer = IS GHC.Internal.Prim.Int# | IP GHC.Internal.Prim.ByteArray# | IN GHC.Internal.Prim.ByteArray#
|
|
| 8700 | - integerAbs :: Integer -> Integer
|
|
| 8701 | - integerAdd :: Integer -> Integer -> Integer
|
|
| 8702 | - integerAnd :: Integer -> Integer -> Integer
|
|
| 8703 | - integerBit :: GHC.Internal.Types.Word -> Integer
|
|
| 8704 | - integerBit# :: GHC.Internal.Prim.Word# -> Integer
|
|
| 8705 | - integerCheck :: Integer -> GHC.Internal.Types.Bool
|
|
| 8706 | - integerCheck# :: Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8707 | - integerCompare :: Integer -> Integer -> GHC.Internal.Types.Ordering
|
|
| 8708 | - integerComplement :: Integer -> Integer
|
|
| 8709 | - integerDecodeDouble# :: GHC.Internal.Prim.Double# -> (# Integer, GHC.Internal.Prim.Int# #)
|
|
| 8710 | - integerDiv :: Integer -> Integer -> Integer
|
|
| 8711 | - integerDivMod :: Integer -> Integer -> (Integer, Integer)
|
|
| 8712 | - integerDivMod# :: Integer -> Integer -> (# Integer, Integer #)
|
|
| 8713 | - integerEncodeDouble :: Integer -> GHC.Internal.Types.Int -> GHC.Internal.Types.Double
|
|
| 8714 | - integerEncodeDouble# :: Integer -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Double#
|
|
| 8715 | - integerEncodeFloat# :: Integer -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Float#
|
|
| 8716 | - integerEq :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 8717 | - integerEq# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8718 | - integerFromAddr :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO Integer
|
|
| 8719 | - integerFromAddr# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, Integer #)
|
|
| 8720 | - integerFromBigNat# :: GHC.Internal.Bignum.BigNat.BigNat# -> Integer
|
|
| 8721 | - integerFromBigNatNeg# :: GHC.Internal.Bignum.BigNat.BigNat# -> Integer
|
|
| 8722 | - integerFromBigNatSign# :: GHC.Internal.Prim.Int# -> GHC.Internal.Bignum.BigNat.BigNat# -> Integer
|
|
| 8723 | - integerFromByteArray :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> Integer
|
|
| 8724 | - integerFromByteArray# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, Integer #)
|
|
| 8725 | - integerFromInt :: GHC.Internal.Types.Int -> Integer
|
|
| 8726 | - integerFromInt# :: GHC.Internal.Prim.Int# -> Integer
|
|
| 8727 | - integerFromInt64# :: GHC.Internal.Prim.Int64# -> Integer
|
|
| 8728 | - integerFromNatural :: GHC.Internal.Bignum.Natural.Natural -> Integer
|
|
| 8729 | - integerFromWord :: GHC.Internal.Types.Word -> Integer
|
|
| 8730 | - integerFromWord# :: GHC.Internal.Prim.Word# -> Integer
|
|
| 8731 | - integerFromWord64# :: GHC.Internal.Prim.Word64# -> Integer
|
|
| 8732 | - integerFromWordList :: GHC.Internal.Types.Bool -> [GHC.Internal.Types.Word] -> Integer
|
|
| 8733 | - integerFromWordNeg# :: GHC.Internal.Prim.Word# -> Integer
|
|
| 8734 | - integerFromWordSign# :: GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Word# -> Integer
|
|
| 8735 | - integerGcd :: Integer -> Integer -> Integer
|
|
| 8736 | - integerGcde :: Integer -> Integer -> (Integer, Integer, Integer)
|
|
| 8737 | - integerGcde# :: Integer -> Integer -> (# Integer, Integer, Integer #)
|
|
| 8738 | - integerGe :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 8739 | - integerGe# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8740 | - integerGt :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 8741 | - integerGt# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8742 | - integerIsNegative :: Integer -> GHC.Internal.Types.Bool
|
|
| 8743 | - integerIsNegative# :: Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8744 | - integerIsOne :: Integer -> GHC.Internal.Types.Bool
|
|
| 8745 | - integerIsPowerOf2# :: Integer -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 8746 | - integerIsZero :: Integer -> GHC.Internal.Types.Bool
|
|
| 8747 | - integerLcm :: Integer -> Integer -> Integer
|
|
| 8748 | - integerLe :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 8749 | - integerLe# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8750 | - integerLog2 :: Integer -> GHC.Internal.Types.Word
|
|
| 8751 | - integerLog2# :: Integer -> GHC.Internal.Prim.Word#
|
|
| 8752 | - integerLogBase :: Integer -> Integer -> GHC.Internal.Types.Word
|
|
| 8753 | - integerLogBase# :: Integer -> Integer -> GHC.Internal.Prim.Word#
|
|
| 8754 | - integerLogBaseWord :: GHC.Internal.Types.Word -> Integer -> GHC.Internal.Types.Word
|
|
| 8755 | - integerLogBaseWord# :: GHC.Internal.Prim.Word# -> Integer -> GHC.Internal.Prim.Word#
|
|
| 8756 | - integerLt :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 8757 | - integerLt# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8758 | - integerMod :: Integer -> Integer -> Integer
|
|
| 8759 | - integerMul :: Integer -> Integer -> Integer
|
|
| 8760 | - integerNe :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 8761 | - integerNe# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8762 | - integerNegate :: Integer -> Integer
|
|
| 8763 | - integerOne :: Integer
|
|
| 8764 | - integerOr :: Integer -> Integer -> Integer
|
|
| 8765 | - integerPopCount# :: Integer -> GHC.Internal.Prim.Int#
|
|
| 8766 | - integerPowMod# :: Integer -> Integer -> GHC.Internal.Bignum.Natural.Natural -> (# GHC.Internal.Bignum.Natural.Natural | () #)
|
|
| 8767 | - integerQuot :: Integer -> Integer -> Integer
|
|
| 8768 | - integerQuotRem :: Integer -> Integer -> (Integer, Integer)
|
|
| 8769 | - integerQuotRem# :: Integer -> Integer -> (# Integer, Integer #)
|
|
| 8770 | - integerRecipMod# :: Integer -> GHC.Internal.Bignum.Natural.Natural -> (# GHC.Internal.Bignum.Natural.Natural | () #)
|
|
| 8771 | - integerRem :: Integer -> Integer -> Integer
|
|
| 8772 | - integerShiftL :: Integer -> GHC.Internal.Types.Word -> Integer
|
|
| 8773 | - integerShiftL# :: Integer -> GHC.Internal.Prim.Word# -> Integer
|
|
| 8774 | - integerShiftR :: Integer -> GHC.Internal.Types.Word -> Integer
|
|
| 8775 | - integerShiftR# :: Integer -> GHC.Internal.Prim.Word# -> Integer
|
|
| 8776 | - integerSignum :: Integer -> Integer
|
|
| 8777 | - integerSignum# :: Integer -> GHC.Internal.Prim.Int#
|
|
| 8778 | - integerSizeInBase# :: GHC.Internal.Prim.Word# -> Integer -> GHC.Internal.Prim.Word#
|
|
| 8779 | - integerSqr :: Integer -> Integer
|
|
| 8780 | - integerSub :: Integer -> Integer -> Integer
|
|
| 8781 | - integerTestBit :: Integer -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 8782 | - integerTestBit# :: Integer -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8783 | - integerToAddr :: Integer -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO GHC.Internal.Types.Word
|
|
| 8784 | - integerToAddr# :: forall s. Integer -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8785 | - integerToBigNatClamp# :: Integer -> GHC.Internal.Bignum.BigNat.BigNat#
|
|
| 8786 | - integerToBigNatSign# :: Integer -> (# GHC.Internal.Prim.Int#, GHC.Internal.Bignum.BigNat.BigNat# #)
|
|
| 8787 | - integerToInt :: Integer -> GHC.Internal.Types.Int
|
|
| 8788 | - integerToInt# :: Integer -> GHC.Internal.Prim.Int#
|
|
| 8789 | - integerToInt64# :: Integer -> GHC.Internal.Prim.Int64#
|
|
| 8790 | - integerToMutableByteArray :: Integer -> GHC.Internal.Prim.MutableByteArray# GHC.Internal.Prim.RealWorld -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO GHC.Internal.Types.Word
|
|
| 8791 | - integerToMutableByteArray# :: forall s. Integer -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8792 | - integerToNatural :: Integer -> GHC.Internal.Bignum.Natural.Natural
|
|
| 8793 | - integerToNaturalClamp :: Integer -> GHC.Internal.Bignum.Natural.Natural
|
|
| 8794 | - integerToNaturalThrow :: Integer -> GHC.Internal.Bignum.Natural.Natural
|
|
| 8795 | - integerToWord :: Integer -> GHC.Internal.Types.Word
|
|
| 8796 | - integerToWord# :: Integer -> GHC.Internal.Prim.Word#
|
|
| 8797 | - integerToWord64# :: Integer -> GHC.Internal.Prim.Word64#
|
|
| 8798 | - integerXor :: Integer -> Integer -> Integer
|
|
| 8799 | - integerZero :: Integer
|
|
| 8800 | - |
|
| 8801 | -module GHC.Num.Natural where
|
|
| 8802 | - -- Safety: None
|
|
| 8803 | - type Natural :: *
|
|
| 8804 | - data Natural = NS GHC.Internal.Prim.Word# | NB GHC.Internal.Prim.ByteArray#
|
|
| 8805 | - naturalAdd :: Natural -> Natural -> Natural
|
|
| 8806 | - naturalAnd :: Natural -> Natural -> Natural
|
|
| 8807 | - naturalAndNot :: Natural -> Natural -> Natural
|
|
| 8808 | - naturalBit :: GHC.Internal.Types.Word -> Natural
|
|
| 8809 | - naturalBit# :: GHC.Internal.Prim.Word# -> Natural
|
|
| 8810 | - naturalCheck :: Natural -> GHC.Internal.Types.Bool
|
|
| 8811 | - naturalCheck# :: Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8812 | - naturalClearBit :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 8813 | - naturalClearBit# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 8814 | - naturalCompare :: Natural -> Natural -> GHC.Internal.Types.Ordering
|
|
| 8815 | - naturalComplementBit :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 8816 | - naturalComplementBit# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 8817 | - naturalEncodeDouble# :: Natural -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Double#
|
|
| 8818 | - naturalEncodeFloat# :: Natural -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Float#
|
|
| 8819 | - naturalEq :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 8820 | - naturalEq# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8821 | - naturalFromAddr :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO Natural
|
|
| 8822 | - naturalFromAddr# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, Natural #)
|
|
| 8823 | - naturalFromBigNat# :: GHC.Internal.Bignum.BigNat.BigNat# -> Natural
|
|
| 8824 | - naturalFromByteArray# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, Natural #)
|
|
| 8825 | - naturalFromWord :: GHC.Internal.Types.Word -> Natural
|
|
| 8826 | - naturalFromWord# :: GHC.Internal.Prim.Word# -> Natural
|
|
| 8827 | - naturalFromWord2# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> Natural
|
|
| 8828 | - naturalFromWordList :: [GHC.Internal.Types.Word] -> Natural
|
|
| 8829 | - naturalGcd :: Natural -> Natural -> Natural
|
|
| 8830 | - naturalGe :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 8831 | - naturalGe# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8832 | - naturalGt :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 8833 | - naturalGt# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8834 | - naturalIsOne :: Natural -> GHC.Internal.Types.Bool
|
|
| 8835 | - naturalIsPowerOf2# :: Natural -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 8836 | - naturalIsZero :: Natural -> GHC.Internal.Types.Bool
|
|
| 8837 | - naturalLcm :: Natural -> Natural -> Natural
|
|
| 8838 | - naturalLe :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 8839 | - naturalLe# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8840 | - naturalLog2 :: Natural -> GHC.Internal.Types.Word
|
|
| 8841 | - naturalLog2# :: Natural -> GHC.Internal.Prim.Word#
|
|
| 8842 | - naturalLogBase :: Natural -> Natural -> GHC.Internal.Types.Word
|
|
| 8843 | - naturalLogBase# :: Natural -> Natural -> GHC.Internal.Prim.Word#
|
|
| 8844 | - naturalLogBaseWord :: GHC.Internal.Types.Word -> Natural -> GHC.Internal.Types.Word
|
|
| 8845 | - naturalLogBaseWord# :: GHC.Internal.Prim.Word# -> Natural -> GHC.Internal.Prim.Word#
|
|
| 8846 | - naturalLt :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 8847 | - naturalLt# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8848 | - naturalMul :: Natural -> Natural -> Natural
|
|
| 8849 | - naturalNe :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 8850 | - naturalNe# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8851 | - naturalNegate :: Natural -> Natural
|
|
| 8852 | - naturalOne :: Natural
|
|
| 8853 | - naturalOr :: Natural -> Natural -> Natural
|
|
| 8854 | - naturalPopCount :: Natural -> GHC.Internal.Types.Word
|
|
| 8855 | - naturalPopCount# :: Natural -> GHC.Internal.Prim.Word#
|
|
| 8856 | - naturalPowMod :: Natural -> Natural -> Natural -> Natural
|
|
| 8857 | - naturalQuot :: Natural -> Natural -> Natural
|
|
| 8858 | - naturalQuotRem :: Natural -> Natural -> (Natural, Natural)
|
|
| 8859 | - naturalQuotRem# :: Natural -> Natural -> (# Natural, Natural #)
|
|
| 8860 | - naturalRem :: Natural -> Natural -> Natural
|
|
| 8861 | - naturalSetBit :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 8862 | - naturalSetBit# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 8863 | - naturalShiftL :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 8864 | - naturalShiftL# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 8865 | - naturalShiftR :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 8866 | - naturalShiftR# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 8867 | - naturalSignum :: Natural -> Natural
|
|
| 8868 | - naturalSizeInBase# :: GHC.Internal.Prim.Word# -> Natural -> GHC.Internal.Prim.Word#
|
|
| 8869 | - naturalSqr :: Natural -> Natural
|
|
| 8870 | - naturalSub :: Natural -> Natural -> (# (# #) | Natural #)
|
|
| 8871 | - naturalSubThrow :: Natural -> Natural -> Natural
|
|
| 8872 | - naturalSubUnsafe :: Natural -> Natural -> Natural
|
|
| 8873 | - naturalTestBit :: Natural -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 8874 | - naturalTestBit# :: Natural -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8875 | - naturalToAddr :: Natural -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO GHC.Internal.Types.Word
|
|
| 8876 | - naturalToAddr# :: forall s. Natural -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8877 | - naturalToBigNat# :: Natural -> GHC.Internal.Bignum.BigNat.BigNat#
|
|
| 8878 | - naturalToMutableByteArray# :: forall s. Natural -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8879 | - naturalToWord :: Natural -> GHC.Internal.Types.Word
|
|
| 8880 | - naturalToWord# :: Natural -> GHC.Internal.Prim.Word#
|
|
| 8881 | - naturalToWordClamp :: Natural -> GHC.Internal.Types.Word
|
|
| 8882 | - naturalToWordClamp# :: Natural -> GHC.Internal.Prim.Word#
|
|
| 8883 | - naturalToWordMaybe# :: Natural -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 8884 | - naturalXor :: Natural -> Natural -> Natural
|
|
| 8885 | - naturalZero :: Natural
|
|
| 8886 | - |
|
| 8887 | 8553 | module GHC.OldList where
|
| 8888 | 8554 | -- Safety: Safe
|
| 8889 | 8555 | (!!) :: forall a. GHC.Internal.Stack.Types.HasCallStack => [a] -> GHC.Internal.Types.Int -> a
|
| ... | ... | @@ -11596,340 +11596,6 @@ module GHC.Num where |
| 11596 | 11596 | quotRemInteger :: Integer -> Integer -> (# Integer, Integer #)
|
| 11597 | 11597 | subtract :: forall a. Num a => a -> a -> a
|
| 11598 | 11598 | |
| 11599 | -module GHC.Num.BigNat where
|
|
| 11600 | - -- Safety: None
|
|
| 11601 | - type BigNat :: *
|
|
| 11602 | - data BigNat = BN# {unBigNat :: BigNat#}
|
|
| 11603 | - type BigNat# :: GHC.Internal.Types.UnliftedType
|
|
| 11604 | - type BigNat# = GHC.Internal.Bignum.WordArray.WordArray#
|
|
| 11605 | - bigNatAdd :: BigNat# -> BigNat# -> BigNat#
|
|
| 11606 | - bigNatAddWord :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 11607 | - bigNatAddWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11608 | - bigNatAnd :: BigNat# -> BigNat# -> BigNat#
|
|
| 11609 | - bigNatAndInt# :: BigNat# -> GHC.Internal.Prim.Int# -> BigNat#
|
|
| 11610 | - bigNatAndNot :: BigNat# -> BigNat# -> BigNat#
|
|
| 11611 | - bigNatAndNotWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11612 | - bigNatAndWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11613 | - bigNatBit :: GHC.Internal.Types.Word -> BigNat#
|
|
| 11614 | - bigNatBit# :: GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11615 | - bigNatCheck :: BigNat# -> GHC.Internal.Types.Bool
|
|
| 11616 | - bigNatCheck# :: BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11617 | - bigNatClearBit# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11618 | - bigNatCompare :: BigNat# -> BigNat# -> GHC.Internal.Types.Ordering
|
|
| 11619 | - bigNatCompareWord :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Ordering
|
|
| 11620 | - bigNatCompareWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Types.Ordering
|
|
| 11621 | - bigNatComplementBit# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11622 | - bigNatCtz :: BigNat# -> GHC.Internal.Types.Word
|
|
| 11623 | - bigNatCtz# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 11624 | - bigNatCtzWord :: BigNat# -> GHC.Internal.Types.Word
|
|
| 11625 | - bigNatCtzWord# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 11626 | - bigNatEncodeDouble# :: BigNat# -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Double#
|
|
| 11627 | - bigNatEq :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 11628 | - bigNatEq# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11629 | - bigNatEqWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11630 | - bigNatFromAbsInt# :: GHC.Internal.Prim.Int# -> BigNat#
|
|
| 11631 | - bigNatFromAddr# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 11632 | - bigNatFromAddrBE# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 11633 | - bigNatFromAddrLE# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 11634 | - bigNatFromByteArray# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 11635 | - bigNatFromByteArrayBE# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 11636 | - bigNatFromByteArrayLE# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 11637 | - bigNatFromWord :: GHC.Internal.Types.Word -> BigNat#
|
|
| 11638 | - bigNatFromWord# :: GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11639 | - bigNatFromWord2# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11640 | - bigNatFromWord64# :: GHC.Internal.Prim.Word64# -> BigNat#
|
|
| 11641 | - bigNatFromWordArray :: GHC.Internal.Bignum.WordArray.WordArray# -> GHC.Internal.Prim.Word# -> BigNat
|
|
| 11642 | - bigNatFromWordArray# :: GHC.Internal.Bignum.WordArray.WordArray# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11643 | - bigNatFromWordList :: [GHC.Internal.Types.Word] -> BigNat#
|
|
| 11644 | - bigNatFromWordList# :: [GHC.Internal.Types.Word] -> GHC.Internal.Bignum.WordArray.WordArray#
|
|
| 11645 | - bigNatFromWordListUnsafe :: [GHC.Internal.Types.Word] -> BigNat#
|
|
| 11646 | - bigNatGcd :: BigNat# -> BigNat# -> BigNat#
|
|
| 11647 | - bigNatGcdWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 11648 | - bigNatGe :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 11649 | - bigNatGe# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11650 | - bigNatGt :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 11651 | - bigNatGt# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11652 | - bigNatGtWord :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 11653 | - bigNatGtWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11654 | - bigNatIndex :: BigNat# -> GHC.Internal.Prim.Int# -> GHC.Internal.Types.Word
|
|
| 11655 | - bigNatIndex# :: BigNat# -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Word#
|
|
| 11656 | - bigNatIsOne :: BigNat# -> GHC.Internal.Types.Bool
|
|
| 11657 | - bigNatIsOne# :: BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11658 | - bigNatIsPowerOf2# :: BigNat# -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 11659 | - bigNatIsTwo :: BigNat# -> GHC.Internal.Types.Bool
|
|
| 11660 | - bigNatIsTwo# :: BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11661 | - bigNatIsZero :: BigNat# -> GHC.Internal.Types.Bool
|
|
| 11662 | - bigNatIsZero# :: BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11663 | - bigNatLcm :: BigNat# -> BigNat# -> BigNat#
|
|
| 11664 | - bigNatLcmWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11665 | - bigNatLcmWordWord# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11666 | - bigNatLe :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 11667 | - bigNatLe# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11668 | - bigNatLeWord :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 11669 | - bigNatLeWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11670 | - bigNatLog2 :: BigNat# -> GHC.Internal.Types.Word
|
|
| 11671 | - bigNatLog2# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 11672 | - bigNatLogBase :: BigNat# -> BigNat# -> GHC.Internal.Types.Word
|
|
| 11673 | - bigNatLogBase# :: BigNat# -> BigNat# -> GHC.Internal.Prim.Word#
|
|
| 11674 | - bigNatLogBaseWord :: GHC.Internal.Types.Word -> BigNat# -> GHC.Internal.Types.Word
|
|
| 11675 | - bigNatLogBaseWord# :: GHC.Internal.Prim.Word# -> BigNat# -> GHC.Internal.Prim.Word#
|
|
| 11676 | - bigNatLt :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 11677 | - bigNatLt# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11678 | - bigNatMul :: BigNat# -> BigNat# -> BigNat#
|
|
| 11679 | - bigNatMulWord :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 11680 | - bigNatMulWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11681 | - bigNatNe :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 11682 | - bigNatNe# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11683 | - bigNatOne :: BigNat
|
|
| 11684 | - bigNatOne# :: (# #) -> BigNat#
|
|
| 11685 | - bigNatOr :: BigNat# -> BigNat# -> BigNat#
|
|
| 11686 | - bigNatOrWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11687 | - bigNatPopCount :: BigNat# -> GHC.Internal.Types.Word
|
|
| 11688 | - bigNatPopCount# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 11689 | - bigNatPowMod :: BigNat# -> BigNat# -> BigNat# -> BigNat#
|
|
| 11690 | - bigNatPowModWord# :: BigNat# -> BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 11691 | - bigNatQuot :: BigNat# -> BigNat# -> BigNat#
|
|
| 11692 | - bigNatQuotRem# :: BigNat# -> BigNat# -> (# BigNat#, BigNat# #)
|
|
| 11693 | - bigNatQuotRemWord# :: BigNat# -> GHC.Internal.Prim.Word# -> (# BigNat#, GHC.Internal.Prim.Word# #)
|
|
| 11694 | - bigNatQuotWord :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 11695 | - bigNatQuotWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11696 | - bigNatRem :: BigNat# -> BigNat# -> BigNat#
|
|
| 11697 | - bigNatRemWord :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Word
|
|
| 11698 | - bigNatRemWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 11699 | - bigNatSetBit# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11700 | - bigNatShiftL :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 11701 | - bigNatShiftL# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11702 | - bigNatShiftR :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 11703 | - bigNatShiftR# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11704 | - bigNatShiftRNeg# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11705 | - bigNatSize :: BigNat# -> GHC.Internal.Types.Word
|
|
| 11706 | - bigNatSize# :: BigNat# -> GHC.Internal.Prim.Int#
|
|
| 11707 | - bigNatSizeInBase :: GHC.Internal.Types.Word -> BigNat# -> GHC.Internal.Types.Word
|
|
| 11708 | - bigNatSizeInBase# :: GHC.Internal.Prim.Word# -> BigNat# -> GHC.Internal.Prim.Word#
|
|
| 11709 | - bigNatSqr :: BigNat# -> BigNat#
|
|
| 11710 | - bigNatSub :: BigNat# -> BigNat# -> (# (# #) | BigNat# #)
|
|
| 11711 | - bigNatSubUnsafe :: BigNat# -> BigNat# -> BigNat#
|
|
| 11712 | - bigNatSubWord# :: BigNat# -> GHC.Internal.Prim.Word# -> (# (# #) | BigNat# #)
|
|
| 11713 | - bigNatSubWordUnsafe :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 11714 | - bigNatSubWordUnsafe# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11715 | - bigNatTestBit :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 11716 | - bigNatTestBit# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11717 | - bigNatToAddr :: BigNat# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO GHC.Internal.Types.Word
|
|
| 11718 | - bigNatToAddr# :: forall s. BigNat# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 11719 | - bigNatToAddrBE# :: forall s. BigNat# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 11720 | - bigNatToAddrLE# :: forall s. BigNat# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 11721 | - bigNatToInt :: BigNat# -> GHC.Internal.Types.Int
|
|
| 11722 | - bigNatToInt# :: BigNat# -> GHC.Internal.Prim.Int#
|
|
| 11723 | - bigNatToMutableByteArray# :: forall s. BigNat# -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 11724 | - bigNatToMutableByteArrayBE# :: forall s. BigNat# -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 11725 | - bigNatToMutableByteArrayLE# :: forall s. BigNat# -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 11726 | - bigNatToWord :: BigNat# -> GHC.Internal.Types.Word
|
|
| 11727 | - bigNatToWord# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 11728 | - bigNatToWord64# :: BigNat# -> GHC.Internal.Prim.Word64#
|
|
| 11729 | - bigNatToWordList :: BigNat# -> [GHC.Internal.Types.Word]
|
|
| 11730 | - bigNatToWordMaybe# :: BigNat# -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 11731 | - bigNatXor :: BigNat# -> BigNat# -> BigNat#
|
|
| 11732 | - bigNatXorWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 11733 | - bigNatZero :: BigNat
|
|
| 11734 | - bigNatZero# :: (# #) -> BigNat#
|
|
| 11735 | - gcdInt :: GHC.Internal.Types.Int -> GHC.Internal.Types.Int -> GHC.Internal.Types.Int
|
|
| 11736 | - gcdInt# :: GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Int#
|
|
| 11737 | - gcdWord :: GHC.Internal.Types.Word -> GHC.Internal.Types.Word -> GHC.Internal.Types.Word
|
|
| 11738 | - gcdWord# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 11739 | - powModWord# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 11740 | - raiseDivZero_BigNat :: (# #) -> BigNat#
|
|
| 11741 | - |
|
| 11742 | -module GHC.Num.Integer where
|
|
| 11743 | - -- Safety: None
|
|
| 11744 | - type Integer :: *
|
|
| 11745 | - data Integer = IS GHC.Internal.Prim.Int# | IP GHC.Internal.Prim.ByteArray# | IN GHC.Internal.Prim.ByteArray#
|
|
| 11746 | - integerAbs :: Integer -> Integer
|
|
| 11747 | - integerAdd :: Integer -> Integer -> Integer
|
|
| 11748 | - integerAnd :: Integer -> Integer -> Integer
|
|
| 11749 | - integerBit :: GHC.Internal.Types.Word -> Integer
|
|
| 11750 | - integerBit# :: GHC.Internal.Prim.Word# -> Integer
|
|
| 11751 | - integerCheck :: Integer -> GHC.Internal.Types.Bool
|
|
| 11752 | - integerCheck# :: Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11753 | - integerCompare :: Integer -> Integer -> GHC.Internal.Types.Ordering
|
|
| 11754 | - integerComplement :: Integer -> Integer
|
|
| 11755 | - integerDecodeDouble# :: GHC.Internal.Prim.Double# -> (# Integer, GHC.Internal.Prim.Int# #)
|
|
| 11756 | - integerDiv :: Integer -> Integer -> Integer
|
|
| 11757 | - integerDivMod :: Integer -> Integer -> (Integer, Integer)
|
|
| 11758 | - integerDivMod# :: Integer -> Integer -> (# Integer, Integer #)
|
|
| 11759 | - integerEncodeDouble :: Integer -> GHC.Internal.Types.Int -> GHC.Internal.Types.Double
|
|
| 11760 | - integerEncodeDouble# :: Integer -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Double#
|
|
| 11761 | - integerEncodeFloat# :: Integer -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Float#
|
|
| 11762 | - integerEq :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 11763 | - integerEq# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11764 | - integerFromAddr :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO Integer
|
|
| 11765 | - integerFromAddr# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, Integer #)
|
|
| 11766 | - integerFromBigNat# :: GHC.Internal.Bignum.BigNat.BigNat# -> Integer
|
|
| 11767 | - integerFromBigNatNeg# :: GHC.Internal.Bignum.BigNat.BigNat# -> Integer
|
|
| 11768 | - integerFromBigNatSign# :: GHC.Internal.Prim.Int# -> GHC.Internal.Bignum.BigNat.BigNat# -> Integer
|
|
| 11769 | - integerFromByteArray :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> Integer
|
|
| 11770 | - integerFromByteArray# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, Integer #)
|
|
| 11771 | - integerFromInt :: GHC.Internal.Types.Int -> Integer
|
|
| 11772 | - integerFromInt# :: GHC.Internal.Prim.Int# -> Integer
|
|
| 11773 | - integerFromInt64# :: GHC.Internal.Prim.Int64# -> Integer
|
|
| 11774 | - integerFromNatural :: GHC.Internal.Bignum.Natural.Natural -> Integer
|
|
| 11775 | - integerFromWord :: GHC.Internal.Types.Word -> Integer
|
|
| 11776 | - integerFromWord# :: GHC.Internal.Prim.Word# -> Integer
|
|
| 11777 | - integerFromWord64# :: GHC.Internal.Prim.Word64# -> Integer
|
|
| 11778 | - integerFromWordList :: GHC.Internal.Types.Bool -> [GHC.Internal.Types.Word] -> Integer
|
|
| 11779 | - integerFromWordNeg# :: GHC.Internal.Prim.Word# -> Integer
|
|
| 11780 | - integerFromWordSign# :: GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Word# -> Integer
|
|
| 11781 | - integerGcd :: Integer -> Integer -> Integer
|
|
| 11782 | - integerGcde :: Integer -> Integer -> (Integer, Integer, Integer)
|
|
| 11783 | - integerGcde# :: Integer -> Integer -> (# Integer, Integer, Integer #)
|
|
| 11784 | - integerGe :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 11785 | - integerGe# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11786 | - integerGt :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 11787 | - integerGt# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11788 | - integerIsNegative :: Integer -> GHC.Internal.Types.Bool
|
|
| 11789 | - integerIsNegative# :: Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11790 | - integerIsOne :: Integer -> GHC.Internal.Types.Bool
|
|
| 11791 | - integerIsPowerOf2# :: Integer -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 11792 | - integerIsZero :: Integer -> GHC.Internal.Types.Bool
|
|
| 11793 | - integerLcm :: Integer -> Integer -> Integer
|
|
| 11794 | - integerLe :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 11795 | - integerLe# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11796 | - integerLog2 :: Integer -> GHC.Internal.Types.Word
|
|
| 11797 | - integerLog2# :: Integer -> GHC.Internal.Prim.Word#
|
|
| 11798 | - integerLogBase :: Integer -> Integer -> GHC.Internal.Types.Word
|
|
| 11799 | - integerLogBase# :: Integer -> Integer -> GHC.Internal.Prim.Word#
|
|
| 11800 | - integerLogBaseWord :: GHC.Internal.Types.Word -> Integer -> GHC.Internal.Types.Word
|
|
| 11801 | - integerLogBaseWord# :: GHC.Internal.Prim.Word# -> Integer -> GHC.Internal.Prim.Word#
|
|
| 11802 | - integerLt :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 11803 | - integerLt# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11804 | - integerMod :: Integer -> Integer -> Integer
|
|
| 11805 | - integerMul :: Integer -> Integer -> Integer
|
|
| 11806 | - integerNe :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 11807 | - integerNe# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11808 | - integerNegate :: Integer -> Integer
|
|
| 11809 | - integerOne :: Integer
|
|
| 11810 | - integerOr :: Integer -> Integer -> Integer
|
|
| 11811 | - integerPopCount# :: Integer -> GHC.Internal.Prim.Int#
|
|
| 11812 | - integerPowMod# :: Integer -> Integer -> GHC.Internal.Bignum.Natural.Natural -> (# GHC.Internal.Bignum.Natural.Natural | () #)
|
|
| 11813 | - integerQuot :: Integer -> Integer -> Integer
|
|
| 11814 | - integerQuotRem :: Integer -> Integer -> (Integer, Integer)
|
|
| 11815 | - integerQuotRem# :: Integer -> Integer -> (# Integer, Integer #)
|
|
| 11816 | - integerRecipMod# :: Integer -> GHC.Internal.Bignum.Natural.Natural -> (# GHC.Internal.Bignum.Natural.Natural | () #)
|
|
| 11817 | - integerRem :: Integer -> Integer -> Integer
|
|
| 11818 | - integerShiftL :: Integer -> GHC.Internal.Types.Word -> Integer
|
|
| 11819 | - integerShiftL# :: Integer -> GHC.Internal.Prim.Word# -> Integer
|
|
| 11820 | - integerShiftR :: Integer -> GHC.Internal.Types.Word -> Integer
|
|
| 11821 | - integerShiftR# :: Integer -> GHC.Internal.Prim.Word# -> Integer
|
|
| 11822 | - integerSignum :: Integer -> Integer
|
|
| 11823 | - integerSignum# :: Integer -> GHC.Internal.Prim.Int#
|
|
| 11824 | - integerSizeInBase# :: GHC.Internal.Prim.Word# -> Integer -> GHC.Internal.Prim.Word#
|
|
| 11825 | - integerSqr :: Integer -> Integer
|
|
| 11826 | - integerSub :: Integer -> Integer -> Integer
|
|
| 11827 | - integerTestBit :: Integer -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 11828 | - integerTestBit# :: Integer -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11829 | - integerToAddr :: Integer -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO GHC.Internal.Types.Word
|
|
| 11830 | - integerToAddr# :: forall s. Integer -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 11831 | - integerToBigNatClamp# :: Integer -> GHC.Internal.Bignum.BigNat.BigNat#
|
|
| 11832 | - integerToBigNatSign# :: Integer -> (# GHC.Internal.Prim.Int#, GHC.Internal.Bignum.BigNat.BigNat# #)
|
|
| 11833 | - integerToInt :: Integer -> GHC.Internal.Types.Int
|
|
| 11834 | - integerToInt# :: Integer -> GHC.Internal.Prim.Int#
|
|
| 11835 | - integerToInt64# :: Integer -> GHC.Internal.Prim.Int64#
|
|
| 11836 | - integerToMutableByteArray :: Integer -> GHC.Internal.Prim.MutableByteArray# GHC.Internal.Prim.RealWorld -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO GHC.Internal.Types.Word
|
|
| 11837 | - integerToMutableByteArray# :: forall s. Integer -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 11838 | - integerToNatural :: Integer -> GHC.Internal.Bignum.Natural.Natural
|
|
| 11839 | - integerToNaturalClamp :: Integer -> GHC.Internal.Bignum.Natural.Natural
|
|
| 11840 | - integerToNaturalThrow :: Integer -> GHC.Internal.Bignum.Natural.Natural
|
|
| 11841 | - integerToWord :: Integer -> GHC.Internal.Types.Word
|
|
| 11842 | - integerToWord# :: Integer -> GHC.Internal.Prim.Word#
|
|
| 11843 | - integerToWord64# :: Integer -> GHC.Internal.Prim.Word64#
|
|
| 11844 | - integerXor :: Integer -> Integer -> Integer
|
|
| 11845 | - integerZero :: Integer
|
|
| 11846 | - |
|
| 11847 | -module GHC.Num.Natural where
|
|
| 11848 | - -- Safety: None
|
|
| 11849 | - type Natural :: *
|
|
| 11850 | - data Natural = NS GHC.Internal.Prim.Word# | NB GHC.Internal.Prim.ByteArray#
|
|
| 11851 | - naturalAdd :: Natural -> Natural -> Natural
|
|
| 11852 | - naturalAnd :: Natural -> Natural -> Natural
|
|
| 11853 | - naturalAndNot :: Natural -> Natural -> Natural
|
|
| 11854 | - naturalBit :: GHC.Internal.Types.Word -> Natural
|
|
| 11855 | - naturalBit# :: GHC.Internal.Prim.Word# -> Natural
|
|
| 11856 | - naturalCheck :: Natural -> GHC.Internal.Types.Bool
|
|
| 11857 | - naturalCheck# :: Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11858 | - naturalClearBit :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 11859 | - naturalClearBit# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 11860 | - naturalCompare :: Natural -> Natural -> GHC.Internal.Types.Ordering
|
|
| 11861 | - naturalComplementBit :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 11862 | - naturalComplementBit# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 11863 | - naturalEncodeDouble# :: Natural -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Double#
|
|
| 11864 | - naturalEncodeFloat# :: Natural -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Float#
|
|
| 11865 | - naturalEq :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 11866 | - naturalEq# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11867 | - naturalFromAddr :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO Natural
|
|
| 11868 | - naturalFromAddr# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, Natural #)
|
|
| 11869 | - naturalFromBigNat# :: GHC.Internal.Bignum.BigNat.BigNat# -> Natural
|
|
| 11870 | - naturalFromByteArray# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, Natural #)
|
|
| 11871 | - naturalFromWord :: GHC.Internal.Types.Word -> Natural
|
|
| 11872 | - naturalFromWord# :: GHC.Internal.Prim.Word# -> Natural
|
|
| 11873 | - naturalFromWord2# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> Natural
|
|
| 11874 | - naturalFromWordList :: [GHC.Internal.Types.Word] -> Natural
|
|
| 11875 | - naturalGcd :: Natural -> Natural -> Natural
|
|
| 11876 | - naturalGe :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 11877 | - naturalGe# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11878 | - naturalGt :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 11879 | - naturalGt# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11880 | - naturalIsOne :: Natural -> GHC.Internal.Types.Bool
|
|
| 11881 | - naturalIsPowerOf2# :: Natural -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 11882 | - naturalIsZero :: Natural -> GHC.Internal.Types.Bool
|
|
| 11883 | - naturalLcm :: Natural -> Natural -> Natural
|
|
| 11884 | - naturalLe :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 11885 | - naturalLe# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11886 | - naturalLog2 :: Natural -> GHC.Internal.Types.Word
|
|
| 11887 | - naturalLog2# :: Natural -> GHC.Internal.Prim.Word#
|
|
| 11888 | - naturalLogBase :: Natural -> Natural -> GHC.Internal.Types.Word
|
|
| 11889 | - naturalLogBase# :: Natural -> Natural -> GHC.Internal.Prim.Word#
|
|
| 11890 | - naturalLogBaseWord :: GHC.Internal.Types.Word -> Natural -> GHC.Internal.Types.Word
|
|
| 11891 | - naturalLogBaseWord# :: GHC.Internal.Prim.Word# -> Natural -> GHC.Internal.Prim.Word#
|
|
| 11892 | - naturalLt :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 11893 | - naturalLt# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11894 | - naturalMul :: Natural -> Natural -> Natural
|
|
| 11895 | - naturalNe :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 11896 | - naturalNe# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11897 | - naturalNegate :: Natural -> Natural
|
|
| 11898 | - naturalOne :: Natural
|
|
| 11899 | - naturalOr :: Natural -> Natural -> Natural
|
|
| 11900 | - naturalPopCount :: Natural -> GHC.Internal.Types.Word
|
|
| 11901 | - naturalPopCount# :: Natural -> GHC.Internal.Prim.Word#
|
|
| 11902 | - naturalPowMod :: Natural -> Natural -> Natural -> Natural
|
|
| 11903 | - naturalQuot :: Natural -> Natural -> Natural
|
|
| 11904 | - naturalQuotRem :: Natural -> Natural -> (Natural, Natural)
|
|
| 11905 | - naturalQuotRem# :: Natural -> Natural -> (# Natural, Natural #)
|
|
| 11906 | - naturalRem :: Natural -> Natural -> Natural
|
|
| 11907 | - naturalSetBit :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 11908 | - naturalSetBit# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 11909 | - naturalShiftL :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 11910 | - naturalShiftL# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 11911 | - naturalShiftR :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 11912 | - naturalShiftR# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 11913 | - naturalSignum :: Natural -> Natural
|
|
| 11914 | - naturalSizeInBase# :: GHC.Internal.Prim.Word# -> Natural -> GHC.Internal.Prim.Word#
|
|
| 11915 | - naturalSqr :: Natural -> Natural
|
|
| 11916 | - naturalSub :: Natural -> Natural -> (# (# #) | Natural #)
|
|
| 11917 | - naturalSubThrow :: Natural -> Natural -> Natural
|
|
| 11918 | - naturalSubUnsafe :: Natural -> Natural -> Natural
|
|
| 11919 | - naturalTestBit :: Natural -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 11920 | - naturalTestBit# :: Natural -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 11921 | - naturalToAddr :: Natural -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO GHC.Internal.Types.Word
|
|
| 11922 | - naturalToAddr# :: forall s. Natural -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 11923 | - naturalToBigNat# :: Natural -> GHC.Internal.Bignum.BigNat.BigNat#
|
|
| 11924 | - naturalToMutableByteArray# :: forall s. Natural -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 11925 | - naturalToWord :: Natural -> GHC.Internal.Types.Word
|
|
| 11926 | - naturalToWord# :: Natural -> GHC.Internal.Prim.Word#
|
|
| 11927 | - naturalToWordClamp :: Natural -> GHC.Internal.Types.Word
|
|
| 11928 | - naturalToWordClamp# :: Natural -> GHC.Internal.Prim.Word#
|
|
| 11929 | - naturalToWordMaybe# :: Natural -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 11930 | - naturalXor :: Natural -> Natural -> Natural
|
|
| 11931 | - naturalZero :: Natural
|
|
| 11932 | - |
|
| 11933 | 11599 | module GHC.OldList where
|
| 11934 | 11600 | -- Safety: Safe
|
| 11935 | 11601 | (!!) :: forall a. GHC.Internal.Stack.Types.HasCallStack => [a] -> GHC.Internal.Types.Int -> a
|
| ... | ... | @@ -8768,340 +8768,6 @@ module GHC.Num where |
| 8768 | 8768 | quotRemInteger :: Integer -> Integer -> (# Integer, Integer #)
|
| 8769 | 8769 | subtract :: forall a. Num a => a -> a -> a
|
| 8770 | 8770 | |
| 8771 | -module GHC.Num.BigNat where
|
|
| 8772 | - -- Safety: None
|
|
| 8773 | - type BigNat :: *
|
|
| 8774 | - data BigNat = BN# {unBigNat :: BigNat#}
|
|
| 8775 | - type BigNat# :: GHC.Internal.Types.UnliftedType
|
|
| 8776 | - type BigNat# = GHC.Internal.Bignum.WordArray.WordArray#
|
|
| 8777 | - bigNatAdd :: BigNat# -> BigNat# -> BigNat#
|
|
| 8778 | - bigNatAddWord :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 8779 | - bigNatAddWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8780 | - bigNatAnd :: BigNat# -> BigNat# -> BigNat#
|
|
| 8781 | - bigNatAndInt# :: BigNat# -> GHC.Internal.Prim.Int# -> BigNat#
|
|
| 8782 | - bigNatAndNot :: BigNat# -> BigNat# -> BigNat#
|
|
| 8783 | - bigNatAndNotWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8784 | - bigNatAndWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8785 | - bigNatBit :: GHC.Internal.Types.Word -> BigNat#
|
|
| 8786 | - bigNatBit# :: GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8787 | - bigNatCheck :: BigNat# -> GHC.Internal.Types.Bool
|
|
| 8788 | - bigNatCheck# :: BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8789 | - bigNatClearBit# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8790 | - bigNatCompare :: BigNat# -> BigNat# -> GHC.Internal.Types.Ordering
|
|
| 8791 | - bigNatCompareWord :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Ordering
|
|
| 8792 | - bigNatCompareWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Types.Ordering
|
|
| 8793 | - bigNatComplementBit# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8794 | - bigNatCtz :: BigNat# -> GHC.Internal.Types.Word
|
|
| 8795 | - bigNatCtz# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8796 | - bigNatCtzWord :: BigNat# -> GHC.Internal.Types.Word
|
|
| 8797 | - bigNatCtzWord# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8798 | - bigNatEncodeDouble# :: BigNat# -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Double#
|
|
| 8799 | - bigNatEq :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 8800 | - bigNatEq# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8801 | - bigNatEqWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8802 | - bigNatFromAbsInt# :: GHC.Internal.Prim.Int# -> BigNat#
|
|
| 8803 | - bigNatFromAddr# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 8804 | - bigNatFromAddrBE# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 8805 | - bigNatFromAddrLE# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 8806 | - bigNatFromByteArray# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 8807 | - bigNatFromByteArrayBE# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 8808 | - bigNatFromByteArrayLE# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 8809 | - bigNatFromWord :: GHC.Internal.Types.Word -> BigNat#
|
|
| 8810 | - bigNatFromWord# :: GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8811 | - bigNatFromWord2# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8812 | - bigNatFromWord64# :: GHC.Internal.Prim.Word64# -> BigNat#
|
|
| 8813 | - bigNatFromWordArray :: GHC.Internal.Bignum.WordArray.WordArray# -> GHC.Internal.Prim.Word# -> BigNat
|
|
| 8814 | - bigNatFromWordArray# :: GHC.Internal.Bignum.WordArray.WordArray# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8815 | - bigNatFromWordList :: [GHC.Internal.Types.Word] -> BigNat#
|
|
| 8816 | - bigNatFromWordList# :: [GHC.Internal.Types.Word] -> GHC.Internal.Bignum.WordArray.WordArray#
|
|
| 8817 | - bigNatFromWordListUnsafe :: [GHC.Internal.Types.Word] -> BigNat#
|
|
| 8818 | - bigNatGcd :: BigNat# -> BigNat# -> BigNat#
|
|
| 8819 | - bigNatGcdWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 8820 | - bigNatGe :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 8821 | - bigNatGe# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8822 | - bigNatGt :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 8823 | - bigNatGt# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8824 | - bigNatGtWord :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 8825 | - bigNatGtWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8826 | - bigNatIndex :: BigNat# -> GHC.Internal.Prim.Int# -> GHC.Internal.Types.Word
|
|
| 8827 | - bigNatIndex# :: BigNat# -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Word#
|
|
| 8828 | - bigNatIsOne :: BigNat# -> GHC.Internal.Types.Bool
|
|
| 8829 | - bigNatIsOne# :: BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8830 | - bigNatIsPowerOf2# :: BigNat# -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 8831 | - bigNatIsTwo :: BigNat# -> GHC.Internal.Types.Bool
|
|
| 8832 | - bigNatIsTwo# :: BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8833 | - bigNatIsZero :: BigNat# -> GHC.Internal.Types.Bool
|
|
| 8834 | - bigNatIsZero# :: BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8835 | - bigNatLcm :: BigNat# -> BigNat# -> BigNat#
|
|
| 8836 | - bigNatLcmWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8837 | - bigNatLcmWordWord# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8838 | - bigNatLe :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 8839 | - bigNatLe# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8840 | - bigNatLeWord :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 8841 | - bigNatLeWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8842 | - bigNatLog2 :: BigNat# -> GHC.Internal.Types.Word
|
|
| 8843 | - bigNatLog2# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8844 | - bigNatLogBase :: BigNat# -> BigNat# -> GHC.Internal.Types.Word
|
|
| 8845 | - bigNatLogBase# :: BigNat# -> BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8846 | - bigNatLogBaseWord :: GHC.Internal.Types.Word -> BigNat# -> GHC.Internal.Types.Word
|
|
| 8847 | - bigNatLogBaseWord# :: GHC.Internal.Prim.Word# -> BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8848 | - bigNatLt :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 8849 | - bigNatLt# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8850 | - bigNatMul :: BigNat# -> BigNat# -> BigNat#
|
|
| 8851 | - bigNatMulWord :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 8852 | - bigNatMulWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8853 | - bigNatNe :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 8854 | - bigNatNe# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8855 | - bigNatOne :: BigNat
|
|
| 8856 | - bigNatOne# :: (# #) -> BigNat#
|
|
| 8857 | - bigNatOr :: BigNat# -> BigNat# -> BigNat#
|
|
| 8858 | - bigNatOrWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8859 | - bigNatPopCount :: BigNat# -> GHC.Internal.Types.Word
|
|
| 8860 | - bigNatPopCount# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8861 | - bigNatPowMod :: BigNat# -> BigNat# -> BigNat# -> BigNat#
|
|
| 8862 | - bigNatPowModWord# :: BigNat# -> BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 8863 | - bigNatQuot :: BigNat# -> BigNat# -> BigNat#
|
|
| 8864 | - bigNatQuotRem# :: BigNat# -> BigNat# -> (# BigNat#, BigNat# #)
|
|
| 8865 | - bigNatQuotRemWord# :: BigNat# -> GHC.Internal.Prim.Word# -> (# BigNat#, GHC.Internal.Prim.Word# #)
|
|
| 8866 | - bigNatQuotWord :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 8867 | - bigNatQuotWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8868 | - bigNatRem :: BigNat# -> BigNat# -> BigNat#
|
|
| 8869 | - bigNatRemWord :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Word
|
|
| 8870 | - bigNatRemWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 8871 | - bigNatSetBit# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8872 | - bigNatShiftL :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 8873 | - bigNatShiftL# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8874 | - bigNatShiftR :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 8875 | - bigNatShiftR# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8876 | - bigNatShiftRNeg# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8877 | - bigNatSize :: BigNat# -> GHC.Internal.Types.Word
|
|
| 8878 | - bigNatSize# :: BigNat# -> GHC.Internal.Prim.Int#
|
|
| 8879 | - bigNatSizeInBase :: GHC.Internal.Types.Word -> BigNat# -> GHC.Internal.Types.Word
|
|
| 8880 | - bigNatSizeInBase# :: GHC.Internal.Prim.Word# -> BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8881 | - bigNatSqr :: BigNat# -> BigNat#
|
|
| 8882 | - bigNatSub :: BigNat# -> BigNat# -> (# (# #) | BigNat# #)
|
|
| 8883 | - bigNatSubUnsafe :: BigNat# -> BigNat# -> BigNat#
|
|
| 8884 | - bigNatSubWord# :: BigNat# -> GHC.Internal.Prim.Word# -> (# (# #) | BigNat# #)
|
|
| 8885 | - bigNatSubWordUnsafe :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 8886 | - bigNatSubWordUnsafe# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8887 | - bigNatTestBit :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 8888 | - bigNatTestBit# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8889 | - bigNatToAddr :: BigNat# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO GHC.Internal.Types.Word
|
|
| 8890 | - bigNatToAddr# :: forall s. BigNat# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8891 | - bigNatToAddrBE# :: forall s. BigNat# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8892 | - bigNatToAddrLE# :: forall s. BigNat# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8893 | - bigNatToInt :: BigNat# -> GHC.Internal.Types.Int
|
|
| 8894 | - bigNatToInt# :: BigNat# -> GHC.Internal.Prim.Int#
|
|
| 8895 | - bigNatToMutableByteArray# :: forall s. BigNat# -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8896 | - bigNatToMutableByteArrayBE# :: forall s. BigNat# -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8897 | - bigNatToMutableByteArrayLE# :: forall s. BigNat# -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8898 | - bigNatToWord :: BigNat# -> GHC.Internal.Types.Word
|
|
| 8899 | - bigNatToWord# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8900 | - bigNatToWord64# :: BigNat# -> GHC.Internal.Prim.Word64#
|
|
| 8901 | - bigNatToWordList :: BigNat# -> [GHC.Internal.Types.Word]
|
|
| 8902 | - bigNatToWordMaybe# :: BigNat# -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 8903 | - bigNatXor :: BigNat# -> BigNat# -> BigNat#
|
|
| 8904 | - bigNatXorWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8905 | - bigNatZero :: BigNat
|
|
| 8906 | - bigNatZero# :: (# #) -> BigNat#
|
|
| 8907 | - gcdInt :: GHC.Internal.Types.Int -> GHC.Internal.Types.Int -> GHC.Internal.Types.Int
|
|
| 8908 | - gcdInt# :: GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Int#
|
|
| 8909 | - gcdWord :: GHC.Internal.Types.Word -> GHC.Internal.Types.Word -> GHC.Internal.Types.Word
|
|
| 8910 | - gcdWord# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 8911 | - powModWord# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 8912 | - raiseDivZero_BigNat :: (# #) -> BigNat#
|
|
| 8913 | - |
|
| 8914 | -module GHC.Num.Integer where
|
|
| 8915 | - -- Safety: None
|
|
| 8916 | - type Integer :: *
|
|
| 8917 | - data Integer = IS GHC.Internal.Prim.Int# | IP GHC.Internal.Prim.ByteArray# | IN GHC.Internal.Prim.ByteArray#
|
|
| 8918 | - integerAbs :: Integer -> Integer
|
|
| 8919 | - integerAdd :: Integer -> Integer -> Integer
|
|
| 8920 | - integerAnd :: Integer -> Integer -> Integer
|
|
| 8921 | - integerBit :: GHC.Internal.Types.Word -> Integer
|
|
| 8922 | - integerBit# :: GHC.Internal.Prim.Word# -> Integer
|
|
| 8923 | - integerCheck :: Integer -> GHC.Internal.Types.Bool
|
|
| 8924 | - integerCheck# :: Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8925 | - integerCompare :: Integer -> Integer -> GHC.Internal.Types.Ordering
|
|
| 8926 | - integerComplement :: Integer -> Integer
|
|
| 8927 | - integerDecodeDouble# :: GHC.Internal.Prim.Double# -> (# Integer, GHC.Internal.Prim.Int# #)
|
|
| 8928 | - integerDiv :: Integer -> Integer -> Integer
|
|
| 8929 | - integerDivMod :: Integer -> Integer -> (Integer, Integer)
|
|
| 8930 | - integerDivMod# :: Integer -> Integer -> (# Integer, Integer #)
|
|
| 8931 | - integerEncodeDouble :: Integer -> GHC.Internal.Types.Int -> GHC.Internal.Types.Double
|
|
| 8932 | - integerEncodeDouble# :: Integer -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Double#
|
|
| 8933 | - integerEncodeFloat# :: Integer -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Float#
|
|
| 8934 | - integerEq :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 8935 | - integerEq# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8936 | - integerFromAddr :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO Integer
|
|
| 8937 | - integerFromAddr# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, Integer #)
|
|
| 8938 | - integerFromBigNat# :: GHC.Internal.Bignum.BigNat.BigNat# -> Integer
|
|
| 8939 | - integerFromBigNatNeg# :: GHC.Internal.Bignum.BigNat.BigNat# -> Integer
|
|
| 8940 | - integerFromBigNatSign# :: GHC.Internal.Prim.Int# -> GHC.Internal.Bignum.BigNat.BigNat# -> Integer
|
|
| 8941 | - integerFromByteArray :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> Integer
|
|
| 8942 | - integerFromByteArray# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, Integer #)
|
|
| 8943 | - integerFromInt :: GHC.Internal.Types.Int -> Integer
|
|
| 8944 | - integerFromInt# :: GHC.Internal.Prim.Int# -> Integer
|
|
| 8945 | - integerFromInt64# :: GHC.Internal.Prim.Int64# -> Integer
|
|
| 8946 | - integerFromNatural :: GHC.Internal.Bignum.Natural.Natural -> Integer
|
|
| 8947 | - integerFromWord :: GHC.Internal.Types.Word -> Integer
|
|
| 8948 | - integerFromWord# :: GHC.Internal.Prim.Word# -> Integer
|
|
| 8949 | - integerFromWord64# :: GHC.Internal.Prim.Word64# -> Integer
|
|
| 8950 | - integerFromWordList :: GHC.Internal.Types.Bool -> [GHC.Internal.Types.Word] -> Integer
|
|
| 8951 | - integerFromWordNeg# :: GHC.Internal.Prim.Word# -> Integer
|
|
| 8952 | - integerFromWordSign# :: GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Word# -> Integer
|
|
| 8953 | - integerGcd :: Integer -> Integer -> Integer
|
|
| 8954 | - integerGcde :: Integer -> Integer -> (Integer, Integer, Integer)
|
|
| 8955 | - integerGcde# :: Integer -> Integer -> (# Integer, Integer, Integer #)
|
|
| 8956 | - integerGe :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 8957 | - integerGe# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8958 | - integerGt :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 8959 | - integerGt# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8960 | - integerIsNegative :: Integer -> GHC.Internal.Types.Bool
|
|
| 8961 | - integerIsNegative# :: Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8962 | - integerIsOne :: Integer -> GHC.Internal.Types.Bool
|
|
| 8963 | - integerIsPowerOf2# :: Integer -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 8964 | - integerIsZero :: Integer -> GHC.Internal.Types.Bool
|
|
| 8965 | - integerLcm :: Integer -> Integer -> Integer
|
|
| 8966 | - integerLe :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 8967 | - integerLe# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8968 | - integerLog2 :: Integer -> GHC.Internal.Types.Word
|
|
| 8969 | - integerLog2# :: Integer -> GHC.Internal.Prim.Word#
|
|
| 8970 | - integerLogBase :: Integer -> Integer -> GHC.Internal.Types.Word
|
|
| 8971 | - integerLogBase# :: Integer -> Integer -> GHC.Internal.Prim.Word#
|
|
| 8972 | - integerLogBaseWord :: GHC.Internal.Types.Word -> Integer -> GHC.Internal.Types.Word
|
|
| 8973 | - integerLogBaseWord# :: GHC.Internal.Prim.Word# -> Integer -> GHC.Internal.Prim.Word#
|
|
| 8974 | - integerLt :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 8975 | - integerLt# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8976 | - integerMod :: Integer -> Integer -> Integer
|
|
| 8977 | - integerMul :: Integer -> Integer -> Integer
|
|
| 8978 | - integerNe :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 8979 | - integerNe# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8980 | - integerNegate :: Integer -> Integer
|
|
| 8981 | - integerOne :: Integer
|
|
| 8982 | - integerOr :: Integer -> Integer -> Integer
|
|
| 8983 | - integerPopCount# :: Integer -> GHC.Internal.Prim.Int#
|
|
| 8984 | - integerPowMod# :: Integer -> Integer -> GHC.Internal.Bignum.Natural.Natural -> (# GHC.Internal.Bignum.Natural.Natural | () #)
|
|
| 8985 | - integerQuot :: Integer -> Integer -> Integer
|
|
| 8986 | - integerQuotRem :: Integer -> Integer -> (Integer, Integer)
|
|
| 8987 | - integerQuotRem# :: Integer -> Integer -> (# Integer, Integer #)
|
|
| 8988 | - integerRecipMod# :: Integer -> GHC.Internal.Bignum.Natural.Natural -> (# GHC.Internal.Bignum.Natural.Natural | () #)
|
|
| 8989 | - integerRem :: Integer -> Integer -> Integer
|
|
| 8990 | - integerShiftL :: Integer -> GHC.Internal.Types.Word -> Integer
|
|
| 8991 | - integerShiftL# :: Integer -> GHC.Internal.Prim.Word# -> Integer
|
|
| 8992 | - integerShiftR :: Integer -> GHC.Internal.Types.Word -> Integer
|
|
| 8993 | - integerShiftR# :: Integer -> GHC.Internal.Prim.Word# -> Integer
|
|
| 8994 | - integerSignum :: Integer -> Integer
|
|
| 8995 | - integerSignum# :: Integer -> GHC.Internal.Prim.Int#
|
|
| 8996 | - integerSizeInBase# :: GHC.Internal.Prim.Word# -> Integer -> GHC.Internal.Prim.Word#
|
|
| 8997 | - integerSqr :: Integer -> Integer
|
|
| 8998 | - integerSub :: Integer -> Integer -> Integer
|
|
| 8999 | - integerTestBit :: Integer -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 9000 | - integerTestBit# :: Integer -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 9001 | - integerToAddr :: Integer -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO GHC.Internal.Types.Word
|
|
| 9002 | - integerToAddr# :: forall s. Integer -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 9003 | - integerToBigNatClamp# :: Integer -> GHC.Internal.Bignum.BigNat.BigNat#
|
|
| 9004 | - integerToBigNatSign# :: Integer -> (# GHC.Internal.Prim.Int#, GHC.Internal.Bignum.BigNat.BigNat# #)
|
|
| 9005 | - integerToInt :: Integer -> GHC.Internal.Types.Int
|
|
| 9006 | - integerToInt# :: Integer -> GHC.Internal.Prim.Int#
|
|
| 9007 | - integerToInt64# :: Integer -> GHC.Internal.Prim.Int64#
|
|
| 9008 | - integerToMutableByteArray :: Integer -> GHC.Internal.Prim.MutableByteArray# GHC.Internal.Prim.RealWorld -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO GHC.Internal.Types.Word
|
|
| 9009 | - integerToMutableByteArray# :: forall s. Integer -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 9010 | - integerToNatural :: Integer -> GHC.Internal.Bignum.Natural.Natural
|
|
| 9011 | - integerToNaturalClamp :: Integer -> GHC.Internal.Bignum.Natural.Natural
|
|
| 9012 | - integerToNaturalThrow :: Integer -> GHC.Internal.Bignum.Natural.Natural
|
|
| 9013 | - integerToWord :: Integer -> GHC.Internal.Types.Word
|
|
| 9014 | - integerToWord# :: Integer -> GHC.Internal.Prim.Word#
|
|
| 9015 | - integerToWord64# :: Integer -> GHC.Internal.Prim.Word64#
|
|
| 9016 | - integerXor :: Integer -> Integer -> Integer
|
|
| 9017 | - integerZero :: Integer
|
|
| 9018 | - |
|
| 9019 | -module GHC.Num.Natural where
|
|
| 9020 | - -- Safety: None
|
|
| 9021 | - type Natural :: *
|
|
| 9022 | - data Natural = NS GHC.Internal.Prim.Word# | NB GHC.Internal.Prim.ByteArray#
|
|
| 9023 | - naturalAdd :: Natural -> Natural -> Natural
|
|
| 9024 | - naturalAnd :: Natural -> Natural -> Natural
|
|
| 9025 | - naturalAndNot :: Natural -> Natural -> Natural
|
|
| 9026 | - naturalBit :: GHC.Internal.Types.Word -> Natural
|
|
| 9027 | - naturalBit# :: GHC.Internal.Prim.Word# -> Natural
|
|
| 9028 | - naturalCheck :: Natural -> GHC.Internal.Types.Bool
|
|
| 9029 | - naturalCheck# :: Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 9030 | - naturalClearBit :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 9031 | - naturalClearBit# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 9032 | - naturalCompare :: Natural -> Natural -> GHC.Internal.Types.Ordering
|
|
| 9033 | - naturalComplementBit :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 9034 | - naturalComplementBit# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 9035 | - naturalEncodeDouble# :: Natural -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Double#
|
|
| 9036 | - naturalEncodeFloat# :: Natural -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Float#
|
|
| 9037 | - naturalEq :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 9038 | - naturalEq# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 9039 | - naturalFromAddr :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO Natural
|
|
| 9040 | - naturalFromAddr# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, Natural #)
|
|
| 9041 | - naturalFromBigNat# :: GHC.Internal.Bignum.BigNat.BigNat# -> Natural
|
|
| 9042 | - naturalFromByteArray# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, Natural #)
|
|
| 9043 | - naturalFromWord :: GHC.Internal.Types.Word -> Natural
|
|
| 9044 | - naturalFromWord# :: GHC.Internal.Prim.Word# -> Natural
|
|
| 9045 | - naturalFromWord2# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> Natural
|
|
| 9046 | - naturalFromWordList :: [GHC.Internal.Types.Word] -> Natural
|
|
| 9047 | - naturalGcd :: Natural -> Natural -> Natural
|
|
| 9048 | - naturalGe :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 9049 | - naturalGe# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 9050 | - naturalGt :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 9051 | - naturalGt# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 9052 | - naturalIsOne :: Natural -> GHC.Internal.Types.Bool
|
|
| 9053 | - naturalIsPowerOf2# :: Natural -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 9054 | - naturalIsZero :: Natural -> GHC.Internal.Types.Bool
|
|
| 9055 | - naturalLcm :: Natural -> Natural -> Natural
|
|
| 9056 | - naturalLe :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 9057 | - naturalLe# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 9058 | - naturalLog2 :: Natural -> GHC.Internal.Types.Word
|
|
| 9059 | - naturalLog2# :: Natural -> GHC.Internal.Prim.Word#
|
|
| 9060 | - naturalLogBase :: Natural -> Natural -> GHC.Internal.Types.Word
|
|
| 9061 | - naturalLogBase# :: Natural -> Natural -> GHC.Internal.Prim.Word#
|
|
| 9062 | - naturalLogBaseWord :: GHC.Internal.Types.Word -> Natural -> GHC.Internal.Types.Word
|
|
| 9063 | - naturalLogBaseWord# :: GHC.Internal.Prim.Word# -> Natural -> GHC.Internal.Prim.Word#
|
|
| 9064 | - naturalLt :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 9065 | - naturalLt# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 9066 | - naturalMul :: Natural -> Natural -> Natural
|
|
| 9067 | - naturalNe :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 9068 | - naturalNe# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 9069 | - naturalNegate :: Natural -> Natural
|
|
| 9070 | - naturalOne :: Natural
|
|
| 9071 | - naturalOr :: Natural -> Natural -> Natural
|
|
| 9072 | - naturalPopCount :: Natural -> GHC.Internal.Types.Word
|
|
| 9073 | - naturalPopCount# :: Natural -> GHC.Internal.Prim.Word#
|
|
| 9074 | - naturalPowMod :: Natural -> Natural -> Natural -> Natural
|
|
| 9075 | - naturalQuot :: Natural -> Natural -> Natural
|
|
| 9076 | - naturalQuotRem :: Natural -> Natural -> (Natural, Natural)
|
|
| 9077 | - naturalQuotRem# :: Natural -> Natural -> (# Natural, Natural #)
|
|
| 9078 | - naturalRem :: Natural -> Natural -> Natural
|
|
| 9079 | - naturalSetBit :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 9080 | - naturalSetBit# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 9081 | - naturalShiftL :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 9082 | - naturalShiftL# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 9083 | - naturalShiftR :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 9084 | - naturalShiftR# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 9085 | - naturalSignum :: Natural -> Natural
|
|
| 9086 | - naturalSizeInBase# :: GHC.Internal.Prim.Word# -> Natural -> GHC.Internal.Prim.Word#
|
|
| 9087 | - naturalSqr :: Natural -> Natural
|
|
| 9088 | - naturalSub :: Natural -> Natural -> (# (# #) | Natural #)
|
|
| 9089 | - naturalSubThrow :: Natural -> Natural -> Natural
|
|
| 9090 | - naturalSubUnsafe :: Natural -> Natural -> Natural
|
|
| 9091 | - naturalTestBit :: Natural -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 9092 | - naturalTestBit# :: Natural -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 9093 | - naturalToAddr :: Natural -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO GHC.Internal.Types.Word
|
|
| 9094 | - naturalToAddr# :: forall s. Natural -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 9095 | - naturalToBigNat# :: Natural -> GHC.Internal.Bignum.BigNat.BigNat#
|
|
| 9096 | - naturalToMutableByteArray# :: forall s. Natural -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 9097 | - naturalToWord :: Natural -> GHC.Internal.Types.Word
|
|
| 9098 | - naturalToWord# :: Natural -> GHC.Internal.Prim.Word#
|
|
| 9099 | - naturalToWordClamp :: Natural -> GHC.Internal.Types.Word
|
|
| 9100 | - naturalToWordClamp# :: Natural -> GHC.Internal.Prim.Word#
|
|
| 9101 | - naturalToWordMaybe# :: Natural -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 9102 | - naturalXor :: Natural -> Natural -> Natural
|
|
| 9103 | - naturalZero :: Natural
|
|
| 9104 | - |
|
| 9105 | 8771 | module GHC.OldList where
|
| 9106 | 8772 | -- Safety: Safe
|
| 9107 | 8773 | (!!) :: forall a. GHC.Internal.Stack.Types.HasCallStack => [a] -> GHC.Internal.Types.Int -> a
|
| ... | ... | @@ -8550,340 +8550,6 @@ module GHC.Num where |
| 8550 | 8550 | quotRemInteger :: Integer -> Integer -> (# Integer, Integer #)
|
| 8551 | 8551 | subtract :: forall a. Num a => a -> a -> a
|
| 8552 | 8552 | |
| 8553 | -module GHC.Num.BigNat where
|
|
| 8554 | - -- Safety: None
|
|
| 8555 | - type BigNat :: *
|
|
| 8556 | - data BigNat = BN# {unBigNat :: BigNat#}
|
|
| 8557 | - type BigNat# :: GHC.Internal.Types.UnliftedType
|
|
| 8558 | - type BigNat# = GHC.Internal.Bignum.WordArray.WordArray#
|
|
| 8559 | - bigNatAdd :: BigNat# -> BigNat# -> BigNat#
|
|
| 8560 | - bigNatAddWord :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 8561 | - bigNatAddWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8562 | - bigNatAnd :: BigNat# -> BigNat# -> BigNat#
|
|
| 8563 | - bigNatAndInt# :: BigNat# -> GHC.Internal.Prim.Int# -> BigNat#
|
|
| 8564 | - bigNatAndNot :: BigNat# -> BigNat# -> BigNat#
|
|
| 8565 | - bigNatAndNotWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8566 | - bigNatAndWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8567 | - bigNatBit :: GHC.Internal.Types.Word -> BigNat#
|
|
| 8568 | - bigNatBit# :: GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8569 | - bigNatCheck :: BigNat# -> GHC.Internal.Types.Bool
|
|
| 8570 | - bigNatCheck# :: BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8571 | - bigNatClearBit# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8572 | - bigNatCompare :: BigNat# -> BigNat# -> GHC.Internal.Types.Ordering
|
|
| 8573 | - bigNatCompareWord :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Ordering
|
|
| 8574 | - bigNatCompareWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Types.Ordering
|
|
| 8575 | - bigNatComplementBit# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8576 | - bigNatCtz :: BigNat# -> GHC.Internal.Types.Word
|
|
| 8577 | - bigNatCtz# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8578 | - bigNatCtzWord :: BigNat# -> GHC.Internal.Types.Word
|
|
| 8579 | - bigNatCtzWord# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8580 | - bigNatEncodeDouble# :: BigNat# -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Double#
|
|
| 8581 | - bigNatEq :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 8582 | - bigNatEq# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8583 | - bigNatEqWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8584 | - bigNatFromAbsInt# :: GHC.Internal.Prim.Int# -> BigNat#
|
|
| 8585 | - bigNatFromAddr# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 8586 | - bigNatFromAddrBE# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 8587 | - bigNatFromAddrLE# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 8588 | - bigNatFromByteArray# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 8589 | - bigNatFromByteArrayBE# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 8590 | - bigNatFromByteArrayLE# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, BigNat# #)
|
|
| 8591 | - bigNatFromWord :: GHC.Internal.Types.Word -> BigNat#
|
|
| 8592 | - bigNatFromWord# :: GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8593 | - bigNatFromWord2# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8594 | - bigNatFromWord64# :: GHC.Internal.Prim.Word64# -> BigNat#
|
|
| 8595 | - bigNatFromWordArray :: GHC.Internal.Bignum.WordArray.WordArray# -> GHC.Internal.Prim.Word# -> BigNat
|
|
| 8596 | - bigNatFromWordArray# :: GHC.Internal.Bignum.WordArray.WordArray# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8597 | - bigNatFromWordList :: [GHC.Internal.Types.Word] -> BigNat#
|
|
| 8598 | - bigNatFromWordList# :: [GHC.Internal.Types.Word] -> GHC.Internal.Bignum.WordArray.WordArray#
|
|
| 8599 | - bigNatFromWordListUnsafe :: [GHC.Internal.Types.Word] -> BigNat#
|
|
| 8600 | - bigNatGcd :: BigNat# -> BigNat# -> BigNat#
|
|
| 8601 | - bigNatGcdWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 8602 | - bigNatGe :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 8603 | - bigNatGe# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8604 | - bigNatGt :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 8605 | - bigNatGt# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8606 | - bigNatGtWord :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 8607 | - bigNatGtWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8608 | - bigNatIndex :: BigNat# -> GHC.Internal.Prim.Int# -> GHC.Internal.Types.Word
|
|
| 8609 | - bigNatIndex# :: BigNat# -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Word#
|
|
| 8610 | - bigNatIsOne :: BigNat# -> GHC.Internal.Types.Bool
|
|
| 8611 | - bigNatIsOne# :: BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8612 | - bigNatIsPowerOf2# :: BigNat# -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 8613 | - bigNatIsTwo :: BigNat# -> GHC.Internal.Types.Bool
|
|
| 8614 | - bigNatIsTwo# :: BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8615 | - bigNatIsZero :: BigNat# -> GHC.Internal.Types.Bool
|
|
| 8616 | - bigNatIsZero# :: BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8617 | - bigNatLcm :: BigNat# -> BigNat# -> BigNat#
|
|
| 8618 | - bigNatLcmWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8619 | - bigNatLcmWordWord# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8620 | - bigNatLe :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 8621 | - bigNatLe# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8622 | - bigNatLeWord :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 8623 | - bigNatLeWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8624 | - bigNatLog2 :: BigNat# -> GHC.Internal.Types.Word
|
|
| 8625 | - bigNatLog2# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8626 | - bigNatLogBase :: BigNat# -> BigNat# -> GHC.Internal.Types.Word
|
|
| 8627 | - bigNatLogBase# :: BigNat# -> BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8628 | - bigNatLogBaseWord :: GHC.Internal.Types.Word -> BigNat# -> GHC.Internal.Types.Word
|
|
| 8629 | - bigNatLogBaseWord# :: GHC.Internal.Prim.Word# -> BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8630 | - bigNatLt :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 8631 | - bigNatLt# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8632 | - bigNatMul :: BigNat# -> BigNat# -> BigNat#
|
|
| 8633 | - bigNatMulWord :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 8634 | - bigNatMulWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8635 | - bigNatNe :: BigNat# -> BigNat# -> GHC.Internal.Types.Bool
|
|
| 8636 | - bigNatNe# :: BigNat# -> BigNat# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8637 | - bigNatOne :: BigNat
|
|
| 8638 | - bigNatOne# :: (# #) -> BigNat#
|
|
| 8639 | - bigNatOr :: BigNat# -> BigNat# -> BigNat#
|
|
| 8640 | - bigNatOrWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8641 | - bigNatPopCount :: BigNat# -> GHC.Internal.Types.Word
|
|
| 8642 | - bigNatPopCount# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8643 | - bigNatPowMod :: BigNat# -> BigNat# -> BigNat# -> BigNat#
|
|
| 8644 | - bigNatPowModWord# :: BigNat# -> BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 8645 | - bigNatQuot :: BigNat# -> BigNat# -> BigNat#
|
|
| 8646 | - bigNatQuotRem# :: BigNat# -> BigNat# -> (# BigNat#, BigNat# #)
|
|
| 8647 | - bigNatQuotRemWord# :: BigNat# -> GHC.Internal.Prim.Word# -> (# BigNat#, GHC.Internal.Prim.Word# #)
|
|
| 8648 | - bigNatQuotWord :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 8649 | - bigNatQuotWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8650 | - bigNatRem :: BigNat# -> BigNat# -> BigNat#
|
|
| 8651 | - bigNatRemWord :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Word
|
|
| 8652 | - bigNatRemWord# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 8653 | - bigNatSetBit# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8654 | - bigNatShiftL :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 8655 | - bigNatShiftL# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8656 | - bigNatShiftR :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 8657 | - bigNatShiftR# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8658 | - bigNatShiftRNeg# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8659 | - bigNatSize :: BigNat# -> GHC.Internal.Types.Word
|
|
| 8660 | - bigNatSize# :: BigNat# -> GHC.Internal.Prim.Int#
|
|
| 8661 | - bigNatSizeInBase :: GHC.Internal.Types.Word -> BigNat# -> GHC.Internal.Types.Word
|
|
| 8662 | - bigNatSizeInBase# :: GHC.Internal.Prim.Word# -> BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8663 | - bigNatSqr :: BigNat# -> BigNat#
|
|
| 8664 | - bigNatSub :: BigNat# -> BigNat# -> (# (# #) | BigNat# #)
|
|
| 8665 | - bigNatSubUnsafe :: BigNat# -> BigNat# -> BigNat#
|
|
| 8666 | - bigNatSubWord# :: BigNat# -> GHC.Internal.Prim.Word# -> (# (# #) | BigNat# #)
|
|
| 8667 | - bigNatSubWordUnsafe :: BigNat# -> GHC.Internal.Types.Word -> BigNat#
|
|
| 8668 | - bigNatSubWordUnsafe# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8669 | - bigNatTestBit :: BigNat# -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 8670 | - bigNatTestBit# :: BigNat# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8671 | - bigNatToAddr :: BigNat# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO GHC.Internal.Types.Word
|
|
| 8672 | - bigNatToAddr# :: forall s. BigNat# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8673 | - bigNatToAddrBE# :: forall s. BigNat# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8674 | - bigNatToAddrLE# :: forall s. BigNat# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8675 | - bigNatToInt :: BigNat# -> GHC.Internal.Types.Int
|
|
| 8676 | - bigNatToInt# :: BigNat# -> GHC.Internal.Prim.Int#
|
|
| 8677 | - bigNatToMutableByteArray# :: forall s. BigNat# -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8678 | - bigNatToMutableByteArrayBE# :: forall s. BigNat# -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8679 | - bigNatToMutableByteArrayLE# :: forall s. BigNat# -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8680 | - bigNatToWord :: BigNat# -> GHC.Internal.Types.Word
|
|
| 8681 | - bigNatToWord# :: BigNat# -> GHC.Internal.Prim.Word#
|
|
| 8682 | - bigNatToWord64# :: BigNat# -> GHC.Internal.Prim.Word64#
|
|
| 8683 | - bigNatToWordList :: BigNat# -> [GHC.Internal.Types.Word]
|
|
| 8684 | - bigNatToWordMaybe# :: BigNat# -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 8685 | - bigNatXor :: BigNat# -> BigNat# -> BigNat#
|
|
| 8686 | - bigNatXorWord# :: BigNat# -> GHC.Internal.Prim.Word# -> BigNat#
|
|
| 8687 | - bigNatZero :: BigNat
|
|
| 8688 | - bigNatZero# :: (# #) -> BigNat#
|
|
| 8689 | - gcdInt :: GHC.Internal.Types.Int -> GHC.Internal.Types.Int -> GHC.Internal.Types.Int
|
|
| 8690 | - gcdInt# :: GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Int#
|
|
| 8691 | - gcdWord :: GHC.Internal.Types.Word -> GHC.Internal.Types.Word -> GHC.Internal.Types.Word
|
|
| 8692 | - gcdWord# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 8693 | - powModWord# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word#
|
|
| 8694 | - raiseDivZero_BigNat :: (# #) -> BigNat#
|
|
| 8695 | - |
|
| 8696 | -module GHC.Num.Integer where
|
|
| 8697 | - -- Safety: None
|
|
| 8698 | - type Integer :: *
|
|
| 8699 | - data Integer = IS GHC.Internal.Prim.Int# | IP GHC.Internal.Prim.ByteArray# | IN GHC.Internal.Prim.ByteArray#
|
|
| 8700 | - integerAbs :: Integer -> Integer
|
|
| 8701 | - integerAdd :: Integer -> Integer -> Integer
|
|
| 8702 | - integerAnd :: Integer -> Integer -> Integer
|
|
| 8703 | - integerBit :: GHC.Internal.Types.Word -> Integer
|
|
| 8704 | - integerBit# :: GHC.Internal.Prim.Word# -> Integer
|
|
| 8705 | - integerCheck :: Integer -> GHC.Internal.Types.Bool
|
|
| 8706 | - integerCheck# :: Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8707 | - integerCompare :: Integer -> Integer -> GHC.Internal.Types.Ordering
|
|
| 8708 | - integerComplement :: Integer -> Integer
|
|
| 8709 | - integerDecodeDouble# :: GHC.Internal.Prim.Double# -> (# Integer, GHC.Internal.Prim.Int# #)
|
|
| 8710 | - integerDiv :: Integer -> Integer -> Integer
|
|
| 8711 | - integerDivMod :: Integer -> Integer -> (Integer, Integer)
|
|
| 8712 | - integerDivMod# :: Integer -> Integer -> (# Integer, Integer #)
|
|
| 8713 | - integerEncodeDouble :: Integer -> GHC.Internal.Types.Int -> GHC.Internal.Types.Double
|
|
| 8714 | - integerEncodeDouble# :: Integer -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Double#
|
|
| 8715 | - integerEncodeFloat# :: Integer -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Float#
|
|
| 8716 | - integerEq :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 8717 | - integerEq# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8718 | - integerFromAddr :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO Integer
|
|
| 8719 | - integerFromAddr# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, Integer #)
|
|
| 8720 | - integerFromBigNat# :: GHC.Internal.Bignum.BigNat.BigNat# -> Integer
|
|
| 8721 | - integerFromBigNatNeg# :: GHC.Internal.Bignum.BigNat.BigNat# -> Integer
|
|
| 8722 | - integerFromBigNatSign# :: GHC.Internal.Prim.Int# -> GHC.Internal.Bignum.BigNat.BigNat# -> Integer
|
|
| 8723 | - integerFromByteArray :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> Integer
|
|
| 8724 | - integerFromByteArray# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, Integer #)
|
|
| 8725 | - integerFromInt :: GHC.Internal.Types.Int -> Integer
|
|
| 8726 | - integerFromInt# :: GHC.Internal.Prim.Int# -> Integer
|
|
| 8727 | - integerFromInt64# :: GHC.Internal.Prim.Int64# -> Integer
|
|
| 8728 | - integerFromNatural :: GHC.Internal.Bignum.Natural.Natural -> Integer
|
|
| 8729 | - integerFromWord :: GHC.Internal.Types.Word -> Integer
|
|
| 8730 | - integerFromWord# :: GHC.Internal.Prim.Word# -> Integer
|
|
| 8731 | - integerFromWord64# :: GHC.Internal.Prim.Word64# -> Integer
|
|
| 8732 | - integerFromWordList :: GHC.Internal.Types.Bool -> [GHC.Internal.Types.Word] -> Integer
|
|
| 8733 | - integerFromWordNeg# :: GHC.Internal.Prim.Word# -> Integer
|
|
| 8734 | - integerFromWordSign# :: GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Word# -> Integer
|
|
| 8735 | - integerGcd :: Integer -> Integer -> Integer
|
|
| 8736 | - integerGcde :: Integer -> Integer -> (Integer, Integer, Integer)
|
|
| 8737 | - integerGcde# :: Integer -> Integer -> (# Integer, Integer, Integer #)
|
|
| 8738 | - integerGe :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 8739 | - integerGe# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8740 | - integerGt :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 8741 | - integerGt# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8742 | - integerIsNegative :: Integer -> GHC.Internal.Types.Bool
|
|
| 8743 | - integerIsNegative# :: Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8744 | - integerIsOne :: Integer -> GHC.Internal.Types.Bool
|
|
| 8745 | - integerIsPowerOf2# :: Integer -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 8746 | - integerIsZero :: Integer -> GHC.Internal.Types.Bool
|
|
| 8747 | - integerLcm :: Integer -> Integer -> Integer
|
|
| 8748 | - integerLe :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 8749 | - integerLe# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8750 | - integerLog2 :: Integer -> GHC.Internal.Types.Word
|
|
| 8751 | - integerLog2# :: Integer -> GHC.Internal.Prim.Word#
|
|
| 8752 | - integerLogBase :: Integer -> Integer -> GHC.Internal.Types.Word
|
|
| 8753 | - integerLogBase# :: Integer -> Integer -> GHC.Internal.Prim.Word#
|
|
| 8754 | - integerLogBaseWord :: GHC.Internal.Types.Word -> Integer -> GHC.Internal.Types.Word
|
|
| 8755 | - integerLogBaseWord# :: GHC.Internal.Prim.Word# -> Integer -> GHC.Internal.Prim.Word#
|
|
| 8756 | - integerLt :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 8757 | - integerLt# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8758 | - integerMod :: Integer -> Integer -> Integer
|
|
| 8759 | - integerMul :: Integer -> Integer -> Integer
|
|
| 8760 | - integerNe :: Integer -> Integer -> GHC.Internal.Types.Bool
|
|
| 8761 | - integerNe# :: Integer -> Integer -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8762 | - integerNegate :: Integer -> Integer
|
|
| 8763 | - integerOne :: Integer
|
|
| 8764 | - integerOr :: Integer -> Integer -> Integer
|
|
| 8765 | - integerPopCount# :: Integer -> GHC.Internal.Prim.Int#
|
|
| 8766 | - integerPowMod# :: Integer -> Integer -> GHC.Internal.Bignum.Natural.Natural -> (# GHC.Internal.Bignum.Natural.Natural | () #)
|
|
| 8767 | - integerQuot :: Integer -> Integer -> Integer
|
|
| 8768 | - integerQuotRem :: Integer -> Integer -> (Integer, Integer)
|
|
| 8769 | - integerQuotRem# :: Integer -> Integer -> (# Integer, Integer #)
|
|
| 8770 | - integerRecipMod# :: Integer -> GHC.Internal.Bignum.Natural.Natural -> (# GHC.Internal.Bignum.Natural.Natural | () #)
|
|
| 8771 | - integerRem :: Integer -> Integer -> Integer
|
|
| 8772 | - integerShiftL :: Integer -> GHC.Internal.Types.Word -> Integer
|
|
| 8773 | - integerShiftL# :: Integer -> GHC.Internal.Prim.Word# -> Integer
|
|
| 8774 | - integerShiftR :: Integer -> GHC.Internal.Types.Word -> Integer
|
|
| 8775 | - integerShiftR# :: Integer -> GHC.Internal.Prim.Word# -> Integer
|
|
| 8776 | - integerSignum :: Integer -> Integer
|
|
| 8777 | - integerSignum# :: Integer -> GHC.Internal.Prim.Int#
|
|
| 8778 | - integerSizeInBase# :: GHC.Internal.Prim.Word# -> Integer -> GHC.Internal.Prim.Word#
|
|
| 8779 | - integerSqr :: Integer -> Integer
|
|
| 8780 | - integerSub :: Integer -> Integer -> Integer
|
|
| 8781 | - integerTestBit :: Integer -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 8782 | - integerTestBit# :: Integer -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8783 | - integerToAddr :: Integer -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO GHC.Internal.Types.Word
|
|
| 8784 | - integerToAddr# :: forall s. Integer -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8785 | - integerToBigNatClamp# :: Integer -> GHC.Internal.Bignum.BigNat.BigNat#
|
|
| 8786 | - integerToBigNatSign# :: Integer -> (# GHC.Internal.Prim.Int#, GHC.Internal.Bignum.BigNat.BigNat# #)
|
|
| 8787 | - integerToInt :: Integer -> GHC.Internal.Types.Int
|
|
| 8788 | - integerToInt# :: Integer -> GHC.Internal.Prim.Int#
|
|
| 8789 | - integerToInt64# :: Integer -> GHC.Internal.Prim.Int64#
|
|
| 8790 | - integerToMutableByteArray :: Integer -> GHC.Internal.Prim.MutableByteArray# GHC.Internal.Prim.RealWorld -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO GHC.Internal.Types.Word
|
|
| 8791 | - integerToMutableByteArray# :: forall s. Integer -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8792 | - integerToNatural :: Integer -> GHC.Internal.Bignum.Natural.Natural
|
|
| 8793 | - integerToNaturalClamp :: Integer -> GHC.Internal.Bignum.Natural.Natural
|
|
| 8794 | - integerToNaturalThrow :: Integer -> GHC.Internal.Bignum.Natural.Natural
|
|
| 8795 | - integerToWord :: Integer -> GHC.Internal.Types.Word
|
|
| 8796 | - integerToWord# :: Integer -> GHC.Internal.Prim.Word#
|
|
| 8797 | - integerToWord64# :: Integer -> GHC.Internal.Prim.Word64#
|
|
| 8798 | - integerXor :: Integer -> Integer -> Integer
|
|
| 8799 | - integerZero :: Integer
|
|
| 8800 | - |
|
| 8801 | -module GHC.Num.Natural where
|
|
| 8802 | - -- Safety: None
|
|
| 8803 | - type Natural :: *
|
|
| 8804 | - data Natural = NS GHC.Internal.Prim.Word# | NB GHC.Internal.Prim.ByteArray#
|
|
| 8805 | - naturalAdd :: Natural -> Natural -> Natural
|
|
| 8806 | - naturalAnd :: Natural -> Natural -> Natural
|
|
| 8807 | - naturalAndNot :: Natural -> Natural -> Natural
|
|
| 8808 | - naturalBit :: GHC.Internal.Types.Word -> Natural
|
|
| 8809 | - naturalBit# :: GHC.Internal.Prim.Word# -> Natural
|
|
| 8810 | - naturalCheck :: Natural -> GHC.Internal.Types.Bool
|
|
| 8811 | - naturalCheck# :: Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8812 | - naturalClearBit :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 8813 | - naturalClearBit# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 8814 | - naturalCompare :: Natural -> Natural -> GHC.Internal.Types.Ordering
|
|
| 8815 | - naturalComplementBit :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 8816 | - naturalComplementBit# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 8817 | - naturalEncodeDouble# :: Natural -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Double#
|
|
| 8818 | - naturalEncodeFloat# :: Natural -> GHC.Internal.Prim.Int# -> GHC.Internal.Prim.Float#
|
|
| 8819 | - naturalEq :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 8820 | - naturalEq# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8821 | - naturalFromAddr :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO Natural
|
|
| 8822 | - naturalFromAddr# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, Natural #)
|
|
| 8823 | - naturalFromBigNat# :: GHC.Internal.Bignum.BigNat.BigNat# -> Natural
|
|
| 8824 | - naturalFromByteArray# :: forall s. GHC.Internal.Prim.Word# -> GHC.Internal.Prim.ByteArray# -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, Natural #)
|
|
| 8825 | - naturalFromWord :: GHC.Internal.Types.Word -> Natural
|
|
| 8826 | - naturalFromWord# :: GHC.Internal.Prim.Word# -> Natural
|
|
| 8827 | - naturalFromWord2# :: GHC.Internal.Prim.Word# -> GHC.Internal.Prim.Word# -> Natural
|
|
| 8828 | - naturalFromWordList :: [GHC.Internal.Types.Word] -> Natural
|
|
| 8829 | - naturalGcd :: Natural -> Natural -> Natural
|
|
| 8830 | - naturalGe :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 8831 | - naturalGe# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8832 | - naturalGt :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 8833 | - naturalGt# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8834 | - naturalIsOne :: Natural -> GHC.Internal.Types.Bool
|
|
| 8835 | - naturalIsPowerOf2# :: Natural -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 8836 | - naturalIsZero :: Natural -> GHC.Internal.Types.Bool
|
|
| 8837 | - naturalLcm :: Natural -> Natural -> Natural
|
|
| 8838 | - naturalLe :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 8839 | - naturalLe# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8840 | - naturalLog2 :: Natural -> GHC.Internal.Types.Word
|
|
| 8841 | - naturalLog2# :: Natural -> GHC.Internal.Prim.Word#
|
|
| 8842 | - naturalLogBase :: Natural -> Natural -> GHC.Internal.Types.Word
|
|
| 8843 | - naturalLogBase# :: Natural -> Natural -> GHC.Internal.Prim.Word#
|
|
| 8844 | - naturalLogBaseWord :: GHC.Internal.Types.Word -> Natural -> GHC.Internal.Types.Word
|
|
| 8845 | - naturalLogBaseWord# :: GHC.Internal.Prim.Word# -> Natural -> GHC.Internal.Prim.Word#
|
|
| 8846 | - naturalLt :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 8847 | - naturalLt# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8848 | - naturalMul :: Natural -> Natural -> Natural
|
|
| 8849 | - naturalNe :: Natural -> Natural -> GHC.Internal.Types.Bool
|
|
| 8850 | - naturalNe# :: Natural -> Natural -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8851 | - naturalNegate :: Natural -> Natural
|
|
| 8852 | - naturalOne :: Natural
|
|
| 8853 | - naturalOr :: Natural -> Natural -> Natural
|
|
| 8854 | - naturalPopCount :: Natural -> GHC.Internal.Types.Word
|
|
| 8855 | - naturalPopCount# :: Natural -> GHC.Internal.Prim.Word#
|
|
| 8856 | - naturalPowMod :: Natural -> Natural -> Natural -> Natural
|
|
| 8857 | - naturalQuot :: Natural -> Natural -> Natural
|
|
| 8858 | - naturalQuotRem :: Natural -> Natural -> (Natural, Natural)
|
|
| 8859 | - naturalQuotRem# :: Natural -> Natural -> (# Natural, Natural #)
|
|
| 8860 | - naturalRem :: Natural -> Natural -> Natural
|
|
| 8861 | - naturalSetBit :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 8862 | - naturalSetBit# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 8863 | - naturalShiftL :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 8864 | - naturalShiftL# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 8865 | - naturalShiftR :: Natural -> GHC.Internal.Types.Word -> Natural
|
|
| 8866 | - naturalShiftR# :: Natural -> GHC.Internal.Prim.Word# -> Natural
|
|
| 8867 | - naturalSignum :: Natural -> Natural
|
|
| 8868 | - naturalSizeInBase# :: GHC.Internal.Prim.Word# -> Natural -> GHC.Internal.Prim.Word#
|
|
| 8869 | - naturalSqr :: Natural -> Natural
|
|
| 8870 | - naturalSub :: Natural -> Natural -> (# (# #) | Natural #)
|
|
| 8871 | - naturalSubThrow :: Natural -> Natural -> Natural
|
|
| 8872 | - naturalSubUnsafe :: Natural -> Natural -> Natural
|
|
| 8873 | - naturalTestBit :: Natural -> GHC.Internal.Types.Word -> GHC.Internal.Types.Bool
|
|
| 8874 | - naturalTestBit# :: Natural -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool#
|
|
| 8875 | - naturalToAddr :: Natural -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Types.IO GHC.Internal.Types.Word
|
|
| 8876 | - naturalToAddr# :: forall s. Natural -> GHC.Internal.Prim.Addr# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8877 | - naturalToBigNat# :: Natural -> GHC.Internal.Bignum.BigNat.BigNat#
|
|
| 8878 | - naturalToMutableByteArray# :: forall s. Natural -> GHC.Internal.Prim.MutableByteArray# s -> GHC.Internal.Prim.Word# -> GHC.Internal.Bignum.Primitives.Bool# -> GHC.Internal.Prim.State# s -> (# GHC.Internal.Prim.State# s, GHC.Internal.Prim.Word# #)
|
|
| 8879 | - naturalToWord :: Natural -> GHC.Internal.Types.Word
|
|
| 8880 | - naturalToWord# :: Natural -> GHC.Internal.Prim.Word#
|
|
| 8881 | - naturalToWordClamp :: Natural -> GHC.Internal.Types.Word
|
|
| 8882 | - naturalToWordClamp# :: Natural -> GHC.Internal.Prim.Word#
|
|
| 8883 | - naturalToWordMaybe# :: Natural -> (# (# #) | GHC.Internal.Prim.Word# #)
|
|
| 8884 | - naturalXor :: Natural -> Natural -> Natural
|
|
| 8885 | - naturalZero :: Natural
|
|
| 8886 | - |
|
| 8887 | 8553 | module GHC.OldList where
|
| 8888 | 8554 | -- Safety: Safe
|
| 8889 | 8555 | (!!) :: forall a. GHC.Internal.Stack.Types.HasCallStack => [a] -> GHC.Internal.Types.Int -> a
|