Тип модуля MoreLabels.Set.S

Тип элементов множества.

Тип множеств.

Пустое множество.

Проверка, является ли множество пустым.

mem x s проверяет, принадлежит ли x множеству s.

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

singleton x возвращает одноэлементное множество, содержащее только x.

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

Объединение множеств.

Пересечение множеств.

Проверка, являются ли два множества непересекающимися.

Разность множеств: diff s1 s2 содержит элементы s1, которые не находятся в s2.

Полный порядок между множествами. Может использоваться как функция упорядочивания для множеств множеств.

equal s1 s2 проверяет, равны ли множества s1 и s2, то есть содержат ли они равные элементы.

subset s1 s2 проверяет, является ли множество s1 подмножеством множества s2.

iter ~f s последовательно применяет f ко всем элементам s. Элементы s представляются f в возрастающем порядке по отношению к порядку над типом элементов.

map ~f s — это множество, элементы которого — f a0, f a1, ..., f
          aN, где a0, a1, ..., aN — элементы s.

Элементы передаются f в возрастающем порядке по отношению к порядку над типом элементов.

Если ни один элемент s не изменяется f, возвращается s без изменений. (Если каждый вывод f физически равен его вводу, то возвращаемое множество физически равно s.)

fold ~f s init вычисляет (f xN ... (f x2 (f x1 init))...), где x1 ... xN — элементы s, в возрастающем порядке.

for_all ~f s проверяет, удовлетворяют ли все элементы множества предикату f.

exists ~f s проверяет, удовлетворяет ли хотя бы один элемент множества предикату f.

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

filter_map ~f s возвращает множество всех v, таких что f x = Some v для некоторого элемента x множества s.

Например,

filter_map (fun n -> if n mod 2 = 0 then Some (n / 2) else None) s

является множеством половин чётных элементов s.

Если ни один элемент s не изменён или удалён f (если f x = Some x для каждого элемента x ), тогда возвращается s: результат функции тогда физически равен s.

partition ~f s возвращает пару множеств (s1, s2), где s1 — множество всех элементов s, удовлетворяющих предикату f, и s2 — множество всех элементов s , не удовлетворяющих f.

Возвращает количество элементов множества.

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

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

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

Аналогично MoreLabels.Set.S.min_elt, но возвращает наибольший элемент данного множества.

Аналогично MoreLabels.Set.S.min_elt_opt, но возвращает наибольший элемент данного множества.

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

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

split x s возвращает тройку (l, present, r), где l — множество элементов s , строго меньших x; r — множество элементов s , строго больших x; present — false , если s не содержит элемента, равного x, или true , если s содержит элемент, равный x.

find x s возвращает элемент s , равный x (согласно Ord.compare) или вызывает Not_found, если такого элемента нет.

find_opt x s возвращает элемент s , равный x (согласно Ord.compare ), или None, если такого элемента нет.

find_first ~f s, где f — монотонно возрастающая функция, возвращает наименьший элемент e из s , такой что f e, или вызывает Not_found, если такого элемента нет.

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

find_first_opt ~f s, где f — монотонно возрастающая функция, возвращает опцию, содержащую наименьший элемент e из s , такой что f e, или None , если такого элемента нет.

find_last ~f s, где f — монотонно убывающая функция, возвращает наибольший элемент e из s такой, что f e, или вызывает Not_found если такого элемента не существует.

find_last_opt ~f s, где f — монотонно убывающая функция, возвращает значение, содержащее наибольший элемент e из s такой, что f e, или None если такого элемента не существует.

of_list l создаёт множество из списка элементов. Это обычно более эффективно, чем применение add к списку, за исключением, возможно, списков с множеством дублирующихся элементов.

to_seq_from x s итерируется по подмножеству элементов s в порядке возрастания, начиная с x или выше.

Итерируется по всему множеству в порядке возрастания

Итерируется по всему множеству в порядке убывания

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

Создаёт множество из заданных связываний