package mechaml

  1. Overview
  2. Docs

Module Monad.SyntaxSource

The Syntax module implements the monadic operators provided by OCaml 4.08

Sourceval (let*) : 'a m -> ('a -> 'b m) -> 'b m
Sourceval (and*) : 'a m -> 'b m -> ('a * 'b) m

The semantic of ( and* ) is the same as in Agent.Monad.List.iter_p, that is the two elements are fed with the same initial agent and evaluated in parallel. As there is no reason to choose one state over the other as a result, we restore the state to the same initial value.

Sourceval (let+) : 'a m -> ('a -> 'b) -> 'b m
Sourceval (and+) : 'a m -> 'b m -> ('a * 'b) m