module M : Base.Monad.S3val inject : ('a, 'y, 'z) M.t -> ('a -> 'y -> 'z -> higher_kinded) tval project : ('a -> 'y -> 'z -> higher_kinded) t -> ('a, 'y, 'z) M.tval (>>=) :
('a -> 'd -> 'e -> higher_kinded) t ->
('a0 -> ('b -> 'd0 -> 'e0 -> higher_kinded) t) ->
('b0 -> 'd1 -> 'e1 -> higher_kinded) tval (>>|) :
('a -> 'd -> 'e -> higher_kinded) t ->
('a0 -> 'b) ->
('b0 -> 'd0 -> 'e0 -> higher_kinded) tmodule Let_syntax : sig ... endmodule Monad_infix : sig ... endval bind :
('a -> 'd -> 'e -> higher_kinded) t ->
f:('a0 -> ('b -> 'd0 -> 'e0 -> higher_kinded) t) ->
('b0 -> 'd1 -> 'e1 -> higher_kinded) tval return : 'a -> ('a0 -> 'b -> 'c -> higher_kinded) tval map :
('a -> 'd -> 'e -> higher_kinded) t ->
f:('a0 -> 'b) ->
('b0 -> 'd0 -> 'e0 -> higher_kinded) tval join :
(('a -> 'd -> 'e -> higher_kinded) t -> 'd0 -> 'e0 -> higher_kinded) t ->
('a0 -> 'd1 -> 'e1 -> higher_kinded) tval ignore_m :
('a -> 'd -> 'e -> higher_kinded) t ->
(unit -> 'd0 -> 'e0 -> higher_kinded) tval all :
('a -> 'd -> 'e -> higher_kinded) t list ->
('a0 list -> 'd0 -> 'e0 -> higher_kinded) tval all_unit :
(unit -> 'd -> 'e -> higher_kinded) t list ->
(unit -> 'd0 -> 'e0 -> higher_kinded) t