Module Monad.OptionSource

Parameters

module M : S

Signature

Sourceval iter : 'a option -> f:('a -> unit M.t) -> unit M.t
Sourceval map : 'a option -> f:('a -> 'b M.t) -> 'b option M.t
Sourceval bind : 'a option -> f:('a -> 'b option M.t) -> 'b option M.t