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 EX2 = Monad_intf.EX2

Extension of S2

Sourcemodule type T2 = Monad_intf.T2

The final unified Monad API for S2

Sourcemodule type S1 = Monad_intf.S1
Sourcemodule type Infix1 = Monad_intf.Infix1

Infix name space for S1

Sourcemodule type EX1 = Monad_intf.EX1

Extension of 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 EX = Monad_intf.EX
Sourcemodule type Infix = Monad_intf.Infix
Sourcemodule Make1 (M : S1) : T1 with type 'a t := 'a M.t

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 Make (M : S1) : T1 with type 'a t := 'a M.t

Synonym of Make1

Sourcemodule Make2 (M : S2) : T2 with type ('a, 'z) t := ('a, 'z) M.t

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.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct