Модуль Option

Тип для значений типа option. Либо None, либо значение Some v.

none — это None.

some v — это Some v.

value o ~default — это v, если o — Some v, и default в противном случае.

get o — это v, если o — Some v, и вызывает исключение в противном случае.

bind o f — это f v, если o — Some v, и None, если o — None.

join oo — это Some v, если oo — Some (Some v), и None в противном случае.

map f o — это None, если o — None, и Some (f v), если o — Some v.

product o0 o1 — это Some (v0, v1), если o0 — Some v0, а o1 — Some
    v1, и None в противном случае.

fold ~none ~some o — это none, если o — None, и some v, если o — Some v.

iter f o — это f v, если o — Some v, и () в противном случае.

blend f o1 o2 — это o1, если o2 — None, o2, если o1 — None, и Some (f v1 v2), если o1 — Some v1 и o2 — Some v2.

for_all p ведёт себя подобно List.for_all p для списка, содержащего ноль или один элемент:

• for_all p None — true,
• for_all p (Some v) — p v.

exists p ведёт себя подобно List.exists p для списка, содержащего ноль или один элемент:

• exists p None — false,
• exists p (Some v) — p v.

is_none o — true тогда и только тогда, когда o — None.

is_some o — true тогда и только тогда, когда o — Some o.

equal eq o0 o1 — true тогда и только тогда, когда o0 и o1 оба являются None либо когда они являются Some v0 и Some v1, а eq v0 v1 — true.

compare cmp o0 o1 задаёт линейный порядок на значениях типа option, используя cmp для сравнения значений, обёрнутых в Some _. None меньше значений Some _.

to_result ~none o — это Ok v, если o — Some v, и Error none в противном случае.

to_list o — это [], если o — None, и [v], если o — Some v.

to_seq o — это o в виде последовательности. None — пустая последовательность, а Some v — последовательность из одного элемента, содержащая v.