package lsp

  1. Overview
  2. Docs

Module Monoid.EndofunctionSource

Endofunctions, i.e., functions of type t -> t form the following monoid:

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

Parameters

module A : sig ... end

Signature

Sourcetype t = A.t -> A.t
Sourceval empty : t

Must be the identity of combine:

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

Must be associative:

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