Data.Massiv.Array.Delayed · massiv-1.0.5.0

Delayed

0 declarations

Delayed Pull Array

datadata D

#

Delayed representation.

D

Instances18Size, Strategy, Shape, Source, FoldNumeric, Numeric, …

Show DDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Pull
Size DDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Pull
Strategy DDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Pull
Index ix => Shape D ixDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Pull
Source D eDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Pull
Num e => FoldNumeric D eDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Pull
Num e => Numeric D eDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Pull
Floating e => NumericFloat D eDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Pull
Index ix => Load D ix eDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Pull
Index ix => Stream D ix eDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Pull
Index ix => StrideLoad D ix eDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Pull
Functor (Array D ix)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Pull
Index ix => Applicative (Array D ix)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Pull
Index ix => Foldable (Array D ix)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Pull
Row-major sequential folding over a Delayed array.
(Eq e, Index ix) => Eq (Array D ix e)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Pull
(Ord e, Index ix) => Ord (Array D ix e)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Pull
(Ragged L ix e, Show e) => Show (Array D ix e)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Pull
data Array D
- DArraydComp :: !CompdSize :: !Sz ixdPrefIndex :: !PrefIndex ix e
Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Pull

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

#

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

valueliftArray2'

:: (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.

valueliftArray2M

:: (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.

Delayed Push Array

datadata DL

#

Delayed load representation. Also known as Push array.

DL

Instances10Size, Strategy, Shape, Load, Functor, Show, …

Show DLDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Push
Size DLDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Push
Strategy DLDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Push
Index ix => Shape DL ixDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Push
Index ix => Load DL ix eDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Push
Index ix => Functor (Array DL ix)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Push
(Ragged L ix e, Show e) => Show (Array DL ix e)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Manifest.Boxed · orphan
Semigroup (Array DL Ix1 e)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Push
Monoid (Array DL Ix1 e)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Push
data Array DL
- DLArraydlComp :: !CompdlSize :: !Sz ixdlLoad :: Loader e
Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Push

valuetoLoadArray :: (Size r, Load r ix e) => Array r ix e -> Array DL ix e

#

Convert any Loadable array into DL representation.

valuemakeLoadArrayS

:: 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 :: Type -> Type). 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.

valuemakeLoadArray

:: 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.

valuefromStrideLoad

:: 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.

Delayed Stream Array

datadata 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.

DS

Instances14Strategy, Shape, Load, Stream, Monad, Functor, …

Strategy DSDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Stream
For now only Seq strategy.
Shape DS Ix1Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Stream
Load DS Ix1 eDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Stream
O(n) - size implementation.
Stream DS Ix1 eDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Stream
Monad (Array DS Ix1)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Stream
Functor (Array DS Ix1)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Stream
Applicative (Array DS Ix1)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Stream
Foldable (Array DS Ix1)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Stream
IsList (Array DS Ix1 e)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Stream
Show e => Show (Array DS Ix1 e)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Manifest.Boxed · orphan
Semigroup (Array DS Ix1 e)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Stream
Monoid (Array DS Ix1 e)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Stream
type Item (Array DS Ix1 e) = eDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Stream
data Array DS Ix1
- DSArraydsArray :: Steps Id e
Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Stream

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

#

Flatten an array into a stream of values.

valuetoSteps :: Vector DS e -> Steps Id e

#

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

valuefromSteps :: Steps Id e -> Vector DS e

#

O(1) - Convert Steps into delayed stream array

Delayed Interleaved Array

datadata DI

#

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

Warning - Will be deprecated in the next major version update.

DI

Instances12Size, Strategy, Shape, Load, StrideLoad, Functor, …

Size DIDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Interleaved
Strategy DIDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Interleaved
Index ix => Shape DI ixDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Interleaved
Index ix => Load DI ix eDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Interleaved
Index ix => StrideLoad DI ix eDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Interleaved
Functor (Array DI ix)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Interleaved
Index ix => Applicative (Array DI ix)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Interleaved
Index ix => Foldable (Array DI ix)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Interleaved
(Eq e, Index ix) => Eq (Array DI ix e)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Interleaved
(Ord e, Index ix) => Ord (Array DI ix e)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Interleaved
(Ragged L ix e, Show e) => Show (Array DI ix e)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Interleaved
data Array DI
- DIArraydiArray :: Array D ix e
Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Interleaved

valuetoInterleaved :: (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.

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

#

O(1) - Unwrap the interleved array.

Delayed Windowed Array

datadata DW

#

Delayed Windowed Array representation.

DW

Instances11Strategy, Shape, Load, StrideLoad, Functor, Show, …

Strategy DWDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Windowed
Index ix => Shape DW ixDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Windowed
Load DW Ix1 eDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Windowed
Load DW Ix2 eDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Windowed
StrideLoad DW Ix1 eDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Windowed
StrideLoad DW Ix2 eDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Windowed
(Index (IxN n), Load DW (Ix (n - 1)) e) => Load DW (IxN n) eDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Windowed
(Index (IxN n), StrideLoad DW (Ix (n - 1)) e) => StrideLoad DW (IxN n) eDefined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Windowed
Functor (Array DW ix)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Windowed
(Ragged L ix e, Load DW ix e, Show e) => Show (Array DW ix e)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Windowed
data Array DW
- DWArraydwComp :: !CompdwSize :: !Sz ixdwIndex :: ix -> edwWindow :: !Maybe (Window ix e)
Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Windowed

datadata Window ix e

#

Constructors

Window
- 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.

Instances1Functor

Functor (Window ix)Defined in massiv-1.0.5.0 · Data.Massiv.Array.Delayed.Windowed

valueinsertWindow

:: 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.

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

#

Get the Window from a windowed array.

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

#

Drop the Window from a windowed array.

valuemakeWindowedArray

:: (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.