package batteries
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=00f34b9aed4e47f314425b2ca9ceac206f112095a17ea9a7ffa6dac8cfccc492
md5=066051f9a210277710c54ad57c3b9568
doc/batteries.unthreaded/BatInterfaces/index.html
Module BatInterfaces
Common signatures for data structures.
module type Mappable = sig ... end
A signature for data structures which have a map : ('a -> 'b) -> ('a t -> 'b t)
operation.
module 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.
module type Monad = sig ... end
Signature for monads