Модуль StdLabels.Array

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

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

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, что быстрее на типичных входных данных.

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

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

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