Data.Array.Accelerate.Data.BigInt

Fixed length signed integer types

Documentation

type Int96 = BigInt Int32 Word64

type Int128 = BigInt Int64 Word64

type Int160 = BigInt Int32 Word128

type Int192 = BigInt Int64 Word128

type Int224 = BigInt Int32 Word192

type Int256 = BigInt Int128 Word128

type Int512 = BigInt Int256 Word256

Internals

data BigInt hi lo

Large integers of fixed size represented as separate (signed) high and (unsigned) low words.

Constructors

I2 !hi !lo

Instances

(Bounded a, Bounded b) => Bounded (BigInt a b)

Methods

minBound :: BigInt a b

maxBound :: BigInt a b

(Enum a, Num a, Eq a, Enum b, Num b, Eq b, Bounded b) => Enum (BigInt a b)

Methods

succ :: BigInt a b -> BigInt a b

pred :: BigInt a b -> BigInt a b

toEnum :: Int -> BigInt a b

fromEnum :: BigInt a b -> Int

enumFrom :: BigInt a b -> [BigInt a b]

enumFromThen :: BigInt a b -> BigInt a b -> [BigInt a b]

enumFromTo :: BigInt a b -> BigInt a b -> [BigInt a b]

enumFromThenTo :: BigInt a b -> BigInt a b -> BigInt a b -> [BigInt a b]

(Eq a, Eq b) => Eq (BigInt a b)

Methods

(==) :: BigInt a b -> BigInt a b -> Bool

(/=) :: BigInt a b -> BigInt a b -> Bool

(Integral a, Integral b, Bounded b, Integral (BigWord (Unsigned a) b), Num2 (BigInt a b), Num2 (BigWord (Unsigned a) b), BigIntCtx a b) => Integral (BigInt a b)

Methods

quot :: BigInt a b -> BigInt a b -> BigInt a b

rem :: BigInt a b -> BigInt a b -> BigInt a b

div :: BigInt a b -> BigInt a b -> BigInt a b

mod :: BigInt a b -> BigInt a b -> BigInt a b

quotRem :: BigInt a b -> BigInt a b -> (BigInt a b, BigInt a b)

divMod :: BigInt a b -> BigInt a b -> (BigInt a b, BigInt a b)

toInteger :: BigInt a b -> Integer

(Integral a, Ord a, Integral b, Ord b, Bounded b, Ord (BigInt a b), Num (BigInt a b), Num2 (BigInt a b), Num (BigWord (Unsigned a) b), Num2 (BigWord (Unsigned a) b), BigIntCtx a b) => Num (BigInt a b)

Methods

(+) :: BigInt a b -> BigInt a b -> BigInt a b

(-) :: BigInt a b -> BigInt a b -> BigInt a b

(*) :: BigInt a b -> BigInt a b -> BigInt a b

negate :: BigInt a b -> BigInt a b

abs :: BigInt a b -> BigInt a b

signum :: BigInt a b -> BigInt a b

fromInteger :: Integer -> BigInt a b

(Ord a, Ord b) => Ord (BigInt a b)

Methods

compare :: BigInt a b -> BigInt a b -> Ordering

(<) :: BigInt a b -> BigInt a b -> Bool

(<=) :: BigInt a b -> BigInt a b -> Bool

(>) :: BigInt a b -> BigInt a b -> Bool

(>=) :: BigInt a b -> BigInt a b -> Bool

max :: BigInt a b -> BigInt a b -> BigInt a b

min :: BigInt a b -> BigInt a b -> BigInt a b

(Integral (BigInt a b), Num (BigInt a b), Ord (BigInt a b)) => Real (BigInt a b)

Methods

toRational :: BigInt a b -> Rational

Integral (BigInt a b) => Show (BigInt a b)

Methods

showsPrec :: Int -> BigInt a b -> ShowS

show :: BigInt a b -> String

showList :: [BigInt a b] -> ShowS

(FiniteBits a, Integral a, FiniteBits b, Integral b, FiniteBits (BigInt a b), Num2 (BigInt a b), Num2 (BigWord (Unsigned a) b), Bits (BigWord (Unsigned a) b), Integral (Signed b), Bits (Signed b), BigIntCtx a b) => Bits (BigInt a b)

