mondo: support ! and @, also express seq and cat with stepcat

This commit is contained in:
Felix Roos 2025-03-20 13:15:48 +01:00
parent d2e93a99f1
commit 432e8dcccc
No known key found for this signature in database
2 changed files with 10 additions and 2 deletions

View file

@ -17,7 +17,7 @@ export class MondoParser {
open_seq: /^\[/,
close_seq: /^\]/,
number: /^-?[0-9]*\.?[0-9]+/, // before pipe!
op: /^[*/:]|^\.{2}/, // * / : ..
op: /^[*/:!@]|^\.{2}/, // * / : ..
pipe: /^\./,
stack: /^[,$]/,
plain: /^[a-zA-Z0-9-~_^]+/,

View file

@ -21,14 +21,22 @@ strudelScope.leaf = (token, scope) => {
strudelScope.call = (fn, args, name) => {
const [pat, ...rest] = args;
if (!['seq', 'cat', 'stack', ':', '..'].includes(name)) {
if (!['seq', 'cat', 'stack', ':', '..', '!', '@'].includes(name)) {
args = [...rest, pat];
}
if (name === 'seq') {
return stepcat(...args).setSteps(1);
}
if (name === 'cat') {
return stepcat(...args).pace(1);
}
return fn(...args);
};
strudelScope['*'] = fast;
strudelScope['/'] = slow;
strudelScope['!'] = (pat, n) => pat.extend(n);
strudelScope['@'] = (pat, n) => pat.expand(n);
// : operator
const tail = (pat, friend) => pat.fmap((a) => (b) => (Array.isArray(a) ? [...a, b] : [a, b])).appLeft(friend);