package batteries

You can search for identifiers within the package.

in-package search v0.2.0

A community-maintained standard library extension

Install

dune-project

Dependency

github.com Readme Edit opam file Versions (14)

Authors

O

OCaml batteries-included team

Maintainers

Sources

v3.7.2.tar.gz

md5=1fd7bddce07cf5d244fc9427f7b5e4d4

sha512=c0f2a0fdc8253e0ea999d8d4c58bfbf32b18d251a2e1d9656bf279de5f01a33e9aabac3af4d95f465f8b671e7711ebd37218043face233340a0c11b08fa62f78

doc/batteries.unthreaded/BatEnum/WithMonad/index.html

Module `BatEnum.WithMonad`Source

Monadic operations on Enumerations containing monadic elements

This module will let you use sequence and fold_monad functions over enumerations.

Parameters

module Mon : BatInterfaces.Monad

Signature

Sourcetype 'a m = 'a Mon.m

Type of the monadic elements.

Sourceval sequence : 'a m t -> 'a t m

sequence e evaluates each monadic elements (of type 'a m) contained in the enumeration e to get a monadic enumeration of 'a elements, of type 'a BatEnum.t m.

Sourceval fold_monad : ('a -> 'b -> 'a m) -> 'a -> 'b t -> 'a m

fold_monad f init e does a folding of the enumeration e applying step by step the function f that gives back results in the Mon monad, with the init initial element. The result is a value in the Mon monad.

On This Page

Parameters
Signature