Data.Array.Polarized.Pull

A pull array is an array from which it is easy to extract elements, and this can be done in any order. The linear consumption of a pull array means each element is consumed exactly once, but the length can be accessed freely.

fromFunction arrIndexer len constructs a pull array given a function arrIndexer that goes from an array index to array values and a specified length len.

Convert a Vector to a pull array.

Creates a pull array of given size, filled with the given element.

Produce a pull array of lenght 1 consisting of solely the given element.

This is a convenience function for alloc . transfer

Convert a pull array into a list.

zip [x1, ..., xn] [y1, ..., yn] = [(x1,y1), ..., (xn,yn)] Partial: `zip [x1,x2,...,xn] [y1,y2,...,yp]` is an error if n ≠ p.

zipWith f [x1,x2,...,xn] [y1,y2,...,yn] = [f x1 y1, ..., f xn yn] Partial: `zipWith f [x1,x2,...,xn] [y1,y2,...,yp]` is an error if n ≠ p.

Concatenate two pull arrays.

A right-fold of a pull array.

Fold a pull array using a monoid.

Extract the length of an array, and give back the original array.

split n v = (vl, vr) such that vl has length n.

split is total: if n is larger than the length of v, then vr is empty.

Reverse a pull array.

Index a pull array (without checking bounds)