module Option: Optiontype'at ='a option=
| |
None |
| |
Some of |
选项值的类型。要么是 None，要么是值 Some v。
val none : 'a optionnone 等于 None。
val some : 'a -> 'a optionsome v 等于 Some v。
val value : 'a option -> default:'a -> 'avalue o ~default 如果 o 是 Some v 则返回 v，否则返回 default。
val get : 'a option -> 'aget o 如果 o 是 Some v 则返回 v，否则抛出异常。
Invalid_argument 异常，如果 o 是 None。val bind : 'a option -> ('a -> 'b option) -> 'b optionbind o f 如果 o 是 Some v 则返回 f v，如果 o 是 None 则返回 None。
val join : 'a option option -> 'a optionjoin oo 如果 oo 是 Some (Some v) 则返回 Some v，否则返回 None。
val map : ('a -> 'b) -> 'a option -> 'b optionmap f o 如果 o 是 None 则返回 None，如果 o 是 Some v 则返回 Some (f v)。
val fold : none:'a -> some:('b -> 'a) -> 'b option -> 'afold ~none ~some o 如果 o 是 None 则返回 none，如果 o 是 Some v 则返回 some v。
val iter : ('a -> unit) -> 'a option -> unititer f o 如果 o 是 Some v 则返回 f v，否则返回 ()。
val is_none : 'a option -> boolis_none o 当且仅当 o 是 None 时返回 true。
val is_some : 'a option -> boolis_some o 当且仅当 o 是 Some o 时返回 true。
val equal : ('a -> 'a -> bool) -> 'a option -> 'a option -> boolequal eq o0 o1 当且仅当 o0 和 o1 都是 None，或者它们分别是 Some v0 和 Some v1 且 eq v0 v1 为 true 时返回 true。
val compare : ('a -> 'a -> int) -> 'a option -> 'a option -> intcompare cmp o0 o1 使用 cmp 比较 Some _ 包裹的值，对选项进行全序比较。 None 小于 Some _ 值。
val to_result : none:'e -> 'a option -> ('a, 'e) resultto_result ~none o 如果 o 是 Some v 则返回 Ok v，否则返回 Error none。
val to_list : 'a option -> 'a listto_list o 如果 o 是 None 则返回 []，如果 o 是 Some v 则返回 [v]。
val to_seq : 'a option -> 'a Seq.tto_seq o 将 o 转换为一个序列。 None 是空序列， Some v 是包含 v 的单元素序列。