integer-simple-0.1.1.1: Simple Integer library

Copyright	(c) Ian Lynagh 2007-2008
License	BSD3
Maintainer	igloo@earth.li
Stability	internal
Portability	non-portable (GHC Extensions)
Safe Haskell	None
Language	Haskell2010

GHC.Integer.Simple.Internals

Description

An simple definition of the Integer type.

Documentation

data Integer Source #

Constructors

Positive !Positive
Negative !Positive
Naught

Instances

Instances details

Eq Integer Source #
Instance details Defined in GHC.Integer.Type Methods (==) :: Integer -> Integer -> Bool (/=) :: Integer -> Integer -> Bool
Ord Integer Source #
Instance details Defined in GHC.Integer.Type Methods compare :: Integer -> Integer -> Ordering (<) :: Integer -> Integer -> Bool (<=) :: Integer -> Integer -> Bool (>) :: Integer -> Integer -> Bool (>=) :: Integer -> Integer -> Bool max :: Integer -> Integer -> Integer min :: Integer -> Integer -> Integer

type Positive = Digits Source #

type Positives = List Positive Source #

data Digits Source #

Constructors

Some !Digit !Digits
None

type Digit = Word# Source #

data List a Source #

Constructors

Nil
Cons a (List a)

mkInteger :: Bool -> [Int] -> Integer Source #

errorInteger :: Integer Source #

errorPositive :: Positive Source #

smallInteger :: Int# -> Integer Source #

wordToInteger :: Word# -> Integer Source #

integerToWord :: Integer -> Word# Source #

integerToInt :: Integer -> Int# Source #

oneInteger :: Integer Source #

negativeOneInteger :: Integer Source #

twoToTheThirtytwoInteger :: Integer Source #

encodeDoubleInteger :: Integer -> Int# -> Double# Source #

encodeDouble# :: Word# -> Int# -> Double# Source #

encodeFloatInteger :: Integer -> Int# -> Float# Source #

encodeFloat# :: Word# -> Int# -> Float# Source #

decodeFloatInteger :: Float# -> (# Integer, Int# #) Source #

decodeDoubleInteger :: Double# -> (# Integer, Int# #) Source #

doubleFromInteger :: Integer -> Double# Source #

floatFromInteger :: Integer -> Float# Source #

andInteger :: Integer -> Integer -> Integer Source #

orInteger :: Integer -> Integer -> Integer Source #

xorInteger :: Integer -> Integer -> Integer Source #

complementInteger :: Integer -> Integer Source #

shiftLInteger :: Integer -> Int# -> Integer Source #

shiftRInteger :: Integer -> Int# -> Integer Source #

testBitInteger :: Integer -> Int# -> Bool Source #

twosComplementPositive :: Positive -> DigitsOnes Source #

flipBits :: Digits -> DigitsOnes Source #

flipBitsDigits :: Digits -> Digits Source #

negateInteger :: Integer -> Integer Source #

plusInteger :: Integer -> Integer -> Integer Source #

minusInteger :: Integer -> Integer -> Integer Source #

timesInteger :: Integer -> Integer -> Integer Source #

divModInteger :: Integer -> Integer -> (# Integer, Integer #) Source #

divInteger :: Integer -> Integer -> Integer Source #

modInteger :: Integer -> Integer -> Integer Source #

quotRemInteger :: Integer -> Integer -> (# Integer, Integer #) Source #

quotInteger :: Integer -> Integer -> Integer Source #

remInteger :: Integer -> Integer -> Integer Source #

compareInteger :: Integer -> Integer -> Ordering Source #

eqInteger# :: Integer -> Integer -> Int# Source #

neqInteger# :: Integer -> Integer -> Int# Source #

eqInteger :: Integer -> Integer -> Bool Source #

neqInteger :: Integer -> Integer -> Bool Source #

ltInteger# :: Integer -> Integer -> Int# Source #

gtInteger# :: Integer -> Integer -> Int# Source #

leInteger# :: Integer -> Integer -> Int# Source #

geInteger# :: Integer -> Integer -> Int# Source #

leInteger :: Integer -> Integer -> Bool Source #

gtInteger :: Integer -> Integer -> Bool Source #

ltInteger :: Integer -> Integer -> Bool Source #

geInteger :: Integer -> Integer -> Bool Source #

absInteger :: Integer -> Integer Source #

signumInteger :: Integer -> Integer Source #

hashInteger :: Integer -> Int# Source #

onePositive :: Positive Source #

halfBoundUp :: () -> Digit Source #

fullBound :: () -> Digit Source #

lowHalfMask :: () -> Digit Source #

highHalfShift :: () -> Int# Source #

twoToTheThirtytwoPositive :: Positive Source #

digitsMaybeZeroToInteger :: Digits -> Integer Source #

digitsToInteger :: Digits -> Integer Source #

digitsToNegativeInteger :: Digits -> Integer Source #

removeZeroTails :: Digits -> Digits Source #

comparePositive :: Positive -> Positive -> Ordering Source #

plusPositive :: Positive -> Positive -> Positive Source #

succPositive :: Positive -> Positive Source #

minusPositive :: Positive -> Positive -> Positive Source #

timesPositive :: Positive -> Positive -> Positive Source #

timesDigit :: Digit -> Digit -> Positive Source #

splitHalves :: Digit -> (# Digit, Digit #) Source #

shiftLPositive :: Positive -> Int# -> Positive Source #

smallShiftLPositive :: Positive -> Int# -> Positive Source #

shiftRPositive :: Positive -> Int# -> Integer Source #

smallShiftRPositive :: Positive -> Int# -> Integer Source #

quotRemPositive :: Positive -> Positive -> (# Integer, Integer #) Source #

some :: Digit -> Digits -> Digits Source #

andDigits :: Digits -> Digits -> Digits Source #

newtype DigitsOnes Source #

Constructors

DigitsOnes Digits

andDigitsOnes :: DigitsOnes -> Digits -> Digits Source #

orDigits :: Digits -> Digits -> Digits Source #

xorDigits :: Digits -> Digits -> Digits Source #

doubleFromPositive :: Positive -> Double# Source #

floatFromPositive :: Positive -> Float# Source #