Модуль ArrayLabels

Псевдоним для типа массивов.

Возвращает длину (количество элементов) заданного массива.

get a n возвращает элемент с номером n массива a. Первый элемент имеет номер 0. Последний элемент имеет номер length a - 1. Вы также можете использовать a.(n) вместо get a n.

set a n x изменяет массив a на месте, заменяя элемент с номером n на x. Вы также можете использовать a.(n) <- x вместо set a n x.

make n x возвращает новый массив длины n, инициализированный значением x. Все элементы этого нового массива изначально физически равны x (в смысле предиката ==). Следовательно, если x изменяемый, он используется совместно всеми элементами массива, и изменение x через одну из записей массива изменит все другие записи одновременно.

create_float n возвращает новый массив чисел с плавающей точкой длины n, с неинициализированными данными.

init n ~f возвращает новый массив длины n, с элементом под номером i инициализированным результатом f i. Другими словами, init n ~f табулирует результаты f, применённые к целым числам от 0 до n-1.

make_matrix ~dimx ~dimy e возвращает двумерный массив (массив массивов) с первой размерностью dimx и второй размерностью dimy. Все элементы этой новой матрицы изначально физически равны e. Элемент (x,y) матрицы m доступен с помощью обозначения m.(x).(y).

append v1 v2 возвращает новый массив, содержащий конкатенацию массивов v1 и v2.

То же, что ArrayLabels.append, но конкатенирует список массивов.

sub a ~pos ~len возвращает новый массив длины len, содержащий элементы с номерами от pos до pos + len - 1 массива a.

copy a возвращает копию a, то есть новый массив, содержащий те же элементы, что и a.

fill a ~pos ~len x изменяет массив a на месте, сохраняя x в элементах с номерами от pos до pos + len - 1.

blit ~src ~src_pos ~dst ~dst_pos ~len копирует len элементов из массива src, начиная с элемента под номером src_pos, в массив dst, начиная с элемента под номером dst_pos. Он работает корректно, даже если src и dst — один и тот же массив, и исходный и целевой фрагменты перекрываются.

to_list a возвращает список всех элементов a.

of_list l возвращает новый массив, содержащий элементы l.

iter ~f a применяет функцию f по очереди ко всем элементам a. Это эквивалентно f a.(0); f a.(1); ...; f a.(length a - 1); ().

То же, что ArrayLabels.iter, но функция применяется к индексу элемента как первому аргументу, а сам элемент — как второй аргумент.

map ~f a применяет функцию f ко всем элементам a, и строит массив с результатами, возвращенными f: [| f a.(0); f a.(1); ...; f a.(length a - 1) |].

То же, что ArrayLabels.map, но функция применяется к индексу элемента как первому аргументу, а сам элемент — как второй аргумент.

fold_left ~f ~init a вычисляет f (... (f (f init a.(0)) a.(1)) ...) a.(n-1), где n — длина массива a.

fold_left_map — комбинация ArrayLabels.fold_left и ArrayLabels.map, которая протаскивает аккумулятора через вызовы f.

fold_right ~f a ~init вычисляет f a.(0) (f a.(1) ( ... (f a.(n-1) init) ...)), где n — длина массива a.

iter2 ~f a b применяет функцию f ко всем элементам a и b.

map2 ~f a b применяет функцию f ко всем элементам a и b, и строит массив с результатами, возвращенными f: [| f a.(0) b.(0); ...; f a.(length a - 1) b.(length b - 1)|].

for_all ~f [|a1; ...; an|] проверяет, удовлетворяют ли все элементы массива предикату f. То есть, он возвращает (f a1) && (f a2) && ... && (f an).

exists ~f [|a1; ...; an|] проверяет, удовлетворяет ли хотя бы один элемент массива предикату f. То есть, он возвращает (f a1) || (f a2) || ... || (f an).

То же, что и ArrayLabels.for_all, но для предиката с двумя аргументами.

То же, что и ArrayLabels.exists, но для предиката с двумя аргументами.

mem a ~set истинно тогда и только тогда, когда a структурно равен элементу l (т.е. существует элемент x в l, такой что compare a x = 0).

То же, что и ArrayLabels.mem, но использует физическое равенство для сравнения элементов списка вместо структурного равенства.

find_opt ~f a возвращает первый элемент массива a, который удовлетворяет предикату f, или None если нет значения, удовлетворяющего f в массиве a.

find_map ~f a применяет f к элементам a в порядке следования и возвращает первый результат вида Some v, или None если таковых нет.

split [|(a1,b1); ...; (an,bn)|] является ([|a1; ...; an|], [|b1; ...; bn|]).

combine [|a1; ...; an|] [|b1; ...; bn|] является [|(a1,b1); ...; (an,bn)|]. Поднимает Invalid_argument если длины двух массивов различны.

Сортирует массив в порядке возрастания согласно функции сравнения. Функция сравнения должна возвращать 0, если её аргументы равны, положительное целое число, если первый больше, и отрицательное целое число, если первый меньше (полная спецификация приведена ниже). Например, compare — подходящая функция сравнения. После вызова sort, массив сортируется на месте в порядке возрастания. sort гарантируется, что будет выполняться с постоянным объёмом памяти и (максимально) логарифмическим объёмом стека.

Текущая реализация использует сортировку кучей. Она работает с постоянным объёмом стека.

Спецификация функции сравнения: Пусть a — массив, а cmp — функция сравнения. Следующее должно выполняться для всех x, y, z в a:

• cmp x y > 0 тогда и только тогда, когда cmp y x < 0
• если cmp x y >= 0 и cmp y z >= 0, то cmp x z >= 0

По завершении sort a содержит те же элементы, что и ранее, но переупорядоченные таким образом, что для всех i и j, являющихся допустимыми индексами a:

• cmp a.(i) a.(j) >= 0 тогда и только тогда, когда i >= j

То же, что и ArrayLabels.sort, но алгоритм сортировки устойчивый (т.е. элементы, которые сравниваются как равные, сохраняются в исходном порядке) и не гарантирует работу с постоянным объемом памяти.

Текущая реализация использует сортировку слиянием. Она использует временный массив длиной n/2, где n — длина массива. Обычно она быстрее, чем текущая реализация ArrayLabels.sort.

То же, что и ArrayLabels.sort или ArrayLabels.stable_sort, какой из них быстрее на типичном вводе.

Итерировать по массиву в порядке возрастания. Изменения массива во время итерации будут отражены в последовательности.

Итерировать по массиву в порядке возрастания, выводить индексы вместе с элементами. Изменения массива во время итерации будут отражены в последовательности.

Создать массив из генератора