package base

  1. Overview
  2. Docs
package base
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Base.MonadSource

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.

Sourcemodule type Basic = sig ... end
Sourcemodule type Basic2 = sig ... end
Sourcemodule type Basic3 = sig ... end
Sourcemodule type Basic_indexed = sig ... end
Sourcemodule type Infix = sig ... end
Sourcemodule type Infix2 = sig ... end
Sourcemodule type Infix3 = sig ... end
Sourcemodule type Infix_indexed = sig ... end
Sourcemodule type Syntax = sig ... end
Sourcemodule type Syntax2 = sig ... end
Sourcemodule type Syntax3 = sig ... end
Sourcemodule type Syntax_indexed = sig ... end
Sourcemodule type S_without_syntax = sig ... end
Sourcemodule type S = sig ... end
Sourcemodule type S2 = sig ... end
Sourcemodule type S3 = sig ... end
Sourcemodule type S_indexed = sig ... end
Sourcemodule Make (X : Basic) : S with type 'a t := 'a X.t
Sourcemodule Make2 (X : Basic2) : S2 with type ('a, 'e) t := ('a, 'e) X.t
Sourcemodule Make3 (X : Basic3) : S3 with type ('a, 'd, 'e) t := ('a, 'd, 'e) X.t
Sourcemodule Make_indexed (X : Basic_indexed) : S_indexed with type ('a, 'd, 'e) t := ('a, 'd, 'e) X.t
Sourcemodule Ident : S with type 'a t = 'a