Operation (preface.Preface_make.Monoid.Operation)

Parameters

module Core : Preface_specs.Monoid.CORE

type t = Core.t

the type held by the Semigroup.

val times_nel : int -> t -> t option

times_nel n x apply combine on x n times. If n is lower than 1 the function will returns None.

val reduce_nel : t Preface_core.Nonempty_list.t -> t

Reduce a Nonempty_list.t using combine.

val times : int -> t -> t

times n x apply combine on x n times. If n is lower than 1 the function will returns neutral.

val reduce : t list -> t

Reduce a List.t using combine.