The MONOID signature

« 210 Library Documentation

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.