An UnliftedArray_ a unlifted_a represents an array of values of a lifted type a that wrap values of an unlifted type unlifted_a. It is expected that unlifted_a ~ Unlifted a, but imposing that constraint here would force the type roles to nominal, which is often undesirable when arrays are used as components of larger datatypes.

A type synonym for an UnliftedArray_ containing lifted values of a particular type. As a general rule, this type synonym should not be used in class instances—use UnliftedArray_ with an equality constraint instead. It also should not be used when defining newtypes or datatypes, unless those will have restrictive type roles regardless—use UnliftedArray_ instead.

A mutable version of UnliftedArray_.

A mutable version of MutableUnliftedArray_.

Creates a new MutableUnliftedArray with the specified value as initial contents.

Creates a new MutableUnliftedArray. This function is unsafe because it initializes all elements of the array as pointers to the empty array. Attempting to read one of these elements before writing to it is in effect an unsafe coercion from UnliftedArray a to the element type.

Yields the length of an UnliftedArray_.

Yields the length of a MutableUnliftedArray_.

Determines whether two MutableUnliftedArray_ values are the same. This is object/pointer identity, not based on the contents.

Freezes a MutableUnliftedArray, yielding an UnliftedArray. This simply marks the array as frozen in place, so it should only be used when no further modifications to the mutable array will be performed.

Freezes a portion of a MutableUnliftedArray, yielding an UnliftedArray. This operation is safe, in that it copies the frozen portion, and the existing mutable array may still be used afterward.

Thaws a portion of an UnliftedArray, yielding a MutableUnliftedArray. This copies the thawed portion, so mutations will not affect the original array.

Thaws an UnliftedArray, yielding a MutableUnliftedArray. This does not make a copy.

Copies the contents of an immutable array into a mutable array.

Copies the contents of one mutable array into another.

Creates a copy of a portion of an UnliftedArray_

Creates a new MutableUnliftedArray containing a copy of a portion of another mutable array.

Execute a stateful computation and freeze the resulting array.

Execute a stateful computation and freeze the resulting array. It is possible, but unlikely, that the computation will be run multiple times in multiple threads.

Convert the unlifted array to a list.

Strict right-associated fold over the elements of an 'UnliftedArray.

Lazy left-associated fold over the elements of an UnliftedArray_.

Strict left-associated fold over the elements of an UnliftedArray_.

Strict effectful left-associated fold over the elements of an UnliftedArray_.

Effectfully traverse the elements of an UnliftedArray_, discarding the resulting values.

Effectful indexed traversal of the elements of an UnliftedArray_, discarding the resulting values.

Map over the elements of an UnliftedArray_.