Функтор Map.Make

Тип ключей карты.

Тип карт от типа key к типу 'a.

Пустая карта.

Проверяет, является ли карта пустой.

mem x m возвращает true, если m содержит привязку для x, и false в противном случае.

add key data m возвращает карту, содержащую те же привязки, что и m, плюс привязку key к data. Если key уже была привязана в m к значению, физически равному data, возвращается m без изменений (результат функции затем физически равен m). В противном случае, предыдущая привязка key в m исчезает.

update key f m возвращает карту, содержащую те же привязки, что и m, за исключением привязки key. В зависимости от значения y, где y равно f (find_opt key m), привязка key добавляется, удаляется или обновляется. Если y равно None, привязка удаляется, если она существует; в противном случае, если y равно Some z, то key связывается со значением z в результирующей карте. Если key уже была привязана в m к значению, физически равному z, возвращается m без изменений (результат функции затем физически равен m).

singleton x y возвращает карту с одной привязкой y для x.

remove x m возвращает карту, содержащую те же привязки, что и m, за исключением x, которая не привязана в результирующей карте. Если x не присутствовала в m, возвращается m без изменений (результат функции тогда физически равен m).

merge f m1 m2 вычисляет карту, ключи которой являются подмножеством ключей m1 и m2 Функция f определяет наличие каждой такой привязки и соответствующее значение. В терминах операции find_opt, у нас есть find_opt x (merge f m1 m2) = f x (find_opt x m1) (find_opt x m2) для любого ключа x, при условии, что f x None None = None.

union f m1 m2 вычисляет карту, ключи которой являются подмножеством ключей m1 и m2 Когда одна и та же привязка определена в обоих аргументах, для их объединения используется функция f Это частный случай merge: union f m1 m2 эквивалентно merge f' m1 m2, где

• f' _key None None = None
• f' _key (Some v) None = Some v
• f' _key None (Some v) = Some v
• f' key (Some v1) (Some v2) = f key v1 v2

Полный порядок между картами. Первый аргумент — это полный порядок, используемый для сравнения данных, связанных с одинаковыми ключами в двух картах.

equal cmp m1 m2 проверяет, равны ли карты m1 и m2, то есть содержат ли они равные ключи и связывают ли их с равными данными. cmp - это предикат равенства, используемый для сравнения данных, связанных с ключами.

iter f m применяет f ко всем привязанностям в карте m. f получает ключ в качестве первого аргумента и соответствующее значение в качестве второго аргумента. Привязки передаются f в возрастающем порядке относительно порядка над типом ключей.

fold f m init вычисляет (f kN dN ... (f k1 d1 init)...), где k1 ... kN являются ключами всех привязанностей в m (в возрастающем порядке), а d1 ... dN - это связанные данные.

for_all f m проверяет, удовлетворяют ли все привязки карты предикату f.

exists f m проверяет, удовлетворяет ли хотя бы одна привязка карты предикату f.

filter f m возвращает карту со всеми привязками в m, удовлетворяющими предикату p. Если все привязки в m удовлетворяют f, возвращается m без изменений (результат функции затем физически равен m).

filter_map f m применяет функцию f к каждой привязке в m и строит карту из результатов. Для каждой привязки (k, v) в входной карте:

• если f k v равно None, то k не присутствует в результате,
• если f k v равно Some v', то привязка (k, v') находится в выходной карте.

Например, следующая функция над картами, значениями которых являются списки

        filter_map
          (fun _k li -> match li with [] -> None | _::tl -> Some tl)
          m
        

удаляет все привязки m с пустым значением и извлекает первый элемент каждого ненулевого значения.

partition f m возвращает пару карт (m1, m2), где m1 содержит все привязки m которые удовлетворяют предикату f, и m2 - это карта со всеми привязками m которые не удовлетворяют f.

Возвращает количество привязок карты.

Возвращает список всех привязок данной карты. Возвращаемый список отсортирован по возрастанию ключей относительно порядка Ord.compare, где Ord - аргумент, переданный Map.Make.

Возвращает привязку с наименьшим ключом в данной карте (относительно порядка Ord.compare или повышает Not_found, если карта пуста.

Возвращает привязку с наименьшим ключом в данной карте (относительно порядка Ord.compare или None, если карта пуста.

Аналогично Map.S.min_binding, но возвращает привязку с наибольшим ключом в данной карте.

Аналогично Map.S.min_binding_opt, но возвращает привязку с наибольшим ключом в данной карте.

Возвращает одну привязку данной карты или повышает Not_found, если карта пуста. Какой именно привязка выбрана, не определено, но равные привязки будут выбраны для равных карт.

Возвращает одну привязку данной карты или None если карта пуста. Какой именно привязка выбрана, не определено, но равные привязки будут выбраны для равных карт.

split x m возвращает тройку (l, data, r), где l — это карта со всеми связываниями m, у которых ключ строго меньше x; r — это карта со всеми связываниями m, у которых ключ строго больше x; data — это None, если m не содержит связывания для x, или Some v, если m связывает v с x.

find x m возвращает текущее значение x в m, или поднимает Not_found, если связывание для x не существует.

find_opt x m возвращает Some v, если текущее значение x в m равно v, или None, если связывание для x не существует.

find_first f m, где f — монотонно возрастающая функция, возвращает связывание m с самым низким ключом k таким, что f k, или поднимает Not_found, если такого ключа не существует.

Например, find_first (fun k -> Ord.compare k x >= 0) m вернёт первое связывание k, v m, где Ord.compare k x >= 0 (интуитивно: k >= x), или поднимет Not_found, если x больше любого элемента m.

find_first_opt f m, где f — монотонно возрастающая функция, возвращает опцию, содержащую связывание m с самым низким ключом k таким, что f k, или None, если такого ключа не существует.

find_last f m, где f — монотонно убывающая функция, возвращает связывание m с самым высоким ключом k таким, что f k, или поднимает Not_found, если такого ключа не существует.

find_last_opt f m, где f — монотонно убывающая функция, возвращает опцию, содержащую связывание m с самым высоким ключом k таким, что f k, или None, если такого ключа не существует.

map f m возвращает карту с тем же доменом, что и m, где связанное значение a всех связываний m было заменено результатом применения f к a. Связывания передаются f в возрастающем порядке относительно порядка над типом ключей.

Аналогично Map.S.map, но функция получает в качестве аргументов и ключ, и связанное значение для каждого связывания карты.

Итерация по всей карте в порядке возрастания ключей

Итерация по всей карте в порядке убывания ключей

to_seq_from k m итерирует по подмножеству связываний m, в порядке возрастания ключей, начиная с ключа k или выше.

Добавление заданных связываний в карту в порядке.

Создание карты из заданных связываний