package batteries

  1. Overview
  2. Docs
A community-maintained standard library extension

Install

dune-project
 Dependency

Authors

Maintainers

Sources

v3.8.0.tar.gz
md5=b691e5870f876c6e590d6aa51b4c5457
sha512=3b0643ff337cd70da8c4b77887d212e82d043a7163fca36588be12186bc86bbcf0d56b13349325f12eabb96c846204c88560786342f50af7bf4e20b9480d3964

doc/batteries.unthreaded/BatInterfaces/index.html

Module BatInterfacesSource

Common signatures for data structures.

Sourcemodule type Mappable = sig ... end

A signature for data structures which have a map : ('a -> 'b) -> ('a t -> 'b t) operation.

Sourcemodule type OrderedType = sig ... end

Monads are a design pattern which may be used to enforce strong functional or non-functional constraints on the manipulation of resources, while remaining in the world of functional programming. For instance, monads may serve to implement approximations of a types-and-effects type system, to enforce functional use of arrays or other mutable data structures, or to enforce the fact that only files opened for writing may be actually used for writing.

For more information on monads, see A Monad Tutorial for Ocaml.

This definition is compatible with the standard syntax extension for monads. For more information, see the documentation of pa_monad.

  • author David Teller
Sourcemodule type Monad = sig ... end

Signature for monads

OCaml

Innovation. Community. Security.