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

FromIntegral Int Int512

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int -> Exp Int512

FromIntegral Int Int256

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int -> Exp Int256

FromIntegral Int Int224

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int -> Exp Int224

FromIntegral Int Int192

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int -> Exp Int192

FromIntegral Int Int160

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int -> Exp Int160

FromIntegral Int Int128

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int -> Exp Int128

FromIntegral Int Int96

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int -> Exp Int96

FromIntegral Int32 Int512

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int32 -> Exp Int512

FromIntegral Int32 Int256

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int32 -> Exp Int256

FromIntegral Int32 Int224

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int32 -> Exp Int224

FromIntegral Int32 Int192

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int32 -> Exp Int192

FromIntegral Int32 Int160

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int32 -> Exp Int160

FromIntegral Int32 Int128

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int32 -> Exp Int128

FromIntegral Int32 Int96

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int32 -> Exp Int96

FromIntegral Int64 Int512

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int64 -> Exp Int512

FromIntegral Int64 Int256

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int64 -> Exp Int256

FromIntegral Int64 Int224

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int64 -> Exp Int224

FromIntegral Int64 Int192

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int64 -> Exp Int192

FromIntegral Int64 Int160

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int64 -> Exp Int160

FromIntegral Int64 Int128

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int64 -> Exp Int128

FromIntegral Int64 Int96

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int64 -> Exp Int96

FromIntegral Word Int512

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word -> Exp Int512

FromIntegral Word Int256

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word -> Exp Int256

FromIntegral Word Int224

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word -> Exp Int224

FromIntegral Word Int192

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word -> Exp Int192

FromIntegral Word Int160

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word -> Exp Int160

FromIntegral Word Int128

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word -> Exp Int128

FromIntegral Word Int96

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word -> Exp Int96

FromIntegral Word32 Int512

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word32 -> Exp Int512

FromIntegral Word32 Int256

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word32 -> Exp Int256

FromIntegral Word32 Int224

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word32 -> Exp Int224

FromIntegral Word32 Int192

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word32 -> Exp Int192

FromIntegral Word32 Int160

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word32 -> Exp Int160

FromIntegral Word32 Int128

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word32 -> Exp Int128

FromIntegral Word32 Int96

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word32 -> Exp Int96

FromIntegral Word64 Int512

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word64 -> Exp Int512

FromIntegral Word64 Int256

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word64 -> Exp Int256

FromIntegral Word64 Int224

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word64 -> Exp Int224

FromIntegral Word64 Int192

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word64 -> Exp Int192

FromIntegral Word64 Int160

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word64 -> Exp Int160

FromIntegral Word64 Int128

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word64 -> Exp Int128

FromIntegral Word64 Int96

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word64 -> Exp Int96

FromIntegral Word512 Int512

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word512 -> Exp Int512

FromIntegral Word256 Int256

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word256 -> Exp Int256

FromIntegral Word224 Int224

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word224 -> Exp Int224

FromIntegral Word192 Int192

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word192 -> Exp Int192

FromIntegral Word160 Int160

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word160 -> Exp Int160

FromIntegral Word128 Int128

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word128 -> Exp Int128

FromIntegral Word96 Int96

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Word96 -> Exp Int96

FromIntegral Int512 Int32

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int512 -> Exp Int32

FromIntegral Int512 Int64

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int512 -> Exp Int64

FromIntegral Int512 Word32

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int512 -> Exp Word32

FromIntegral Int512 Word64

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int512 -> Exp Word64

FromIntegral Int512 Word512

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int512 -> Exp Word512

FromIntegral Int512 Int512

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int512 -> Exp Int512

FromIntegral Int256 Int32

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int256 -> Exp Int32

FromIntegral Int256 Int64

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int256 -> Exp Int64

FromIntegral Int256 Word32

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int256 -> Exp Word32

FromIntegral Int256 Word64

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int256 -> Exp Word64

FromIntegral Int256 Word256

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int256 -> Exp Word256

FromIntegral Int256 Int256

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int256 -> Exp Int256

FromIntegral Int224 Int32

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int224 -> Exp Int32

FromIntegral Int224 Int64

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int224 -> Exp Int64

