package stdune

  1. Overview
  2. Docs

Module Monoid.MakeSource

This functor extends the basic definition of a monoid by adding a convenient operator synonym ( @ ) = combine, as well as derived functions reduce and map_reduce.

Parameters

module M : Basic

Signature

val empty : M.t

Must be the identity of combine:

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

Must be associative:

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