Modulelinear-base-0.4.0Haskell2010

Data.Array.Polarized.Push

This module provides push arrays.

These are part of a larger framework for controlling when memory is allocated for an array. See Data.Array.Polarized.

This module is designed to be imported qualified as Push.

Construction

5 declarations

datadata Array a where

Push arrays are un-allocated finished arrays. These are finished computations passed along or enlarged until we are ready to allocate.

Instances5Functor, Monoid, Semigroup

valuemake :: HasCallStack => a -> Int -> Array a

make x n creates a constant push array of length n in which every element is x.

valuesingleton :: a -> Array a

valuecons :: a -> Array a %1 -> Array a

valuesnoc :: a -> Array a %1 -> Array a

3 declarations

valuealloc :: Array a %1 -> Vector a

Convert a push array into a vector by allocating. This would be a common end to a computation using push and pull arrays.

valuefoldMap :: Monoid b => (a -> b) -> Array a %1 -> b

valueunzip :: Array (a, b) %1 -> (Array a, Array b)