Функтор MoreLabels.Map.Make

Тип ключей map.

Тип map из типа key в тип 'a.

Пустой map.

Проверка на пустоту map.

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

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

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

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

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

merge ~f m1 m2 вычисляет map, чьи ключи являются подмножеством ключей 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 вычисляет map, чьи ключи являются подмножеством ключей 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 в порядке возрастания по отношению к упорядочению по типу ключей.

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

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

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

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

Добавить заданные привязки в карту в порядке.

Создать карту из заданных привязок