module Make: functor (M : Core.Std.Monad.Basic) -> sig .. end
functor (
M
:
Core.Std.Monad.Basic
) ->
sig
end
include struct ... end
val map_monad : 'a List.t -> f:('a -> 'b M.t) -> 'b list M.t
'a List.t -> f:('a -> 'b M.t) -> 'b list M.t
val map_monad_ignore : 'a List.t -> f:('a -> unit M.t) -> unit M.t
'a List.t -> f:('a -> unit M.t) -> unit M.t