Module Monads.OptionMonad

return x wraps a value x into an option.

bind opt f applies the function f to the value inside opt if it is Some, otherwise returns None.

Infix operator for bind. Equivalent to bind opt f.

opt >>| f applies the function f to the value inside opt if it is Some, and wraps the result in Some.

opt1 >>! opt2 returns opt1 if it is Some, otherwise returns opt2.

fold_left f acc lst folds over the list lst using the function f and an accumulator acc, where f returns an option. If any step returns None, the entire computation returns None.

map f lst applies the function f to each element of the list lst, where f returns an option. The result is a list of option values.

iter f lst applies the function f to each element of the list lst.