package preface

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

Signature

Type

type t = S.t

the type held by the Monoid.

Functions

val combine : t -> t -> t

combine x y Combine two values (x and y) of t into one.

val neutral : t

The neutral element of the Monoid.

val times : int -> t -> t option

times 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 reduce : t list -> t

Reduce a List.t using combine.

Infix operators

module Infix : Preface_specs.Monoid.INFIX with type t = t
val (<|>) : t -> t -> t

Infix version of CORE.combine