module Make2: functor (M : Core.Monad.Basic2) -> sig .. end
functor (
M
:
Core.Monad.Basic2
) ->
sig
end
include struct ... end
val map_monad : 'a Extended_monad.List.t -> f:('a -> ('b, 'c) M.t) -> ('b list, 'c) M.t
'a Extended_monad.List.t -> f:('a -> ('b, 'c) M.t) -> ('b list, 'c) M.t
val map_monad_ignore : 'a Extended_monad.List.t -> f:('a -> (unit, 'b) M.t) -> (unit, 'b) M.t
'a Extended_monad.List.t -> f:('a -> (unit, 'b) M.t) -> (unit, 'b) M.t