The new dimension.

The new dimensions resulting from a reshape operation.

Construct a Reshape where all dimension changes are DimCoercions.

The new shape resulting from a reshape operation.

Construct a pair suitable for a Repeat.

reshapeOuter newshape n oldshape returns a Reshape expression that replaces the outer n dimensions of oldshape with newshape.

reshapeInner newshape n oldshape returns a Reshape expression that replaces the inner m-n dimensions (where m is the rank of oldshape) of src with newshape.

Modify the shape of an array type as Repeat would do

If the shape change is nothing but shape coercions, return the new dimensions. Otherwise, return Nothing.

fuseReshape s1 s2 creates a new ShapeChange that is semantically the same as first applying s1 and then s2. This may take advantage of properties of DimCoercion versus DimNew to preserve information.

fuseReshapes s ss creates a fused ShapeChange that is logically the same as first applying s and then the changes in ss from left to right.

Given concrete information about the shape of the source array, convert some DimNews into DimCoercions.

reshapeIndex to_dims from_dims is transforms the index list is (which is into an array of shape from_dims) into an index list is', which is into an array of shape to_dims. is must have the same length as from_dims, and is' will have the same length as to_dims.

flattenIndex dims is computes the flat index of is into an array with dimensions dims. The length of dims and is must be the same.

unflattenIndex dims i computes a list of indices into an array with dimension dims given the flat index i. The resulting list will have the same size as dims.

Given a length n list of dimensions dims, sizeSizes dims will compute a length n+1 list of the size of each possible array slice. The first element of this list will be the product of dims, and the last element will be 1.