Copyright	[2016..2020] Trevor L. McDonell
License	BSD3
Maintainer	Trevor L. McDonell <trevor.mcdonell@gmail.com>
Stability	experimental
Portability	non-portable (GHC extensions)
Safe Haskell	None
Language	Haskell2010

Data.Array.Accelerate.Data.BigWord

Contents

Internals

Description

Fixed length unsigned word types

Synopsis

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
data BigWord hi lo = W2 !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 Word96 = BigWord Word32 Word64 Source #

type Word128 = BigWord Word64 Word64 Source #

type Word160 = BigWord Word32 Word128 Source #

type Word192 = BigWord Word64 Word128 Source #

type Word224 = BigWord Word32 Word192 Source #

type Word256 = BigWord Word128 Word128 Source #

type Word512 = BigWord Word256 Word256 Source #

Internals

data BigWord hi lo Source #

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

Constructors

W2 !hi !lo

Instances

Instances details

FromIntegral Int Word512 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int -> Exp Word512 #
FromIntegral Int Word256 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int -> Exp Word256 #
FromIntegral Int Word224 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int -> Exp Word224 #
FromIntegral Int Word192 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int -> Exp Word192 #
FromIntegral Int Word160 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int -> Exp Word160 #
FromIntegral Int Word128 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int -> Exp Word128 #
FromIntegral Int Word96 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int -> Exp Word96 #
FromIntegral Int Int512 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int -> Exp Int512 #
FromIntegral Int Int256 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int -> Exp Int256 #
FromIntegral Int Int224 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int -> Exp Int224 #
FromIntegral Int Int192 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int -> Exp Int192 #
FromIntegral Int Int160 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int -> Exp Int160 #
FromIntegral Int32 Word512 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int32 -> Exp Word512 #
FromIntegral Int32 Word256 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int32 -> Exp Word256 #
FromIntegral Int32 Word224 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int32 -> Exp Word224 #
FromIntegral Int32 Word192 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int32 -> Exp Word192 #
FromIntegral Int32 Word160 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int32 -> Exp Word160 #
FromIntegral Int32 Word128 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int32 -> Exp Word128 #
FromIntegral Int32 Word96 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int32 -> Exp Word96 #
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 Int64 Word512 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int64 -> Exp Word512 #
FromIntegral Int64 Word256 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int64 -> Exp Word256 #
FromIntegral Int64 Word224 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int64 -> Exp Word224 #
FromIntegral Int64 Word192 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int64 -> Exp Word192 #
FromIntegral Int64 Word160 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int64 -> Exp Word160 #
FromIntegral Int64 Word128 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int64 -> Exp Word128 #
FromIntegral Int64 Word96 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int64 -> Exp Word96 #
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 Word Word512 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word -> Exp Word512 #
FromIntegral Word Word256 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word -> Exp Word256 #
FromIntegral Word Word224 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word -> Exp Word224 #
FromIntegral Word Word192 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word -> Exp Word192 #
FromIntegral Word Word160 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word -> Exp Word160 #
FromIntegral Word Word128 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word -> Exp Word128 #
FromIntegral Word Word96 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word -> Exp Word96 #
FromIntegral Word Int512 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word -> Exp Int512 #
FromIntegral Word Int256 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word -> Exp Int256 #
FromIntegral Word Int224 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word -> Exp Int224 #
FromIntegral Word Int192 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word -> Exp Int192 #
FromIntegral Word Int160 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word -> Exp Int160 #
FromIntegral Word32 Word512 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word32 -> Exp Word512 #
FromIntegral Word32 Word256 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word32 -> Exp Word256 #
FromIntegral Word32 Word224 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word32 -> Exp Word224 #
FromIntegral Word32 Word192 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word32 -> Exp Word192 #
FromIntegral Word32 Word160 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word32 -> Exp Word160 #
FromIntegral Word32 Word128 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word32 -> Exp Word128 #
FromIntegral Word32 Word96 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word32 -> Exp Word96 #
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 Word64 Word512 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word64 -> Exp Word512 #
FromIntegral Word64 Word256 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word64 -> Exp Word256 #
FromIntegral Word64 Word224 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word64 -> Exp Word224 #
FromIntegral Word64 Word192 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word64 -> Exp Word192 #
FromIntegral Word64 Word160 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word64 -> Exp Word160 #
FromIntegral Word64 Word128 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word64 -> Exp Word128 #
FromIntegral Word64 Word96 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word64 -> Exp Word96 #
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 Word512 Int32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word512 -> Exp Int32 #
FromIntegral Word512 Int64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word512 -> Exp Int64 #
FromIntegral Word512 Word32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word512 -> Exp Word32 #
FromIntegral Word512 Word64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word512 -> Exp Word64 #
FromIntegral Word512 Word512 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word512 -> Exp Word512 #
FromIntegral Word512 Int512 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word512 -> Exp Int512 #
FromIntegral Word256 Int32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word256 -> Exp Int32 #
FromIntegral Word256 Int64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word256 -> Exp Int64 #
FromIntegral Word256 Word32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word256 -> Exp Word32 #
FromIntegral Word256 Word64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word256 -> Exp Word64 #
FromIntegral Word256 Word256 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word256 -> Exp Word256 #
FromIntegral Word256 Int256 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word256 -> Exp Int256 #
FromIntegral Word224 Int32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word224 -> Exp Int32 #
FromIntegral Word224 Int64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word224 -> Exp Int64 #
FromIntegral Word224 Word32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word224 -> Exp Word32 #
FromIntegral Word224 Word64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word224 -> Exp Word64 #
FromIntegral Word224 Word224 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word224 -> Exp Word224 #
FromIntegral Word224 Int224 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word224 -> Exp Int224 #
FromIntegral Word192 Int32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word192 -> Exp Int32 #
FromIntegral Word192 Int64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word192 -> Exp Int64 #
FromIntegral Word192 Word32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word192 -> Exp Word32 #
FromIntegral Word192 Word64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word192 -> Exp Word64 #
FromIntegral Word192 Word192 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word192 -> Exp Word192 #
FromIntegral Word192 Int192 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word192 -> Exp Int192 #
FromIntegral Word160 Int32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word160 -> Exp Int32 #
FromIntegral Word160 Int64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word160 -> Exp Int64 #
FromIntegral Word160 Word32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word160 -> Exp Word32 #
FromIntegral Word160 Word64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word160 -> Exp Word64 #
FromIntegral Word160 Word160 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word160 -> Exp Word160 #
FromIntegral Word160 Int160 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word160 -> Exp Int160 #
FromIntegral Word128 Int32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word128 -> Exp Int32 #
FromIntegral Word128 Int64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word128 -> Exp Int64 #
FromIntegral Word128 Word32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word128 -> Exp Word32 #
FromIntegral Word128 Word64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word128 -> Exp Word64 #
FromIntegral Word128 Word128 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word128 -> Exp Word128 #
FromIntegral Word128 Int128 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word128 -> Exp Int128 #
FromIntegral Word96 Int32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word96 -> Exp Int32 #
FromIntegral Word96 Int64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word96 -> Exp Int64 #
FromIntegral Word96 Word32 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word96 -> Exp Word32 #
FromIntegral Word96 Word64 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word96 -> Exp Word64 #
FromIntegral Word96 Word96 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Word96 -> Exp Word96 #
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 Word128 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int128 -> Exp Word128 #
FromIntegral Int96 Word96 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods fromIntegral :: Exp Int96 -> Exp Word96 #
ToFloating Word512 Double Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word512 -> Exp Double #
ToFloating Word512 Float Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word512 -> Exp Float #
ToFloating Word512 Half Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word512 -> Exp Half #
ToFloating Word256 Double Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word256 -> Exp Double #
ToFloating Word256 Float Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word256 -> Exp Float #
ToFloating Word256 Half Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word256 -> Exp Half #
ToFloating Word224 Double Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word224 -> Exp Double #
ToFloating Word224 Float Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word224 -> Exp Float #
ToFloating Word224 Half Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word224 -> Exp Half #
ToFloating Word192 Double Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word192 -> Exp Double #
ToFloating Word192 Float Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word192 -> Exp Float #
ToFloating Word192 Half Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word192 -> Exp Half #
ToFloating Word160 Double Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word160 -> Exp Double #
ToFloating Word160 Float Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word160 -> Exp Float #
ToFloating Word160 Half Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word160 -> Exp Half #
ToFloating Word128 Double Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word128 -> Exp Double #
ToFloating Word128 Float Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word128 -> Exp Float #
ToFloating Word128 Half Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word128 -> Exp Half #
ToFloating Word96 Double Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word96 -> Exp Double #
ToFloating Word96 Float Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word96 -> Exp Float #
ToFloating Word96 Half Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Word96 -> Exp Half #
ToFloating Int512 Double Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Int512 -> Exp Double #
ToFloating Int512 Float Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Int512 -> Exp Float #
ToFloating Int512 Half Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Int512 -> Exp Half #
ToFloating Int256 Double Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Int256 -> Exp Double #
ToFloating Int256 Float Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Int256 -> Exp Float #
ToFloating Int256 Half Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Int256 -> Exp Half #
ToFloating Int224 Double Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Int224 -> Exp Double #
ToFloating Int224 Float Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Int224 -> Exp Float #
ToFloating Int224 Half Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Int224 -> Exp Half #
ToFloating Int192 Double Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Int192 -> Exp Double #
ToFloating Int192 Float Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Int192 -> Exp Float #
ToFloating Int192 Half Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Int192 -> Exp Half #
ToFloating Int160 Double Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Int160 -> Exp Double #
ToFloating Int160 Float Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Int160 -> Exp Float #
ToFloating Int160 Half Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods toFloating :: Exp Int160 -> Exp Half #
(Lift Exp a, Lift Exp b, Elt (Plain a), Elt (Plain b)) => Lift Exp (BigWord a b) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Elt Associated Types type Plain (BigWord a b) # Methods lift :: BigWord a b -> Exp (Plain (BigWord a b)) #
(Elt a, Elt b) => Unlift Exp (BigWord (Exp a) (Exp b)) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Elt Methods unlift :: Exp (Plain (BigWord (Exp a) (Exp b))) -> BigWord (Exp a) (Exp b) #
(Bounded a, Bounded b, Elt (BigWord a b)) => Bounded (Exp (BigWord a b)) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods minBound :: Exp (BigWord a b) # maxBound :: Exp (BigWord a b) #
Enum (Exp Word512) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods succ :: Exp Word512 -> Exp Word512 # pred :: Exp Word512 -> Exp Word512 # toEnum :: Int -> Exp Word512 # fromEnum :: Exp Word512 -> Int # enumFrom :: Exp Word512 -> [Exp Word512] # enumFromThen :: Exp Word512 -> Exp Word512 -> [Exp Word512] # enumFromTo :: Exp Word512 -> Exp Word512 -> [Exp Word512] # enumFromThenTo :: Exp Word512 -> Exp Word512 -> Exp Word512 -> [Exp Word512] #
Enum (Exp Word256) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods succ :: Exp Word256 -> Exp Word256 # pred :: Exp Word256 -> Exp Word256 # toEnum :: Int -> Exp Word256 # fromEnum :: Exp Word256 -> Int # enumFrom :: Exp Word256 -> [Exp Word256] # enumFromThen :: Exp Word256 -> Exp Word256 -> [Exp Word256] # enumFromTo :: Exp Word256 -> Exp Word256 -> [Exp Word256] # enumFromThenTo :: Exp Word256 -> Exp Word256 -> Exp Word256 -> [Exp Word256] #
Enum (Exp Word224) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods succ :: Exp Word224 -> Exp Word224 # pred :: Exp Word224 -> Exp Word224 # toEnum :: Int -> Exp Word224 # fromEnum :: Exp Word224 -> Int # enumFrom :: Exp Word224 -> [Exp Word224] # enumFromThen :: Exp Word224 -> Exp Word224 -> [Exp Word224] # enumFromTo :: Exp Word224 -> Exp Word224 -> [Exp Word224] # enumFromThenTo :: Exp Word224 -> Exp Word224 -> Exp Word224 -> [Exp Word224] #
Enum (Exp Word192) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods succ :: Exp Word192 -> Exp Word192 # pred :: Exp Word192 -> Exp Word192 # toEnum :: Int -> Exp Word192 # fromEnum :: Exp Word192 -> Int # enumFrom :: Exp Word192 -> [Exp Word192] # enumFromThen :: Exp Word192 -> Exp Word192 -> [Exp Word192] # enumFromTo :: Exp Word192 -> Exp Word192 -> [Exp Word192] # enumFromThenTo :: Exp Word192 -> Exp Word192 -> Exp Word192 -> [Exp Word192] #
Enum (Exp Word160) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods succ :: Exp Word160 -> Exp Word160 # pred :: Exp Word160 -> Exp Word160 # toEnum :: Int -> Exp Word160 # fromEnum :: Exp Word160 -> Int # enumFrom :: Exp Word160 -> [Exp Word160] # enumFromThen :: Exp Word160 -> Exp Word160 -> [Exp Word160] # enumFromTo :: Exp Word160 -> Exp Word160 -> [Exp Word160] # enumFromThenTo :: Exp Word160 -> Exp Word160 -> Exp Word160 -> [Exp Word160] #
Enum (Exp Word128) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods succ :: Exp Word128 -> Exp Word128 # pred :: Exp Word128 -> Exp Word128 # toEnum :: Int -> Exp Word128 # fromEnum :: Exp Word128 -> Int # enumFrom :: Exp Word128 -> [Exp Word128] # enumFromThen :: Exp Word128 -> Exp Word128 -> [Exp Word128] # enumFromTo :: Exp Word128 -> Exp Word128 -> [Exp Word128] # enumFromThenTo :: Exp Word128 -> Exp Word128 -> Exp Word128 -> [Exp Word128] #
Enum (Exp Word96) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods succ :: Exp Word96 -> Exp Word96 # pred :: Exp Word96 -> Exp Word96 # toEnum :: Int -> Exp Word96 # fromEnum :: Exp Word96 -> Int # enumFrom :: Exp Word96 -> [Exp Word96] # enumFromThen :: Exp Word96 -> Exp Word96 -> [Exp Word96] # enumFromTo :: Exp Word96 -> Exp Word96 -> [Exp Word96] # enumFromThenTo :: Exp Word96 -> Exp Word96 -> Exp Word96 -> [Exp Word96] #
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] #
(Integral a, FiniteBits a, FromIntegral a b, Num2 (Exp a), Bounded a, Integral b, FiniteBits b, FromIntegral b a, Num2 (Exp b), Bounded b, Num (BigWord a b), Num2 (Exp (BigWord a b)), BigWordCtx a b, Enum (BigWord a b)) => Integral (Exp (BigWord a b)) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods quot :: Exp (BigWord a b) -> Exp (BigWord a b) -> Exp (BigWord a b) # rem :: Exp (BigWord a b) -> Exp (BigWord a b) -> Exp (BigWord a b) # div :: Exp (BigWord a b) -> Exp (BigWord a b) -> Exp (BigWord a b) # mod :: Exp (BigWord a b) -> Exp (BigWord a b) -> Exp (BigWord a b) # quotRem :: Exp (BigWord a b) -> Exp (BigWord a b) -> (Exp (BigWord a b), Exp (BigWord a b)) # divMod :: Exp (BigWord a b) -> Exp (BigWord a b) -> (Exp (BigWord a b), Exp (BigWord a b)) # toInteger :: Exp (BigWord a b) -> Integer #
(Num a, Integral b, Num2 (Exp b), FromIntegral b a, Eq (BigWord a b), Num (BigWord a b), BigWordCtx a b) => Num (Exp (BigWord a b)) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods (+) :: Exp (BigWord a b) -> Exp (BigWord a b) -> Exp (BigWord a b) # (-) :: Exp (BigWord a b) -> Exp (BigWord a b) -> Exp (BigWord a b) # (*) :: Exp (BigWord a b) -> Exp (BigWord a b) -> Exp (BigWord a b) # negate :: Exp (BigWord a b) -> Exp (BigWord a b) # abs :: Exp (BigWord a b) -> Exp (BigWord a b) # signum :: Exp (BigWord a b) -> Exp (BigWord a b) # fromInteger :: Integer -> Exp (BigWord 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)) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Associated Types type Signed (Exp (BigWord a b)) Source # type Unsigned (Exp (BigWord a b)) 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 #
(Bounded a, Bounded b) => Bounded (BigWord a b) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigWord 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) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigWord 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) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigWord 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) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigWord 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) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigWord 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) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigWord 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) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigWord Methods toRational :: BigWord a b -> Rational #
Integral (BigWord a b) => Show (BigWord a b) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigWord Methods showsPrec :: Int -> BigWord a b -> ShowS # show :: BigWord a b -> String # showList :: [BigWord a b] -> ShowS #
Generic (BigWord hi lo) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigWord Associated Types type Rep (BigWord hi lo) :: Type -> Type # Methods from :: BigWord hi lo -> Rep (BigWord hi lo) x # to :: Rep (BigWord hi lo) x -> BigWord hi lo #
(Integral a, FiniteBits a, FromIntegral a b, Integral b, FiniteBits b, FromIntegral b a, BigWordCtx a b) => Bits (BigWord a b) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods (.&.) :: Exp (BigWord a b) -> Exp (BigWord a b) -> Exp (BigWord a b) # (.\|.) :: Exp (BigWord a b) -> Exp (BigWord a b) -> Exp (BigWord a b) # xor :: Exp (BigWord a b) -> Exp (BigWord a b) -> Exp (BigWord a b) # complement :: Exp (BigWord a b) -> Exp (BigWord a b) # shift :: Exp (BigWord a b) -> Exp Int -> Exp (BigWord a b) # rotate :: Exp (BigWord a b) -> Exp Int -> Exp (BigWord a b) # zeroBits :: Exp (BigWord a b) # bit :: Exp Int -> Exp (BigWord a b) # setBit :: Exp (BigWord a b) -> Exp Int -> Exp (BigWord a b) # clearBit :: Exp (BigWord a b) -> Exp Int -> Exp (BigWord a b) # complementBit :: Exp (BigWord a b) -> Exp Int -> Exp (BigWord a b) # testBit :: Exp (BigWord a b) -> Exp Int -> Exp Bool # isSigned :: Exp (BigWord a b) -> Exp Bool # shiftL :: Exp (BigWord a b) -> Exp Int -> Exp (BigWord a b) # unsafeShiftL :: Exp (BigWord a b) -> Exp Int -> Exp (BigWord a b) # shiftR :: Exp (BigWord a b) -> Exp Int -> Exp (BigWord a b) # unsafeShiftR :: Exp (BigWord a b) -> Exp Int -> Exp (BigWord a b) # rotateL :: Exp (BigWord a b) -> Exp Int -> Exp (BigWord a b) # rotateR :: Exp (BigWord a b) -> Exp Int -> Exp (BigWord a b) # popCount :: Exp (BigWord a b) -> Exp Int #
(Integral a, FiniteBits a, FromIntegral a b, Integral b, FiniteBits b, FromIntegral b a, BigWordCtx a b) => FiniteBits (BigWord a b) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods finiteBitSize :: Exp (BigWord a b) -> Exp Int # countLeadingZeros :: Exp (BigWord a b) -> Exp Int # countTrailingZeros :: Exp (BigWord a b) -> Exp Int #
(Ord a, Ord b, Elt (BigWord a b)) => Ord (BigWord a b) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods (<) :: Exp (BigWord a b) -> Exp (BigWord a b) -> Exp Bool # (>) :: Exp (BigWord a b) -> Exp (BigWord a b) -> Exp Bool # (<=) :: Exp (BigWord a b) -> Exp (BigWord a b) -> Exp Bool # (>=) :: Exp (BigWord a b) -> Exp (BigWord a b) -> Exp Bool # min :: Exp (BigWord a b) -> Exp (BigWord a b) -> Exp (BigWord a b) # max :: Exp (BigWord a b) -> Exp (BigWord a b) -> Exp (BigWord a b) # compare :: Exp (BigWord a b) -> Exp (BigWord a b) -> Exp Ordering #
(Eq a, Eq b, Elt (BigWord a b)) => Eq (BigWord a b) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base Methods (==) :: Exp (BigWord a b) -> Exp (BigWord a b) -> Exp Bool # (/=) :: Exp (BigWord a b) -> Exp (BigWord a b) -> Exp Bool #
(Elt a, Elt b) => Elt (BigWord a b) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Elt Associated Types type EltR (BigWord a b) Methods eltR :: TypeR (EltR (BigWord a b)) tagsR :: [TagR (EltR (BigWord a b))] fromElt :: BigWord a b -> EltR (BigWord a b) toElt :: EltR (BigWord a b) -> BigWord a b
(Integral a, FiniteBits a, Integral b, FiniteBits b, BigWordCtx a b) => Bits (BigWord a b) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigWord 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) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigWord 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) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigWord Associated Types type Signed (BigWord a b) Source # type Unsigned (BigWord a b) 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 #
type Signed (Exp (BigWord a b)) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base type Signed (Exp (BigWord a b)) = Exp (BigInt (Signed a) b)
type Unsigned (Exp (BigWord a b)) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Base type Unsigned (Exp (BigWord a b)) = Exp (BigWord a b)
type Rep (BigWord hi lo) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigWord type Rep (BigWord hi lo) = D1 ('MetaData "BigWord" "Data.Array.Accelerate.Internal.BigWord" "accelerate-bignum-0.3.0.0-4G6rF62D4Q3KyuXU6S7NMs" 'False) (C1 ('MetaCons "W2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 hi) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 lo)))
type EltR (BigWord a b)
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Elt type EltR (BigWord a b) = GEltR () (Rep (BigWord a b))
type Plain (BigWord a b) Source #
Instance details Defined in Data.Array.Accelerate.Internal.Orphans.Elt type Plain (BigWord a b) = BigWord (Plain a) (Plain b)
type Signed (BigWord a b) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigWord type Signed (BigWord a b) = BigInt (Signed a) b
type Unsigned (BigWord a b) Source #
Instance details Defined in Data.Array.Accelerate.Internal.BigWord type Unsigned (BigWord 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

Instances details

Num2 Int8 Source #
Instance details Defined in Data.Array.Accelerate.Internal.Num2 Associated Types type Signed Int8 Source # type Unsigned Int8 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 Source # type Unsigned Int16 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 Source # type Unsigned Int32 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 Source # type Unsigned Int64 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 Source # type Unsigned Word8 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 Source # type Unsigned Word16 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 Source # type Unsigned Word32 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 Source # type Unsigned Word64 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) Source # type Unsigned (Exp Int8) 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) Source # type Unsigned (Exp Int16) 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) Source # type Unsigned (Exp Int32) 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) Source # type Unsigned (Exp Int64) 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) Source # type Unsigned (Exp Word8) 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) Source # type Unsigned (Exp Word16) 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) Source # type Unsigned (Exp Word32) 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) Source # type Unsigned (Exp Word64) 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)) Source # type Unsigned (Exp (BigInt a b)) 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)) Source # type Unsigned (Exp (BigWord a b)) 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) Source # type Unsigned (BigInt a b) 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) Source # type Unsigned (BigWord a b) 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 #