Data.Massiv.Array.Delayed

Delayed

Delayed Pull Array

data D

Delayed representation.

Constructors

D

Instances

Show D

Defined in Data.Massiv.Array.Delayed.Pull

Methods

showsPrec :: Int -> D -> ShowS

show :: D -> String

showList :: [D] -> ShowS

Size D

Defined in Data.Massiv.Array.Delayed.Pull

Methods

size :: Array D ix e -> Sz ix

unsafeResize :: (Index ix, Index ix') => Sz ix' -> Array D ix e -> Array D ix' e

Strategy D

Defined in Data.Massiv.Array.Delayed.Pull

Methods

setComp :: Comp -> Array D ix e -> Array D ix e

getComp :: Array D ix e -> Comp

Source D e

Defined in Data.Massiv.Array.Delayed.Pull

Methods

unsafeIndex :: Index ix => Array D ix e -> ix -> e

unsafeLinearIndex :: Index ix => Array D ix e -> Int -> e

unsafeOuterSlice :: (Index ix, Index (Lower ix)) => Array D ix e -> Sz (Lower ix) -> Int -> Array D (Lower ix) e

unsafeLinearSlice :: Index ix => Ix1 -> Sz1 -> Array D ix e -> Array D Ix1 e

Index ix => Shape D ix

Defined in Data.Massiv.Array.Delayed.Pull

Methods

linearSizeHint :: Array D ix e -> LengthHint

linearSize :: Array D ix e -> Sz1

outerSize :: Array D ix e -> Sz ix

maxLinearSize :: Array D ix e -> Maybe Sz1

isNull :: Array D ix e -> Bool

Floating e => NumericFloat D e

Defined in Data.Massiv.Array.Delayed.Pull

Methods

divideScalar :: Index ix => Array D ix e -> e -> Array D ix e

scalarDivide :: Index ix => e -> Array D ix e -> Array D ix e

divisionPointwise :: Index ix => Array D ix e -> Array D ix e -> Array D ix e

recipPointwise :: Index ix => Array D ix e -> Array D ix e

sqrtPointwise :: Index ix => Array D ix e -> Array D ix e

Num e => Numeric D e

Defined in Data.Massiv.Array.Delayed.Pull

Methods

plusScalar :: Index ix => Array D ix e -> e -> Array D ix e

minusScalar :: Index ix => Array D ix e -> e -> Array D ix e

scalarMinus :: Index ix => e -> Array D ix e -> Array D ix e

multiplyScalar :: Index ix => Array D ix e -> e -> Array D ix e

absPointwise :: Index ix => Array D ix e -> Array D ix e

additionPointwise :: Index ix => Array D ix e -> Array D ix e -> Array D ix e

subtractionPointwise :: Index ix => Array D ix e -> Array D ix e -> Array D ix e

multiplicationPointwise :: Index ix => Array D ix e -> Array D ix e -> Array D ix e

powerPointwise :: Index ix => Array D ix e -> Int -> Array D ix e

unsafeLiftArray :: Index ix => (e -> e) -> Array D ix e -> Array D ix e

unsafeLiftArray2 :: Index ix => (e -> e -> e) -> Array D ix e -> Array D ix e -> Array D ix e

Num e => FoldNumeric D e

Defined in Data.Massiv.Array.Delayed.Pull

Methods

sumArray :: Index ix => Array D ix e -> e

productArray :: Index ix => Array D ix e -> e

powerSumArray :: Index ix => Array D ix e -> Int -> e

unsafeDotProduct :: Index ix => Array D ix e -> Array D ix e -> e

foldArray :: Index ix => (e -> e -> e) -> e -> Array D ix e -> e

Index ix => StrideLoad D ix e

Defined in Data.Massiv.Array.Delayed.Pull

Methods

iterArrayLinearWithStrideST_ :: Scheduler s () -> Stride ix -> Sz ix -> Array D ix e -> (Int -> e -> ST s ()) -> ST s ()

Index ix => Load D ix e

Defined in Data.Massiv.Array.Delayed.Pull

Methods

makeArray :: Comp -> Sz ix -> (ix -> e) -> Array D ix e

makeArrayLinear :: Comp -> Sz ix -> (Int -> e) -> Array D ix e

replicate :: Comp -> Sz ix -> e -> Array D ix e

iterArrayLinearST_ :: Scheduler s () -> Array D ix e -> (Int -> e -> ST s ()) -> ST s ()

iterArrayLinearWithSetST_ :: Scheduler s () -> Array D ix e -> (Ix1 -> e -> ST s ()) -> (Ix1 -> Sz1 -> e -> ST s ()) -> ST s ()

unsafeLoadIntoST :: Manifest r' e => MVector s r' e -> Array D ix e -> ST s (MArray s r' ix e)

unsafeLoadIntoIO :: Manifest r' e => MVector RealWorld r' e -> Array D ix e -> IO (MArray RealWorld r' ix e)

Index ix => Stream D ix e

Defined in Data.Massiv.Array.Delayed.Pull

Methods

toStream :: Array D ix e -> Steps Id e

toStreamIx :: Array D ix e -> Steps Id (ix, e)

Functor (Array D ix)

Defined in Data.Massiv.Array.Delayed.Pull

Methods

fmap :: (a -> b) -> Array D ix a -> Array D ix b

(<$) :: a -> Array D ix b -> Array D ix a

Index ix => Applicative (Array D ix)

Defined in Data.Massiv.Array.Delayed.Pull

Methods

pure :: a -> Array D ix a

(<*>) :: Array D ix (a -> b) -> Array D ix a -> Array D ix b

liftA2 :: (a -> b -> c) -> Array D ix a -> Array D ix b -> Array D ix c

(*>) :: Array D ix a -> Array D ix b -> Array D ix b

(<*) :: Array D ix a -> Array D ix b -> Array D ix a

Index ix => Foldable (Array D ix)

Row-major sequential folding over a Delayed array.

Defined in Data.Massiv.Array.Delayed.Pull

Methods

fold :: Monoid m => Array D ix m -> m

foldMap :: Monoid m => (a -> m) -> Array D ix a -> m

foldMap' :: Monoid m => (a -> m) -> Array D ix a -> m

foldr :: (a -> b -> b) -> b -> Array D ix a -> b

foldr' :: (a -> b -> b) -> b -> Array D ix a -> b

foldl :: (b -> a -> b) -> b -> Array D ix a -> b

foldl' :: (b -> a -> b) -> b -> Array D ix a -> b

foldr1 :: (a -> a -> a) -> Array D ix a -> a

foldl1 :: (a -> a -> a) -> Array D ix a -> a

toList :: Array D ix a -> [a]

null :: Array D ix a -> Bool

length :: Array D ix a -> Int

elem :: Eq a => a -> Array D ix a -> Bool

maximum :: Ord a => Array D ix a -> a

minimum :: Ord a => Array D ix a -> a

sum :: Num a => Array D ix a -> a

product :: Num a => Array D ix a -> a

(Eq e, Index ix) => Eq (Array D ix e)

Defined in Data.Massiv.Array.Delayed.Pull

Methods

(==) :: Array D ix e -> Array D ix e -> Bool

(/=) :: Array D ix e -> Array D ix e -> Bool

(Ord e, Index ix) => Ord (Array D ix e)

Defined in Data.Massiv.Array.Delayed.Pull

Methods

compare :: Array D ix e -> Array D ix e -> Ordering

(<) :: Array D ix e -> Array D ix e -> Bool

(<=) :: Array D ix e -> Array D ix e -> Bool

(>) :: Array D ix e -> Array D ix e -> Bool

(>=) :: Array D ix e -> Array D ix e -> Bool

max :: Array D ix e -> Array D ix e -> Array D ix e

min :: Array D ix e -> Array D ix e -> Array D ix e

(Ragged L ix e, Show e) => Show (Array D ix e)

Defined in Data.Massiv.Array.Delayed.Pull

Methods

showsPrec :: Int -> Array D ix e -> ShowS

show :: Array D ix e -> String

showList :: [Array D ix e] -> ShowS

data Array D ix e

Defined in Data.Massiv.Array.Delayed.Pull

data Array D ix e = DArray {

• dComp :: !Comp
• dSize :: !(Sz ix)
• dIndex :: ix -> e

}

delay :: (Index ix, Source r e) => Array r ix e -> Array D ix e

O(1) Conversion from a source array to D representation.

liftArray2' :: (HasCallStack, Index ix, Source r1 a, Source r2 b) => (a -> b -> e) -> Array r1 ix a -> Array r2 ix b -> Array D ix e

Same as liftArray2M, but throws an imprecise exception on mismatched sizes.

Since: 1.0.0

liftArray2M :: (Index ix, Source r1 a, Source r2 b, MonadThrow m) => (a -> b -> e) -> Array r1 ix a -> Array r2 ix b -> m (Array D ix e)

Similar to zipWith, except dimensions of both arrays have to be the same, otherwise it throws SizeMismatchException.

Since: 1.0.0

Delayed Push Array

data DL

Delayed load representation. Also known as Push array.

Constructors

DL

Instances

Show DL

Defined in Data.Massiv.Array.Delayed.Push

Methods

showsPrec :: Int -> DL -> ShowS

show :: DL -> String

showList :: [DL] -> ShowS

Size DL

Defined in Data.Massiv.Array.Delayed.Push

Methods

size :: Array DL ix e -> Sz ix

unsafeResize :: (Index ix, Index ix') => Sz ix' -> Array DL ix e -> Array DL ix' e

Strategy DL

Defined in Data.Massiv.Array.Delayed.Push

Methods

setComp :: Comp -> Array DL ix e -> Array DL ix e

getComp :: Array DL ix e -> Comp

Index ix => Shape DL ix

Defined in Data.Massiv.Array.Delayed.Push

Methods

linearSizeHint :: Array DL ix e -> LengthHint

linearSize :: Array DL ix e -> Sz1

outerSize :: Array DL ix e -> Sz ix

maxLinearSize :: Array DL ix e -> Maybe Sz1

isNull :: Array DL ix e -> Bool

Index ix => Load DL ix e

Defined in Data.Massiv.Array.Delayed.Push

Methods

makeArray :: Comp -> Sz ix -> (ix -> e) -> Array DL ix e

makeArrayLinear :: Comp -> Sz ix -> (Int -> e) -> Array DL ix e

replicate :: Comp -> Sz ix -> e -> Array DL ix e

iterArrayLinearST_ :: Scheduler s () -> Array DL ix e -> (Int -> e -> ST s ()) -> ST s ()

iterArrayLinearWithSetST_ :: Scheduler s () -> Array DL ix e -> (Ix1 -> e -> ST s ()) -> (Ix1 -> Sz1 -> e -> ST s ()) -> ST s ()

unsafeLoadIntoST :: Manifest r' e => MVector s r' e -> Array DL ix e -> ST s (MArray s r' ix e)

unsafeLoadIntoIO :: Manifest r' e => MVector RealWorld r' e -> Array DL ix e -> IO (MArray RealWorld r' ix e)

Index ix => Functor (Array DL ix)

Defined in Data.Massiv.Array.Delayed.Push

Methods

fmap :: (a -> b) -> Array DL ix a -> Array DL ix b

(<$) :: a -> Array DL ix b -> Array DL ix a

(Ragged L ix e, Show e) => Show (Array DL ix e)

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

showsPrec :: Int -> Array DL ix e -> ShowS

show :: Array DL ix e -> String

showList :: [Array DL ix e] -> ShowS

Semigroup (Array DL Ix1 e)

Defined in Data.Massiv.Array.Delayed.Push

Methods

(<>) :: Array DL Ix1 e -> Array DL Ix1 e -> Array DL Ix1 e

sconcat :: NonEmpty (Array DL Ix1 e) -> Array DL Ix1 e

stimes :: Integral b => b -> Array DL Ix1 e -> Array DL Ix1 e

Monoid (Array DL Ix1 e)

Defined in Data.Massiv.Array.Delayed.Push

Methods

mempty :: Array DL Ix1 e

mappend :: Array DL Ix1 e -> Array DL Ix1 e -> Array DL Ix1 e

mconcat :: [Array DL Ix1 e] -> Array DL Ix1 e

data Array DL ix e

Defined in Data.Massiv.Array.Delayed.Push

data Array DL ix e = DLArray {

• dlComp :: !Comp
• dlSize :: !(Sz ix)
• dlLoad :: Loader e

}

toLoadArray :: forall r ix e. (Size r, Load r ix e) => Array r ix e -> Array DL ix e

Convert any Loadable array into DL representation.

Since: 0.3.0

makeLoadArrayS

Arguments

:: forall ix e. Index ix

=> Sz ix

Size of the resulting array

-> e

Default value to use for all cells that might have been ommitted by the writing function

-> (forall m. Monad m => (ix -> e -> m Bool) -> m ())

Writing function that described which elements to write into the target array.

-> Array DL ix e

Describe how an array should be loaded into memory sequentially. For parallelizable version see makeLoadArray.

Since: 0.3.1

makeLoadArray

Arguments

:: forall ix e. Index ix

=> Comp

Computation strategy to use. Directly affects the scheduler that gets created for the loading function.

-> Sz ix

Size of the resulting array

-> e

Default value to use for all cells that might have been ommitted by the writing function

-> (forall s. Scheduler s () -> (ix -> e -> ST s Bool) -> ST s ())

Writing function that described which elements to write into the target array. It accepts a scheduler, that can be used for parallelization, as well as a safe element writing function.

-> Array DL ix e

Specify how an array should be loaded into memory. Unlike makeLoadArrayS, loading function accepts a scheduler, thus can be parallelized. If you need an unsafe version of this function see unsafeMakeLoadArray.

Since: 0.4.0

fromStrideLoad :: forall r ix e. StrideLoad r ix e => Stride ix -> Array r ix e -> Array DL ix e

Convert an array that can be loaded with stride into DL representation.

Since: 0.3.0

Delayed Stream Array

data DS

Delayed stream array that represents a sequence of values that can be loaded sequentially. Important distinction from other arrays is that its size might no be known until it is computed.

Constructors

DS

Instances

Strategy DS

Defined in Data.Massiv.Array.Delayed.Stream

Methods

setComp :: Comp -> Array DS ix e -> Array DS ix e

getComp :: Array DS ix e -> Comp

Shape DS Ix1

Defined in Data.Massiv.Array.Delayed.Stream

Methods

linearSizeHint :: Array DS Ix1 e -> LengthHint

linearSize :: Array DS Ix1 e -> Sz1

outerSize :: Array DS Ix1 e -> Sz Ix1

maxLinearSize :: Array DS Ix1 e -> Maybe Sz1

isNull :: Array DS Ix1 e -> Bool

Load DS Ix1 e

O(n) - size implementation.

Defined in Data.Massiv.Array.Delayed.Stream

Methods

makeArray :: Comp -> Sz Ix1 -> (Ix1 -> e) -> Array DS Ix1 e

makeArrayLinear :: Comp -> Sz Ix1 -> (Int -> e) -> Array DS Ix1 e

replicate :: Comp -> Sz Ix1 -> e -> Array DS Ix1 e

iterArrayLinearST_ :: Scheduler s () -> Array DS Ix1 e -> (Int -> e -> ST s ()) -> ST s ()

iterArrayLinearWithSetST_ :: Scheduler s () -> Array DS Ix1 e -> (Ix1 -> e -> ST s ()) -> (Ix1 -> Sz1 -> e -> ST s ()) -> ST s ()

unsafeLoadIntoST :: Manifest r' e => MVector s r' e -> Array DS Ix1 e -> ST s (MArray s r' Ix1 e)

unsafeLoadIntoIO :: Manifest r' e => MVector RealWorld r' e -> Array DS Ix1 e -> IO (MArray RealWorld r' Ix1 e)

Stream DS Ix1 e

Defined in Data.Massiv.Array.Delayed.Stream

Methods

toStream :: Array DS Ix1 e -> Steps Id e

toStreamIx :: Array DS Ix1 e -> Steps Id (Ix1, e)

Monad (Array DS Ix1)

Defined in Data.Massiv.Array.Delayed.Stream

Methods

(>>=) :: Array DS Ix1 a -> (a -> Array DS Ix1 b) -> Array DS Ix1 b

(>>) :: Array DS Ix1 a -> Array DS Ix1 b -> Array DS Ix1 b

return :: a -> Array DS Ix1 a

Functor (Array DS Ix1)

Defined in Data.Massiv.Array.Delayed.Stream

Methods

fmap :: (a -> b) -> Array DS Ix1 a -> Array DS Ix1 b

(<$) :: a -> Array DS Ix1 b -> Array DS Ix1 a

Applicative (Array DS Ix1)

Defined in Data.Massiv.Array.Delayed.Stream

Methods

pure :: a -> Array DS Ix1 a

(<*>) :: Array DS Ix1 (a -> b) -> Array DS Ix1 a -> Array DS Ix1 b

liftA2 :: (a -> b -> c) -> Array DS Ix1 a -> Array DS Ix1 b -> Array DS Ix1 c

(*>) :: Array DS Ix1 a -> Array DS Ix1 b -> Array DS Ix1 b

(<*) :: Array DS Ix1 a -> Array DS Ix1 b -> Array DS Ix1 a

Foldable (Array DS Ix1)

Defined in Data.Massiv.Array.Delayed.Stream

Methods

fold :: Monoid m => Array DS Ix1 m -> m

foldMap :: Monoid m => (a -> m) -> Array DS Ix1 a -> m

foldMap' :: Monoid m => (a -> m) -> Array DS Ix1 a -> m

foldr :: (a -> b -> b) -> b -> Array DS Ix1 a -> b

foldr' :: (a -> b -> b) -> b -> Array DS Ix1 a -> b

foldl :: (b -> a -> b) -> b -> Array DS Ix1 a -> b

foldl' :: (b -> a -> b) -> b -> Array DS Ix1 a -> b

foldr1 :: (a -> a -> a) -> Array DS Ix1 a -> a

foldl1 :: (a -> a -> a) -> Array DS Ix1 a -> a

toList :: Array DS Ix1 a -> [a]

null :: Array DS Ix1 a -> Bool

length :: Array DS Ix1 a -> Int

elem :: Eq a => a -> Array DS Ix1 a -> Bool

maximum :: Ord a => Array DS Ix1 a -> a

minimum :: Ord a => Array DS Ix1 a -> a

sum :: Num a => Array DS Ix1 a -> a

product :: Num a => Array DS Ix1 a -> a

IsList (Array DS Ix1 e)

Defined in Data.Massiv.Array.Delayed.Stream

Associated Types

type Item (Array DS Ix1 e)

Methods

fromList :: [Item (Array DS Ix1 e)] -> Array DS Ix1 e

fromListN :: Int -> [Item (Array DS Ix1 e)] -> Array DS Ix1 e

toList :: Array DS Ix1 e -> [Item (Array DS Ix1 e)]

Show e => Show (Array DS Ix1 e)

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

showsPrec :: Int -> Array DS Ix1 e -> ShowS

show :: Array DS Ix1 e -> String

showList :: [Array DS Ix1 e] -> ShowS

Semigroup (Array DS Ix1 e)

Defined in Data.Massiv.Array.Delayed.Stream

Methods

(<>) :: Array DS Ix1 e -> Array DS Ix1 e -> Array DS Ix1 e

sconcat :: NonEmpty (Array DS Ix1 e) -> Array DS Ix1 e

stimes :: Integral b => b -> Array DS Ix1 e -> Array DS Ix1 e

Monoid (Array DS Ix1 e)

Defined in Data.Massiv.Array.Delayed.Stream

Methods

mempty :: Array DS Ix1 e

mappend :: Array DS Ix1 e -> Array DS Ix1 e -> Array DS Ix1 e

mconcat :: [Array DS Ix1 e] -> Array DS Ix1 e

newtype Array DS Ix1 e

Defined in Data.Massiv.Array.Delayed.Stream

newtype Array DS Ix1 e = DSArray {

• dsArray :: Steps Id e

}

type Item (Array DS Ix1 e)

Defined in Data.Massiv.Array.Delayed.Stream

type Item (Array DS Ix1 e) = e

toStreamArray :: (Index ix, Source r e) => Array r ix e -> Vector DS e

Flatten an array into a stream of values.

Since: 0.4.1

toSteps :: Vector DS e -> Steps Id e

O(1) - Convert delayed stream array into Steps.

Since: 0.4.1

fromSteps :: Steps Id e -> Vector DS e

O(1) - Convert Steps into delayed stream array

Since: 0.4.1

Delayed Interleaved Array

data DI

Delayed array that will be loaded in an interleaved fashion during parallel computation.

Constructors

DI

Instances

Size DI

Defined in Data.Massiv.Array.Delayed.Interleaved

Methods

size :: Array DI ix e -> Sz ix

unsafeResize :: (Index ix, Index ix') => Sz ix' -> Array DI ix e -> Array DI ix' e

Strategy DI

Defined in Data.Massiv.Array.Delayed.Interleaved

Methods

setComp :: Comp -> Array DI ix e -> Array DI ix e

getComp :: Array DI ix e -> Comp

Index ix => Shape DI ix

Defined in Data.Massiv.Array.Delayed.Interleaved

Methods

linearSizeHint :: Array DI ix e -> LengthHint

linearSize :: Array DI ix e -> Sz1

outerSize :: Array DI ix e -> Sz ix

maxLinearSize :: Array DI ix e -> Maybe Sz1

isNull :: Array DI ix e -> Bool

Index ix => StrideLoad DI ix e

Defined in Data.Massiv.Array.Delayed.Interleaved

Methods

iterArrayLinearWithStrideST_ :: Scheduler s () -> Stride ix -> Sz ix -> Array DI ix e -> (Int -> e -> ST s ()) -> ST s ()

Index ix => Load DI ix e

Defined in Data.Massiv.Array.Delayed.Interleaved

Methods

makeArray :: Comp -> Sz ix -> (ix -> e) -> Array DI ix e

makeArrayLinear :: Comp -> Sz ix -> (Int -> e) -> Array DI ix e

replicate :: Comp -> Sz ix -> e -> Array DI ix e

iterArrayLinearST_ :: Scheduler s () -> Array DI ix e -> (Int -> e -> ST s ()) -> ST s ()

iterArrayLinearWithSetST_ :: Scheduler s () -> Array DI ix e -> (Ix1 -> e -> ST s ()) -> (Ix1 -> Sz1 -> e -> ST s ()) -> ST s ()

unsafeLoadIntoST :: Manifest r' e => MVector s r' e -> Array DI ix e -> ST s (MArray s r' ix e)

unsafeLoadIntoIO :: Manifest r' e => MVector RealWorld r' e -> Array DI ix e -> IO (MArray RealWorld r' ix e)

Functor (Array DI ix)

Defined in Data.Massiv.Array.Delayed.Interleaved

Methods

fmap :: (a -> b) -> Array DI ix a -> Array DI ix b

(<$) :: a -> Array DI ix b -> Array DI ix a

Index ix => Applicative (Array DI ix)

Defined in Data.Massiv.Array.Delayed.Interleaved

Methods

pure :: a -> Array DI ix a

(<*>) :: Array DI ix (a -> b) -> Array DI ix a -> Array DI ix b

liftA2 :: (a -> b -> c) -> Array DI ix a -> Array DI ix b -> Array DI ix c

(*>) :: Array DI ix a -> Array DI ix b -> Array DI ix b

(<*) :: Array DI ix a -> Array DI ix b -> Array DI ix a

Index ix => Foldable (Array DI ix)

Defined in Data.Massiv.Array.Delayed.Interleaved

Methods

fold :: Monoid m => Array DI ix m -> m

foldMap :: Monoid m => (a -> m) -> Array DI ix a -> m

foldMap' :: Monoid m => (a -> m) -> Array DI ix a -> m

foldr :: (a -> b -> b) -> b -> Array DI ix a -> b

foldr' :: (a -> b -> b) -> b -> Array DI ix a -> b

foldl :: (b -> a -> b) -> b -> Array DI ix a -> b

foldl' :: (b -> a -> b) -> b -> Array DI ix a -> b

foldr1 :: (a -> a -> a) -> Array DI ix a -> a

foldl1 :: (a -> a -> a) -> Array DI ix a -> a

toList :: Array DI ix a -> [a]

null :: Array DI ix a -> Bool

length :: Array DI ix a -> Int

elem :: Eq a => a -> Array DI ix a -> Bool

maximum :: Ord a => Array DI ix a -> a

minimum :: Ord a => Array DI ix a -> a

sum :: Num a => Array DI ix a -> a

product :: Num a => Array DI ix a -> a

(Index ix, Eq e) => Eq (Array DI ix e)

Defined in Data.Massiv.Array.Delayed.Interleaved

Methods

(==) :: Array DI ix e -> Array DI ix e -> Bool

(/=) :: Array DI ix e -> Array DI ix e -> Bool

(Index ix, Ord e) => Ord (Array DI ix e)

Defined in Data.Massiv.Array.Delayed.Interleaved

Methods

compare :: Array DI ix e -> Array DI ix e -> Ordering

(<) :: Array DI ix e -> Array DI ix e -> Bool

(<=) :: Array DI ix e -> Array DI ix e -> Bool

(>) :: Array DI ix e -> Array DI ix e -> Bool

(>=) :: Array DI ix e -> Array DI ix e -> Bool

max :: Array DI ix e -> Array DI ix e -> Array DI ix e

min :: Array DI ix e -> Array DI ix e -> Array DI ix e

(Ragged L ix e, Show e) => Show (Array DI ix e)

Defined in Data.Massiv.Array.Delayed.Interleaved

Methods

showsPrec :: Int -> Array DI ix e -> ShowS

show :: Array DI ix e -> String

showList :: [Array DI ix e] -> ShowS

newtype Array DI ix e

Defined in Data.Massiv.Array.Delayed.Interleaved

newtype Array DI ix e = DIArray {

• diArray :: Array D ix e

}

toInterleaved :: (Index ix, Source r e) => Array r ix e -> Array DI ix e

Convert a source array into an array that, when computed, will have its elemets evaluated out of order (interleaved amongst cores), hence making unbalanced computation better parallelizable.

fromInterleaved :: Array DI ix e -> Array D ix e

O(1) - Unwrap the interleved array.

Since: 0.2.1

Delayed Windowed Array

data DW

Delayed Windowed Array representation.

Constructors

DW

Instances

Strategy DW

Defined in Data.Massiv.Array.Delayed.Windowed

Methods

setComp :: Comp -> Array DW ix e -> Array DW ix e

getComp :: Array DW ix e -> Comp

Index ix => Shape DW ix

Defined in Data.Massiv.Array.Delayed.Windowed

Methods

linearSizeHint :: Array DW ix e -> LengthHint

linearSize :: Array DW ix e -> Sz1

outerSize :: Array DW ix e -> Sz ix

maxLinearSize :: Array DW ix e -> Maybe Sz1

isNull :: Array DW ix e -> Bool

StrideLoad DW Ix1 e

Defined in Data.Massiv.Array.Delayed.Windowed

Methods

iterArrayLinearWithStrideST_ :: Scheduler s () -> Stride Ix1 -> Sz Ix1 -> Array DW Ix1 e -> (Int -> e -> ST s ()) -> ST s ()

StrideLoad DW Ix2 e

Defined in Data.Massiv.Array.Delayed.Windowed

Methods

iterArrayLinearWithStrideST_ :: Scheduler s () -> Stride Ix2 -> Sz Ix2 -> Array DW Ix2 e -> (Int -> e -> ST s ()) -> ST s ()

Load DW Ix1 e

Defined in Data.Massiv.Array.Delayed.Windowed

Methods

makeArray :: Comp -> Sz Ix1 -> (Ix1 -> e) -> Array DW Ix1 e

makeArrayLinear :: Comp -> Sz Ix1 -> (Int -> e) -> Array DW Ix1 e

replicate :: Comp -> Sz Ix1 -> e -> Array DW Ix1 e

iterArrayLinearST_ :: Scheduler s () -> Array DW Ix1 e -> (Int -> e -> ST s ()) -> ST s ()

iterArrayLinearWithSetST_ :: Scheduler s () -> Array DW Ix1 e -> (Ix1 -> e -> ST s ()) -> (Ix1 -> Sz1 -> e -> ST s ()) -> ST s ()

unsafeLoadIntoST :: Manifest r' e => MVector s r' e -> Array DW Ix1 e -> ST s (MArray s r' Ix1 e)

unsafeLoadIntoIO :: Manifest r' e => MVector RealWorld r' e -> Array DW Ix1 e -> IO (MArray RealWorld r' Ix1 e)

Load DW Ix2 e

Defined in Data.Massiv.Array.Delayed.Windowed

Methods

makeArray :: Comp -> Sz Ix2 -> (Ix2 -> e) -> Array DW Ix2 e

makeArrayLinear :: Comp -> Sz Ix2 -> (Int -> e) -> Array DW Ix2 e

replicate :: Comp -> Sz Ix2 -> e -> Array DW Ix2 e

iterArrayLinearST_ :: Scheduler s () -> Array DW Ix2 e -> (Int -> e -> ST s ()) -> ST s ()

iterArrayLinearWithSetST_ :: Scheduler s () -> Array DW Ix2 e -> (Ix1 -> e -> ST s ()) -> (Ix1 -> Sz1 -> e -> ST s ()) -> ST s ()

unsafeLoadIntoST :: Manifest r' e => MVector s r' e -> Array DW Ix2 e -> ST s (MArray s r' Ix2 e)

unsafeLoadIntoIO :: Manifest r' e => MVector RealWorld r' e -> Array DW Ix2 e -> IO (MArray RealWorld r' Ix2 e)

(Index (IxN n), StrideLoad DW (Ix (n - 1)) e) => StrideLoad DW (IxN n) e

Defined in Data.Massiv.Array.Delayed.Windowed

Methods

iterArrayLinearWithStrideST_ :: Scheduler s () -> Stride (IxN n) -> Sz (IxN n) -> Array DW (IxN n) e -> (Int -> e -> ST s ()) -> ST s ()

(Index (IxN n), Load DW (Ix (n - 1)) e) => Load DW (IxN n) e

Defined in Data.Massiv.Array.Delayed.Windowed

Methods

makeArray :: Comp -> Sz (IxN n) -> (IxN n -> e) -> Array DW (IxN n) e

makeArrayLinear :: Comp -> Sz (IxN n) -> (Int -> e) -> Array DW (IxN n) e

replicate :: Comp -> Sz (IxN n) -> e -> Array DW (IxN n) e

iterArrayLinearST_ :: Scheduler s () -> Array DW (IxN n) e -> (Int -> e -> ST s ()) -> ST s ()

iterArrayLinearWithSetST_ :: Scheduler s () -> Array DW (IxN n) e -> (Ix1 -> e -> ST s ()) -> (Ix1 -> Sz1 -> e -> ST s ()) -> ST s ()

unsafeLoadIntoST :: Manifest r' e => MVector s r' e -> Array DW (IxN n) e -> ST s (MArray s r' (IxN n) e)

unsafeLoadIntoIO :: Manifest r' e => MVector RealWorld r' e -> Array DW (IxN n) e -> IO (MArray RealWorld r' (IxN n) e)

Functor (Array DW ix)

Defined in Data.Massiv.Array.Delayed.Windowed

Methods

fmap :: (a -> b) -> Array DW ix a -> Array DW ix b

(<$) :: a -> Array DW ix b -> Array DW ix a

(Ragged L ix e, Load DW ix e, Show e) => Show (Array DW ix e)

Defined in Data.Massiv.Array.Delayed.Windowed

Methods

showsPrec :: Int -> Array DW ix e -> ShowS

show :: Array DW ix e -> String

showList :: [Array DW ix e] -> ShowS

data Array DW ix e

Defined in Data.Massiv.Array.Delayed.Windowed

data Array DW ix e = DWArray {

• dwArray :: !(Array D ix e)
• dwWindow :: !(Maybe (Window ix e))

}

data Window ix e

Constructors

Window

Fields

• windowStart :: !ix

  Index of where window will start at.

• windowSize :: !(Sz ix)

  Size of the window

• windowIndex :: ix -> e

  Indexing function for the window

• windowUnrollIx2 :: !(Maybe Int)

  Setting this value during stencil application improves cache utilization by unrolling the loop for Ix2 and higher dimensions. Has no affect on arrays with one dimension.

Instances

Functor (Window ix)

Defined in Data.Massiv.Array.Delayed.Windowed

Methods

fmap :: (a -> b) -> Window ix a -> Window ix b

(<$) :: a -> Window ix b -> Window ix a

insertWindow

Arguments

:: Index ix

=> Array D ix e

Source array that will have a window inserted into it

-> Window ix e

Window to place inside the delayed array

-> Array DW ix e

Inserts a Window into a delayed array while scaling the window down if it doesn't fit inside that array.

Since: 0.3.0

getWindow :: Array DW ix e -> Maybe (Window ix e)

Get the Window from a windowed array.

Since: 0.2.1

dropWindow :: Array DW ix e -> Array D ix e

Drop the Window from a windowed array.

Since: 0.3.0

makeWindowedArray

Arguments

:: (Index ix, Source r e)

=> Array r ix e

Source array that will have a window inserted into it

-> ix

Start index for the window

-> Sz ix

Size of the window

-> (ix -> e)

Indexing function foto use inside window

-> Array DW ix e

Construct a delayed windowed array by supply a separate element producing function for the interior of an array. This is very usful for stencil mapping, where interior function does not perform boundary checks, thus significantly speeding up computation process.

Since: 0.1.3