Methods

(.&.) :: BigInt a b -> BigInt a b -> BigInt a b

(.|.) :: BigInt a b -> BigInt a b -> BigInt a b

xor :: BigInt a b -> BigInt a b -> BigInt a b

complement :: BigInt a b -> BigInt a b

shift :: BigInt a b -> Int -> BigInt a b

rotate :: BigInt a b -> Int -> BigInt a b

zeroBits :: BigInt a b

bit :: Int -> BigInt a b

setBit :: BigInt a b -> Int -> BigInt a b

clearBit :: BigInt a b -> Int -> BigInt a b

complementBit :: BigInt a b -> Int -> BigInt a b

testBit :: BigInt a b -> Int -> Bool

bitSizeMaybe :: BigInt a b -> Maybe Int

bitSize :: BigInt a b -> Int

isSigned :: BigInt a b -> Bool

shiftL :: BigInt a b -> Int -> BigInt a b

unsafeShiftL :: BigInt a b -> Int -> BigInt a b

shiftR :: BigInt a b -> Int -> BigInt a b

unsafeShiftR :: BigInt a b -> Int -> BigInt a b

rotateL :: BigInt a b -> Int -> BigInt a b

rotateR :: BigInt a b -> Int -> BigInt a b

popCount :: BigInt a b -> Int

(FiniteBits a, FiniteBits b, Bits (BigInt a b), Num2 (BigInt a b), FiniteBits (BigWord (Unsigned a) b), BigIntCtx a b) => FiniteBits (BigInt a b)

Methods

finiteBitSize :: BigInt a b -> Int

countLeadingZeros :: BigInt a b -> Int

countTrailingZeros :: BigInt a b -> Int

(Ord a, Num a, Num2 a, Num (BigInt a b), Ord (BigInt a b), Num2 (BigInt a b), Bits (BigInt a b), Num (BigWord (Unsigned a) b), Num2 (BigWord (Unsigned a) b), Bounded (BigWord (Unsigned a) b), BigIntCtx a b, (~) * (Unsigned (Unsigned a)) (Unsigned a)) => Num2 (BigInt a b)

Associated Types

type Signed (BigInt a b) :: *

type Unsigned (BigInt a b) :: *

Methods

signed :: BigInt a b -> Signed (BigInt a b)

unsigned :: BigInt a b -> Unsigned (BigInt a b)

addWithCarry :: BigInt a b -> BigInt a b -> (BigInt a b, Unsigned (BigInt a b))

mulWithCarry :: BigInt a b -> BigInt a b -> (BigInt a b, Unsigned (BigInt a b))

type Signed (Exp (BigInt a b))

type Signed (Exp (BigInt a b)) = Exp (BigInt a b)

type Unsigned (Exp (BigInt a b))

type Unsigned (Exp (BigInt a b)) = Exp (BigWord (Unsigned a) b)

type EltRepr (BigInt a b)

type EltRepr (BigInt a b) = EltRepr (a, b)

type ProdRepr (BigInt a b)

type ProdRepr (BigInt a b) = ProdRepr (a, b)

type Plain (BigInt a b)

type Plain (BigInt a b) = BigInt (Plain a) (Plain b)

type Signed (BigInt a b)

type Signed (BigInt a b) = BigInt (Signed a) b

type Unsigned (BigInt a b)

type Unsigned (BigInt a b) = BigWord (Unsigned a) b

class Num2 w where

Addition and multiplication with carry

Minimal complete definition

signed, unsigned, addWithCarry, mulWithCarry

Associated Types

type Signed w

type Unsigned w

Methods

signed :: w -> Signed w

unsigned :: w -> Unsigned w

addWithCarry :: w -> w -> (w, Unsigned w)

mulWithCarry :: w -> w -> (w, Unsigned w)

Instances

Num2 Int8

Associated Types

type Signed Int8 :: *

type Unsigned Int8 :: *

Methods

signed :: Int8 -> Signed Int8

unsigned :: Int8 -> Unsigned Int8

addWithCarry :: Int8 -> Int8 -> (Int8, Unsigned Int8)

mulWithCarry :: Int8 -> Int8 -> (Int8, Unsigned Int8)

Num2 Int16

