Module Caml.Option
Options
type 'a t
= 'a option
=
|
None
|
Some of 'a
The type for option values. Either
None
or a valueSome v
.
val value : 'a option -> default:'a -> 'a
value o ~default
isv
ifo
isSome v
anddefault
otherwise.
val bind : 'a option -> ('a -> 'b option) -> 'b option
bind o f
isf v
ifo
isSome v
andNone
ifo
isNone
.
val join : 'a option option -> 'a option
join oo
isSome v
ifoo
isSome (Some v)
andNone
otherwise.
val map : ('a -> 'b) -> 'a option -> 'b option
map f o
isNone
ifo
isNone
andSome (f v)
iso
isSome v
.
Predicates and comparisons
Converting
val to_result : none:'e -> 'a option -> ('a, 'e) Stdlib.result
to_result ~none o
isOk v
ifo
isSome v
andError none
otherwise.
val to_seq : 'a option -> 'a Seq.t
to_seq o
iso
as a sequence.None
is the empty sequence andSome v
is the singleton sequence containingv
.