securemark 0.299.4 → 0.300.1

package/src/parser/inline/autolink/url.test.ts

@@ -1,99 +1,98 @@
 import { autolink } from '../autolink';
 import { some } from '../../../combinator';
-import { Input, input } from '../../../combinator/data/parser';
-import { Context } from '../../context';
+import { input } from '../../context';
 import { inspect } from '../../../debug.test';
 
 describe('Unit: parser/inline/autolink/url', () => {
   describe('url', () => {
-    const parser = (input: Input<Context>) => some(autolink)((++input.position, input));
+    const parser: typeof autolink = (input, output) => some(autolink)((++input.position, input), output);
 
     it('invalid', () => {
-      assert.deepStrictEqual(inspect(parser, input('', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input(' ', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input(' http', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input(' http://', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input(' http://[', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input(' http://]', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input(' Http://host', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input(' http://[::ffff:0:0%1]', new Context())), [['<a class="invalid">http://[::ffff:0:0%1]</a>'], '']);
-      assert.deepStrictEqual(inspect(parser, input(' http://[::ffff:0:0/96]', new Context())), [['<a class="invalid">http://[::ffff:0:0/96]</a>'], '']);
+      //assert.deepStrictEqual(inspect(parser, input('')), undefined);
+      assert.deepStrictEqual(inspect(parser, input(' ')), undefined);
+      assert.deepStrictEqual(inspect(parser, input(' http')), undefined);
+      assert.deepStrictEqual(inspect(parser, input(' http://')), undefined);
+      assert.deepStrictEqual(inspect(parser, input(' http://[')), undefined);
+      assert.deepStrictEqual(inspect(parser, input(' http://]')), undefined);
+      assert.deepStrictEqual(inspect(parser, input(' Http://host')), undefined);
+      assert.deepStrictEqual(inspect(parser, input(' http://[::ffff:0:0%1]')), [['<a class="invalid">http://[::ffff:0:0%1]</a>'], '']);
+      assert.deepStrictEqual(inspect(parser, input(' http://[::ffff:0:0/96]')), [['<a class="invalid">http://[::ffff:0:0/96]</a>'], '']);
     });
 
     it('basic', () => {
-      assert.deepStrictEqual(inspect(parser, input(' http://a', new Context())), [['<a class="url" href="http://a" target="_blank">http://a</a>'], '']);
-      assert.deepStrictEqual(inspect(parser, input(' http://a/', new Context())), [['<a class="url" href="http://a/" target="_blank">http://a/</a>'], '']);
-      assert.deepStrictEqual(inspect(parser, input(' http://a:80', new Context())), [['<a class="url" href="http://a:80" target="_blank">http://a:80</a>'], '']);
-      assert.deepStrictEqual(inspect(parser, input(' http://a.b', new Context())), [['<a class="url" href="http://a.b" target="_blank">http://a.b</a>'], '']);
-      assert.deepStrictEqual(inspect(parser, input(` http://a?#${encodeURIComponent(':/[]()<>?#=& ')}`, new Context())), [['<a class="url" href="http://a?#%3A%2F%5B%5D()%3C%3E%3F%23%3D%26%20" target="_blank">http://a?#%3A%2F[]()&lt;&gt;%3F%23%3D%26%20</a>'], '']);
-      assert.deepStrictEqual(inspect(parser, input(' http://a#()', new Context())), [['<a class="url" href="http://a#()" target="_blank">http://a#()</a>'], '']);
-      assert.deepStrictEqual(inspect(parser, input(' http://a#( )', new Context())), [['<a class="url" href="http://a#" target="_blank">http://a#</a>'], '( )']);
-      assert.deepStrictEqual(inspect(parser, input(' http://a#(\n)', new Context())), [['<a class="url" href="http://a#" target="_blank">http://a#</a>'], '(\n)']);
-      assert.deepStrictEqual(inspect(parser, input(' http://[::]', new Context())), [['<a class="url" href="http://[::]" target="_blank">http://[::]</a>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('\rhttp://a#\\', new Context())), [['<a class="url" href="http://a#\\" target="_blank">http://a#\\</a>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('\nhttp://a#\\', new Context())), [['<a class="url" href="http://a#\\" target="_blank">http://a#\\</a>'], '']);
+      assert.deepStrictEqual(inspect(parser, input(' http://a')), [['<a class="url" href="http://a" target="_blank">http://a</a>'], '']);
+      assert.deepStrictEqual(inspect(parser, input(' http://a/')), [['<a class="url" href="http://a/" target="_blank">http://a/</a>'], '']);
+      assert.deepStrictEqual(inspect(parser, input(' http://a:80')), [['<a class="url" href="http://a:80" target="_blank">http://a:80</a>'], '']);
+      assert.deepStrictEqual(inspect(parser, input(' http://a.b')), [['<a class="url" href="http://a.b" target="_blank">http://a.b</a>'], '']);
+      assert.deepStrictEqual(inspect(parser, input(` http://a?#${encodeURIComponent(':/[]()<>?#=& ')}`)), [['<a class="url" href="http://a?#%3A%2F%5B%5D()%3C%3E%3F%23%3D%26%20" target="_blank">http://a?#%3A%2F[]()&lt;&gt;%3F%23%3D%26%20</a>'], '']);
+      assert.deepStrictEqual(inspect(parser, input(' http://a#()')), [['<a class="url" href="http://a#()" target="_blank">http://a#()</a>'], '']);
+      assert.deepStrictEqual(inspect(parser, input(' http://a#( )')), [['<a class="url" href="http://a#" target="_blank">http://a#</a>'], '( )']);
+      assert.deepStrictEqual(inspect(parser, input(' http://a#(\n)')), [['<a class="url" href="http://a#" target="_blank">http://a#</a>'], '(\n)']);
+      assert.deepStrictEqual(inspect(parser, input(' http://[::]')), [['<a class="url" href="http://[::]" target="_blank">http://[::]</a>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('\rhttp://a#\\')), [['<a class="url" href="http://a#\\" target="_blank">http://a#\\</a>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('\nhttp://a#\\')), [['<a class="url" href="http://a#\\" target="_blank">http://a#\\</a>'], '']);
     });
 
     it('trailing symbols', () => {
-      assert.deepStrictEqual(inspect(parser, input(' http://host ', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], ' ']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host\n', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '\n']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host\\', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '\\']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host\\a', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '\\a']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host\\ ', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '\\ ']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host\\\n', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '\\\n']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host. ', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '. ']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host.\n', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '.\n']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host.\\', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '.\\']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host.\\ ', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '.\\ ']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host.\\\n', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '.\\\n']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host,', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], ',']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host;', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], ';']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host.', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '.']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host:', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], ':']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host!', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '!']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host?', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '?']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host+', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '+']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host-', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '-']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host*', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '*']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host=', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '=']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host~', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '~']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host^', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '^']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host_', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '_']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host/', new Context())), [['<a class="url" href="http://host/" target="_blank">http://host/</a>'], '']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host//', new Context())), [['<a class="url" href="http://host//" target="_blank">http://host//</a>'], '']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host///', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '///']);
-      assert.deepStrictEqual(inspect(parser, input(` http://host'`, new Context())), [[`<a class="url" href="http://host'" target="_blank">http://host'</a>`], '']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host"', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '"']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host`', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '`']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host|', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '|']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host&', new Context())), [['<a class="url" href="http://host&amp;" target="_blank">http://host&amp;</a>'], '']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host$', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '$']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host#"$"', new Context())), [['<a class="url" href="http://host#" target="_blank">http://host#</a>'], '"$"']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host#($)', new Context())), [['<a class="url" href="http://host#" target="_blank">http://host#</a>'], '($)']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host#(($))', new Context())), [['<a class="url" href="http://host#" target="_blank">http://host#</a>'], '(($))']);
-      assert.deepStrictEqual(inspect(parser, input(' http://user@host', new Context())), [['<a class="url" href="http://user@host" target="_blank">http://user@host</a>'], '']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host#@', new Context())), [['<a class="url" href="http://host#@" target="_blank">http://host#@</a>'], '']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host[', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '[']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host]', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], ']']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host(', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '(']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host)', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], ')']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host{', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '{']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host}', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '}']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host<', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '<']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host>', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '>']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host（', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '（']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host）', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '）']);
-      assert.deepStrictEqual(inspect(parser, input(` http://host${'+'.repeat(5e5)}`, new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '+'.repeat(5e5)]);
+      assert.deepStrictEqual(inspect(parser, input(' http://host ')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], ' ']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host\n')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '\n']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host\\')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '\\']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host\\a')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '\\a']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host\\ ')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '\\ ']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host\\\n')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '\\\n']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host. ')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '. ']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host.\n')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '.\n']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host.\\')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '.\\']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host.\\ ')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '.\\ ']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host.\\\n')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '.\\\n']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host,')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], ',']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host;')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], ';']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host.')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '.']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host:')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], ':']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host!')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '!']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host?')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '?']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host+')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '+']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host-')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '-']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host*')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '*']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host=')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '=']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host~')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '~']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host^')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '^']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host_')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '_']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host/')), [['<a class="url" href="http://host/" target="_blank">http://host/</a>'], '']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host//')), [['<a class="url" href="http://host//" target="_blank">http://host//</a>'], '']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host///')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '///']);
+      assert.deepStrictEqual(inspect(parser, input(` http://host'`)), [[`<a class="url" href="http://host'" target="_blank">http://host'</a>`], '']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host"')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '"']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host`')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '`']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host|')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '|']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host&')), [['<a class="url" href="http://host&amp;" target="_blank">http://host&amp;</a>'], '']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host$')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '$']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host#"$"')), [['<a class="url" href="http://host#" target="_blank">http://host#</a>'], '"$"']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host#($)')), [['<a class="url" href="http://host#" target="_blank">http://host#</a>'], '($)']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host#(($))')), [['<a class="url" href="http://host#" target="_blank">http://host#</a>'], '(($))']);
+      assert.deepStrictEqual(inspect(parser, input(' http://user@host')), [['<a class="url" href="http://user@host" target="_blank">http://user@host</a>'], '']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host#@')), [['<a class="url" href="http://host#@" target="_blank">http://host#@</a>'], '']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host[')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '[']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host]')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], ']']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host(')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '(']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host)')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], ')']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host{')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '{']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host}')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '}']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host<')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '<']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host>')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '>']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host（')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '（']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host）')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '）']);
+      assert.deepStrictEqual(inspect(parser, input(` http://host${'+'.repeat(5e5)}`)), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '+'.repeat(5e5)]);
     });
 
     it('trailing entities', () => {
-      assert.deepStrictEqual(inspect(parser, input(' http://host?&hl;', new Context())), [['<a class="url" href="http://host?&amp;hl" target="_blank">http://host?&amp;hl</a>'], ';']);
-      assert.deepStrictEqual(inspect(parser, input(' http://host?&hl;&hl;', new Context())), [['<a class="url" href="http://host?&amp;hl;&amp;hl" target="_blank">http://host?&amp;hl;&amp;hl</a>'], ';']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host?&hl;')), [['<a class="url" href="http://host?&amp;hl" target="_blank">http://host?&amp;hl</a>'], ';']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host?&hl;&hl;')), [['<a class="url" href="http://host?&amp;hl;&amp;hl" target="_blank">http://host?&amp;hl;&amp;hl</a>'], ';']);
     });
 
     it('protocol', () => {
-      assert.deepStrictEqual(inspect(parser, input(' http://host', new Context())), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '']);
-      assert.deepStrictEqual(inspect(parser, input(' https://host', new Context())), [['<a class="url" href="https://host" target="_blank">https://host</a>'], '']);
+      assert.deepStrictEqual(inspect(parser, input(' http://host')), [['<a class="url" href="http://host" target="_blank">http://host</a>'], '']);
+      assert.deepStrictEqual(inspect(parser, input(' https://host')), [['<a class="url" href="https://host" target="_blank">https://host</a>'], '']);
     });
 
   });

