Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Climate_stdlib.Option
Sourceinclude module type of Option
The type for option values. Either None
or a value Some v
.
none
is None
.
some v
is Some v
.
value o ~default
is v
if o
is Some v
and default
otherwise.
get o
is v
if o
is Some v
and raise otherwise.
join oo
is Some v
if oo
is Some (Some v)
and None
otherwise.
fold ~none ~some o
is none
if o
is None
and some v
if o
is Some v
.
is_none o
is true
if and only if o
is None
.
is_some o
is true
if and only if o
is Some o
.
compare cmp o0 o1
is a total order on options using cmp
to compare values wrapped by Some _
. None
is smaller than Some _
values.
to_result ~none o
is Ok v
if o
is Some v
and Error none
otherwise.
to_list o
is []
if o
is None
and [v]
if o
is Some v
.