Copyright	[2016] Trevor L. McDonell
License	BSD3
Maintainer	Trevor L. McDonell <tmcdonell@cse.unsw.edu.au>
Stability	experimental
Portability	non-portable (GHC extensions)
Safe Haskell	None
Language	Haskell2010

Data.Array.Accelerate.Data.BigInt

Contents

Internals

Description

Fixed length signed integer types

Synopsis

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
data BigInt hi lo = I2 !hi !lo
class Num2 w where
- type Signed w
- type Unsigned w
- signed :: w -> Signed w
- unsigned :: w -> Unsigned w
- addWithCarry :: w -> w -> (w, Unsigned w)
- mulWithCarry :: w -> w -> (w, Unsigned w)

Documentation

type Int96 = BigInt Int32 Word64 Source #

type Int128 = BigInt Int64 Word64 Source #

type Int160 = BigInt Int32 Word128 Source #

type Int192 = BigInt Int64 Word128 Source #

type Int224 = BigInt Int32 Word192 Source #

type Int256 = BigInt Int128 Word128 Source #

type Int512 = BigInt Int256 Word256 Source #

Internals

data BigInt hi lo Source #

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

Constructors

I2 !hi !lo

Instances

FromIntegral Int32 Int512 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int32 -> Exp Int512 #
FromIntegral Int32 Int256 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int32 -> Exp Int256 #
FromIntegral Int32 Int224 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int32 -> Exp Int224 #
FromIntegral Int32 Int192 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int32 -> Exp Int192 #
FromIntegral Int32 Int160 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int32 -> Exp Int160 #
FromIntegral Int32 Int128 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int32 -> Exp Int128 #
FromIntegral Int32 Int96 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int32 -> Exp Int96 #
FromIntegral Int64 Int512 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int64 -> Exp Int512 #
FromIntegral Int64 Int256 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int64 -> Exp Int256 #
FromIntegral Int64 Int224 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int64 -> Exp Int224 #
FromIntegral Int64 Int192 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int64 -> Exp Int192 #
FromIntegral Int64 Int160 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int64 -> Exp Int160 #
FromIntegral Int64 Int128 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int64 -> Exp Int128 #
FromIntegral Int64 Int96 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int64 -> Exp Int96 #
FromIntegral Word32 Int512 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word32 -> Exp Int512 #
FromIntegral Word32 Int256 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word32 -> Exp Int256 #
FromIntegral Word32 Int224 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word32 -> Exp Int224 #
FromIntegral Word32 Int192 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word32 -> Exp Int192 #
FromIntegral Word32 Int160 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word32 -> Exp Int160 #
FromIntegral Word32 Int128 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word32 -> Exp Int128 #
FromIntegral Word32 Int96 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word32 -> Exp Int96 #
FromIntegral Word64 Int512 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word64 -> Exp Int512 #
FromIntegral Word64 Int256 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word64 -> Exp Int256 #
FromIntegral Word64 Int224 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word64 -> Exp Int224 #
FromIntegral Word64 Int192 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word64 -> Exp Int192 #
FromIntegral Word64 Int160 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word64 -> Exp Int160 #
FromIntegral Word64 Int128 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word64 -> Exp Int128 #
FromIntegral Word64 Int96 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word64 -> Exp Int96 #
FromIntegral Word512 Int512 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word512 -> Exp Int512 #
FromIntegral Word256 Int256 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word256 -> Exp Int256 #
FromIntegral Word224 Int224 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word224 -> Exp Int224 #
FromIntegral Word192 Int192 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word192 -> Exp Int192 #
FromIntegral Word160 Int160 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word160 -> Exp Int160 #
FromIntegral Word128 Int128 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word128 -> Exp Int128 #
FromIntegral Word96 Int96 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word96 -> Exp Int96 #
FromIntegral Int512 Int32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int512 -> Exp Int32 #
FromIntegral Int512 Int64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int512 -> Exp Int64 #
FromIntegral Int512 Word32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int512 -> Exp Word32 #
FromIntegral Int512 Word64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int512 -> Exp Word64 #
FromIntegral Int512 Word512 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int512 -> Exp Word512 #
FromIntegral Int512 Int512 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int512 -> Exp Int512 #
FromIntegral Int256 Int32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int256 -> Exp Int32 #
FromIntegral Int256 Int64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int256 -> Exp Int64 #
FromIntegral Int256 Word32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int256 -> Exp Word32 #
FromIntegral Int256 Word64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int256 -> Exp Word64 #
FromIntegral Int256 Word256 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int256 -> Exp Word256 #
FromIntegral Int256 Int256 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int256 -> Exp Int256 #
FromIntegral Int224 Int32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int224 -> Exp Int32 #
FromIntegral Int224 Int64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int224 -> Exp Int64 #
FromIntegral Int224 Word32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int224 -> Exp Word32 #
FromIntegral Int224 Word64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int224 -> Exp Word64 #
FromIntegral Int224 Word224 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int224 -> Exp Word224 #
FromIntegral Int224 Int224 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int224 -> Exp Int224 #
FromIntegral Int192 Int32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int192 -> Exp Int32 #
FromIntegral Int192 Int64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int192 -> Exp Int64 #
FromIntegral Int192 Word32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int192 -> Exp Word32 #
FromIntegral Int192 Word64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int192 -> Exp Word64 #
FromIntegral Int192 Word192 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int192 -> Exp Word192 #
FromIntegral Int192 Int192 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int192 -> Exp Int192 #
FromIntegral Int160 Int32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int160 -> Exp Int32 #
FromIntegral Int160 Int64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int160 -> Exp Int64 #
FromIntegral Int160 Word32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int160 -> Exp Word32 #
FromIntegral Int160 Word64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int160 -> Exp Word64 #
FromIntegral Int160 Word160 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int160 -> Exp Word160 #
FromIntegral Int160 Int160 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int160 -> Exp Int160 #
FromIntegral Int128 Int32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int128 -> Exp Int32 #
FromIntegral Int128 Int64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int128 -> Exp Int64 #
FromIntegral Int128 Word32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int128 -> Exp Word32 #
FromIntegral Int128 Word64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int128 -> Exp Word64 #
FromIntegral Int128 Word128 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int128 -> Exp Word128 #
FromIntegral Int128 Int128 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int128 -> Exp Int128 #
FromIntegral Int96 Int32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int96 -> Exp Int32 #
FromIntegral Int96 Int64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int96 -> Exp Int64 #
FromIntegral Int96 Word32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int96 -> Exp Word32 #
FromIntegral Int96 Word64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int96 -> Exp Word64 #
FromIntegral Int96 Word96 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int96 -> Exp Word96 #
FromIntegral Int96 Int96 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int96 -> Exp Int96 #
(cst a, cst b) => IsProduct cst (BigInt a b)
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Elt Associated Types type ProdRepr (BigInt a b) :: Type Methods fromProd :: proxy cst -> BigInt a b -> ProdRepr (BigInt a b) toProd :: proxy cst -> ProdRepr (BigInt a b) -> BigInt a b prod :: proxy cst -> BigInt a b -> ProdR cst (ProdRepr (BigInt a b))
(Lift Exp a, Lift Exp b, Elt (Plain a), Elt (Plain b), Show (BigInt (Plain a) (Plain b))) => Lift Exp (BigInt a b) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Elt Associated Types type Plain (BigInt a b) :: Type # Methods lift :: BigInt a b -> Exp (Plain (BigInt a b)) #
(Elt a, Elt b, Show (BigInt a b)) => Unlift Exp (BigInt (Exp a) (Exp b)) Source #
Instance details 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)) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods minBound :: Exp (BigInt a b) # maxBound :: Exp (BigInt a b) #
Enum (Exp Int512) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details 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)) Source #
Instance details 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)) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Associated Types type Signed (Exp (BigInt a b)) :: Type Source # type Unsigned (Exp (BigInt a b)) :: Type Source # Methods signed :: Exp (BigInt a b) -> Signed (Exp (BigInt a b)) Source # unsigned :: Exp (BigInt a b) -> Unsigned (Exp (BigInt a b)) Source # addWithCarry :: Exp (BigInt a b) -> Exp (BigInt a b) -> (Exp (BigInt a b), Unsigned (Exp (BigInt a b))) Source # mulWithCarry :: Exp (BigInt a b) -> Exp (BigInt a b) -> (Exp (BigInt a b), Unsigned (Exp (BigInt a b))) Source #
(Bounded a, Bounded b) => Bounded (BigInt a b) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigInt Methods toRational :: BigInt a b -> Rational #
Integral (BigInt a b) => Show (BigInt a b) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigInt Methods showsPrec :: Int -> BigInt a b -> ShowS # show :: BigInt a b -> String # showList :: [BigInt a b] -> ShowS #
(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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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, Show (BigInt a b)) => Elt (BigInt a b) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Elt Methods eltType :: BigInt a b -> TupleType (EltRepr (BigInt a b)) fromElt :: BigInt a b -> EltRepr (BigInt a b) toElt :: EltRepr (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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigInt Associated Types type Signed (BigInt a b) :: Type Source # type Unsigned (BigInt a b) :: Type Source # Methods signed :: BigInt a b -> Signed (BigInt a b) Source # unsigned :: BigInt a b -> Unsigned (BigInt a b) Source # addWithCarry :: BigInt a b -> BigInt a b -> (BigInt a b, Unsigned (BigInt a b)) Source # mulWithCarry :: BigInt a b -> BigInt a b -> (BigInt a b, Unsigned (BigInt a b)) Source #
type Signed (Exp (BigInt a b)) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base type Signed (Exp (BigInt a b)) = Exp (BigInt a b)
type Unsigned (Exp (BigInt a b)) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base type Unsigned (Exp (BigInt a b)) = Exp (BigWord (Unsigned a) b)
type EltRepr (BigInt a b)
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Elt type EltRepr (BigInt a b) = EltRepr (a, b)
type ProdRepr (BigInt a b)
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Elt type ProdRepr (BigInt a b) = ProdRepr (a, b)
type Plain (BigInt a b) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Elt type Plain (BigInt a b) = BigInt (Plain a) (Plain b)
type Signed (BigInt a b) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigInt type Signed (BigInt a b) = BigInt (Signed a) b
type Unsigned (BigInt a b) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigInt type Unsigned (BigInt a b) = BigWord (Unsigned a) b

class Num2 w where Source #

Addition and multiplication with carry

Associated Types

type Signed w Source #

type Unsigned w Source #

Methods

signed :: w -> Signed w Source #

unsigned :: w -> Unsigned w Source #

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

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

Instances

Num2 Int8 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Num2 Associated Types type Signed Int8 :: Type Source # type Unsigned Int8 :: Type Source # Methods signed :: Int8 -> Signed Int8 Source # unsigned :: Int8 -> Unsigned Int8 Source # addWithCarry :: Int8 -> Int8 -> (Int8, Unsigned Int8) Source # mulWithCarry :: Int8 -> Int8 -> (Int8, Unsigned Int8) Source #
Num2 Int16 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Num2 Associated Types type Signed Int16 :: Type Source # type Unsigned Int16 :: Type Source # Methods signed :: Int16 -> Signed Int16 Source # unsigned :: Int16 -> Unsigned Int16 Source # addWithCarry :: Int16 -> Int16 -> (Int16, Unsigned Int16) Source # mulWithCarry :: Int16 -> Int16 -> (Int16, Unsigned Int16) Source #
Num2 Int32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Num2 Associated Types type Signed Int32 :: Type Source # type Unsigned Int32 :: Type Source # Methods signed :: Int32 -> Signed Int32 Source # unsigned :: Int32 -> Unsigned Int32 Source # addWithCarry :: Int32 -> Int32 -> (Int32, Unsigned Int32) Source # mulWithCarry :: Int32 -> Int32 -> (Int32, Unsigned Int32) Source #
Num2 Int64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Num2 Associated Types type Signed Int64 :: Type Source # type Unsigned Int64 :: Type Source # Methods signed :: Int64 -> Signed Int64 Source # unsigned :: Int64 -> Unsigned Int64 Source # addWithCarry :: Int64 -> Int64 -> (Int64, Unsigned Int64) Source # mulWithCarry :: Int64 -> Int64 -> (Int64, Unsigned Int64) Source #
Num2 Word8 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Num2 Associated Types type Signed Word8 :: Type Source # type Unsigned Word8 :: Type Source # Methods signed :: Word8 -> Signed Word8 Source # unsigned :: Word8 -> Unsigned Word8 Source # addWithCarry :: Word8 -> Word8 -> (Word8, Unsigned Word8) Source # mulWithCarry :: Word8 -> Word8 -> (Word8, Unsigned Word8) Source #
Num2 Word16 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Num2 Associated Types type Signed Word16 :: Type Source # type Unsigned Word16 :: Type Source # Methods signed :: Word16 -> Signed Word16 Source # unsigned :: Word16 -> Unsigned Word16 Source # addWithCarry :: Word16 -> Word16 -> (Word16, Unsigned Word16) Source # mulWithCarry :: Word16 -> Word16 -> (Word16, Unsigned Word16) Source #
Num2 Word32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Num2 Associated Types type Signed Word32 :: Type Source # type Unsigned Word32 :: Type Source # Methods signed :: Word32 -> Signed Word32 Source # unsigned :: Word32 -> Unsigned Word32 Source # addWithCarry :: Word32 -> Word32 -> (Word32, Unsigned Word32) Source # mulWithCarry :: Word32 -> Word32 -> (Word32, Unsigned Word32) Source #
Num2 Word64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Num2 Associated Types type Signed Word64 :: Type Source # type Unsigned Word64 :: Type Source # Methods signed :: Word64 -> Signed Word64 Source # unsigned :: Word64 -> Unsigned Word64 Source # addWithCarry :: Word64 -> Word64 -> (Word64, Unsigned Word64) Source # mulWithCarry :: Word64 -> Word64 -> (Word64, Unsigned Word64) Source #
Num2 (Exp Int8) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Associated Types type Signed (Exp Int8) :: Type Source # type Unsigned (Exp Int8) :: Type Source # Methods signed :: Exp Int8 -> Signed (Exp Int8) Source # unsigned :: Exp Int8 -> Unsigned (Exp Int8) Source # addWithCarry :: Exp Int8 -> Exp Int8 -> (Exp Int8, Unsigned (Exp Int8)) Source # mulWithCarry :: Exp Int8 -> Exp Int8 -> (Exp Int8, Unsigned (Exp Int8)) Source #
Num2 (Exp Int16) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Associated Types type Signed (Exp Int16) :: Type Source # type Unsigned (Exp Int16) :: Type Source # Methods signed :: Exp Int16 -> Signed (Exp Int16) Source # unsigned :: Exp Int16 -> Unsigned (Exp Int16) Source # addWithCarry :: Exp Int16 -> Exp Int16 -> (Exp Int16, Unsigned (Exp Int16)) Source # mulWithCarry :: Exp Int16 -> Exp Int16 -> (Exp Int16, Unsigned (Exp Int16)) Source #
Num2 (Exp Int32) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Associated Types type Signed (Exp Int32) :: Type Source # type Unsigned (Exp Int32) :: Type Source # Methods signed :: Exp Int32 -> Signed (Exp Int32) Source # unsigned :: Exp Int32 -> Unsigned (Exp Int32) Source # addWithCarry :: Exp Int32 -> Exp Int32 -> (Exp Int32, Unsigned (Exp Int32)) Source # mulWithCarry :: Exp Int32 -> Exp Int32 -> (Exp Int32, Unsigned (Exp Int32)) Source #
Num2 (Exp Int64) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Associated Types type Signed (Exp Int64) :: Type Source # type Unsigned (Exp Int64) :: Type Source # Methods signed :: Exp Int64 -> Signed (Exp Int64) Source # unsigned :: Exp Int64 -> Unsigned (Exp Int64) Source # addWithCarry :: Exp Int64 -> Exp Int64 -> (Exp Int64, Unsigned (Exp Int64)) Source # mulWithCarry :: Exp Int64 -> Exp Int64 -> (Exp Int64, Unsigned (Exp Int64)) Source #
Num2 (Exp Word8) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Associated Types type Signed (Exp Word8) :: Type Source # type Unsigned (Exp Word8) :: Type Source # Methods signed :: Exp Word8 -> Signed (Exp Word8) Source # unsigned :: Exp Word8 -> Unsigned (Exp Word8) Source # addWithCarry :: Exp Word8 -> Exp Word8 -> (Exp Word8, Unsigned (Exp Word8)) Source # mulWithCarry :: Exp Word8 -> Exp Word8 -> (Exp Word8, Unsigned (Exp Word8)) Source #
Num2 (Exp Word16) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Associated Types type Signed (Exp Word16) :: Type Source # type Unsigned (Exp Word16) :: Type Source # Methods signed :: Exp Word16 -> Signed (Exp Word16) Source # unsigned :: Exp Word16 -> Unsigned (Exp Word16) Source # addWithCarry :: Exp Word16 -> Exp Word16 -> (Exp Word16, Unsigned (Exp Word16)) Source # mulWithCarry :: Exp Word16 -> Exp Word16 -> (Exp Word16, Unsigned (Exp Word16)) Source #
Num2 (Exp Word32) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Associated Types type Signed (Exp Word32) :: Type Source # type Unsigned (Exp Word32) :: Type Source # Methods signed :: Exp Word32 -> Signed (Exp Word32) Source # unsigned :: Exp Word32 -> Unsigned (Exp Word32) Source # addWithCarry :: Exp Word32 -> Exp Word32 -> (Exp Word32, Unsigned (Exp Word32)) Source # mulWithCarry :: Exp Word32 -> Exp Word32 -> (Exp Word32, Unsigned (Exp Word32)) Source #
Num2 (Exp Word64) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Associated Types type Signed (Exp Word64) :: Type Source # type Unsigned (Exp Word64) :: Type Source # Methods signed :: Exp Word64 -> Signed (Exp Word64) Source # unsigned :: Exp Word64 -> Unsigned (Exp Word64) Source # addWithCarry :: Exp Word64 -> Exp Word64 -> (Exp Word64, Unsigned (Exp Word64)) Source # mulWithCarry :: Exp Word64 -> Exp Word64 -> (Exp Word64, Unsigned (Exp Word64)) Source #
(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)) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Associated Types type Signed (Exp (BigInt a b)) :: Type Source # type Unsigned (Exp (BigInt a b)) :: Type Source # Methods signed :: Exp (BigInt a b) -> Signed (Exp (BigInt a b)) Source # unsigned :: Exp (BigInt a b) -> Unsigned (Exp (BigInt a b)) Source # addWithCarry :: Exp (BigInt a b) -> Exp (BigInt a b) -> (Exp (BigInt a b), Unsigned (Exp (BigInt a b))) Source # mulWithCarry :: Exp (BigInt a b) -> Exp (BigInt a b) -> (Exp (BigInt a b), Unsigned (Exp (BigInt a b))) Source #
(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)) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Associated Types type Signed (Exp (BigWord a b)) :: Type Source # type Unsigned (Exp (BigWord a b)) :: Type Source # Methods signed :: Exp (BigWord a b) -> Signed (Exp (BigWord a b)) Source # unsigned :: Exp (BigWord a b) -> Unsigned (Exp (BigWord a b)) Source # addWithCarry :: Exp (BigWord a b) -> Exp (BigWord a b) -> (Exp (BigWord a b), Unsigned (Exp (BigWord a b))) Source # mulWithCarry :: Exp (BigWord a b) -> Exp (BigWord a b) -> (Exp (BigWord a b), Unsigned (Exp (BigWord a b))) Source #
(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) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigInt Associated Types type Signed (BigInt a b) :: Type Source # type Unsigned (BigInt a b) :: Type Source # Methods signed :: BigInt a b -> Signed (BigInt a b) Source # unsigned :: BigInt a b -> Unsigned (BigInt a b) Source # addWithCarry :: BigInt a b -> BigInt a b -> (BigInt a b, Unsigned (BigInt a b)) Source # mulWithCarry :: BigInt a b -> BigInt a b -> (BigInt a b, Unsigned (BigInt a b)) Source #
(Integral a, FiniteBits a, Num2 a, Integral b, FiniteBits b, Num2 b, BigWordCtx a b) => Num2 (BigWord a b) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigWord Associated Types type Signed (BigWord a b) :: Type Source # type Unsigned (BigWord a b) :: Type Source # Methods signed :: BigWord a b -> Signed (BigWord a b) Source # unsigned :: BigWord a b -> Unsigned (BigWord a b) Source # addWithCarry :: BigWord a b -> BigWord a b -> (BigWord a b, Unsigned (BigWord a b)) Source # mulWithCarry :: BigWord a b -> BigWord a b -> (BigWord a b, Unsigned (BigWord a b)) Source #