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，否則拋出例外。
o 是 None 則拋出 Invalid_argument。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 的單元素序列。