Module Option.Syntax

Binding operators. See manual section 12.23 for details.

since 5.5

val (let*) : 'a option -> ('a -> 'b option) -> 'b option

let (let*): option('a) => ('a => option('b)) => option('b);

( let* ) is Option.bind.

val (and*) : 'a option -> 'b option -> ('a * 'b) option

let (and*): option('a) => option('b) => option(('a, 'b));

( and* ) is Option.product.

val (let+) : 'a option -> ('a -> 'b) -> 'b option

let (let+): option('a) => ('a => 'b) => option('b);

( let+ ) is Option.map.

val (and+) : 'a option -> 'b option -> ('a * 'b) option

let (and+): option('a) => option('b) => option(('a, 'b));

( and+ ) is Option.product.