FromIntegral Int224 Word32

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int224 -> Exp Word32

FromIntegral Int224 Word64

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int224 -> Exp Word64

FromIntegral Int224 Word224

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int224 -> Exp Word224

FromIntegral Int224 Int224

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int224 -> Exp Int224

FromIntegral Int192 Int32

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int192 -> Exp Int32

FromIntegral Int192 Int64

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int192 -> Exp Int64

FromIntegral Int192 Word32

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int192 -> Exp Word32

FromIntegral Int192 Word64

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int192 -> Exp Word64

FromIntegral Int192 Word192

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int192 -> Exp Word192

FromIntegral Int192 Int192

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int192 -> Exp Int192

FromIntegral Int160 Int32

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int160 -> Exp Int32

FromIntegral Int160 Int64

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int160 -> Exp Int64

FromIntegral Int160 Word32

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int160 -> Exp Word32

FromIntegral Int160 Word64

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int160 -> Exp Word64

FromIntegral Int160 Word160

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int160 -> Exp Word160

FromIntegral Int160 Int160

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int160 -> Exp Int160

FromIntegral Int128 Int32

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int128 -> Exp Int32

FromIntegral Int128 Int64

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int128 -> Exp Int64

FromIntegral Int128 Word32

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int128 -> Exp Word32

FromIntegral Int128 Word64

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int128 -> Exp Word64

FromIntegral Int128 Word128

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int128 -> Exp Word128

FromIntegral Int128 Int128

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int128 -> Exp Int128

FromIntegral Int96 Int32

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int96 -> Exp Int32

FromIntegral Int96 Int64

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int96 -> Exp Int64

FromIntegral Int96 Word32

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int96 -> Exp Word32

FromIntegral Int96 Word64

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int96 -> Exp Word64

FromIntegral Int96 Word96

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int96 -> Exp Word96

FromIntegral Int96 Int96

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

fromIntegral :: Exp Int96 -> Exp Int96

ToFloating Int512 Double

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int512 -> Exp Double

ToFloating Int512 Float

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int512 -> Exp Float

ToFloating Int512 Half

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int512 -> Exp Half

ToFloating Int256 Double

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int256 -> Exp Double

ToFloating Int256 Float

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int256 -> Exp Float

ToFloating Int256 Half

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int256 -> Exp Half

ToFloating Int224 Double

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int224 -> Exp Double

ToFloating Int224 Float

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int224 -> Exp Float

ToFloating Int224 Half

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int224 -> Exp Half

ToFloating Int192 Double

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int192 -> Exp Double

ToFloating Int192 Float

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int192 -> Exp Float

ToFloating Int192 Half

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int192 -> Exp Half

ToFloating Int160 Double

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int160 -> Exp Double

ToFloating Int160 Float

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int160 -> Exp Float

ToFloating Int160 Half

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int160 -> Exp Half

ToFloating Int128 Double

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int128 -> Exp Double

ToFloating Int128 Float

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int128 -> Exp Float

ToFloating Int128 Half

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int128 -> Exp Half

ToFloating Int96 Double

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int96 -> Exp Double

ToFloating Int96 Float

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int96 -> Exp Float

ToFloating Int96 Half

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

toFloating :: Exp Int96 -> Exp Half

(Lift Exp a, Lift Exp b, Elt (Plain a), Elt (Plain b)) => Lift Exp (BigInt a b)

Defined in Data.Array.Accelerate.Internal.Orphans.Elt

Associated Types

type Plain (BigInt a b)

Methods

lift :: BigInt a b -> Exp (Plain (BigInt a b))

(Elt a, Elt b) => Unlift Exp (BigInt (Exp a) (Exp b))

Defined in Data.Array.Accelerate.Internal.Orphans.Elt

Methods

unlift :: Exp (Plain (BigInt (Exp a) (Exp b))) -> BigInt (Exp a) (Exp b)

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

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

minBound :: Exp (BigInt a b)

maxBound :: Exp (BigInt a b)

Enum (Exp Int512)

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

succ :: Exp Int512 -> Exp Int512

pred :: Exp Int512 -> Exp Int512

toEnum :: Int -> Exp Int512

fromEnum :: Exp Int512 -> Int

