Interface Monoid<T>

All instances of Monoid must satisfy following conditions:

  • Associative: for all x, y and z; combine(combine(x, y), z) equals to combine(x, combine(y, z)).
  • Identity: for all x; combine(x, identity) equals to combine(identity, x) and x.

Type Parameters

  • T

Hierarchy

Properties

[semiGroupSymbol] combine identity

Properties

[semiGroupSymbol]

[semiGroupSymbol]: true

Readonly combine

combine: ((l, r) => T)

Type declaration

    • (l, r): T

    • Parameters

      • l: T
      • r: T

      Returns T

Readonly identity

identity: T

Settings

Member Visibility

Theme

On This Page

Generated using TypeDoc