package spotlib

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

Module Spotlib.MonadSource

include module type of struct include Monad_intf end
Sourcemodule type S2 = Monad_intf.S2

Minimum monad signature with an additional type parameter 'z

Sourcemodule type Infix2 = Monad_intf.Infix2

Infix name space for S2

Sourcemodule type Syntax2 = Monad_intf.Syntax2

syntax for S2

Sourcemodule type T2 = Monad_intf.T2

The final unified Monad API for S2

Sourcemodule type S1 = Monad_intf.S1
Sourcemodule type Syntax1 = Monad_intf.Syntax1

syntax for S1

Sourcemodule type Infix1 = Monad_intf.Infix1

Infix name space for S1

Sourcemodule type T1 = Monad_intf.T1

The final unified Monad API for S1

Sourcemodule type S = Monad_intf.S
Sourcemodule type T = Monad_intf.T
Sourcemodule type Infix = Monad_intf.Infix
Sourcemodule type Syntax = Monad_intf.Syntax
Sourcemodule Make (M : S1) : sig ... end

Build a full Monad interface of T1 from the minimum specification of S1. Note that it only builds functions. The type is not exported.

Sourcemodule Make2 (M : S2) : sig ... end

Build a full Monad interface of data type with 2 parameters, T2, from the minimum specification of S2. Note that it only builds functions. The type is not exported.