Module arrays

Functions

• array_length
  Helper function to count the number of non-empty elements in a validated array. Danger: This is only safe to call if the input arrays have been "validated" (dense lhs, empty rhs).

  1. All elements before the first empty element are non-empty
  2. All elements after and including the first empty element are empty
  3. The array forms a contiguous sequence of non-empty elements followed by empty elements
• array_length_until
• array_merge
  This function assumes that array1 and array2 contain no more than N non-empty elements between them, if this is not the case then elements from the end of array2 will be dropped. Danger: This is only safe to call if the input arrays have been "validated" (dense lhs, empty rhs).
• array_padded_with
• check_permutation
• subarray
  Helper fn to create a subarray from a given array.
• trimmed_array_length_hint