enumFrom :: Exp Int512 -> [Exp Int512]

enumFromThen :: Exp Int512 -> Exp Int512 -> [Exp Int512]

enumFromTo :: Exp Int512 -> Exp Int512 -> [Exp Int512]

enumFromThenTo :: Exp Int512 -> Exp Int512 -> Exp Int512 -> [Exp Int512]

Enum (Exp Int256)

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

succ :: Exp Int256 -> Exp Int256

pred :: Exp Int256 -> Exp Int256

toEnum :: Int -> Exp Int256

fromEnum :: Exp Int256 -> Int

enumFrom :: Exp Int256 -> [Exp Int256]

enumFromThen :: Exp Int256 -> Exp Int256 -> [Exp Int256]

enumFromTo :: Exp Int256 -> Exp Int256 -> [Exp Int256]

enumFromThenTo :: Exp Int256 -> Exp Int256 -> Exp Int256 -> [Exp Int256]

Enum (Exp Int224)

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

succ :: Exp Int224 -> Exp Int224

pred :: Exp Int224 -> Exp Int224

toEnum :: Int -> Exp Int224

fromEnum :: Exp Int224 -> Int

enumFrom :: Exp Int224 -> [Exp Int224]

enumFromThen :: Exp Int224 -> Exp Int224 -> [Exp Int224]

enumFromTo :: Exp Int224 -> Exp Int224 -> [Exp Int224]

enumFromThenTo :: Exp Int224 -> Exp Int224 -> Exp Int224 -> [Exp Int224]

Enum (Exp Int192)

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

succ :: Exp Int192 -> Exp Int192

pred :: Exp Int192 -> Exp Int192

toEnum :: Int -> Exp Int192

fromEnum :: Exp Int192 -> Int

enumFrom :: Exp Int192 -> [Exp Int192]

enumFromThen :: Exp Int192 -> Exp Int192 -> [Exp Int192]

enumFromTo :: Exp Int192 -> Exp Int192 -> [Exp Int192]

enumFromThenTo :: Exp Int192 -> Exp Int192 -> Exp Int192 -> [Exp Int192]

Enum (Exp Int160)

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

succ :: Exp Int160 -> Exp Int160

pred :: Exp Int160 -> Exp Int160

toEnum :: Int -> Exp Int160

fromEnum :: Exp Int160 -> Int

enumFrom :: Exp Int160 -> [Exp Int160]

enumFromThen :: Exp Int160 -> Exp Int160 -> [Exp Int160]

enumFromTo :: Exp Int160 -> Exp Int160 -> [Exp Int160]

enumFromThenTo :: Exp Int160 -> Exp Int160 -> Exp Int160 -> [Exp Int160]

Enum (Exp Int128)

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

succ :: Exp Int128 -> Exp Int128

pred :: Exp Int128 -> Exp Int128

toEnum :: Int -> Exp Int128

fromEnum :: Exp Int128 -> Int

enumFrom :: Exp Int128 -> [Exp Int128]

enumFromThen :: Exp Int128 -> Exp Int128 -> [Exp Int128]

enumFromTo :: Exp Int128 -> Exp Int128 -> [Exp Int128]

enumFromThenTo :: Exp Int128 -> Exp Int128 -> Exp Int128 -> [Exp Int128]

Enum (Exp Int96)

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

succ :: Exp Int96 -> Exp Int96

pred :: Exp Int96 -> Exp Int96

toEnum :: Int -> Exp Int96

fromEnum :: Exp Int96 -> Int

enumFrom :: Exp Int96 -> [Exp Int96]

enumFromThen :: Exp Int96 -> Exp Int96 -> [Exp Int96]

enumFromTo :: Exp Int96 -> Exp Int96 -> [Exp Int96]

enumFromThenTo :: Exp Int96 -> Exp Int96 -> Exp Int96 -> [Exp Int96]

(Integral a, Integral b, Num (BigInt a b), Eq (BigWord (Unsigned a) b), Integral (BigWord (Unsigned a) b), Num2 (Exp (BigInt a b)), Num2 (Exp (BigWord (Unsigned a) b)), BigIntCtx a b, Enum (BigInt a b)) => Integral (Exp (BigInt a b))

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

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

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

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

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

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

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

