Modulelinear-base-0.4.0Haskell2010

Data.Array.Destination.Internal

datadata DArray a where

A destination array, or DArray, is a write-only array that is filled by some computation which ultimately returns an array.

valuealloc :: Int -> (DArray a %1 -> ()) %1 -> Vector a

valuesize :: DArray a %1 -> (Ur Int, DArray a)

Get the size of a destination array.

valuereplicate :: a -> DArray a %1 -> ()

Fill a destination array with a constant

valuefill :: HasCallStack => a %1 -> DArray a %1 -> ()

fill a dest fills a singleton destination array. Caution, fill a dest will fail is dest isn't of length exactly one.

valuedropEmpty :: HasCallStack => DArray a %1 -> ()

dropEmpty dest consumes and empty array and fails otherwise.

valuesplit :: Int -> DArray a %1 -> (DArray a, DArray a)

split n dest = (destl, destr) such as destl has length n.

split is total: if n is larger than the length of dest, then destr is empty.

valuemirror :: HasCallStack => Vector a -> (a %1 -> b) -> DArray b %1 -> ()

Fills the destination array with the contents of given vector.

Errors if the given vector is smaller than the destination array.

valuefromFunction :: (Int -> b) -> DArray b %1 -> ()

Fill a destination array using the given index-to-value function.