package fmlib

  1. Overview
  2. No Docs
Functional monadic library

Install

Dune Dependency

Authors

Maintainers

Sources

0.2.0.tar.gz
sha256=d47f6539af49a4c3e947dbfbe416c1e78d534897cd6d9d8e3660aae0cf8d9494
md5=d649b8a62403362bd3a24cbf1a9af590

doc/fmlib.fmlib_std/Fmlib_std/List/Monadic/index.html

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.

OCaml

Innovation. Community. Security.