Data.Array.Polarized.Pull.Internal

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.

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

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

Concatenate two pull arrays.

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

A right-fold of a pull array.

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

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.

This is a convenience function for alloc . transfer

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)