package/src/parser/inline/autolink/url.ts

@@ -1,7 +1,7 @@
 import { AutolinkParser } from '../../inline';
 import { State, Recursion, Backtrack } from '../../context';
-import { List, Node } from '../../../combinator/data/parser';
-import { union, tails, some, recursion, precedence, state, constraint, focus, rewrite, surround, open, lazy } from '../../../combinator';
+import { List, Node } from '../../../combinator/parser';
+import { union, tails, some, recursion, precedence, state, constraint, backtrack, focus, rewrite, surround, open, lazy } from '../../../combinator';
 import { parse } from '../link';
 import { unescsource, str } from '../../source';
 
@@ -15,9 +15,9 @@ export const url: AutolinkParser.UrlParser = lazy(() => rewrite(
     false,
     [3 | Backtrack.unescapable]),
   union([
-    constraint(State.autolink, state(State.autolink, context =>
-      new List([new Node(parse(new List(), new List([new Node(context.source)]), context))]))),
-    context => new List([new Node(context.source)]),
+    constraint(State.autolink, state(State.autolink, (input, output) =>
+      output.append(new Node(parse(new List(), new List([new Node(input.source)]), input))))),
+    (input, output) => output.append(new Node(input.source)),
   ])));
 
 export const lineurl: AutolinkParser.UrlParser.LineUrlParser = lazy(() => focus(
@@ -25,27 +25,26 @@ export const lineurl: AutolinkParser.UrlParser.LineUrlParser = lazy(() => focus(
   tails([
     str('!'),
     union([
-      constraint(State.autolink, state(State.autolink, context => {
-        const { source, position } = context;
-        context.position -= source[0] === '!' ? 1 : 0;
-        return new List([
+      constraint(State.autolink, state(State.autolink, (input, output) => {
+        const { source, position } = input;
+        input.position = source.length;
+        return output.append(
           new Node(parse(
             new List(),
             new List([new Node(source.slice(position))]),
-            context))
-        ]);
+            input)));
       })),
-      context => new List([new Node(context.source)]),
+      (input, output) => output.append(new Node(input.source.slice(input.position))),
     ]),
   ])));
 
-const bracket: AutolinkParser.UrlParser.BracketParser = lazy(() => union([
-  surround(str('('), recursion(Recursion.terminal, some(union([bracket, unescsource]), ')')), str(')'),
+const bracket: AutolinkParser.UrlParser.BracketParser = lazy(() => backtrack(union([
+  surround(str('('), recursion(Recursion.bracket, some(union([bracket, unescsource]), ')')), str(')'),
     true, [3 | Backtrack.unescapable]),
-  surround(str('['), recursion(Recursion.terminal, some(union([bracket, unescsource]), ']')), str(']'),
+  surround(str('['), recursion(Recursion.bracket, some(union([bracket, unescsource]), ']')), str(']'),
     true, [3 | Backtrack.unescapable]),
-  surround(str('{'), recursion(Recursion.terminal, some(union([bracket, unescsource]), '}')), str('}'),
+  surround(str('{'), recursion(Recursion.bracket, some(union([bracket, unescsource]), '}')), str('}'),
     true, [3 | Backtrack.unescapable]),
-  surround(str('"'), precedence(2, recursion(Recursion.terminal, some(unescsource, '"'))), str('"'),
+  surround(str('"'), precedence(2, recursion(Recursion.bracket, some(unescsource, '"'))), str('"'),
     true, [3 | Backtrack.unescapable]),
-]));
+])));

package/src/parser/inline/autolink.ts

@@ -1,6 +1,6 @@
 import { AutolinkParser } from '../inline';
 import { State } from '../context';
-import { state, lazy } from '../../combinator';
+import { union, state, lazy } from '../../combinator';
 import { url, lineurl } from './autolink/url';
 import { email } from './autolink/email';
 import { account } from './autolink/account';
@@ -9,38 +9,51 @@ import { hashnum } from './autolink/hashnum';
 import { anchor } from './autolink/anchor';
 import { isAlphanumeric } from '../source/text';
 
+const p1 = lazy(() => union([
+  hashtag,
+  hashnum,
+]));
+const p2 = lazy(() => union([
+  lineurl,
+  url,
+  email,
+]));
+const p3 = lazy(() => union([
+  url,
+  email,
+]));
 export const autolink: AutolinkParser = lazy(() =>
   state(~State.autolink,
-  input => {
+  (input, output) => {
     const { source, position } = input;
     if (position === source.length) return;
     const char = source[position];
     switch (char) {
       case '@':
-        return account(input);
+        return account(input, output);
       case '#':
-        return hashtag(input) || hashnum(input);
+        return p1(input, output);
       case '>':
-        return anchor(input);
+        return anchor(input, output);
       case '!':
         if (!source.startsWith('http', position + 1)) break;
-        if (position === 0) return lineurl(input);
+        if (position === 0) return lineurl(input, output);
         switch (source[position - 1]) {
           case '\r':
           case '\n':
-            return lineurl(input);
+            return lineurl(input, output);
         }
         break;
       case 'h':
         if (!source.startsWith('http', position)) return;
-        if (position === 0) return lineurl(input) || url(input) || email(input);
+        if (position === 0) return p2(input, output);
         switch (source[position - 1]) {
           case '\r':
           case '\n':
-            return lineurl(input) || url(input) || email(input);
+            return p2(input, output);
         }
-        return url(input) || email(input);
+        return p3(input, output);
       default:
-        if (isAlphanumeric(char)) return email(input);
+        if (isAlphanumeric(char)) return email(input, output);
     }
   }));

package/src/parser/inline/bracket.test.ts

@@ -1,7 +1,6 @@
 import { bracket } from './bracket';
 import { some } from '../../combinator';
-import { input } from '../../combinator/data/parser';
-import { Context } from '../context';
+import { input } from '../context';
 import { inspect } from '../../debug.test';
 
 describe('Unit: parser/inline/bracket', () => {
@@ -9,87 +8,87 @@ describe('Unit: parser/inline/bracket', () => {
     const parser = some(bracket);
 
     it('(', () => {
-      assert.deepStrictEqual(inspect(parser, input('(', new Context())), [['<span class="paren">(</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('()', new Context())), [['<span class="paren">()</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(a', new Context())), [['<span class="paren">(a</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(0)', new Context())), [['<span class="paren">(0)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(1)', new Context())), [['<span class="paren">(1)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(10)', new Context())), [['<span class="paren">(10)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(2000)', new Context())), [['<span class="paren">(2000)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(0-1)', new Context())), [['<span class="paren">(0-1)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(0)-1', new Context())), [['<span class="paren">(0)</span>'], '-1']);
-      assert.deepStrictEqual(inspect(parser, input('(0.1)', new Context())), [['<span class="paren">(0.1)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(0.1.2)', new Context())), [['<span class="paren">(0.1.2)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(1, 2)', new Context())), [['<span class="paren">(1, 2)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(1.1-1.2)', new Context())), [['<span class="paren">(1.1-1.2)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(1.1, 1.2)', new Context())), [['<span class="paren">(1.1, 1.2)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(1 2)', new Context())), [['<span class="paren">(1 2)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(1a)', new Context())), [['<span class="paren">(1a)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(a)', new Context())), [['<span class="paren">(a)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(a1)', new Context())), [['<span class="paren">(a1)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(a-1)', new Context())), [['<span class="paren">(a-1)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(a.1)', new Context())), [['<span class="paren">(a.1)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(a b)', new Context())), [['<span class="paren">(a b)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(word)', new Context())), [['<span class="paren">(word)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(word word)', new Context())), [['<span class="paren">(word word)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(word, word)', new Context())), [['<span class="paren">(word, word)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(A)', new Context())), [['<span class="paren">(A)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(Name)', new Context())), [['<span class="paren">(Name)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(Word word)', new Context())), [['<span class="paren">(Word word)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(Word Word)', new Context())), [['<span class="paren">(Word Word)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(Name, Name)', new Context())), [['<span class="paren">(Name, Name)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(ABBR)', new Context())), [['<span class="paren">(ABBR)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(ABBR, ABBR)', new Context())), [['<span class="paren">(ABBR, ABBR)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input(`(${'0'.repeat(16)})`, new Context())), [[`<span class="paren">(${'0'.repeat(16)})</span>`], '']);
-      assert.deepStrictEqual(inspect(parser, input(`(${'0'.repeat(17)})`, new Context())), [[`<span class="bracket">(${'0'.repeat(17)})</span>`], '']);
-      assert.deepStrictEqual(inspect(parser, input('(\\a)', new Context())), [['<span class="paren">(a)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(==)', new Context())), [['<span class="paren">(==)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(()', new Context())), [['<span class="paren">(<span class="paren">()</span></span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('("(\n))"(")', new Context())), [['<span class="bracket">("<span class="paren">(</span><br>)</span>'], ')"(")']);
-      assert.deepStrictEqual(inspect(parser, input('($)$', new Context())), [['<span class="paren">(<span class="math" translate="no" data-src="$)$">$)$</span></span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input(')', new Context())), undefined);
-      assert.deepStrictEqual(inspect(parser, input('（１，２）', new Context())), [['<span class="paren">（１，２）</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('（０－１）', new Context())), [['<span class="paren">（０－１）</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('（０．１）', new Context())), [['<span class="paren">（０．１）</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('（ａ）', new Context())), [['<span class="paren">（ａ）</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('（Ａ）', new Context())), [['<span class="paren">（Ａ）</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('（Ａ，Ｂ）', new Context())), [['<span class="paren">（Ａ，Ｂ）</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('（Ａ、Ｂ）', new Context())), [['<span class="paren">（Ａ、Ｂ）</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('(<bdi>a\\\nb</bdi>)', new Context())), [['<span class="bracket">(<bdi>a<br>b</bdi>)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('([% a\\\nb %])', new Context())), [['<span class="bracket">(<span class="remark"><input type="checkbox"><span>[% a<br>b %]</span></span>)</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('({{\\\n}})', new Context())), [['<span class="bracket">(<span class="template">{{\\<br>}}</span>)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(')), [['<span class="paren">(</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('()')), [['<span class="paren">()</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(a')), [['<span class="paren">(a</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(0)')), [['<span class="paren">(0)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(1)')), [['<span class="paren">(1)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(10)')), [['<span class="paren">(10)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(2000)')), [['<span class="paren">(2000)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(0-1)')), [['<span class="paren">(0-1)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(0)-1')), [['<span class="paren">(0)</span>'], '-1']);
+      assert.deepStrictEqual(inspect(parser, input('(0.1)')), [['<span class="paren">(0.1)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(0.1.2)')), [['<span class="paren">(0.1.2)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(1, 2)')), [['<span class="paren">(1, 2)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(1.1-1.2)')), [['<span class="paren">(1.1-1.2)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(1.1, 1.2)')), [['<span class="paren">(1.1, 1.2)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(1 2)')), [['<span class="paren">(1 2)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(1a)')), [['<span class="paren">(1a)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(a)')), [['<span class="paren">(a)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(a1)')), [['<span class="paren">(a1)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(a-1)')), [['<span class="paren">(a-1)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(a.1)')), [['<span class="paren">(a.1)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(a b)')), [['<span class="paren">(a b)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(word)')), [['<span class="paren">(word)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(word word)')), [['<span class="paren">(word word)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(word, word)')), [['<span class="paren">(word, word)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(A)')), [['<span class="paren">(A)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(Name)')), [['<span class="paren">(Name)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(Word word)')), [['<span class="paren">(Word word)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(Word Word)')), [['<span class="paren">(Word Word)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(Name, Name)')), [['<span class="paren">(Name, Name)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(ABBR)')), [['<span class="paren">(ABBR)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(ABBR, ABBR)')), [['<span class="paren">(ABBR, ABBR)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input(`(${'0'.repeat(16)})`)), [[`<span class="paren">(${'0'.repeat(16)})</span>`], '']);
+      assert.deepStrictEqual(inspect(parser, input(`(${'0'.repeat(17)})`)), [[`<span class="bracket">(${'0'.repeat(17)})</span>`], '']);
+      assert.deepStrictEqual(inspect(parser, input('(\\a)')), [['<span class="paren">(a)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(==)')), [['<span class="paren">(==)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(()')), [['<span class="paren">(<span class="paren">()</span></span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('("(\n))"(")')), [['<span class="bracket">("<span class="paren">(</span><br>)</span>'], ')"(")']);
+      assert.deepStrictEqual(inspect(parser, input('($)$')), [['<span class="paren">(<span class="math" translate="no" data-src="$)$">$)$</span></span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input(')')), undefined);
+      assert.deepStrictEqual(inspect(parser, input('（１，２）')), [['<span class="paren">（１，２）</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('（０－１）')), [['<span class="paren">（０－１）</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('（０．１）')), [['<span class="paren">（０．１）</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('（ａ）')), [['<span class="paren">（ａ）</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('（Ａ）')), [['<span class="paren">（Ａ）</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('（Ａ，Ｂ）')), [['<span class="paren">（Ａ，Ｂ）</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('（Ａ、Ｂ）')), [['<span class="paren">（Ａ、Ｂ）</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('(<bdi>a\\\nb</bdi>)')), [['<span class="bracket">(<bdi>a<br>b</bdi>)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('([% a\\\nb %])')), [['<span class="bracket">(<span class="remark"><input type="checkbox"><span>[% a<br>b %]</span></span>)</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input('({{\\\n}})')), [['<span class="bracket">(<span class="template">{{\\<br>}}</span>)</span>'], '']);
     });
 
     it('[', () => {
-      assert.deepStrictEqual(inspect(parser, input('[', new Context())), [['['], '']);
-      assert.deepStrictEqual(inspect(parser, input('[]', new Context())), [['[', ']'], '']);
-      assert.deepStrictEqual(inspect(parser, input('[a', new Context())), [['[', 'a'], '']);
-      assert.deepStrictEqual(inspect(parser, input('[a]', new Context())), [['[', 'a', ']'], '']);
-      assert.deepStrictEqual(inspect(parser, input('[==]', new Context())), [['[', '==', ']'], '']);
-      assert.deepStrictEqual(inspect(parser, input('[$]$', new Context())), [['[', '<span class="math" translate="no" data-src="$]$">$]$</span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input(']', new Context())), undefined);
+      assert.deepStrictEqual(inspect(parser, input('[')), [['['], '']);
+      assert.deepStrictEqual(inspect(parser, input('[]')), [['[', ']'], '']);
+      assert.deepStrictEqual(inspect(parser, input('[a')), [['[', 'a'], '']);
+      assert.deepStrictEqual(inspect(parser, input('[a]')), [['[', 'a', ']'], '']);
+      assert.deepStrictEqual(inspect(parser, input('[==]')), [['[', '==', ']'], '']);
+      assert.deepStrictEqual(inspect(parser, input('[$]$')), [['[', '<span class="math" translate="no" data-src="$]$">$]$</span>'], '']);
+      assert.deepStrictEqual(inspect(parser, input(']')), undefined);
     });
 
     it('{', () => {
-      assert.deepStrictEqual(inspect(parser, input('{', new Context())), [['{'], '']);
-      assert.deepStrictEqual(inspect(parser, input('{}', new Context())), [['{', '}'], '']);
-      assert.deepStrictEqual(inspect(parser, input('{a', new Context())), [['{', 'a'], '']);
-      assert.deepStrictEqual(inspect(parser, input('{a}', new Context())), [['{', 'a', '}'], '']);
-      assert.deepStrictEqual(inspect(parser, input('{==}', new Context())), [['{', '==', '}'], '']);
-      assert.deepStrictEqual(inspect(parser, input('}', new Context())), undefined);
+      assert.deepStrictEqual(inspect(parser, input('{')), [['{'], '']);
+      assert.deepStrictEqual(inspect(parser, input('{}')), [['{', '}'], '']);
+      assert.deepStrictEqual(inspect(parser, input('{a')), [['{', 'a'], '']);
+      assert.deepStrictEqual(inspect(parser, input('{a}')), [['{', 'a', '}'], '']);
+      assert.deepStrictEqual(inspect(parser, input('{==}')), [['{', '==', '}'], '']);
+      assert.deepStrictEqual(inspect(parser, input('}')), undefined);
     });
 
     it('"', () => {
-      assert.deepStrictEqual(inspect(parser, input('"', new Context())), [['"'], '']);
-      assert.deepStrictEqual(inspect(parser, input('""', new Context())), [['"', '"'], '']);
-      assert.deepStrictEqual(inspect(parser, input('"a', new Context())), [['"', 'a'], '']);
-      assert.deepStrictEqual(inspect(parser, input('"a"', new Context())), [['"', 'a', '"'], '']);
-      assert.deepStrictEqual(inspect(parser, input('"(")"', new Context())), [['"', '<span class="paren">(</span>', '"'], ')"']);
-      assert.deepStrictEqual(inspect(parser, input('"(("', new Context())), [['"', '<span class="paren">(<span class="paren">(</span></span>', '"'], '']);
-      assert.deepStrictEqual(inspect(parser, input('"(\\")"', new Context())), [['"', '<span class="paren">(")</span>', '"'], '']);
-      assert.deepStrictEqual(inspect(parser, input('"(\n)"(")', new Context())), [['"', '<span class="paren">(</span>'], '\n)"(")']);
-      assert.deepStrictEqual(inspect(parser, input('"\n"', new Context())), [['"'], '\n"']);
-      assert.deepStrictEqual(inspect(parser, input('"\n"(")', new Context())), [['"'], '\n"(")']);
+      assert.deepStrictEqual(inspect(parser, input('"')), [['"'], '']);
+      assert.deepStrictEqual(inspect(parser, input('""')), [['"', '"'], '']);
+      assert.deepStrictEqual(inspect(parser, input('"a')), [['"', 'a'], '']);
+      assert.deepStrictEqual(inspect(parser, input('"a"')), [['"', 'a', '"'], '']);
+      assert.deepStrictEqual(inspect(parser, input('"(")"')), [['"', '<span class="paren">(</span>', '"'], ')"']);
+      assert.deepStrictEqual(inspect(parser, input('"(("')), [['"', '<span class="paren">(<span class="paren">(</span></span>', '"'], '']);
+      assert.deepStrictEqual(inspect(parser, input('"(\\")"')), [['"', '<span class="paren">(")</span>', '"'], '']);
+      assert.deepStrictEqual(inspect(parser, input('"(\n)"(")')), [['"', '<span class="paren">(</span>'], '\n)"(")']);
+      assert.deepStrictEqual(inspect(parser, input('"\n"')), [['"'], '\n"']);
+      assert.deepStrictEqual(inspect(parser, input('"\n"(")')), [['"'], '\n"(")']);
     });
 
   });