Copyright | (c) Herbert Valerio Riedel 2014 |
---|---|
License | BSD3 |
Maintainer | ghc-devs@haskell.org |
Stability | provisional |
Portability | non-portable (GHC Extensions) |
Safe Haskell | None |
Language | Haskell2010 |
The Integer
type.
This module exposes the portable Integer
API. See
GHC.Integer.GMP.Internals for the integer-gmp
-specific internal
representation of Integer
as well as optimized GMP-specific
operations.
- data Integer
- mkInteger :: Bool -> [Int] -> Integer
- smallInteger :: Int# -> Integer
- wordToInteger :: Word# -> Integer
- integerToWord :: Integer -> Word#
- integerToInt :: Integer -> Int#
- encodeFloatInteger :: Integer -> Int# -> Float#
- floatFromInteger :: Integer -> Float#
- encodeDoubleInteger :: Integer -> Int# -> Double#
- decodeDoubleInteger :: Double# -> (#Integer, Int##)
- doubleFromInteger :: Integer -> Double#
- plusInteger :: Integer -> Integer -> Integer
- minusInteger :: Integer -> Integer -> Integer
- timesInteger :: Integer -> Integer -> Integer
- negateInteger :: Integer -> Integer
- absInteger :: Integer -> Integer
- signumInteger :: Integer -> Integer
- divModInteger :: Integer -> Integer -> (#Integer, Integer#)
- divInteger :: Integer -> Integer -> Integer
- modInteger :: Integer -> Integer -> Integer
- quotRemInteger :: Integer -> Integer -> (#Integer, Integer#)
- quotInteger :: Integer -> Integer -> Integer
- remInteger :: Integer -> Integer -> Integer
- eqInteger :: Integer -> Integer -> Bool
- neqInteger :: Integer -> Integer -> Bool
- leInteger :: Integer -> Integer -> Bool
- gtInteger :: Integer -> Integer -> Bool
- ltInteger :: Integer -> Integer -> Bool
- geInteger :: Integer -> Integer -> Bool
- compareInteger :: Integer -> Integer -> Ordering
- eqInteger# :: Integer -> Integer -> Int#
- neqInteger# :: Integer -> Integer -> Int#
- leInteger# :: Integer -> Integer -> Int#
- gtInteger# :: Integer -> Integer -> Int#
- ltInteger# :: Integer -> Integer -> Int#
- geInteger# :: Integer -> Integer -> Int#
- andInteger :: Integer -> Integer -> Integer
- orInteger :: Integer -> Integer -> Integer
- xorInteger :: Integer -> Integer -> Integer
- complementInteger :: Integer -> Integer
- shiftLInteger :: Integer -> Int# -> Integer
- shiftRInteger :: Integer -> Int# -> Integer
- testBitInteger :: Integer -> Int# -> Bool
- hashInteger :: Integer -> Int#
Documentation
Construct Integer
s
smallInteger :: Int# -> Integer Source
Should rather be called intToInteger
wordToInteger :: Word# -> Integer Source
Conversion to other integral types
integerToWord :: Integer -> Word# Source
Helpers for RealFloat
type-class operations
encodeFloatInteger :: Integer -> Int# -> Float# Source
floatFromInteger :: Integer -> Float# Source
encodeDoubleInteger :: Integer -> Int# -> Double# Source
decodeDoubleInteger :: Double# -> (#Integer, Int##) Source
Arithmetic operations
negateInteger :: Integer -> Integer Source
Negate Integer
absInteger :: Integer -> Integer Source
Compute absolute value of an Integer
signumInteger :: Integer -> Integer Source
Return -1
, 0
, and 1
depending on whether argument is
negative, zero, or positive, respectively
divModInteger :: Integer -> Integer -> (#Integer, Integer#) Source
Simultaneous divInteger
and modInteger
.
Divisor must be non-zero otherwise the GHC runtime will terminate with a division-by-zero fault.
divInteger :: Integer -> Integer -> Integer Source
modInteger :: Integer -> Integer -> Integer Source
quotRemInteger :: Integer -> Integer -> (#Integer, Integer#) Source
Simultaneous quotInteger
and remInteger
.
Divisor must be non-zero otherwise the GHC runtime will terminate with a division-by-zero fault.
quotInteger :: Integer -> Integer -> Integer Source
remInteger :: Integer -> Integer -> Integer Source
Comparison predicates
neqInteger :: Integer -> Integer -> Bool Source
Not-equal predicate.
compareInteger :: Integer -> Integer -> Ordering Source
Int#
-boolean valued versions of comparision predicates
These operations return 0#
and 1#
instead of False
and
True
respectively. See
PrimBool wiki-page
for more details
eqInteger# :: Integer -> Integer -> Int# Source
neqInteger# :: Integer -> Integer -> Int# Source
leInteger# :: Integer -> Integer -> Int# Source
gtInteger# :: Integer -> Integer -> Int# Source
ltInteger# :: Integer -> Integer -> Int# Source
geInteger# :: Integer -> Integer -> Int# Source
Bit-operations
andInteger :: Integer -> Integer -> Integer Source
Bitwise AND operation
xorInteger :: Integer -> Integer -> Integer Source
Bitwise XOR operation
complementInteger :: Integer -> Integer Source
Bitwise NOT
operation
shiftLInteger :: Integer -> Int# -> Integer Source
Shift-left operation
Even though the shift-amount is expressed as Int#
, the result is
undefined for negative shift-amounts.
shiftRInteger :: Integer -> Int# -> Integer Source
Arithmetic shift-right operation
Even though the shift-amount is expressed as Int#
, the result is
undefined for negative shift-amounts.
testBitInteger :: Integer -> Int# -> Bool Source
Test if n-th bit is set.
Hashing
hashInteger :: Integer -> Int# Source