securemark 0.299.4 → 0.300.0

package/src/util/quote.test.ts

@@ -1,11 +1,11 @@
 import { quote } from './quote';
-import { parse } from '../api';
+import { run, parse } from '../api';
 
 describe('Unit: util/quote', () => {
   describe('quote', () => {
     it('basic', () => {
       const range = document.createRange();
-      const el = parse('>>1\n> a\n>>?\n> 2\n>>4 `b` ${c}$\n [e](f) ').firstElementChild!;
+      const el = run(parse('>>1\n> a\n>>?\n> 2\n>>4 `b` ${c}$\n [e](f) ')).firstElementChild!;
       range.setStart(el.firstChild!.firstChild!, 0);
       range.setEnd(el.lastChild!.lastChild!.lastChild!, 1);
       assert.deepStrictEqual(quote('3', range), `>>>1\n>> a\n>>>?\n>> 2\n>>3\n> >>4 \`b\` \${c}$\n>  e`);
@@ -13,7 +13,7 @@ describe('Unit: util/quote', () => {
 
     it('adjustment', () => {
       const range = document.createRange();
-      const el = parse('>>>1\n>> a').firstElementChild!;
+      const el = run(parse('>>>1\n>> a')).firstElementChild!;
       range.setEnd(el.lastChild!.lastChild!, 4);
       range.setStart(el.children[0].firstChild!, 0);
       assert(quote('2', range) === '>>>>1\n>>> a\n>>2');

package/src/util/quote.ts

@@ -1,11 +1,12 @@
-import { input } from '../combinator/data/parser';
-import { Context } from '../parser/context';
+import { Input } from '../parser/context';
+import { Output, run } from '../combinator/parser';
 import { cite } from '../parser/block/reply/cite';
 
 export function quote(anchor: string, range: Range): string {
-  const context = input('', new Context());
-  cite(input(`>>${anchor}`, context));
-  if (context.position !== context.source.length) throw new Error(`Invalid anchor: ${anchor}`);
+  const input = new Input({ source: `>>${anchor}` });
+  const output = new Output<HTMLElement>();
+  for (const _ of run(cite, input, output));
+  if (input.position !== input.source.length) throw new Error(`Invalid anchor: ${anchor}`);
   fit(range);
   const node = trim(range.cloneContents());
   if (!node.firstChild) return '';

package/src/util/toc.test.ts

@@ -1,18 +1,18 @@
 import { toc } from './toc';
-import { parse } from '../api';
+import { run, parse } from '../api';
 import { html } from 'typed-dom/dom';
 
 describe('Unit: util/toc', () => {
   describe('toc', () => {
     it('empty', () => {
       assert.strictEqual(
-        toc(parse('')).outerHTML,
+        toc(run(parse(''))).outerHTML,
         html('ul').outerHTML);
     });
 
     it('1', () => {
       assert.strictEqual(
-        toc(parse('# 1')).outerHTML,
+        toc(run(parse('# 1'))).outerHTML,
         html('ul', [
           html('li', [html('a', { href: '#index::1', 'data-index': '1' }, '1')]),
         ]).outerHTML);
@@ -20,7 +20,7 @@ describe('Unit: util/toc', () => {
 
     it('1a', () => {
       assert.strictEqual(
-        toc(parse('# 1\n\na')).outerHTML,
+        toc(run(parse('# 1\n\na'))).outerHTML,
         html('ul', [
           html('li', [html('a', { href: '#index::1', 'data-index': '1' }, '1')]),
         ]).outerHTML);
@@ -28,7 +28,7 @@ describe('Unit: util/toc', () => {
 
     it('11', () => {
       assert.strictEqual(
-        toc(parse('# 1\n\n# 2')).outerHTML,
+        toc(run(parse('# 1\n\n# 2'))).outerHTML,
         html('ul', [
           html('li', [html('a', { href: '#index::1', 'data-index': '1' }, '1')]),
           html('li', [html('a', { href: '#index::2', 'data-index': '2' }, '2')]),
@@ -37,7 +37,7 @@ describe('Unit: util/toc', () => {
 
     it('12', () => {
       assert.strictEqual(
-        toc(parse('# 1\n\n## 2')).outerHTML,
+        toc(run(parse('# 1\n\n## 2'))).outerHTML,
         html('ul', [
           html('li', [html('a', { href: '#index::1', 'data-index': '1' }, '1'),
             html('ul', [
@@ -49,7 +49,7 @@ describe('Unit: util/toc', () => {
 
     it('121', () => {
       assert.strictEqual(
-        toc(parse('# 1\n\n## 2\n\n# 3')).outerHTML,
+        toc(run(parse('# 1\n\n## 2\n\n# 3'))).outerHTML,
         html('ul', [
           html('li', [html('a', { href: '#index::1', 'data-index': '1' }, '1'),
             html('ul', [
@@ -62,7 +62,7 @@ describe('Unit: util/toc', () => {
 
     it('1232', () => {
       assert.strictEqual(
-        toc(parse('# 1\n\n## 2\n\n### 3\n\n## 4')).outerHTML,
+        toc(run(parse('# 1\n\n## 2\n\n### 3\n\n## 4'))).outerHTML,
         html('ul', [
           html('li', [html('a', { href: '#index::1', 'data-index': '1' }, '1'),
             html('ul', [
@@ -79,7 +79,7 @@ describe('Unit: util/toc', () => {
 
     it('1231', () => {
       assert.strictEqual(
-        toc(parse('# 1\n\n## 2\n\n### 3\n\n# 4')).outerHTML,
+        toc(run(parse('# 1\n\n## 2\n\n### 3\n\n# 4'))).outerHTML,
         html('ul', [
           html('li', [html('a', { href: '#index::1', 'data-index': '1' }, '1'),
             html('ul', [
@@ -96,7 +96,7 @@ describe('Unit: util/toc', () => {
 
     it('132', () => {
       assert.strictEqual(
-        toc(parse('# 1\n\n### 2\n\n## 3')).outerHTML,
+        toc(run(parse('# 1\n\n### 2\n\n## 3'))).outerHTML,
         html('ul', [
           html('li', [html('a', { href: '#index::1', 'data-index': '1' }, '1'),
             html('ul', [
@@ -109,7 +109,7 @@ describe('Unit: util/toc', () => {
 
     it('212', () => {
       assert.strictEqual(
-        toc(parse('## 1\n\n# 2\n\n## 3')).outerHTML,
+        toc(run(parse('## 1\n\n# 2\n\n## 3'))).outerHTML,
         html('ul', [
           html('li', [html('a', { href: '#index::1', 'data-index': '1' }, '1')]),
           html('li', [html('a', { href: '#index::2', 'data-index': '2' }, '2'),
@@ -122,7 +122,7 @@ describe('Unit: util/toc', () => {
 
     it('A12A2', () => {
       assert.strictEqual(
-        toc(parse('~~~aside\n# 1\n~~~\n\n# 2\n\n## 3\n\n~~~aside\n## 4\n~~~\n\n## 5')).outerHTML,
+        toc(run(parse('~~~aside\n# 1\n~~~\n\n# 2\n\n## 3\n\n~~~aside\n## 4\n~~~\n\n## 5'))).outerHTML,
         html('ul', [
           html('li', [html('a', { href: '#index::1' }, '1')]),
           html('li', [html('a', { href: '#index::2', 'data-index': '1' }, '2'),

package/src/combinator/control/constraint/block.test.ts

@@ -1,20 +0,0 @@
-import { block } from './block';
-import { List, Node, Context, input } from '../../data/parser';
-import { inspect } from '../../../debug.test';
-
-describe('Unit: combinator/block', () => {
-  describe('block', () => {
-    it('invalid', () => {
-      assert.throws(() => block(_ => new List<Node<string>>())(input(' \n', new Context())));
-    });
-
-    it('valid', () => {
-      assert.deepStrictEqual(inspect(block(context => { context.position = context.source.length; return new List<Node<string>>(); }), input('\n', new Context())), [[], '']);
-      assert.deepStrictEqual(inspect(block(context => { context.position = context.source.length; return new List<Node<string>>(); }), input(' \n', new Context())), [[], '']);
-      assert.deepStrictEqual(inspect(block(context => { context.position = context.source.length; return new List<Node<string>>(); }), input('\n\n', new Context())), [[], '']);
-      assert.deepStrictEqual(inspect(block(context => { context.position = context.source.length - 1; return new List<Node<string>>(); }), input('\n\n', new Context())), [[], '\n']);
-    });
-
-  });
-
-});

package/src/combinator/control/constraint/block.ts

@@ -1,28 +0,0 @@
-import { Parser, List, Segment } from '../../data/parser';
-import { isEmptyline } from './line';
-
-export function block<P extends Parser>(parser: P, separation?: boolean, segment?: number): P;
-export function block<N>(parser: Parser<N>, separation = true, segment = 0): Parser<N> {
-  assert(parser);
-  return input => {
-    const context = input;
-    const { source, position } = context;
-    if (position === source.length) return;
-    if (segment !== 0 && context.segment & Segment.write) {
-      if (context.segment !== (segment | Segment.write)) return;
-      context.position = source.length;
-      return new List();
-    }
-    const result = parser(input);
-    if (result === undefined ||
-        separation && !isEmptyline(source, context.position)) {
-      context.position = position;
-      return;
-    }
-    assert(context.position === source.length || source[context.position - 1] === '\n');
-    if (segment !== 0 && context.segment & Segment.write ^ Segment.write) {
-      context.segment = segment;
-    }
-    return result;
-  };
-}

package/src/combinator/control/constraint/contract.ts

@@ -1,27 +0,0 @@
-import { Parser, Input, List, Node, Context } from '../../data/parser';
-import { tester } from '../../data/delimiter';
-import { bind } from '../monad/bind';
-
-//export function contract<P extends Parser>(patterns: string | RegExp | (string | RegExp)[], parser: P, cond: (nodes: readonly Data<P>[], rest: string) => boolean): P;
-//export function contract<N>(patterns: string | RegExp | (string | RegExp)[], parser: Parser<N>, cond: (nodes: readonly N[], rest: string) => boolean): Parser<N> {
-//  return verify(validate(patterns, parser), cond);
-//}
-
-export function validate<P extends Parser>(pattern: string | RegExp, parser: P): P;
-export function validate<P extends Parser>(cond: ((input: Input<Parser.Context<P>>) => boolean), parser: P): P;
-export function validate<N>(pattern: string | RegExp | ((input: Input<Context>) => boolean), parser: Parser<N>): Parser<N> {
-  if (typeof pattern === 'function') return guard(pattern, parser);
-  const test = tester(pattern, false);
-  return input => test(input) && parser(input);
-}
-
-function guard<P extends Parser>(f: (input: Input<Parser.Context<P>>) => boolean, parser: P): P;
-function guard<N>(f: (input: Input<Context>) => boolean, parser: Parser<N>): Parser<N> {
-  return input => f(input) ? parser(input) : undefined;
-}
-
-export function verify<P extends Parser>(parser: P, cond: (nodes: List<Node<Parser.Node<P>>>, context: Parser.Context<P>) => boolean): P;
-export function verify<N>(parser: Parser<N>, cond: (nodes: List<Node<N>>, context: Context) => boolean): Parser<N> {
-  assert(parser);
-  return bind(parser, (nodes, context) => cond(nodes, context) ? nodes : undefined)
-}

package/src/combinator/control/constraint/line.test.ts

@@ -1,21 +0,0 @@
-import { List, Node, Context, input } from '../../data/parser';
-import { line } from './line';
-import { inspect } from '../../../debug.test';
-
-describe('Unit: combinator/line', () => {
-  describe('line', () => {
-    it('invalid', () => {
-      assert.deepStrictEqual(inspect(line(_ => new List<Node<string>>()), input('', new Context())), undefined);
-    });
-
-    it('valid', () => {
-      assert.deepStrictEqual(inspect(line(context => { context.position = context.source.length; return new List<Node<string>>(); }), input(' ', new Context())), [[], '']);
-      assert.deepStrictEqual(inspect(line(context => { context.position = context.source.length; return new List<Node<string>>(); }), input('\n', new Context())), [[], '']);
-      assert.deepStrictEqual(inspect(line(context => { context.position = context.source.length; return new List<Node<string>>(); }), input('\n\n', new Context())), [[], '\n']);
-      assert.deepStrictEqual(inspect(line(context => { context.position = context.source.length; return new List<Node<string>>(); }), input(' \n', new Context())), [[], '']);
-      assert.deepStrictEqual(inspect(line(context => { context.position = context.source.length - 1; return new List<Node<string>>(); }), input(' \n', new Context())), [[], '']);
-    });
-
-  });
-
-});

package/src/combinator/control/constraint/line.ts

@@ -1,42 +0,0 @@
-import { Parser, input } from '../../data/parser';
-
-export function line<P extends Parser>(parser: P): P;
-export function line<N>(parser: Parser<N>): Parser<N> {
-  assert(parser);
-  return context => {
-    const { source, position } = context;
-    if (position === source.length) return;
-    const line = firstline(source, position);
-    context.offset += position;
-    const result = parser(input(line, context));
-    context.source = source;
-    context.position = result
-      ? context.position === 0
-        ? position + line.length
-        : position + context.position
-      : position;
-    context.offset -= position;
-    if (result === undefined ||
-        context.position < position + line.length && !isEmptyline(source, context.position)) {
-      context.position = position;
-      return;
-    }
-    context.position = position + line.length;
-    return result;
-  };
-}
-
-export function firstline(source: string, position: number): string {
-  const i = source.indexOf('\n', position);
-  return i === -1
-    ? source.slice(position)
-    : source.slice(position, i + 1);
-}
-
-const emptyline = /[^\S\r\n]*(?:$|\r?\n)/y;
-export function isEmptyline(source: string, position: number): boolean {
-  emptyline.lastIndex = position;
-  return source.length === position
-      || source[position] === '\n'
-      || emptyline.test(source);
-}

package/src/combinator/control/manipulation/clear.ts

@@ -1,5 +0,0 @@
-import { Parser, List, Context } from '../../data/parser';
-
-export function clear<D extends Parser<unknown, C>[], C extends Context>(parser: Parser<unknown, C, D>): Parser<never, C, D> {
-  return input => parser(input) && new List();
-}

package/src/combinator/control/manipulation/convert.ts

@@ -1,22 +0,0 @@
-import { Parser, List, Context, subinput } from '../../data/parser';
-
-export function convert<P extends Parser>(conv: (source: string, context: Parser.Context<P>) => string, parser: P): P;
-export function convert<N>(conv: (source: string, context: Context) => string, parser: Parser<N>): Parser<N> {
-  assert(parser);
-  return input => {
-    const context = input;
-    const { source, position, offset } = context;
-    if (position === source.length) return;
-    const src = conv(source.slice(position), context);
-    assert(context.position === position);
-    if (src === '') {
-      context.position = source.length;
-      return new List();
-    }
-    const result = parser(subinput(src, context));
-    context.position = result ? context.source.length : position;
-    assert(context.source === source);
-    assert(context.offset === offset);
-    return result;
-  };
-}

package/src/combinator/control/manipulation/duplicate.ts

@@ -1,7 +0,0 @@
-import { Parser, List, Node, Context } from '../../data/parser';
-import { fmap } from '../monad/fmap';
-
-export function dup<N, C extends Context, D extends Parser<unknown, C>[]>(parser: Parser<N, C, D>): Parser<List<Node<N>>, C, D>;
-export function dup<N>(parser: Parser<N>): Parser<List<Node<N>>> {
-  return fmap(parser, nodes => new List([new Node(nodes)]));
-}

package/src/combinator/control/manipulation/fence.ts

@@ -1,54 +0,0 @@
-import { Parser, List, Node, Context, failsafe } from '../../data/parser';
-import { spend } from '../../../combinator';
-import { firstline, isEmptyline } from '../constraint/line';
-import { push } from 'spica/array';
-
-export function fence<C extends Context, D extends Parser<unknown, C>[]>(opener: RegExp, limit: number, separation = true): Parser<string, C, D> {
-  assert(!opener.flags.match(/[gm]/) && opener.sticky && !opener.source.startsWith('^'));
-  return failsafe(input => {
-    const context = input;
-    const { source, position } = context;
-    if (position === source.length) return;
-    opener.lastIndex = position;
-    const matches = opener.exec(source);
-    if (!matches) return;
-    assert(matches[0] === firstline(source, position));
-    spend(context, matches[0].length);
-    const delim = matches[1];
-    assert(delim && delim === delim.trim());
-    if (matches[0].includes(delim, delim.length)) return;
-    context.position += matches[0].length;
-    // Prevent annoying parsing in editing.
-    const secondline = firstline(source, context.position);
-    if (isEmptyline(secondline, 0) && firstline(source, context.position + secondline.length).trimEnd() !== delim) return;
-    let block = '';
-    let closer = '';
-    let overflow = '';
-    for (let count = 1; ; ++count) {
-      if (context.position === source.length) break;
-      const line = firstline(source, context.position);
-      if ((closer || count > limit + 1) && isEmptyline(line, 0)) break;
-      if(closer) {
-        overflow += line;
-      }
-      if (!closer && count <= limit + 1 && line.slice(0, delim.length) === delim && line.trimEnd() === delim) {
-        closer = line;
-        if (isEmptyline(source, context.position + line.length)) {
-          context.position += line.length;
-          break;
-        }
-        if (!separation) {
-          context.position += line.length;
-          break;
-        }
-        assert(!overflow);
-        overflow = line;
-      }
-      if (!overflow) {
-        block += line;
-      }
-      context.position += line.length;
-    }
-    return new List(push([block, overflow, closer], matches).map(str => new Node(str)));
-  });
-}

package/src/combinator/control/manipulation/indent.test.ts

@@ -1,31 +0,0 @@
-import { indent } from './indent';
-import { List, Node, Context, input } from '../../data/parser';
-import { inspect } from '../../../debug.test';
-
-describe('Unit: combinator/indent', () => {
-  describe('indent', () => {
-    it('valid', () => {
-      const parser = indent(context => { context.position = context.source.length; return new List([new Node(context.source)]); });
-      assert.deepStrictEqual(inspect(parser, input('', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input(' ', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input('  ', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input('a ', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input(' a', new Context())), [['a'], '']);
-      assert.deepStrictEqual(inspect(parser, input(' a ', new Context())), [['a '], '']);
-      assert.deepStrictEqual(inspect(parser, input(' a\n', new Context())), [['a'], '']);
-      assert.deepStrictEqual(inspect(parser, input(' a \n', new Context())), [['a '], '']);
-      assert.deepStrictEqual(inspect(parser, input('  a', new Context())), [['a'], '']);
-      assert.deepStrictEqual(inspect(parser, input('   a', new Context())), [['a'], '']);
-      assert.deepStrictEqual(inspect(parser, input('    a', new Context())), [['a'], '']);
-      assert.deepStrictEqual(inspect(parser, input('     a', new Context())), [[' a'], '']);
-      assert.deepStrictEqual(inspect(parser, input(' a\n a', new Context())), [['a\na'], '']);
-      assert.deepStrictEqual(inspect(parser, input(' a\n  a', new Context())), [['a\n a'], '']);
-      assert.deepStrictEqual(inspect(parser, input('    a\n        a', new Context())), [['a\n    a'], '']);
-      assert.deepStrictEqual(inspect(parser, input('  a\n a', new Context())), [['a'], ' a']);
-      assert.deepStrictEqual(inspect(parser, input(' \ta', new Context())), [['\ta'], '']);
-      assert.deepStrictEqual(inspect(parser, input('\ta', new Context())), [['a'], '']);
-    });
-
-  });
-
-});

package/src/combinator/control/manipulation/indent.ts

@@ -1,39 +0,0 @@
-import { Parser, List, Node, subinput, failsafe } from '../../data/parser';
-import { some } from '../../data/parser/some';
-import { block } from '../constraint/block';
-import { line } from '../constraint/line';
-import { bind } from '../monad/bind';
-import { match } from './match';
-import { open } from './surround';
-import { memoize } from 'spica/memoize';
-
-export function indent<P extends Parser>(parser: P, separation?: boolean): P;
-export function indent<P extends Parser>(opener: RegExp, parser: P, separation?: boolean): P;
-export function indent<N>(opener: RegExp | Parser<N>, parser: Parser<N> | boolean = false, separation = false): Parser<N> {
-  if (typeof opener === 'function') {
-    separation = parser as boolean;
-    parser = opener;
-    opener = / {1,4}|\t{1,2}/y;
-  }
-  assert(!opener.flags.match(/[gm]/) && opener.sticky && !opener.source.startsWith('^'));
-  assert(parser = parser as Parser<N>);
-  return failsafe(bind(block(match(
-    opener,
-    memoize(
-    ([indent]) =>
-      some(line(open(indent, context => {
-        const { source, position } = context;
-        context.position = source.length;
-        return new List([new Node(source.slice(position))]);
-      }))),
-    ([indent]) => indent.length * 2 + -(indent[0] === ' '), [], 2 ** 4 - 1)), separation),
-    (lines, context) =>
-      parser(subinput(trimBlockEnd(lines.foldl((acc, node) => acc + node.value, '')), context))));
-}
-
-function trimBlockEnd(block: string): string {
-  return block === ''
-      || block.at(-1) !== '\n'
-    ? block
-    : block.slice(0, -1);
-}

package/src/combinator/control/manipulation/lazy.ts

@@ -1,8 +0,0 @@
-import { Parser } from '../../data/parser';
-
-export function lazy<P extends Parser>(builder: () => P): P;
-export function lazy<N>(builder: () => Parser<N>): Parser<N> {
-  let parser: Parser<N>;
-  return input =>
-    (parser ??= builder())(input);
-}

package/src/combinator/control/manipulation/match.ts

@@ -1,27 +0,0 @@
-import { Parser } from '../../data/parser';
-import { spend } from '../../../combinator';
-
-export function match<P extends Parser>(pattern: RegExp, f: (matched: RegExpMatchArray) => P): P;
-export function match<N>(pattern: RegExp, f: (matched: RegExpMatchArray) => Parser<N>): Parser<N> {
-  assert(!pattern.flags.match(/[gm]/) && pattern.sticky && !pattern.source.startsWith('^'));
-  const count = typeof pattern === 'object'
-    ? /[^^\\*+][*+]|{\d+,}/.test(pattern.source)
-    : false;
-  return input => {
-    const context = input;
-    const { source, position } = context;
-    if (position === source.length) return;
-    pattern.lastIndex = position;
-    const params = pattern.exec(source);
-    if (!params) return;
-    assert(source.startsWith(params[0], position));
-    count && spend(context, params[0].length);
-    const result = f(params)(input);
-    context.position += result
-      ? context.position === position
-        ? params[0].length
-        : 0
-      : context.position - position;
-    return result;
-  };
-}

package/src/combinator/control/manipulation/recovery.ts

@@ -1,18 +0,0 @@
-import { Parser, Input, Result, Context } from '../../data/parser';
-
-export function recover<P extends Parser>(parser: P, catcher: (input: Input<Parser.Context<P>>, reason: unknown) => Result<Parser.Node<P>>): P;
-export function recover<N>(parser: Parser<N>, catcher: (input: Input<Context>, reason: unknown) => Result<N>): Parser<N> {
-  return input => {
-    const context = input;
-    const { source, position } = context;
-    try {
-      return parser(input);
-    }
-    catch (reason) {
-      assert(reason instanceof Error && reason.name === 'AssertionError' && !+console.error(reason) || 1);
-      context.source = source;
-      context.position = position;
-      return catcher(input, reason);
-    }
-  };
-}

package/src/combinator/control/manipulation/reverse.ts

@@ -1,8 +0,0 @@
-import { Parser, List, Node } from '../../data/parser';
-import { fmap } from '../monad/fmap';
-
-export function reverse<P extends Parser>(parser: P): P;
-export function reverse<N>(parser: Parser<N>): Parser<N> {
-  return fmap(parser, nodes => nodes.foldr((node, acc) => acc.push(nodes.delete(node)) && acc, new List<Node<N>>()));
-}
-

package/src/combinator/control/manipulation/scope.ts

@@ -1,61 +0,0 @@
-import { Parser, input, failsafe } from '../../data/parser';
-import { matcher } from '../../data/delimiter';
-
-export function focus<P extends Parser>(scope: string | RegExp, parser: P, slice?: boolean): P;
-export function focus<N>(scope: string | RegExp, parser: Parser<N>, slice = true): Parser<N> {
-  assert(parser);
-  const match = matcher(scope, false);
-  return failsafe(context => {
-    const { SID, source, position } = context;
-    if (position === source.length) return;
-    const src = match(context)?.head?.value ?? '';
-    assert(source.startsWith(src, position));
-    if (src === '') return;
-    const range = context.range = src.length;
-    if (!slice) {
-      const result = parser(context);
-      context.position += result && context.position === position ? range : 0;
-      return result;
-    }
-    context.offset += position;
-    const result = parser(input(src, context));
-    context.source = source;
-    context.SID = SID;
-    context.position += position;
-    context.position += result && context.position === position ? src.length : 0;
-    context.offset -= position;
-    return result;
-  });
-}
-
-//export function rewrite<N, C extends Ctx, D extends Parser<unknown, C>[]>(scope: Parser<unknown, C, D>, parser: Parser<N, C, never>): Parser<N, C, D>;
-export function rewrite<P extends Parser>(scope: Parser<unknown, Parser.Context<P>>, parser: P, slice?: boolean): P;
-export function rewrite<N>(scope: Parser, parser: Parser<N>, slice = true): Parser<N> {
-  assert(scope);
-  assert(parser);
-  return failsafe(context => {
-    const { SID, source, position } = context;
-    if (position === source.length) return;
-    const res1 = scope(context);
-    assert(context.position > position || !res1);
-    if (res1 === undefined || context.position < position) return;
-    const range = context.range = context.position - position;
-    if (!slice) {
-      context.position = position;
-      const res2 = parser(context);
-      context.position += res2 && context.position === position ? range : 0;
-      return res2;
-    }
-    const src = source.slice(position, context.position);
-    assert(src !== '');
-    assert(source.startsWith(src, position));
-    context.offset += position;
-    const res2 = parser(input(src, context));
-    context.SID = SID;
-    context.source = source;
-    context.position += position;
-    context.position += res2 && context.position === position ? src.length : 0;
-    context.offset -= position;
-    return res2;
-  });
-}