package spotlib

  1. Overview
  2. Docs
package spotlib
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include Monad_intf end
module type S2 = Monad_intf.S2

Minimum monad signature with an additional type parameter 'z

module type Infix2 = Monad_intf.Infix2

Infix name space for S2

module type Syntax2 = Monad_intf.Syntax2

syntax for S2

module type T2 = Monad_intf.T2

The final unified Monad API for S2

module type S1 = Monad_intf.S1
module type Syntax1 = Monad_intf.Syntax1

syntax for S1

module type Infix1 = Monad_intf.Infix1

Infix name space for S1

module type T1 = Monad_intf.T1

The final unified Monad API for S1

module type S = Monad_intf.S
module type T = Monad_intf.T
module type Infix = Monad_intf.Infix
module type Syntax = Monad_intf.Syntax
module 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.

module 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.