securemark 0.259.1 → 0.259.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +4 -0
- package/design.md +2 -1
- package/dist/index.js +427 -154
- package/package.json +1 -1
- package/src/combinator/control/constraint/block.test.ts +5 -5
- package/src/combinator/control/constraint/block.ts +3 -2
- package/src/combinator/control/constraint/contract.ts +7 -5
- package/src/combinator/control/constraint/line.test.ts +6 -6
- package/src/combinator/control/constraint/line.ts +6 -5
- package/src/combinator/control/manipulation/convert.ts +6 -5
- package/src/combinator/control/manipulation/fence.ts +2 -1
- package/src/combinator/control/manipulation/indent.test.ts +14 -14
- package/src/combinator/control/manipulation/indent.ts +5 -5
- package/src/combinator/control/manipulation/lazy.ts +2 -2
- package/src/combinator/control/manipulation/match.ts +3 -2
- package/src/combinator/control/manipulation/recovery.ts +6 -6
- package/src/combinator/control/manipulation/scope.ts +13 -10
- package/src/combinator/control/manipulation/surround.ts +9 -8
- package/src/combinator/control/manipulation/trim.test.ts +9 -9
- package/src/combinator/control/monad/bind.ts +3 -2
- package/src/combinator/data/parser/context/memo.ts +3 -4
- package/src/combinator/data/parser/context.test.ts +9 -9
- package/src/combinator/data/parser/context.ts +23 -18
- package/src/combinator/data/parser/inits.ts +3 -2
- package/src/combinator/data/parser/sequence.test.ts +10 -10
- package/src/combinator/data/parser/sequence.ts +3 -2
- package/src/combinator/data/parser/some.test.ts +13 -13
- package/src/combinator/data/parser/some.ts +3 -2
- package/src/combinator/data/parser/subsequence.test.ts +14 -14
- package/src/combinator/data/parser/union.test.ts +10 -10
- package/src/combinator/data/parser/union.ts +2 -2
- package/src/combinator/data/parser.ts +6 -1
- package/src/parser/api/bind.ts +1 -1
- package/src/parser/api/header.ts +1 -1
- package/src/parser/api/normalize.ts +1 -1
- package/src/parser/api/parse.ts +1 -1
- package/src/parser/autolink.test.ts +1 -1
- package/src/parser/autolink.ts +2 -2
- package/src/parser/block/blockquote.test.ts +1 -1
- package/src/parser/block/blockquote.ts +1 -1
- package/src/parser/block/codeblock.test.ts +1 -1
- package/src/parser/block/codeblock.ts +1 -1
- package/src/parser/block/dlist.test.ts +1 -1
- package/src/parser/block/extension/aside.test.ts +1 -1
- package/src/parser/block/extension/example.test.ts +1 -1
- package/src/parser/block/extension/example.ts +1 -1
- package/src/parser/block/extension/fig.test.ts +1 -1
- package/src/parser/block/extension/figbase.test.ts +1 -1
- package/src/parser/block/extension/figure.test.ts +1 -1
- package/src/parser/block/extension/figure.ts +1 -1
- package/src/parser/block/extension/message.test.ts +1 -1
- package/src/parser/block/extension/message.ts +1 -1
- package/src/parser/block/extension/placeholder.test.ts +1 -1
- package/src/parser/block/extension/table.test.ts +1 -1
- package/src/parser/block/extension/table.ts +1 -1
- package/src/parser/block/extension.test.ts +1 -1
- package/src/parser/block/heading.test.ts +3 -3
- package/src/parser/block/heading.ts +1 -1
- package/src/parser/block/horizontalrule.test.ts +1 -1
- package/src/parser/block/ilist.test.ts +1 -1
- package/src/parser/block/mathblock.test.ts +1 -1
- package/src/parser/block/olist.test.ts +1 -1
- package/src/parser/block/olist.ts +5 -5
- package/src/parser/block/paragraph.test.ts +1 -1
- package/src/parser/block/reply/cite.test.ts +1 -1
- package/src/parser/block/reply/cite.ts +2 -2
- package/src/parser/block/reply/quote.test.ts +1 -1
- package/src/parser/block/reply/quote.ts +2 -2
- package/src/parser/block/reply.test.ts +1 -1
- package/src/parser/block/sidefence.test.ts +1 -1
- package/src/parser/block/table.test.ts +1 -1
- package/src/parser/block/table.ts +1 -1
- package/src/parser/block/ulist.test.ts +1 -1
- package/src/parser/block/ulist.ts +1 -1
- package/src/parser/block.ts +2 -2
- package/src/parser/header.test.ts +1 -1
- package/src/parser/header.ts +3 -3
- package/src/parser/inline/annotation.test.ts +1 -1
- package/src/parser/inline/autolink/account.test.ts +1 -1
- package/src/parser/inline/autolink/anchor.test.ts +1 -1
- package/src/parser/inline/autolink/channel.test.ts +1 -1
- package/src/parser/inline/autolink/email.test.ts +1 -1
- package/src/parser/inline/autolink/email.ts +1 -1
- package/src/parser/inline/autolink/hashnum.test.ts +1 -1
- package/src/parser/inline/autolink/hashtag.test.ts +1 -1
- package/src/parser/inline/autolink/url.test.ts +1 -1
- package/src/parser/inline/bracket.test.ts +1 -1
- package/src/parser/inline/code.test.ts +1 -1
- package/src/parser/inline/code.ts +2 -2
- package/src/parser/inline/comment.test.ts +1 -1
- package/src/parser/inline/deletion.test.ts +1 -1
- package/src/parser/inline/emphasis.test.ts +1 -1
- package/src/parser/inline/emstrong.ts +2 -2
- package/src/parser/inline/escape.ts +3 -3
- package/src/parser/inline/extension/index.test.ts +1 -1
- package/src/parser/inline/extension/indexer.test.ts +1 -1
- package/src/parser/inline/extension/label.test.ts +1 -1
- package/src/parser/inline/extension/placeholder.test.ts +1 -1
- package/src/parser/inline/html.test.ts +1 -1
- package/src/parser/inline/htmlentity.test.ts +1 -1
- package/src/parser/inline/htmlentity.ts +1 -1
- package/src/parser/inline/insertion.test.ts +1 -1
- package/src/parser/inline/link.test.ts +1 -1
- package/src/parser/inline/link.ts +1 -1
- package/src/parser/inline/mark.test.ts +1 -1
- package/src/parser/inline/math.test.ts +1 -1
- package/src/parser/inline/math.ts +1 -1
- package/src/parser/inline/media.test.ts +1 -1
- package/src/parser/inline/media.ts +2 -2
- package/src/parser/inline/reference.test.ts +1 -1
- package/src/parser/inline/ruby.test.ts +1 -1
- package/src/parser/inline/ruby.ts +3 -3
- package/src/parser/inline/shortmedia.test.ts +1 -1
- package/src/parser/inline/strong.test.ts +1 -1
- package/src/parser/inline/template.test.ts +1 -1
- package/src/parser/inline.test.ts +1 -1
- package/src/parser/locale.test.ts +1 -1
- package/src/parser/segment.ts +1 -1
- package/src/parser/source/escapable.test.ts +1 -1
- package/src/parser/source/escapable.ts +1 -1
- package/src/parser/source/line.test.ts +1 -1
- package/src/parser/source/line.ts +2 -2
- package/src/parser/source/str.ts +4 -4
- package/src/parser/source/text.test.ts +1 -1
- package/src/parser/source/text.ts +3 -3
- package/src/parser/source/unescapable.test.ts +1 -1
- package/src/parser/source/unescapable.ts +1 -1
- package/src/parser/visibility.ts +13 -13
- package/src/util/quote.ts +1 -1
|
@@ -4,12 +4,12 @@ import { inspect } from '../../../debug.test';
|
|
|
4
4
|
|
|
5
5
|
describe('Unit: combinator/data/parser/sequence', () => {
|
|
6
6
|
describe('sequence', () => {
|
|
7
|
-
const a: Parser<string, never> = source => {
|
|
7
|
+
const a: Parser<string, never> = ({ source }) => {
|
|
8
8
|
return source && source[0] === 'a'
|
|
9
9
|
? [['A'], source.slice(1)]
|
|
10
10
|
: undefined;
|
|
11
11
|
};
|
|
12
|
-
const b: Parser<string, never> = source => {
|
|
12
|
+
const b: Parser<string, never> = ({ source }) => {
|
|
13
13
|
return source && source[0] === 'b'
|
|
14
14
|
? [['B'], source.slice(1)]
|
|
15
15
|
: undefined;
|
|
@@ -18,14 +18,14 @@ describe('Unit: combinator/data/parser/sequence', () => {
|
|
|
18
18
|
|
|
19
19
|
it('basic', () => {
|
|
20
20
|
const parser = ab;
|
|
21
|
-
assert.deepStrictEqual(inspect(parser('', {})), undefined);
|
|
22
|
-
assert.deepStrictEqual(inspect(parser('a', {})), undefined);
|
|
23
|
-
assert.deepStrictEqual(inspect(parser('b', {})), undefined);
|
|
24
|
-
assert.deepStrictEqual(inspect(parser('ab', {})), [['A', 'B'], '']);
|
|
25
|
-
assert.deepStrictEqual(inspect(parser('ba', {})), undefined);
|
|
26
|
-
assert.deepStrictEqual(inspect(parser('aab', {})), undefined);
|
|
27
|
-
assert.deepStrictEqual(inspect(parser('abb', {})), [['A', 'B'], 'b']);
|
|
28
|
-
assert.deepStrictEqual(inspect(parser('bba', {})), undefined);
|
|
21
|
+
assert.deepStrictEqual(inspect(parser({ source: '', context: {} })), undefined);
|
|
22
|
+
assert.deepStrictEqual(inspect(parser({ source: 'a', context: {} })), undefined);
|
|
23
|
+
assert.deepStrictEqual(inspect(parser({ source: 'b', context: {} })), undefined);
|
|
24
|
+
assert.deepStrictEqual(inspect(parser({ source: 'ab', context: {} })), [['A', 'B'], '']);
|
|
25
|
+
assert.deepStrictEqual(inspect(parser({ source: 'ba', context: {} })), undefined);
|
|
26
|
+
assert.deepStrictEqual(inspect(parser({ source: 'aab', context: {} })), undefined);
|
|
27
|
+
assert.deepStrictEqual(inspect(parser({ source: 'abb', context: {} })), [['A', 'B'], 'b']);
|
|
28
|
+
assert.deepStrictEqual(inspect(parser({ source: 'bba', context: {} })), undefined);
|
|
29
29
|
});
|
|
30
30
|
|
|
31
31
|
});
|
|
@@ -6,13 +6,14 @@ export function sequence<P extends Parser<unknown>>(parsers: SubParsers<P>, resu
|
|
|
6
6
|
export function sequence<T, D extends Parser<T>[]>(parsers: D, resume?: (nodes: T[], rest: string) => boolean): Parser<T, Ctx, D> {
|
|
7
7
|
assert(parsers.every(f => f));
|
|
8
8
|
if (parsers.length === 1) return parsers[0];
|
|
9
|
-
return
|
|
9
|
+
return input => {
|
|
10
|
+
const { source, context } = input;
|
|
10
11
|
let rest = source;
|
|
11
12
|
let nodes: T[] | undefined;
|
|
12
13
|
for (let i = 0, len = parsers.length; i < len; ++i) {
|
|
13
14
|
if (rest === '') return;
|
|
14
15
|
if (context.delimiters?.match(rest, context.precedence)) return;
|
|
15
|
-
const result = parsers[i](rest, context);
|
|
16
|
+
const result = parsers[i]({ source: rest, context });
|
|
16
17
|
assert(check(rest, result));
|
|
17
18
|
if (!result) return;
|
|
18
19
|
nodes = nodes
|
|
@@ -5,12 +5,12 @@ import { inspect } from '../../../debug.test';
|
|
|
5
5
|
|
|
6
6
|
describe('Unit: combinator/data/parser/some', () => {
|
|
7
7
|
describe('some', () => {
|
|
8
|
-
const a: Parser<string, never> = source => {
|
|
8
|
+
const a: Parser<string, never> = ({ source }) => {
|
|
9
9
|
return source && source[0] === 'a'
|
|
10
10
|
? [['A'], source.slice(1)]
|
|
11
11
|
: undefined;
|
|
12
12
|
};
|
|
13
|
-
const b: Parser<string, never> = source => {
|
|
13
|
+
const b: Parser<string, never> = ({ source }) => {
|
|
14
14
|
return source && source[0] === 'b'
|
|
15
15
|
? [['B'], source.slice(1)]
|
|
16
16
|
: undefined;
|
|
@@ -19,17 +19,17 @@ describe('Unit: combinator/data/parser/some', () => {
|
|
|
19
19
|
|
|
20
20
|
it('basic', () => {
|
|
21
21
|
const parser = some(ab, /^aaa/);
|
|
22
|
-
assert.deepStrictEqual(inspect(parser('', {})), undefined);
|
|
23
|
-
assert.deepStrictEqual(inspect(parser('a', {})), [['A'], '']);
|
|
24
|
-
assert.deepStrictEqual(inspect(parser('b', {})), [['B'], '']);
|
|
25
|
-
assert.deepStrictEqual(inspect(parser('ab', {})), [['A', 'B'], '']);
|
|
26
|
-
assert.deepStrictEqual(inspect(parser('ba', {})), [['B', 'A'], '']);
|
|
27
|
-
assert.deepStrictEqual(inspect(parser('aab', {})), [['A', 'A', 'B'], '']);
|
|
28
|
-
assert.deepStrictEqual(inspect(parser('bba', {})), [['B', 'B', 'A'], '']);
|
|
29
|
-
assert.deepStrictEqual(inspect(parser('aaa', {})), undefined);
|
|
30
|
-
assert.deepStrictEqual(inspect(parser('bbb', {})), [['B', 'B', 'B'], '']);
|
|
31
|
-
assert.deepStrictEqual(inspect(parser('aaab', {})), undefined);
|
|
32
|
-
assert.deepStrictEqual(inspect(parser('baaa', {})), [['B'], 'aaa']);
|
|
22
|
+
assert.deepStrictEqual(inspect(parser({ source: '', context: {} })), undefined);
|
|
23
|
+
assert.deepStrictEqual(inspect(parser({ source: 'a', context: {} })), [['A'], '']);
|
|
24
|
+
assert.deepStrictEqual(inspect(parser({ source: 'b', context: {} })), [['B'], '']);
|
|
25
|
+
assert.deepStrictEqual(inspect(parser({ source: 'ab', context: {} })), [['A', 'B'], '']);
|
|
26
|
+
assert.deepStrictEqual(inspect(parser({ source: 'ba', context: {} })), [['B', 'A'], '']);
|
|
27
|
+
assert.deepStrictEqual(inspect(parser({ source: 'aab', context: {} })), [['A', 'A', 'B'], '']);
|
|
28
|
+
assert.deepStrictEqual(inspect(parser({ source: 'bba', context: {} })), [['B', 'B', 'A'], '']);
|
|
29
|
+
assert.deepStrictEqual(inspect(parser({ source: 'aaa', context: {} })), undefined);
|
|
30
|
+
assert.deepStrictEqual(inspect(parser({ source: 'bbb', context: {} })), [['B', 'B', 'B'], '']);
|
|
31
|
+
assert.deepStrictEqual(inspect(parser({ source: 'aaab', context: {} })), undefined);
|
|
32
|
+
assert.deepStrictEqual(inspect(parser({ source: 'baaa', context: {} })), [['B'], 'aaa']);
|
|
33
33
|
});
|
|
34
34
|
|
|
35
35
|
});
|
|
@@ -16,7 +16,8 @@ export function some<T>(parser: Parser<T>, end?: string | RegExp | number, delim
|
|
|
16
16
|
matcher: Delimiters.matcher(delimiter),
|
|
17
17
|
precedence,
|
|
18
18
|
}));
|
|
19
|
-
return
|
|
19
|
+
return input => {
|
|
20
|
+
const { source, context } = input;
|
|
20
21
|
if (source === '') return;
|
|
21
22
|
let rest = source;
|
|
22
23
|
let nodes: T[] | undefined;
|
|
@@ -28,7 +29,7 @@ export function some<T>(parser: Parser<T>, end?: string | RegExp | number, delim
|
|
|
28
29
|
if (rest === '') break;
|
|
29
30
|
if (match(rest)) break;
|
|
30
31
|
if (context.delimiters?.match(rest, context.precedence)) break;
|
|
31
|
-
const result = parser(rest, context);
|
|
32
|
+
const result = parser({ source: rest, context });
|
|
32
33
|
assert.doesNotThrow(() => limit < 0 && check(rest, result));
|
|
33
34
|
if (!result) break;
|
|
34
35
|
nodes = nodes
|
|
@@ -4,17 +4,17 @@ import { inspect } from '../../../debug.test';
|
|
|
4
4
|
|
|
5
5
|
describe('Unit: combinator/data/parser/subsequence', () => {
|
|
6
6
|
describe('subsequence', () => {
|
|
7
|
-
const a: Parser<string, never> = source => {
|
|
7
|
+
const a: Parser<string, never> = ({ source }) => {
|
|
8
8
|
return source && source[0] === 'a'
|
|
9
9
|
? [['A'], source.slice(1)]
|
|
10
10
|
: undefined;
|
|
11
11
|
};
|
|
12
|
-
const b: Parser<string, never> = source => {
|
|
12
|
+
const b: Parser<string, never> = ({ source }) => {
|
|
13
13
|
return source && source[0] === 'b'
|
|
14
14
|
? [['B'], source.slice(1)]
|
|
15
15
|
: undefined;
|
|
16
16
|
};
|
|
17
|
-
const c: Parser<string, never> = source => {
|
|
17
|
+
const c: Parser<string, never> = ({ source }) => {
|
|
18
18
|
return source && source[0] === 'c'
|
|
19
19
|
? [['C'], source.slice(1)]
|
|
20
20
|
: undefined;
|
|
@@ -23,17 +23,17 @@ describe('Unit: combinator/data/parser/subsequence', () => {
|
|
|
23
23
|
|
|
24
24
|
it('basic', () => {
|
|
25
25
|
const parser = abc;
|
|
26
|
-
assert.deepStrictEqual(inspect(parser('', {})), undefined);
|
|
27
|
-
assert.deepStrictEqual(inspect(parser('a', {})), [['A'], '']);
|
|
28
|
-
assert.deepStrictEqual(inspect(parser('b', {})), [['B'], '']);
|
|
29
|
-
assert.deepStrictEqual(inspect(parser('c', {})), [['C'], '']);
|
|
30
|
-
assert.deepStrictEqual(inspect(parser('ab', {})), [['A', 'B'], '']);
|
|
31
|
-
assert.deepStrictEqual(inspect(parser('ba', {})), [['B'], 'a']);
|
|
32
|
-
assert.deepStrictEqual(inspect(parser('aab', {})), [['A'], 'ab']);
|
|
33
|
-
assert.deepStrictEqual(inspect(parser('abb', {})), [['A', 'B'], 'b']);
|
|
34
|
-
assert.deepStrictEqual(inspect(parser('bba', {})), [['B'], 'ba']);
|
|
35
|
-
assert.deepStrictEqual(inspect(parser('ac', {})), [['A', 'C'], '']);
|
|
36
|
-
assert.deepStrictEqual(inspect(parser('bc', {})), [['B', 'C'], '']);
|
|
26
|
+
assert.deepStrictEqual(inspect(parser({ source: '', context: {} })), undefined);
|
|
27
|
+
assert.deepStrictEqual(inspect(parser({ source: 'a', context: {} })), [['A'], '']);
|
|
28
|
+
assert.deepStrictEqual(inspect(parser({ source: 'b', context: {} })), [['B'], '']);
|
|
29
|
+
assert.deepStrictEqual(inspect(parser({ source: 'c', context: {} })), [['C'], '']);
|
|
30
|
+
assert.deepStrictEqual(inspect(parser({ source: 'ab', context: {} })), [['A', 'B'], '']);
|
|
31
|
+
assert.deepStrictEqual(inspect(parser({ source: 'ba', context: {} })), [['B'], 'a']);
|
|
32
|
+
assert.deepStrictEqual(inspect(parser({ source: 'aab', context: {} })), [['A'], 'ab']);
|
|
33
|
+
assert.deepStrictEqual(inspect(parser({ source: 'abb', context: {} })), [['A', 'B'], 'b']);
|
|
34
|
+
assert.deepStrictEqual(inspect(parser({ source: 'bba', context: {} })), [['B'], 'ba']);
|
|
35
|
+
assert.deepStrictEqual(inspect(parser({ source: 'ac', context: {} })), [['A', 'C'], '']);
|
|
36
|
+
assert.deepStrictEqual(inspect(parser({ source: 'bc', context: {} })), [['B', 'C'], '']);
|
|
37
37
|
});
|
|
38
38
|
|
|
39
39
|
});
|
|
@@ -4,12 +4,12 @@ import { inspect } from '../../../debug.test';
|
|
|
4
4
|
|
|
5
5
|
describe('Unit: combinator/data/parser/union', () => {
|
|
6
6
|
describe('union', () => {
|
|
7
|
-
const a: Parser<string, never> = source => {
|
|
7
|
+
const a: Parser<string, never> = ({ source }) => {
|
|
8
8
|
return source && source[0] === 'a'
|
|
9
9
|
? [['A'], source.slice(1)]
|
|
10
10
|
: undefined;
|
|
11
11
|
};
|
|
12
|
-
const b: Parser<string, never> = source => {
|
|
12
|
+
const b: Parser<string, never> = ({ source }) => {
|
|
13
13
|
return source && source[0] === 'b'
|
|
14
14
|
? [['B'], source.slice(1)]
|
|
15
15
|
: undefined;
|
|
@@ -18,14 +18,14 @@ describe('Unit: combinator/data/parser/union', () => {
|
|
|
18
18
|
|
|
19
19
|
it('basic', () => {
|
|
20
20
|
const parser = ab;
|
|
21
|
-
assert.deepStrictEqual(inspect(parser('', {})), undefined);
|
|
22
|
-
assert.deepStrictEqual(inspect(parser('a', {})), [['A'], '']);
|
|
23
|
-
assert.deepStrictEqual(inspect(parser('b', {})), [['B'], '']);
|
|
24
|
-
assert.deepStrictEqual(inspect(parser('ab', {})), [['A'], 'b']);
|
|
25
|
-
assert.deepStrictEqual(inspect(parser('ba', {})), [['B'], 'a']);
|
|
26
|
-
assert.deepStrictEqual(inspect(parser('aab', {})), [['A'], 'ab']);
|
|
27
|
-
assert.deepStrictEqual(inspect(parser('abb', {})), [['A'], 'bb']);
|
|
28
|
-
assert.deepStrictEqual(inspect(parser('bba', {})), [['B'], 'ba']);
|
|
21
|
+
assert.deepStrictEqual(inspect(parser({ source: '', context: {} })), undefined);
|
|
22
|
+
assert.deepStrictEqual(inspect(parser({ source: 'a', context: {} })), [['A'], '']);
|
|
23
|
+
assert.deepStrictEqual(inspect(parser({ source: 'b', context: {} })), [['B'], '']);
|
|
24
|
+
assert.deepStrictEqual(inspect(parser({ source: 'ab', context: {} })), [['A'], 'b']);
|
|
25
|
+
assert.deepStrictEqual(inspect(parser({ source: 'ba', context: {} })), [['B'], 'a']);
|
|
26
|
+
assert.deepStrictEqual(inspect(parser({ source: 'aab', context: {} })), [['A'], 'ab']);
|
|
27
|
+
assert.deepStrictEqual(inspect(parser({ source: 'abb', context: {} })), [['A'], 'bb']);
|
|
28
|
+
assert.deepStrictEqual(inspect(parser({ source: 'bba', context: {} })), [['B'], 'ba']);
|
|
29
29
|
});
|
|
30
30
|
|
|
31
31
|
});
|
|
@@ -12,9 +12,9 @@ export function union<T, D extends Parser<T>[]>(parsers: D): Parser<T, Ctx, D> {
|
|
|
12
12
|
default:
|
|
13
13
|
return Function('parsers', [
|
|
14
14
|
'"use strict";',
|
|
15
|
-
'return (
|
|
15
|
+
'return (input, context) =>',
|
|
16
16
|
'0',
|
|
17
|
-
...parsers.map((_, i) => `|| parsers[${i}](
|
|
17
|
+
...parsers.map((_, i) => `|| parsers[${i}](input, context)`),
|
|
18
18
|
].join('\n'))(parsers);
|
|
19
19
|
}
|
|
20
20
|
}
|
|
@@ -2,7 +2,11 @@ import { Delimiters } from './parser/context/delimiter';
|
|
|
2
2
|
import { Memo } from './parser/context/memo';
|
|
3
3
|
|
|
4
4
|
export type Parser<T, C extends Ctx = Ctx, D extends Parser<unknown, C>[] = any>
|
|
5
|
-
= (
|
|
5
|
+
= (input: Input<C>) => Result<T, C, D>;
|
|
6
|
+
export interface Input<C extends Ctx = Ctx> {
|
|
7
|
+
readonly source: string;
|
|
8
|
+
readonly context: C;
|
|
9
|
+
}
|
|
6
10
|
export type Result<T, C extends Ctx = Ctx, D extends Parser<unknown, C>[] = any>
|
|
7
11
|
= readonly [T[], string, C, D]
|
|
8
12
|
| readonly [T[], string]
|
|
@@ -12,6 +16,7 @@ export interface Ctx {
|
|
|
12
16
|
clock: number;
|
|
13
17
|
recursion: number;
|
|
14
18
|
};
|
|
19
|
+
offset?: number;
|
|
15
20
|
precedence?: number;
|
|
16
21
|
delimiters?: Delimiters;
|
|
17
22
|
state?: number;
|
package/src/parser/api/bind.ts
CHANGED
|
@@ -77,7 +77,7 @@ export function bind(target: DocumentFragment | HTMLElement | ShadowRoot, settin
|
|
|
77
77
|
for (; index < sourceSegments.length - last; ++index) {
|
|
78
78
|
assert(rev === revision);
|
|
79
79
|
const seg = sourceSegments[index];
|
|
80
|
-
const es = eval(header(seg, { header: index === 0 }) || block(seg, context), []);
|
|
80
|
+
const es = eval(header({ source: seg, context: { header: index === 0 } }) || block({ source: seg, context }), []);
|
|
81
81
|
blocks.splice(index, 0, [seg, es, url]);
|
|
82
82
|
if (es.length === 0) continue;
|
|
83
83
|
// All deletion processes always run after all addition processes have done.
|
package/src/parser/api/header.ts
CHANGED
|
@@ -12,7 +12,7 @@ export function headers(source: string): string[] {
|
|
|
12
12
|
}
|
|
13
13
|
|
|
14
14
|
function parse(source: string): [HTMLElement, string] | [] {
|
|
15
|
-
const result = h(source, {});
|
|
15
|
+
const result = h({ source, context: {} });
|
|
16
16
|
const [el] = eval(result, []);
|
|
17
17
|
return el?.tagName === 'ASIDE'
|
|
18
18
|
? [el, exec(result!)]
|
|
@@ -60,7 +60,7 @@ export const invisibleHTMLEntityNames = [
|
|
|
60
60
|
] as const;
|
|
61
61
|
const unreadableHTMLEntityNames: readonly string[] = invisibleHTMLEntityNames.slice(2);
|
|
62
62
|
const unreadableEscapableCharacters = unreadableHTMLEntityNames
|
|
63
|
-
.map(name => eval(unsafehtmlentity(`&${name};`, {}))![0]);
|
|
63
|
+
.map(name => eval(unsafehtmlentity({ source: `&${name};`, context: {} }))![0]);
|
|
64
64
|
assert(unreadableEscapableCharacters.length === unreadableHTMLEntityNames.length);
|
|
65
65
|
assert(unreadableEscapableCharacters.every(c => c.length === 1));
|
|
66
66
|
const unreadableEscapableCharacter = new RegExp(`[${
|
package/src/parser/api/parse.ts
CHANGED
|
@@ -36,7 +36,7 @@ export function parse(source: string, opts: Options = {}, context?: MarkdownPars
|
|
|
36
36
|
const node = frag();
|
|
37
37
|
let index = 0;
|
|
38
38
|
for (const seg of segment(source)) {
|
|
39
|
-
node.append(...eval(header(seg, { header: index++ === 0 }) || block(seg, context), []));
|
|
39
|
+
node.append(...eval(header({ source: seg, context: { header: index++ === 0 } }) || block({ source: seg, context }), []));
|
|
40
40
|
}
|
|
41
41
|
assert(opts.id !== '' || !node.querySelector('[id], .index[href], .label[href], .annotation > a[href], .reference > a[href]'));
|
|
42
42
|
if (opts.test) return node;
|
|
@@ -4,7 +4,7 @@ import { inspect } from '../debug.test';
|
|
|
4
4
|
|
|
5
5
|
describe('Unit: parser/autolink', () => {
|
|
6
6
|
describe('autolink', () => {
|
|
7
|
-
const parser = (source: string) => some(autolink)(source, {});
|
|
7
|
+
const parser = (source: string) => some(autolink)({ source, context: {} });
|
|
8
8
|
|
|
9
9
|
it('basic', () => {
|
|
10
10
|
assert.deepStrictEqual(inspect(parser(' http://host')), [[' ', '<a href="http://host" target="_blank">http://host</a>'], '']);
|
package/src/parser/autolink.ts
CHANGED
|
@@ -7,7 +7,7 @@ export import AutolinkParser = MarkdownParser.AutolinkParser;
|
|
|
7
7
|
|
|
8
8
|
const delimiter = /[@#>0-9A-Za-z\n]|\S[#>]/;
|
|
9
9
|
|
|
10
|
-
export const autolink: AutolinkParser = (source, context) => {
|
|
10
|
+
export const autolink: AutolinkParser = ({ source, context }) => {
|
|
11
11
|
if (source === '') return;
|
|
12
12
|
assert(source[0] !== '\x1B');
|
|
13
13
|
const i = source.search(delimiter);
|
|
@@ -15,7 +15,7 @@ export const autolink: AutolinkParser = (source, context) => {
|
|
|
15
15
|
case -1:
|
|
16
16
|
return [[source], ''];
|
|
17
17
|
case 0:
|
|
18
|
-
return parser(source, context);
|
|
18
|
+
return parser({ source, context });
|
|
19
19
|
default:
|
|
20
20
|
return [[source.slice(0, i)], source.slice(i)];
|
|
21
21
|
}
|
|
@@ -4,7 +4,7 @@ import { inspect } from '../../debug.test';
|
|
|
4
4
|
|
|
5
5
|
describe('Unit: parser/block/blockquote', () => {
|
|
6
6
|
describe('blockquote', () => {
|
|
7
|
-
const parser = (source: string) => some(blockquote)(source, {});
|
|
7
|
+
const parser = (source: string) => some(blockquote)({ source, context: {} });
|
|
8
8
|
|
|
9
9
|
it('invalid', () => {
|
|
10
10
|
assert.deepStrictEqual(inspect(parser('')), undefined);
|
|
@@ -37,7 +37,7 @@ const markdown: BlockquoteParser.MarkdownParser = lazy(() => fmap(
|
|
|
37
37
|
creation(99,
|
|
38
38
|
rewrite(
|
|
39
39
|
some(contentline, opener),
|
|
40
|
-
convert(unindent, (source, context) => {
|
|
40
|
+
convert(unindent, ({ source, context }) => {
|
|
41
41
|
const references = html('ol', { class: 'references' });
|
|
42
42
|
const document = parse(source, {
|
|
43
43
|
id: '',
|
|
@@ -4,7 +4,7 @@ import { inspect } from '../../debug.test';
|
|
|
4
4
|
|
|
5
5
|
describe('Unit: parser/block/codeblock', () => {
|
|
6
6
|
describe('codeblock', () => {
|
|
7
|
-
const parser = (source: string) => some(codeblock)(source, {});
|
|
7
|
+
const parser = (source: string) => some(codeblock)({ source, context: {} });
|
|
8
8
|
|
|
9
9
|
it('invalid', () => {
|
|
10
10
|
assert.deepStrictEqual(inspect(parser('')), undefined);
|
|
@@ -70,6 +70,6 @@ export const codeblock: CodeBlockParser = block(validate('```', fmap(
|
|
|
70
70
|
params.lang
|
|
71
71
|
? context.caches?.code?.get(`${params.lang ?? ''}\n${body.slice(0, -1)}`)?.cloneNode(true).childNodes ||
|
|
72
72
|
body.slice(0, -1) || undefined
|
|
73
|
-
: defrag(eval(some(autolink)(body.slice(0, -1), context), [])));
|
|
73
|
+
: defrag(eval(some(autolink)({ source: body.slice(0, -1), context }), [])));
|
|
74
74
|
return [el];
|
|
75
75
|
})));
|
|
@@ -4,7 +4,7 @@ import { inspect } from '../../debug.test';
|
|
|
4
4
|
|
|
5
5
|
describe('Unit: parser/block/dlist', () => {
|
|
6
6
|
describe('dlist', () => {
|
|
7
|
-
const parser = (source: string) => some(dlist)(source, {});
|
|
7
|
+
const parser = (source: string) => some(dlist)({ source, context: {} });
|
|
8
8
|
|
|
9
9
|
it('invalid', () => {
|
|
10
10
|
assert.deepStrictEqual(inspect(parser('')), undefined);
|
|
@@ -4,7 +4,7 @@ import { inspect } from '../../../debug.test';
|
|
|
4
4
|
|
|
5
5
|
describe('Unit: parser/block/extension/aside', () => {
|
|
6
6
|
describe('aside', () => {
|
|
7
|
-
const parser = (source: string) => some(aside)(source, {});
|
|
7
|
+
const parser = (source: string) => some(aside)({ source, context: {} });
|
|
8
8
|
|
|
9
9
|
it('invalid', () => {
|
|
10
10
|
assert.deepStrictEqual(inspect(parser('~~~aside\n~~~')), [['<pre class="invalid" translate="no">~~~aside\n~~~</pre>'], '']);
|
|
@@ -4,7 +4,7 @@ import { inspect } from '../../../debug.test';
|
|
|
4
4
|
|
|
5
5
|
describe('Unit: parser/block/extension/example', () => {
|
|
6
6
|
describe('example', () => {
|
|
7
|
-
const parser = (source: string) => some(example)(source, {});
|
|
7
|
+
const parser = (source: string) => some(example)({ source, context: {} });
|
|
8
8
|
|
|
9
9
|
it('invalid', () => {
|
|
10
10
|
assert.deepStrictEqual(inspect(parser('~~~example/\n~~~')), undefined);
|
|
@@ -44,7 +44,7 @@ export const example: ExtensionParser.ExampleParser = block(validate('~~~', fmap
|
|
|
44
44
|
html('aside', { class: 'example', 'data-type': 'math' }, [
|
|
45
45
|
html('pre', { translate: 'no' }, body.slice(0, -1)),
|
|
46
46
|
html('hr'),
|
|
47
|
-
eval(mathblock(`$$\n${body}$$`, context), [])[0],
|
|
47
|
+
eval(mathblock({ source: `$$\n${body}$$`, context }), [])[0],
|
|
48
48
|
]),
|
|
49
49
|
];
|
|
50
50
|
default:
|
|
@@ -4,7 +4,7 @@ import { inspect } from '../../../debug.test';
|
|
|
4
4
|
|
|
5
5
|
describe('Unit: parser/block/extension/fig', () => {
|
|
6
6
|
describe('fig', () => {
|
|
7
|
-
const parser = (source: string) => some(fig)(source, {});
|
|
7
|
+
const parser = (source: string) => some(fig)({ source, context: {} });
|
|
8
8
|
|
|
9
9
|
it('invalid', () => {
|
|
10
10
|
assert.deepStrictEqual(inspect(parser('\n!https://host\n')), undefined);
|
|
@@ -4,7 +4,7 @@ import { inspect } from '../../../debug.test';
|
|
|
4
4
|
|
|
5
5
|
describe('Unit: parser/block/extension/figbase', () => {
|
|
6
6
|
describe('figbase', () => {
|
|
7
|
-
const parser = (source: string) => some(figbase)(source, {});
|
|
7
|
+
const parser = (source: string) => some(figbase)({ source, context: {} });
|
|
8
8
|
|
|
9
9
|
it('invalid', () => {
|
|
10
10
|
assert.deepStrictEqual(inspect(parser('\n$-0')), undefined);
|
|
@@ -4,7 +4,7 @@ import { inspect } from '../../../debug.test';
|
|
|
4
4
|
|
|
5
5
|
describe('Unit: parser/block/extension/figure', () => {
|
|
6
6
|
describe('figure', () => {
|
|
7
|
-
const parser = (source: string) => some(figure)(source, {});
|
|
7
|
+
const parser = (source: string) => some(figure)({ source, context: {} });
|
|
8
8
|
|
|
9
9
|
it('invalid', () => {
|
|
10
10
|
assert.deepStrictEqual(inspect(parser('~~~figure\n!https://host\n~~~')), [['<pre class="invalid" translate="no">~~~figure\n!https://host\n~~~</pre>'], '']);
|
|
@@ -98,7 +98,7 @@ export const figure: FigureParser = block(fallback(rewrite(segment, fmap(
|
|
|
98
98
|
'data-invalid-type': 'fence',
|
|
99
99
|
'data-invalid-message': `Invalid trailing line after the closing delimiter "${delim}"`,
|
|
100
100
|
} ||
|
|
101
|
-
!seg_label(opener.match(/^~+(?:figure[^\S\n]+)?(\[?\$\S+)/)?.[1] ?? '', context) && {
|
|
101
|
+
!seg_label({ source: opener.match(/^~+(?:figure[^\S\n]+)?(\[?\$\S+)/)?.[1] ?? '', context }) && {
|
|
102
102
|
'data-invalid-type': 'label',
|
|
103
103
|
'data-invalid-message': 'Invalid label',
|
|
104
104
|
} ||
|
|
@@ -4,7 +4,7 @@ import { inspect } from '../../../debug.test';
|
|
|
4
4
|
|
|
5
5
|
describe('Unit: parser/block/extension/message', () => {
|
|
6
6
|
describe('message', () => {
|
|
7
|
-
const parser = (source: string) => some(message)(source, {});
|
|
7
|
+
const parser = (source: string) => some(message)({ source, context: {} });
|
|
8
8
|
|
|
9
9
|
it('invalid', () => {
|
|
10
10
|
assert.deepStrictEqual(inspect(parser('~~~message\n~~~')), undefined);
|
|
@@ -48,7 +48,7 @@ export const message: MessageParser = block(validate('~~~', fmap(
|
|
|
48
48
|
return [
|
|
49
49
|
html('section', { class: `message`, 'data-type': type }, unshift(
|
|
50
50
|
[html('h1', title(type))],
|
|
51
|
-
[...segment(body)].reduce((acc, seg) => push(acc, eval(content(seg, context), [])), []))),
|
|
51
|
+
[...segment(body)].reduce((acc, seg) => push(acc, eval(content({ source: seg, context }), [])), []))),
|
|
52
52
|
];
|
|
53
53
|
})));
|
|
54
54
|
|
|
@@ -3,7 +3,7 @@ import { some } from '../../../combinator';
|
|
|
3
3
|
|
|
4
4
|
describe('Unit: parser/block/extension/placeholder', () => {
|
|
5
5
|
describe('placeholder', () => {
|
|
6
|
-
const parser = (source: string) => some(placeholder)(source, {});
|
|
6
|
+
const parser = (source: string) => some(placeholder)({ source, context: {} });
|
|
7
7
|
|
|
8
8
|
it('invalid', () => {
|
|
9
9
|
assert(!parser(''));
|
|
@@ -5,7 +5,7 @@ import { html } from 'typed-dom/dom';
|
|
|
5
5
|
|
|
6
6
|
describe('Unit: parser/block/extension/table', () => {
|
|
7
7
|
describe('table', () => {
|
|
8
|
-
const parser = (source: string) => some(table)(source, {});
|
|
8
|
+
const parser = (source: string) => some(table)({ source, context: {} });
|
|
9
9
|
|
|
10
10
|
it('invalid', () => {
|
|
11
11
|
assert.deepStrictEqual(inspect(parser('~~~table a\n-\n~~~')), [['<pre class="invalid" translate="no">~~~table a\n-\n~~~</pre>'], '']);
|
|
@@ -40,7 +40,7 @@ export const table: TableParser = block(validate('~~~', fmap(
|
|
|
40
40
|
switch (type) {
|
|
41
41
|
case 'grid':
|
|
42
42
|
case undefined:
|
|
43
|
-
return (eval(parser(body, context)) ?? [html('table')])
|
|
43
|
+
return (eval(parser({ source: body, context })) ?? [html('table')])
|
|
44
44
|
.map(el => define(el, { 'data-type': type }));
|
|
45
45
|
default:
|
|
46
46
|
return [html('pre', {
|
|
@@ -3,7 +3,7 @@ import { some } from '../../combinator';
|
|
|
3
3
|
|
|
4
4
|
describe('Unit: parser/block/extension', () => {
|
|
5
5
|
describe('extension', () => {
|
|
6
|
-
const parser = (source: string) => some(extension)(source, {});
|
|
6
|
+
const parser = (source: string) => some(extension)({ source, context: {} });
|
|
7
7
|
|
|
8
8
|
it('invalid', () => {
|
|
9
9
|
assert(!parser(''));
|
|
@@ -6,10 +6,10 @@ import { inspect } from '../../debug.test';
|
|
|
6
6
|
describe('Unit: parser/block/heading', () => {
|
|
7
7
|
describe('heading', () => {
|
|
8
8
|
const parser = (source: string) => {
|
|
9
|
-
const result = segment(source, {});
|
|
9
|
+
const result = segment({ source, context: {} });
|
|
10
10
|
return result
|
|
11
|
-
? [eval(result).flatMap(seg => eval<HTMLElement | string>(heading(seg, {}), [seg])), exec(result)] as const
|
|
12
|
-
: some(heading)(source, {});
|
|
11
|
+
? [eval(result).flatMap(seg => eval<HTMLElement | string>(heading({ source: seg, context: {} }), [seg])), exec(result)] as const
|
|
12
|
+
: some(heading)({ source, context: {} });
|
|
13
13
|
};
|
|
14
14
|
|
|
15
15
|
it('invalid', () => {
|
|
@@ -8,7 +8,7 @@ import { html, defrag } from 'typed-dom/dom';
|
|
|
8
8
|
|
|
9
9
|
export const segment: HeadingParser.SegmentParser = block(validate('#', focus(
|
|
10
10
|
/^#+[^\S\n]+\S[^\n]*(?:\n#+(?!\S)[^\n]*)*(?:$|\n)/,
|
|
11
|
-
some(line(source => [[source], ''])))));
|
|
11
|
+
some(line(({ source }) => [[source], ''])))));
|
|
12
12
|
|
|
13
13
|
export const heading: HeadingParser = block(rewrite(segment,
|
|
14
14
|
state(State.annotation | State.reference | State.index | State.label | State.link | State.media,
|
|
@@ -4,7 +4,7 @@ import { inspect } from '../../debug.test';
|
|
|
4
4
|
|
|
5
5
|
describe('Unit: parser/block/horizontalrule', () => {
|
|
6
6
|
describe('horizontalrule', () => {
|
|
7
|
-
const parser = (source: string) => some(horizontalrule)(source, {});
|
|
7
|
+
const parser = (source: string) => some(horizontalrule)({ source, context: {} });
|
|
8
8
|
|
|
9
9
|
it('invalid', () => {
|
|
10
10
|
assert.deepStrictEqual(inspect(parser('')), undefined);
|
|
@@ -3,7 +3,7 @@ import { some } from '../../combinator';
|
|
|
3
3
|
|
|
4
4
|
describe('Unit: parser/block/ilist', () => {
|
|
5
5
|
describe('ilist', () => {
|
|
6
|
-
const parser = (source: string) => some(ilist)(source, {});
|
|
6
|
+
const parser = (source: string) => some(ilist)({ source, context: {} });
|
|
7
7
|
|
|
8
8
|
it('single', () => {
|
|
9
9
|
assert(!parser('-'));
|
|
@@ -4,7 +4,7 @@ import { inspect } from '../../debug.test';
|
|
|
4
4
|
|
|
5
5
|
describe('Unit: parser/block/mathblock', () => {
|
|
6
6
|
describe('mathblock', () => {
|
|
7
|
-
const parser = (source: string) => some(mathblock)(source, {});
|
|
7
|
+
const parser = (source: string) => some(mathblock)({ source, context: {} });
|
|
8
8
|
|
|
9
9
|
it('invalid', () => {
|
|
10
10
|
assert.deepStrictEqual(inspect(parser('')), undefined);
|
|
@@ -4,7 +4,7 @@ import { inspect } from '../../debug.test';
|
|
|
4
4
|
|
|
5
5
|
describe('Unit: parser/block/olist', () => {
|
|
6
6
|
describe('olist', () => {
|
|
7
|
-
const parser = (source: string) => some(olist)(source, {});
|
|
7
|
+
const parser = (source: string) => some(olist)({ source, context: {} });
|
|
8
8
|
|
|
9
9
|
it('invalid', () => {
|
|
10
10
|
assert.deepStrictEqual(inspect(parser('')), undefined);
|
|
@@ -1,5 +1,6 @@
|
|
|
1
1
|
import { undefined } from 'spica/global';
|
|
2
2
|
import { OListParser } from '../block';
|
|
3
|
+
import { Parser } from '../../combinator/data/parser';
|
|
3
4
|
import { union, inits, subsequence, some, creation, state, block, line, validate, indent, focus, rewrite, open, match, fallback, lazy, fmap } from '../../combinator';
|
|
4
5
|
import { checkbox, ulist_, fillFirstLine } from './ulist';
|
|
5
6
|
import { ilist_ } from './ilist';
|
|
@@ -11,7 +12,6 @@ import { html, define, defrag } from 'typed-dom/dom';
|
|
|
11
12
|
import { memoize } from 'spica/memoize';
|
|
12
13
|
import { duffbk } from 'spica/duff';
|
|
13
14
|
import { shift } from 'spica/array';
|
|
14
|
-
import { tuple } from 'spica/tuple';
|
|
15
15
|
|
|
16
16
|
const openers = {
|
|
17
17
|
'.': /^([0-9]+|[a-z]+|[A-Z]+)(?:-(?!-)[0-9]*)*(?![^\S\n])\.?(?:$|\s)/,
|
|
@@ -51,15 +51,15 @@ const list = (type: string, form: string): OListParser.ListParser => fmap(
|
|
|
51
51
|
const heads = {
|
|
52
52
|
'.': focus(
|
|
53
53
|
openers['.'],
|
|
54
|
-
source => [[source.trimEnd().split('.', 1)[0] + '.'], '']),
|
|
54
|
+
({ source }) => [[source.trimEnd().split('.', 1)[0] + '.'], '']),
|
|
55
55
|
'(': focus(
|
|
56
56
|
openers['('],
|
|
57
|
-
source => [[source.trimEnd().replace(/^\($/, '(1)').replace(/^\((\w+)$/, '($1)')], '']),
|
|
57
|
+
({ source }) => [[source.trimEnd().replace(/^\($/, '(1)').replace(/^\((\w+)$/, '($1)')], '']),
|
|
58
58
|
} as const;
|
|
59
59
|
|
|
60
60
|
export const invalid = rewrite(
|
|
61
|
-
inits([contentline, indent((
|
|
62
|
-
source => [[
|
|
61
|
+
inits([contentline, indent<Parser<string>>(({ source }) => [[source], ''])]),
|
|
62
|
+
({ source }) => [[
|
|
63
63
|
'',
|
|
64
64
|
html('span', {
|
|
65
65
|
class: 'invalid',
|
|
@@ -4,7 +4,7 @@ import { inspect } from '../../debug.test';
|
|
|
4
4
|
|
|
5
5
|
describe('Unit: parser/block/paragraph', () => {
|
|
6
6
|
describe('paragraph', () => {
|
|
7
|
-
const parser = (source: string) => some(paragraph)(source, {});
|
|
7
|
+
const parser = (source: string) => some(paragraph)({ source, context: {} });
|
|
8
8
|
|
|
9
9
|
it('basic', () => {
|
|
10
10
|
assert.deepStrictEqual(inspect(parser('a')), [['<p>a</p>'], '']);
|