Data.Massiv.Array.Unsafe

Creation

unsafeMakeArray :: Construct r ix e => Comp -> ix -> (ix -> e) -> Array r ix e

Construct an array. No size validation is performed.

unsafeGenerateArray :: Mutable r ix e => ix -> (ix -> e) -> Array r ix e

Create an array sequentially using mutable interface

unsafeGenerateArrayP :: Mutable r ix e => [Int] -> ix -> (ix -> e) -> Array r ix e

Create an array in parallel using mutable interface

Since: 0.1.5

unsafeGenerateM :: (Ragged r ix e, Monad m) => Comp -> ix -> (ix -> m e) -> m (Array r ix e)

Indexing

unsafeIndex :: Source r ix e => Array r ix e -> ix -> e

Lookup element in the array. No bounds check is performed and access of arbitrary memory is possible when invalid index is supplied.

unsafeLinearIndex :: Source r ix e => Array r ix e -> Int -> e

Lookup element in the array using flat index in a row-major fasion. No bounds check is performed

unsafeLinearIndexM :: Manifest r ix e => Array r ix e -> Int -> e

Manipulations

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

unsafeTraverse :: (Source r1 ix1 e1, Index ix) => ix -> ((ix1 -> e1) -> ix -> e) -> Array r1 ix1 e1 -> Array D ix e

unsafeTraverse2 :: (Source r1 ix1 e1, Source r2 ix2 e2, Index ix) => ix -> ((ix1 -> e1) -> (ix2 -> e2) -> ix -> e) -> Array r1 ix1 e1 -> Array r2 ix2 e2 -> Array D ix e

unsafeResize :: (Size r ix e, Index ix') => ix' -> Array r ix e -> Array r ix' e

O(1) - Change the size of an array. New size is not validated.

unsafeExtract :: Size r ix e => ix -> ix -> Array r ix e -> Array (EltRepr r ix) ix e

O(1) - Extract a portion of an array. Staring index and new size are not validated.

Slicing

unsafeSlice :: Slice r ix e => Array r ix e -> ix -> ix -> Dim -> Maybe (Elt r ix e)

unsafeOuterSlice :: OuterSlice r ix e => Array r ix e -> Int -> Elt r ix e

O(1) - Take a slice out of an array from the outside

unsafeInnerSlice :: InnerSlice r ix e => Array r ix e -> (Lower ix, Int) -> Int -> Elt r ix e

Mutable interface

unsafeThaw :: (Mutable r ix e, PrimMonad m) => Array r ix e -> m (MArray (PrimState m) r ix e)

unsafeFreeze :: (Mutable r ix e, PrimMonad m) => Comp -> MArray (PrimState m) r ix e -> m (Array r ix e)

unsafeNew :: (Mutable r ix e, PrimMonad m) => ix -> m (MArray (PrimState m) r ix e)

Create new mutable array, leaving it's elements uninitialized. Size isn't validated either.

unsafeNewZero :: (Mutable r ix e, PrimMonad m) => ix -> m (MArray (PrimState m) r ix e)

Create new mutable array, leaving it's elements uninitialized. Size isn't validated either.

unsafeRead :: (Mutable r ix e, PrimMonad m) => MArray (PrimState m) r ix e -> ix -> m e

Read an array element

unsafeLinearRead :: (Mutable r ix e, PrimMonad m) => MArray (PrimState m) r ix e -> Int -> m e

unsafeWrite :: (Mutable r ix e, PrimMonad m) => MArray (PrimState m) r ix e -> ix -> e -> m ()

Write an element into array

unsafeLinearWrite :: (Mutable r ix e, PrimMonad m) => MArray (PrimState m) r ix e -> Int -> e -> m ()

Stencil

forStencilUnsafe

Arguments

:: (Source r ix e, Manifest r ix e)

=> Array r ix e

-> ix

Size of the stencil

-> ix

Center of the stencil

-> ((ix -> Maybe e) -> a)

Stencil function that receives a "get" function as it's argument that can retrieve values of cells in the source array with respect to the center of the stencil. Stencil function must return a value that will be assigned to the cell in the result array. Offset supplied to the "get" function cannot go outside the boundaries of the stencil, otherwise an error will be raised during stencil creation.

-> Array DW ix a

This is an unsafe version of the stencil computation. There are no bounds check further from the border, so if you make sure you don't go outside the size of the stencil, you will be safe, but this is not enforced.