Module List.Monadic

Monadic list functions

Parameters

Signature

val fold_left : ('a -> 'b -> 'b M.t) -> 'a t -> 'b -> 'b M.t

fold_left f lst start leftfolds the function f over the list lst starting with the value start. Continuation of the fold is determined by the bind operator >>= of the monad M. E.g. if the monad M is Option the folding stops as soon as f e acc returns the value None.

fold_left f [a b c ...] s =
  M.(f a s   >>= fun acc ->
     f b acc >>= fun acc ->
     f c acc >>= fun acc ->
     ...)
val fold_right : ('a -> 'b -> 'b M.t) -> 'a t -> 'b -> 'b M.t

The same as fold_left just right folding.

fold_right f [... x y z] s =
fold_left f (rev [... x y z]) s =
  M.(f z s   >>= fun acc ->
     f y acc >>= fun acc ->
     f x acc >>= fun acc ->
     ...)
val foldi_left : (int -> 'a -> 'b -> 'b M.t) -> 'a t -> 'b -> 'b M.t

The same as fold_left except that the folding function receives the position of the first argument in the list as an additional argument.