toInteger :: Exp (BigInt a b) -> Integer

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

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

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

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

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

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

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

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

fromInteger :: Integer -> Exp (BigInt a b)

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

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Associated Types

type Signed (Exp (BigInt a b))

type Unsigned (Exp (BigInt a b))

Methods

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

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

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

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

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

Defined in Data.Array.Accelerate.Internal.BigInt

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)

Defined in Data.Array.Accelerate.Internal.BigInt

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)

Defined in Data.Array.Accelerate.Internal.BigInt

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)

Defined in Data.Array.Accelerate.Internal.BigInt

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)

Defined in Data.Array.Accelerate.Internal.BigInt

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)

Defined in Data.Array.Accelerate.Internal.BigInt

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)

Defined in Data.Array.Accelerate.Internal.BigInt

Methods

toRational :: BigInt a b -> Rational

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

Defined in Data.Array.Accelerate.Internal.BigInt

Methods

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

show :: BigInt a b -> String

showList :: [BigInt a b] -> ShowS

Generic (BigInt hi lo)

Defined in Data.Array.Accelerate.Internal.BigInt

Associated Types

type Rep (BigInt hi lo) :: Type -> Type

Methods

from :: BigInt hi lo -> Rep (BigInt hi lo) x

to :: Rep (BigInt hi lo) x -> BigInt hi lo

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

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

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

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

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

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

shift :: Exp (BigInt a b) -> Exp Int -> Exp (BigInt a b)

rotate :: Exp (BigInt a b) -> Exp Int -> Exp (BigInt a b)

zeroBits :: Exp (BigInt a b)

bit :: Exp Int -> Exp (BigInt a b)

setBit :: Exp (BigInt a b) -> Exp Int -> Exp (BigInt a b)

clearBit :: Exp (BigInt a b) -> Exp Int -> Exp (BigInt a b)

complementBit :: Exp (BigInt a b) -> Exp Int -> Exp (BigInt a b)

testBit :: Exp (BigInt a b) -> Exp Int -> Exp Bool

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

shiftL :: Exp (BigInt a b) -> Exp Int -> Exp (BigInt a b)

unsafeShiftL :: Exp (BigInt a b) -> Exp Int -> Exp (BigInt a b)

shiftR :: Exp (BigInt a b) -> Exp Int -> Exp (BigInt a b)

unsafeShiftR :: Exp (BigInt a b) -> Exp Int -> Exp (BigInt a b)

rotateL :: Exp (BigInt a b) -> Exp Int -> Exp (BigInt a b)

rotateR :: Exp (BigInt a b) -> Exp Int -> Exp (BigInt a b)

popCount :: Exp (BigInt a b) -> Exp Int

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

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

finiteBitSize :: Exp (BigInt a b) -> Exp Int

countLeadingZeros :: Exp (BigInt a b) -> Exp Int

countTrailingZeros :: Exp (BigInt a b) -> Exp Int

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

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

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

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

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

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

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

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

compare :: Exp (BigInt a b) -> Exp (BigInt a b) -> Exp Ordering

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

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Methods

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

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

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

Defined in Data.Array.Accelerate.Internal.Orphans.Elt

Associated Types

type EltR (BigInt a b)

Methods

eltR :: TypeR (EltR (BigInt a b))

tagsR :: [TagR (EltR (BigInt a b))]

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

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

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

Defined in Data.Array.Accelerate.Internal.BigInt

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)

Defined in Data.Array.Accelerate.Internal.BigInt

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)

Defined in Data.Array.Accelerate.Internal.BigInt

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

Defined in Data.Array.Accelerate.Internal.Orphans.Base

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

type Unsigned (Exp (BigInt a b))

Defined in Data.Array.Accelerate.Internal.Orphans.Base

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

type Rep (BigInt hi lo)

Defined in Data.Array.Accelerate.Internal.BigInt

