Remove append, fixes #89

This commit is contained in:
alex 2022-04-24 17:51:31 +01:00
parent 615f71b099
commit 6a6464b0f7

View file

@ -656,10 +656,6 @@ export class Pattern {
return cat(this, ...pats); return cat(this, ...pats);
} }
append(...pats) {
return cat(this, ...pats);
}
fastcat(...pats) { fastcat(...pats) {
return fastcat(this, ...pats); return fastcat(this, ...pats);
} }
@ -968,7 +964,6 @@ export function pr(args) {
} }
export const add = curry((a, pat) => pat.add(a)); export const add = curry((a, pat) => pat.add(a));
export const append = curry((a, pat) => pat.append(a));
export const chunk = curry((a, pat) => pat.chunk(a)); export const chunk = curry((a, pat) => pat.chunk(a));
export const chunkBack = curry((a, pat) => pat.chunkBack(a)); export const chunkBack = curry((a, pat) => pat.chunkBack(a));
export const div = curry((a, pat) => pat.div(a)); export const div = curry((a, pat) => pat.div(a));