Тип модуля 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, если множество пусто.

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

Аналогично 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 или выше.

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

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

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

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