A wrapper to tag mutable vectors with a type level length.

Be careful when using the constructor here to not construct sized vectors which have a different length than that specified in the type parameter!

O(1) Yield the length of the mutable vector as an Int.

O(1) Yield the length of the mutable vector as a Proxy.

O(1) Check whether the mutable vector is empty.

O(1) Yield a slice of the mutable vector without copying it with an inferred length argument.

O(1) Yield a slice of the mutable vector without copying it with an explicit length argument.

O(1) Yield all but the last element of a non-empty mutable vector without copying.

O(1) Yield all but the first element of a non-empty mutable vector without copying.

O(1) Yield the first n elements. The resulting vector always contains this many elements. The length of the resulting vector is inferred from the type.

O(1) Yield the first n elements. The resulting vector always contains this many elements. The length of the resulting vector is given explicitly as a Proxy argument.

O(1) Yield all but the the first n elements. The given vector must contain at least this many elements. The length of the resulting vector is inferred from the type.

O(1) Yield all but the the first n elements. The given vector must contain at least this many elements. The length of the resulting vector is given explicitly as a Proxy argument.

O(1) Yield the first n elements, paired with the rest, without copying. The lengths of the resulting vectors are inferred from the type.

O(1) Yield the first n elements, paired with the rest, without copying. The length of the first resulting vector is passed explicitly as a Proxy argument.

O(1) Check whether two vectors overlap.

Create a mutable vector where the length is inferred from the type.

Create a mutable vector where the length is inferred from the type. The memory is not initialized.

Create a mutable vector where the length is inferred from the type and fill it with an initial value.

Create a mutable vector where the length is given explicitly as a Proxy argument and fill it with an initial value.

Create a mutable vector where the length is inferred from the type and fill it with values produced by repeatedly executing the monadic action.

Create a mutable vector where the length is given explicitly as a Proxy argument and fill it with values produced by repeatedly executing the monadic action.

Create a copy of a mutable vector.

Grow a mutable vector by an amount given explicitly as a Proxy argument.

Grow a mutable vector (from the front) by an amount given explicitly as a Proxy argument.

Reset all elements of the vector to some undefined value, clearing all references to external objects.

O(1) Yield the element at a given type-safe position using Finite.

O(1) Yield the element at a given type-safe position using Proxy.

O(1) Replace the element at a given type-safe position using Finite.

O(1) Replace the element at a given type-safe position using Proxy.

O(1) Modify the element at a given type-safe position using Finite.

O(1) Modify the element at a given type-safe position using Proxy.

O(1) Swap the elements at given type-safe positions using Finites.

O(1) Replace the element at a given type-safe position and return the old element, using Finite.

O(1) Replace the element at a given type-safe position and return the old element, using Finite.

O(1) Yield the element at a given Int position without bounds checking.

O(1) Replace the element at a given Int position without bounds checking.

O(1) Modify the element at a given Int position without bounds checking.

O(1) Swap the elements at given Int positions without bounds checking.

O(1) Replace the element at a given Int position and return the old element. No bounds checks are performed.

Compute the next permutation (in lexicographic order) of a given vector in-place. Returns False when the input is the last permutation.

Set all elements of the vector to the given value.

Copy a vector. The two vectors may not overlap.

Move the contents of a vector. If the two vectors do not overlap, this is equivalent to copy. Otherwise, the copying is performed as if the source vector were copied to a temporary vector and then the temporary vector was copied to the target vector.

Copy a vector. The two vectors may not overlap. This is not checked.

Convert a MVector into a MVector if it has the correct size, otherwise return Nothing.

Note that this does no copying; the returned MVector is a reference to the exact same vector in memory as the given one, and any modifications to it are also reflected in the given MVector.

Takes a MVector and returns a continuation providing a MVector with a size parameter n that is determined at runtime based on the length of the input vector.

Essentially converts a MVector into a MVector with the correct size parameter n.

Note that this does no copying; the returned MVector is a reference to the exact same vector in memory as the given one, and any modifications to it are also reflected in the given MVector.

Convert a MVector into a MVector.

Note that this does no copying; the returned MVector is a reference to the exact same vector in memory as the given one, and any modifications to it are also reflected in the given MVector.