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))

Table of contents

• Group (interface)

Group (interface)

Signature

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

Added in v1.13.0