Mnd 1.0.0

Functions

The individual functions are documented in the MONAD interface.

• (>>=)
• (>>)
• (|>>)
• foldM
• fold1M
• mapM
• forM
• iterM
• ifM

Syntax

OCaml 4.08.0 added support for user-defined binding operators to facilitate working with monads and similar structures. Monads defined with this library automatically have access to the let* and let+ syntax.

Instances

• Option: Canonical instance of 'a option. Also known as Maybe.
• Result: Canonical instance of ('a,'b) result. Also known as Error or Either.
• Reader: Also known as Env, Environment or configuration monad.
• Writer: Also known as logger monad.
• State