package base

You can search for identifiers within the package.

in-package search v0.2.0

Full standard library replacement for OCaml

Install

Dune Dependency

github.com Changelog MIT License Edit opam file Versions (19)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

v0.12.2.tar.gz

sha256=0aa8fa8778412c67c38d40e9859bfa5871c4f9c25991f09fea201ae6aaf1d0d9

md5=7150e848a730369a2549d01645fb6c72

doc/base/Base/Monad/index.html

Module `Base.Monad`

A monad is an abstraction of the concept of sequencing of computations. A value of type 'a monad represents a computation that returns a value of type 'a.

module type Basic = sig ... end

module type Basic2 = sig ... end

module type Basic3 = sig ... end

module type Basic_indexed = sig ... end

module type Infix = sig ... end

module type Infix2 = sig ... end

module type Infix3 = sig ... end

module type Infix_indexed = sig ... end

module type Syntax = sig ... end

module type Syntax2 = sig ... end

module type Syntax3 = sig ... end

module type Syntax_indexed = sig ... end

module type S_without_syntax = sig ... end

module type S = sig ... end

module type S2 = sig ... end

module type S3 = sig ... end

module type S_indexed = sig ... end

module Make (X : Basic) : S with type 'a t := 'a X.t

module Make2 (X : Basic2) : S2 with type ('a, 'e) t := ('a, 'e) X.t

module Make3 (X : Basic3) : S3 with type ('a, 'd, 'e) t := ('a, 'd, 'e) X.t

module Make_indexed
  (X : Basic_indexed) : 
  S_indexed with type ('a, 'd, 'e) t := ('a, 'd, 'e) X.t

module Ident : S with type 'a t = 'a