8 lines
206 B
TypeScript
8 lines
206 B
TypeScript
/**
|
|
* A `Magma` is a pair `(A, concat)` in which `A` is a non-empty set and `concat` is a binary operation on `A`
|
|
* @since 1.16.0
|
|
*/
|
|
export interface Magma<A> {
|
|
readonly concat: (x: A, y: A) => A;
|
|
}
|