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 EX2 = sig ... end

Extension of S2

module type T2 = sig ... end

The final unified Monad API for S2

module type S1 = sig ... end
module type Infix1 = sig ... end

Infix name space for S1

module type EX1 = sig ... end

Extension of S1

module type T1 = sig ... end

The final unified Monad API for S1

module type S = S1
module type T = T1
module type EX = EX1
module type Infix = Infix1