package lsp

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Functions that return a monoid form the following monoid:

  • empty = fun _ -> M.empty
  • combine f g = fun x -> M.combine (f x) (g x)

Parameters

module A : sig ... end
module M : sig ... end

Signature

type t = A.t -> M.t
val empty : t

Must be the identity of combine:

  • combine empty t = t
  • combine t empty = t
val combine : t -> t -> t

Must be associative:

  • combine a (combine b c) = combine (combine a b) c
module O : sig ... end
val reduce : t list -> t
val map_reduce : f:('a -> t) -> 'a list -> t
OCaml

Innovation. Community. Security.