Associated Types

type Signed Int16 :: *

type Unsigned Int16 :: *

Methods

signed :: Int16 -> Signed Int16

unsigned :: Int16 -> Unsigned Int16

addWithCarry :: Int16 -> Int16 -> (Int16, Unsigned Int16)

mulWithCarry :: Int16 -> Int16 -> (Int16, Unsigned Int16)

Num2 Int32

Associated Types

type Signed Int32 :: *

type Unsigned Int32 :: *

Methods

signed :: Int32 -> Signed Int32

unsigned :: Int32 -> Unsigned Int32

addWithCarry :: Int32 -> Int32 -> (Int32, Unsigned Int32)

mulWithCarry :: Int32 -> Int32 -> (Int32, Unsigned Int32)

Num2 Int64

Associated Types

type Signed Int64 :: *

type Unsigned Int64 :: *

Methods

signed :: Int64 -> Signed Int64

unsigned :: Int64 -> Unsigned Int64

addWithCarry :: Int64 -> Int64 -> (Int64, Unsigned Int64)

mulWithCarry :: Int64 -> Int64 -> (Int64, Unsigned Int64)

Num2 Word8

Associated Types

type Signed Word8 :: *

type Unsigned Word8 :: *

Methods

signed :: Word8 -> Signed Word8

unsigned :: Word8 -> Unsigned Word8

addWithCarry :: Word8 -> Word8 -> (Word8, Unsigned Word8)

mulWithCarry :: Word8 -> Word8 -> (Word8, Unsigned Word8)

Num2 Word16

Associated Types

type Signed Word16 :: *

type Unsigned Word16 :: *

Methods

signed :: Word16 -> Signed Word16

unsigned :: Word16 -> Unsigned Word16

addWithCarry :: Word16 -> Word16 -> (Word16, Unsigned Word16)

mulWithCarry :: Word16 -> Word16 -> (Word16, Unsigned Word16)

Num2 Word32

Associated Types

type Signed Word32 :: *

type Unsigned Word32 :: *

Methods

signed :: Word32 -> Signed Word32

unsigned :: Word32 -> Unsigned Word32

addWithCarry :: Word32 -> Word32 -> (Word32, Unsigned Word32)

mulWithCarry :: Word32 -> Word32 -> (Word32, Unsigned Word32)

Num2 Word64

Associated Types

type Signed Word64 :: *

type Unsigned Word64 :: *

Methods

signed :: Word64 -> Signed Word64

unsigned :: Word64 -> Unsigned Word64

addWithCarry :: Word64 -> Word64 -> (Word64, Unsigned Word64)

mulWithCarry :: Word64 -> Word64 -> (Word64, Unsigned Word64)

(Ord a, Num a, Num2 a, Num (BigInt a b), Ord (BigInt a b), Num2 (BigInt a b), Bits (BigInt a b), Num (BigWord (Unsigned a) b), Num2 (BigWord (Unsigned a) b), Bounded (BigWord (Unsigned a) b), BigIntCtx a b, (~) * (Unsigned (Unsigned a)) (Unsigned a)) => Num2 (BigInt a b)

Associated Types

type Signed (BigInt a b) :: *

type Unsigned (BigInt a b) :: *

Methods

signed :: BigInt a b -> Signed (BigInt a b)

unsigned :: BigInt a b -> Unsigned (BigInt a b)

addWithCarry :: BigInt a b -> BigInt a b -> (BigInt a b, Unsigned (BigInt a b))

mulWithCarry :: BigInt a b -> BigInt a b -> (BigInt a b, Unsigned (BigInt a b))

(Integral a, FiniteBits a, Num2 a, Integral b, FiniteBits b, Num2 b, BigWordCtx a b) => Num2 (BigWord a b)

Associated Types

type Signed (BigWord a b) :: *

type Unsigned (BigWord a b) :: *

Methods

signed :: BigWord a b -> Signed (BigWord a b)

unsigned :: BigWord a b -> Unsigned (BigWord a b)

addWithCarry :: BigWord a b -> BigWord a b -> (BigWord a b, Unsigned (BigWord a b))

mulWithCarry :: BigWord a b -> BigWord a b -> (BigWord a b, Unsigned (BigWord a b))