package spotlib

  1. Overview
  2. Docs
module type S2 = sig ... end

Minimum monad signature with an additional type parameter 'z

module type Infix2 = sig ... end

Infix name space for S2

module type Syntax2 = sig ... end

syntax for S2

module type T2 = sig ... end

The final unified Monad API for S2

module type S1 = sig ... end
module type Syntax1 = sig ... end

syntax for S1

module type Infix1 = sig ... end

Infix name space for S1

module type T1 = sig ... end

The final unified Monad API for S1

module type S = S1
module type T = T1
module type Infix = Infix1
module type Syntax = Syntax1