Functor Set.Make

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

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

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

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.

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

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

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

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

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

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

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

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

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 если такого элемента не существует.

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

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

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

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

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

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.

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

Проверьте, пусто ли множество.

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

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

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

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

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

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

to_list s является Set.S.elements s.

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

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

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

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

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

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