type Rep (BigInt hi lo) = D1 ('MetaData "BigInt" "Data.Array.Accelerate.Internal.BigInt" "accelerate-bignum-0.3.0.0-4G6rF62D4Q3KyuXU6S7NMs" 'False) (C1 ('MetaCons "I2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 hi) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 lo)))

type EltR (BigInt a b)

Defined in Data.Array.Accelerate.Internal.Orphans.Elt

type EltR (BigInt a b) = GEltR () (Rep (BigInt a b))

type Plain (BigInt a b)

Defined in Data.Array.Accelerate.Internal.Orphans.Elt

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

type Signed (BigInt a b)

Defined in Data.Array.Accelerate.Internal.BigInt

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

type Unsigned (BigInt a b)

Defined in Data.Array.Accelerate.Internal.BigInt

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

class Num2 w where

Addition and multiplication with carry

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

Defined in Data.Array.Accelerate.Internal.Num2

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

Defined in Data.Array.Accelerate.Internal.Num2

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

Defined in Data.Array.Accelerate.Internal.Num2

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

Defined in Data.Array.Accelerate.Internal.Num2

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

Defined in Data.Array.Accelerate.Internal.Num2

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

Defined in Data.Array.Accelerate.Internal.Num2

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

Defined in Data.Array.Accelerate.Internal.Num2

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

Defined in Data.Array.Accelerate.Internal.Num2

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)

Num2 (Exp Int8)

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Associated Types

type Signed (Exp Int8)

type Unsigned (Exp Int8)

Methods

signed :: Exp Int8 -> Signed (Exp Int8)

unsigned :: Exp Int8 -> Unsigned (Exp Int8)

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

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

Num2 (Exp Int16)

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Associated Types

type Signed (Exp Int16)

type Unsigned (Exp Int16)

Methods

signed :: Exp Int16 -> Signed (Exp Int16)

unsigned :: Exp Int16 -> Unsigned (Exp Int16)

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

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

Num2 (Exp Int32)

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Associated Types

type Signed (Exp Int32)

type Unsigned (Exp Int32)

Methods

signed :: Exp Int32 -> Signed (Exp Int32)

unsigned :: Exp Int32 -> Unsigned (Exp Int32)

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

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

Num2 (Exp Int64)

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Associated Types

type Signed (Exp Int64)

type Unsigned (Exp Int64)

Methods

signed :: Exp Int64 -> Signed (Exp Int64)

unsigned :: Exp Int64 -> Unsigned (Exp Int64)

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

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

Num2 (Exp Word8)

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Associated Types

type Signed (Exp Word8)

type Unsigned (Exp Word8)

Methods

signed :: Exp Word8 -> Signed (Exp Word8)

unsigned :: Exp Word8 -> Unsigned (Exp Word8)

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

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

Num2 (Exp Word16)

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Associated Types

type Signed (Exp Word16)

type Unsigned (Exp Word16)

Methods

signed :: Exp Word16 -> Signed (Exp Word16)

unsigned :: Exp Word16 -> Unsigned (Exp Word16)

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

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

Num2 (Exp Word32)

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Associated Types

type Signed (Exp Word32)

type Unsigned (Exp Word32)

Methods

signed :: Exp Word32 -> Signed (Exp Word32)

unsigned :: Exp Word32 -> Unsigned (Exp Word32)

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

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

Num2 (Exp Word64)

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Associated Types

type Signed (Exp Word64)

type Unsigned (Exp Word64)

Methods

signed :: Exp Word64 -> Signed (Exp Word64)

unsigned :: Exp Word64 -> Unsigned (Exp Word64)

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

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

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

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Associated Types

type Signed (Exp (BigInt a b))

type Unsigned (Exp (BigInt a b))

Methods

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

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

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

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

(Integral a, FiniteBits a, FromIntegral a b, Num2 (Exp a), Integral b, FiniteBits b, FromIntegral b a, Num2 (Exp b), Elt (Signed a), Elt (BigInt (Signed a) b), Exp (Signed a) ~ Signed (Exp a), BigWordCtx a b) => Num2 (Exp (BigWord a b))

Defined in Data.Array.Accelerate.Internal.Orphans.Base

Associated Types

type Signed (Exp (BigWord a b))

type Unsigned (Exp (BigWord a b))

Methods

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

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

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

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

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

Defined in Data.Array.Accelerate.Internal.BigInt

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)

Defined in Data.Array.Accelerate.Internal.BigWord

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