Data.Array.Accelerate.Data.BigWord

Fixed length unsigned word types

Documentation

type Word96 = BigWord Word32 Word64

type Word128 = BigWord Word64 Word64

type Word160 = BigWord Word32 Word128

type Word192 = BigWord Word64 Word128

type Word224 = BigWord Word32 Word192

type Word256 = BigWord Word128 Word128

type Word512 = BigWord Word256 Word256

Internals

data BigWord hi lo

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

Constructors

W2 !hi !lo

Instances

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

Methods

minBound :: BigWord a b

maxBound :: BigWord a b

(Num a, Enum a, Bits a, Num b, Enum b, Bounded b, Eq b) => Enum (BigWord a b)

Methods

succ :: BigWord a b -> BigWord a b

pred :: BigWord a b -> BigWord a b

toEnum :: Int -> BigWord a b

fromEnum :: BigWord a b -> Int

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

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

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

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

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

Methods

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

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

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

Methods

quot :: BigWord a b -> BigWord a b -> BigWord a b

rem :: BigWord a b -> BigWord a b -> BigWord a b

div :: BigWord a b -> BigWord a b -> BigWord a b

mod :: BigWord a b -> BigWord a b -> BigWord a b

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

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

toInteger :: BigWord a b -> Integer

(Num a, Eq a, Integral b, Bounded b, Num2 b, BigWordCtx a b) => Num (BigWord a b)

Methods

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

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

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

negate :: BigWord a b -> BigWord a b

abs :: BigWord a b -> BigWord a b

signum :: BigWord a b -> BigWord a b

fromInteger :: Integer -> BigWord a b

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

Methods

compare :: BigWord a b -> BigWord a b -> Ordering

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

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

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

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

max :: BigWord a b -> BigWord a b -> BigWord a b

min :: BigWord a b -> BigWord a b -> BigWord a b

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

Methods

toRational :: BigWord a b -> Rational

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

Methods

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

show :: BigWord a b -> String

showList :: [BigWord a b] -> ShowS

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

Methods

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

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

xor :: BigWord a b -> BigWord a b -> BigWord a b

complement :: BigWord a b -> BigWord a b

shift :: BigWord a b -> Int -> BigWord a b

rotate :: BigWord a b -> Int -> BigWord a b

zeroBits :: BigWord a b

bit :: Int -> BigWord a b

setBit :: BigWord a b -> Int -> BigWord a b

clearBit :: BigWord a b -> Int -> BigWord a b

complementBit :: BigWord a b -> Int -> BigWord a b

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

bitSizeMaybe :: BigWord a b -> Maybe Int

bitSize :: BigWord a b -> Int

isSigned :: BigWord a b -> Bool

shiftL :: BigWord a b -> Int -> BigWord a b

unsafeShiftL :: BigWord a b -> Int -> BigWord a b

shiftR :: BigWord a b -> Int -> BigWord a b

unsafeShiftR :: BigWord a b -> Int -> BigWord a b

rotateL :: BigWord a b -> Int -> BigWord a b

rotateR :: BigWord a b -> Int -> BigWord a b

popCount :: BigWord a b -> Int

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

Methods

finiteBitSize :: BigWord a b -> Int

countLeadingZeros :: BigWord a b -> Int

countTrailingZeros :: BigWord a b -> Int

(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))

type Signed (Exp (BigWord a b))

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

type Unsigned (Exp (BigWord a b))

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

type EltRepr (BigWord a b)

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

type ProdRepr (BigWord a b)

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

type Plain (BigWord a b)

type Plain (BigWord a b) = BigWord (Plain a) (Plain b)

type Signed (BigWord a b)

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

type Unsigned (BigWord a b)

type Unsigned (BigWord 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))