package fmlib
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
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
module M : Interfaces.MONAD
Signature
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 ->
...)
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 ->
...)
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page