module type Basic = sig ... endThis functor extends the basic definition of a monoid by adding a convenient operator synonym ( @ ) = combine, as well as derived functions reduce and map_reduce.
module Exists : sig ... endThe monoid you get with empty = false and combine = ( || ).
module Forall : sig ... endThe monoid you get with empty = true and combine = ( && ).
module String : sig ... endThe string concatenation monoid with empty = "" and combine = ( ^ ).
module Appendable_list (M : sig ... end) : sig ... endThe list monoid with empty = [] and combine = ( @ ).
module Unit : sig ... endThe trivial monoid with empty = () and combine () () = ().
The addition monoid with empty = zero and combine = ( + ).
The multiplication monoid with empty = one and combine = ( * ).
The union monoid with empty = M.empty and combine = M.union.
The product of monoids where pairs are combined component-wise.
Same as Product but for 3 monoids.
Functions that return a monoid form the following monoid:
module Endofunction (A : sig ... end) : sig ... endEndofunctions, i.e., functions of type t -> t form the following monoid: