Module Preface_core.MonoidSource

A generic monoid.

Sourceval times_nel : ('a -> 'a -> 'a) -> int -> 'a -> 'a option

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

Sourceval times : ('a -> 'a -> 'a) -> 'a -> int -> 'a -> 'a

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

Sourceval reduce_nel : ('a -> 'a -> 'a) -> 'a Nonempty_list.t -> 'a

reduce_nel combine list Reduce a Nonempty_list.t using combine.

Sourceval reduce : ('a -> 'a -> 'a) -> 'a -> 'a list -> 'a

reduce combine neutral list Reduce a list using combine and neutral as initial value.