Module Option.SyntaxSource

Binding operators. See manual section 12.23 for details.

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

( let* ) is Option.bind.

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

( and* ) is Option.product.

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

( let+ ) is Option.map.

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

( and+ ) is Option.product.