Sourceval from_Some : 'a option -> 'a Sourceval default : 'a -> 'a option -> 'a Sourceval iter : ('a -> unit) -> 'a option -> unit Sourceval iter_s : ('a -> unit Lwt.t) -> 'a option -> unit Lwt.t include Monad.S1 with type 'a t := 'a option
Sourceval return : 'a -> 'a option Sourceval bind : 'a option -> ('a -> 'b option) -> 'b option Sourceval map : ('a -> 'b) -> 'a option -> 'b option Sourceval mapM : ('a -> 'b option) -> 'a list -> 'b list option Sourceval mapM_ : ('a -> unit option) -> 'a list -> unit option Sourceval iterM : ('a -> unit option) -> 'a list -> unit option Sourceval fold_leftM : ('a -> 'b -> 'a option) -> 'a -> 'b list -> 'a option Sourceval parseM :
('a -> 'b list -> ('a * 'b list) option) ->
'a ->
'b list ->
'a option