title | nav_order | parent |
---|---|---|
Magma.ts |
48 |
Modules |
A Magma
is a pair (A, concat)
in which A
is a non-empty set and concat
is a binary operation on A
See Semigroup for some instances.
Added in v2.0.0
A Magma
is a pair (A, concat)
in which A
is a non-empty set and concat
is a binary operation on A
See Semigroup for some instances.
Signature
export interface Magma<A> {
readonly concat: (x: A, y: A) => A
}
Added in v2.0.0