The MONOID signature

Overview

The MONOID signature establishes a type $t$ along with an associative binary function $f$ and identity $I$ such that $(t, f, I)$ is a monoid.

Interface

type t
val I : t
val f : t * t → t

val toString : t → string

Types

type t

The underlying type of the monoid.

Values

val I : t

The identity of $f$ such that $f (I, x) = x = f (x, I)$ for any $x$.

val f : t * t → t

An associative function.

val toString : t → string

Return a string representation.