package batteries

Overview
Docs

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 Edit opam file Versions (14)

Authors

O

OCaml batteries-included team

Maintainers

C

Cedric Cellier <rixed@happyleptic.org>
F

Francois Berenger <unixjunkie@sdf.org>
Gabriel Scherer
T

Thibault Suzanne <thi.suzanne@gmail.com>

Sources

v3.5.0.tar.gz

md5=e4b70d1a716f0aaba36f419f618d0a2e

sha512=a31f1f8cf2c7c3c6c757f3bfae98ff61bb32bab6a1f1e215937df42bcfa447aad41a37edb28d7bcecb88b3838ed8bd57142bcf8e2d28e09bb538055fd8a3b72d

doc/batteries.unthreaded/BatOption/Monad/index.html

Module `BatOption.Monad`

This module provides everything needed to write and execute computations in the Option monad.

type 'a m = 'a option

The type of values in this monad : option

val return : 'a -> 'a m

return x puts a value in the Option monad, that is, returns Some x.

val bind : 'a m -> ('a -> 'b m) -> 'b m

bind m f combines the calculation result m with the function f. E.g, in the Option monad : bind (Some 1) (fun x -> if x = 1 then Some 4 else None) returns Some 4.