Module Monad.Option

Parameters

module M : S

Signature

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