Skip to main content Link Menu Expand (external link) Document Search Copy Copied

Group overview

A Group is a Monoid with inverses. Instances must satisfy the following law in addition to the monoid laws:

  • Inverse: concat(inverse(a), a) <-> empty = concat(a, inverse(a))

Added in v2.0.0

Table of contents


Group (interface)


export interface Group<A> extends Monoid<A> {
  readonly inverse: (a: A) => A

Added in v2.0.0