securemark 0.283.6 → 0.284.0

package/markdown.d.ts

@@ -661,11 +661,12 @@ export namespace MarkdownParser {
       InlineParser.EmStrongParser,
       InlineParser.StrongParser,
       InlineParser.EmphasisParser,
+      InlineParser.ItalicParser,
       InlineParser.MathParser,
       InlineParser.CodeParser,
       InlineParser.HTMLEntityParser,
-      InlineParser.AutolinkParser,
       InlineParser.BracketParser,
+      InlineParser.AutolinkParser,
       SourceParser.TextParser,
     ]> {
   }
@@ -1066,6 +1067,14 @@ export namespace MarkdownParser {
         ]>,
       ]> {
     }
+    export interface ItalicParser extends
+      // ///abc///
+      Inline<'italic'>,
+      Parser<HTMLElement | string, Context, [
+        InlineParser,
+        ItalicParser,
+      ]> {
+    }
     export interface MathParser extends
       // $expr$
       // ${expr}$
@@ -1121,6 +1130,28 @@ export namespace MarkdownParser {
         ]> {
       }
     }
+    export interface BracketParser extends
+      // ()
+      // []
+      // {}
+      // ""
+      Inline<'bracket'>,
+      Parser<HTMLElement | string, Context, [
+        SourceParser.StrParser,
+        InlineParser,
+        SourceParser.StrParser,
+        InlineParser,
+        InlineParser,
+        InlineParser,
+        InlineParser,
+        InlineParser,
+        InlineParser,
+        InlineParser,
+        InlineParser,
+        InlineParser,
+        InlineParser,
+      ]> {
+    }
     export interface AutolinkParser extends
       Inline<'autolink'>,
       Parser<HTMLElement | string, Context, [
@@ -1185,14 +1216,15 @@ export namespace MarkdownParser {
       export interface EmailParser extends
         // user@host
         Inline<'email'>,
-        Parser<HTMLAnchorElement, Context, [
-          SourceParser.StrParser,
+        Parser<string | HTMLAnchorElement, Context, [
+          Parser<HTMLAnchorElement, Context, []>,
+          Parser<string, Context, []>,
         ]> {
       }
       export interface ChannelParser extends
         // @user#tag
         Inline<'channel'>,
-        Parser<HTMLAnchorElement, Context, [
+        Parser<string | HTMLAnchorElement, Context, [
           InlineParser.AutolinkParser.AccountParser,
           InlineParser.AutolinkParser.HashtagParser,
         ]> {
@@ -1200,54 +1232,36 @@ export namespace MarkdownParser {
       export interface AccountParser extends
         // @user
         Inline<'account'>,
-        Parser<HTMLAnchorElement, Context, [
+        Parser<string | HTMLAnchorElement, Context, [
           LinkParser.UnsafeLinkParser,
+          Parser<string, Context, []>,
         ]> {
       }
       export interface HashtagParser extends
         // #tag
         Inline<'hashtag'>,
-        Parser<HTMLAnchorElement, Context, [
+        Parser<string | HTMLAnchorElement, Context, [
           LinkParser.UnsafeLinkParser,
+          Parser<string, Context, []>,
         ]> {
       }
       export interface HashnumParser extends
         // #1
         Inline<'hashnum'>,
-        Parser<HTMLAnchorElement, Context, [
+        Parser<string | HTMLAnchorElement, Context, [
           LinkParser.UnsafeLinkParser,
+          Parser<string, Context, []>,
         ]> {
       }
       export interface AnchorParser extends
         // >>1
         Inline<'anchor'>,
-        Parser<HTMLAnchorElement, Context, [
+        Parser<string | HTMLAnchorElement, Context, [
           LinkParser.UnsafeLinkParser,
+          Parser<string, Context, []>,
         ]> {
       }
     }
-    export interface BracketParser extends
-      // ()
-      // []
-      // {}
-      // ""
-      Inline<'bracket'>,
-      Parser<HTMLElement | string, Context, [
-        SourceParser.StrParser,
-        InlineParser,
-        SourceParser.StrParser,
-        InlineParser,
-        InlineParser,
-        InlineParser,
-        InlineParser,
-        InlineParser,
-        InlineParser,
-        InlineParser,
-        InlineParser,
-        InlineParser,
-        InlineParser,
-      ]> {
-    }
   }
   export interface AutolinkParser extends
     Markdown<'autolink'>,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "securemark",
-  "version": "0.283.6",
+  "version": "0.284.0",
   "description": "Secure markdown renderer working on browsers for user input data.",
   "private": false,
   "homepage": "https://github.com/falsandtru/securemark",

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

@@ -4,9 +4,10 @@ import { firstline, isBlank } from './line';
 export function block<P extends Parser<unknown>>(parser: P, separation?: boolean): P;
 export function block<T>(parser: Parser<T>, separation = true): Parser<T> {
   assert(parser);
-  return ({ source, context }) => {
+  return input => {
+    const { source } = input;
     if (source === '') return;
-    const result = parser({ source, context });
+    const result = parser(input);
     if (result === undefined) return;
     const rest = exec(result);
     if (separation && !isBlank(firstline(rest))) return;

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

@@ -23,10 +23,11 @@ export function validate<T>(patterns: string | RegExp | (string | RegExp)[] | ((
         ? `|| source.slice(0, ${pattern.length}) === '${pattern}'`
         : `|| /${pattern.source}/${pattern.flags}.test(source)`).join('').slice(2),
   ].join(''));
-  return ({ source, context }) => {
+  return input => {
+    const { source } = input;
     if (source === '') return;
     if (!match(source)) return;
-    const result = parser({ source, context });
+    const result = parser(input);
     assert(check(source, result));
     if (result === undefined) return;
     assert(exec(result).length < source.length);
@@ -47,9 +48,10 @@ function guard<T>(f: (input: Input<Ctx>) => boolean, parser: Parser<T>): Parser<
 export function verify<P extends Parser<unknown>>(parser: P, cond: (results: readonly Tree<P>[], rest: string, context: Context<P>) => boolean): P;
 export function verify<T>(parser: Parser<T>, cond: (results: readonly T[], rest: string, context: Ctx) => boolean): Parser<T> {
   assert(parser);
-  return ({ source, context }) => {
+  return input => {
+    const { source, context } = input;
     if (source === '') return;
-    const result = parser({ source, context });
+    const result = parser(input);
     assert(check(source, result));
     if (result === undefined) return;
     if (!cond(eval(result), exec(result), context)) return;

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

@@ -4,5 +4,7 @@ export function lazy<P extends Parser<unknown>>(builder: () => P): P;
 export function lazy<T>(builder: () => Parser<T>): Parser<T> {
   let parser: Parser<T>;
   return input =>
-    (parser ??= builder())(input);
+    parser !== undefined
+      ? parser(input)
+      : (parser = builder())(input);
 }

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

@@ -3,12 +3,13 @@ import { Parser, exec, check } from '../../data/parser';
 export function match<P extends Parser<unknown>>(pattern: RegExp, f: (matched: RegExpMatchArray) => P): P;
 export function match<T>(pattern: RegExp, f: (matched: RegExpMatchArray) => Parser<T>): Parser<T> {
   assert(!pattern.flags.match(/[gmy]/) && pattern.source.startsWith('^'));
-  return ({ source, context }) => {
+  return input => {
+    const { source } = input;
     if (source === '') return;
     const param = source.match(pattern);
     if (!param) return;
     assert(source.startsWith(param[0]));
-    const result = f(param)({ source, context });
+    const result = f(param)(input);
     assert(check(source, result, false));
     if (result === undefined) return;
     return exec(result).length < source.length && exec(result).length <= source.length

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

@@ -32,13 +32,14 @@ export function rewrite<P extends Parser<unknown>>(scope: Parser<unknown, Contex
 export function rewrite<T>(scope: Parser<unknown>, parser: Parser<T>): Parser<T> {
   assert(scope);
   assert(parser);
-  return ({ source, context }) => {
+  return input => {
+    const { source, context } = input;
     if (source === '') return;
     const { logger } = context;
     context.logger = {};
     //const { resources = { clock: 0 } } = context;
     //const clock = resources.clock;
-    const res1 = scope({ source, context });
+    const res1 = scope(input);
     assert(check(source, res1));
     //resources.clock = clock;
     context.logger = logger;

package/src/combinator/control/monad/bind.ts

@@ -6,9 +6,10 @@ export function bind<T, P extends Parser<unknown>>(parser: Parser<T, Context<P>,
 export function bind<U, P extends Parser<unknown>>(parser: P, f: (nodes: Tree<P>[], rest: string, context: Context<P>) => Result<U, Context<P>, SubParsers<P>>): Parser<U, Context<P>, SubParsers<P>>;
 export function bind<T, U>(parser: Parser<T>, f: (nodes: T[], rest: string, context: Ctx) => Result<U>): Parser<U> {
   assert(parser);
-  return ({ source, context }) => {
+  return input => {
+    const { source, context } = input;
     if (source === '') return;
-    const res1 = parser({ source, context });
+    const res1 = parser(input);
     assert(check(source, res1));
     if (res1 === undefined) return;
     const res2 = f(eval(res1), exec(res1), context);

package/src/combinator/data/parser/context.ts

@@ -62,14 +62,15 @@ export function creation<P extends Parser<unknown>>(cost: number, recursion: num
 export function creation(cost: number, recursion: number, parser: Parser<unknown>): Parser<unknown> {
   assert(cost >= 0);
   assert(recursion >= 0);
-  return ({ source, context }) => {
+  return input => {
+    const { context } = input;
     const resources = context.resources ?? { clock: cost || 1, recursions: [1] };
     const { recursions } = resources;
     assert(recursions.length > 0);
     const rec = min(recursion, recursions.length);
     if (rec > 0 && recursions[rec - 1] < 1) throw new Error('Too much recursion');
     rec > 0 && --recursions[rec - 1];
-    const result = parser({ source, context });
+    const result = parser(input);
     rec > 0 && ++recursions[rec - 1];
     if (result === undefined) return;
     if (resources.clock < cost) throw new Error('Too many creations');
@@ -81,13 +82,14 @@ export function creation(cost: number, recursion: number, parser: Parser<unknown
 export function precedence<P extends Parser<unknown>>(precedence: number, parser: P): P;
 export function precedence<T>(precedence: number, parser: Parser<T>): Parser<T> {
   assert(precedence >= 0);
-  return ({ source, context }) => {
+  return input => {
+    const { context } = input;
     const { delimiters, precedence: p = 0 } = context;
     const shift = delimiters && precedence > p;
     context.precedence = precedence;
     // デリミタはシフト後に設定しなければならない
     shift && delimiters.shift(precedence);
-    const result = parser({ source, context });
+    const result = parser(input);
     shift && delimiters.unshift();
     context.precedence = p;
     return result;
@@ -103,12 +105,13 @@ export function state<T>(state: number, positive: boolean | Parser<T>, parser?:
   }
   assert(state);
   assert(parser = parser!);
-  return ({ source, context }) => {
+  return input => {
+    const { context } = input;
     const s = context.state ?? 0;
     context.state = positive
       ? s | state
       : s & ~state;
-    const result = parser({ source, context });
+    const result = parser(input);
     context.state = s;
     return result;
   };
@@ -123,12 +126,13 @@ export function constraint<T>(state: number, positive: boolean | Parser<T>, pars
   }
   assert(state);
   assert(parser = parser!);
-  return ({ source, context }) => {
+  return input => {
+    const { context } = input;
     const s = positive
       ? state & context.state!
       : state & ~context.state!;
     return s === state
-      ? parser({ source, context })
+      ? parser(input)
       : undefined;
   };
 }

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

@@ -7,7 +7,7 @@ import { define } from 'typed-dom/dom';
 
 // https://example/@user must be a user page or a redirect page going there.
 
-export const account: AutolinkParser.AccountParser = lazy(() => constraint(State.autolink, false, rewrite(
+export const account: AutolinkParser.AccountParser = lazy(() => rewrite(
   open(
     '@',
     tails([
@@ -15,12 +15,13 @@ export const account: AutolinkParser.AccountParser = lazy(() => constraint(State
       str(/^[a-z][0-9a-z]*(?:[-.][0-9a-z]+)*/i),
     ])),
   union([
-    state(State.autolink, fmap(convert(
+    constraint(State.autolink, false, state(State.autolink, fmap(convert(
       source =>
         `[${source}]{ ${source.includes('/')
           ? `https://${source.slice(1).replace('/', '/@')}`
           : `/${source}`
         } }`,
       unsafelink),
-      ([el]) => [define(el, { class: 'account' })])),
-  ]))));
+      ([el]) => [define(el, { class: 'account' })]))),
+    ({ source }) => [[source], ''],
+  ])));

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

@@ -14,16 +14,17 @@ import { define } from 'typed-dom/dom';
 // 内部表現はUnixTimeに統一する(時系列順)
 // 外部表現は投稿ごとに投稿者の投稿時のタイムゾーンに統一する(非時系列順)
 
-export const anchor: AutolinkParser.AnchorParser = lazy(() => constraint(State.autolink, false, validate('>>',
+export const anchor: AutolinkParser.AnchorParser = lazy(() => validate('>>',
   focus(
     /^>>(?:[a-z][0-9a-z]*(?:-[0-9a-z]+)*\/)?[0-9a-z]+(?:-[0-9a-z]+)*(?![0-9a-z@#:])/i,
     union([
-      state(State.autolink, fmap(convert(
+      constraint(State.autolink, false, state(State.autolink, fmap(convert(
         source =>
           `[${source}]{ ${source.includes('/')
             ? `/@${source.slice(2).replace('/', '/timeline?at=')}`
             : `?at=${source.slice(2)}`
           } }`,
         unsafelink),
-        ([el]) => [define(el, { class: 'anchor' })])),
-    ])))));
+        ([el]) => [define(el, { class: 'anchor' })]))),
+      ({ source }) => [[source], ''],
+    ]))));

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

@@ -8,12 +8,13 @@ import { define } from 'typed-dom/dom';
 
 // https://example/@user?ch=a+b must be a user channel page or a redirect page going there.
 
-export const channel: AutolinkParser.ChannelParser = constraint(State.autolink, false, validate('@', bind(
+export const channel: AutolinkParser.ChannelParser = validate('@',
+  constraint(State.autolink, false, bind(
   sequence([
     account,
     some(hashtag),
   ]),
-  (es, rest) => {
+  (es: [HTMLAnchorElement], rest) => {
     const source = stringify(es);
     const el = es[0];
     const url = `${el.getAttribute('href')}?ch=${source.slice(source.indexOf('#') + 1).replace(/#/g, '+')}`;

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

@@ -1,13 +1,16 @@
 import { AutolinkParser } from '../../inline';
 import { State, Recursion } from '../../context';
-import { creation, state, constraint, verify, rewrite } from '../../../combinator';
+import { union, creation, state, constraint, verify, rewrite } from '../../../combinator';
 import { str } from '../../source';
 import { html } from 'typed-dom/dom';
 
 // https://html.spec.whatwg.org/multipage/input.html
 
-export const email: AutolinkParser.EmailParser = constraint(State.autolink, false, creation(1, Recursion.ignore, rewrite(verify(
+export const email: AutolinkParser.EmailParser = creation(1, Recursion.ignore, rewrite(verify(
   str(/^[0-9a-z](?:[_.+-](?=[0-9a-z])|[0-9a-z]){0,255}@[0-9a-z](?:(?:[0-9a-z]|-(?=[0-9a-z])){0,61}[0-9a-z])?(?:\.[0-9a-z](?:(?:[0-9a-z]|-(?=[0-9a-z])){0,61}[0-9a-z])?)*(?![0-9a-z])/i),
   ([source]) => source.length <= 255),
-  state(State.autolink,
-    ({ source }) => [[html('a', { class: 'email', href: `mailto:${source}` }, source)], '']))));
+  union([
+    constraint(State.autolink, false, state(State.autolink,
+      ({ source }) => [[html('a', { class: 'email', href: `mailto:${source}` }, source)], ''])),
+    ({ source }) => [[source], ''],
+  ])));

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

@@ -6,11 +6,12 @@ import { emoji } from './hashtag';
 import { str } from '../../source';
 import { define } from 'typed-dom/dom';
 
-export const hashnum: AutolinkParser.HashnumParser = lazy(() => constraint(State.autolink, false, rewrite(
+export const hashnum: AutolinkParser.HashnumParser = lazy(() => rewrite(
   open('#', str(new RegExp(/^[0-9]{1,9}(?![^\p{C}\p{S}\p{P}\s]|emoji|['_])/u.source.replace(/emoji/, emoji), 'u'))),
   union([
-    state(State.autolink, fmap(convert(
+    constraint(State.autolink, false, state(State.autolink, fmap(convert(
       source => `[${source}]{ ${source.slice(1)} }`,
       unsafelink),
-      ([el]) => [define(el, { class: 'hashnum', href: null })])),
-  ]))));
+      ([el]) => [define(el, { class: 'hashnum', href: null })]))),
+    ({ source }) => [[source], ''],
+  ])));

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

@@ -10,7 +10,7 @@ import { define } from 'typed-dom/dom';
 // https://github.com/tc39/proposal-regexp-unicode-property-escapes#matching-emoji
 export const emoji = String.raw`\p{Emoji_Modifier_Base}\p{Emoji_Modifier}?|\p{Emoji_Presentation}|\p{Emoji}\uFE0F`;
 
-export const hashtag: AutolinkParser.HashtagParser = lazy(() => constraint(State.autolink, false, rewrite(
+export const hashtag: AutolinkParser.HashtagParser = lazy(() => rewrite(
   open(
     '#',
     str(new RegExp([
@@ -18,8 +18,9 @@ export const hashtag: AutolinkParser.HashtagParser = lazy(() => constraint(State
       /(?:[^\p{C}\p{S}\p{P}\s]|emoji|'|_(?=[^\p{C}\p{S}\p{P}\s]|emoji|'))+/u.source,
     ].join('').replace(/emoji/g, emoji), 'u'))),
   union([
-    state(State.autolink, fmap(convert(
+    constraint(State.autolink, false, state(State.autolink, fmap(convert(
       source => `[${source}]{ ${`/hashtags/${source.slice(1)}`} }`,
       unsafelink),
-      ([el]) => [define(el, { class: 'hashtag' })])),
-  ]))));
+      ([el]) => [define(el, { class: 'hashtag' })]))),
+    ({ source }) => [[source], ''],
+  ])));

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

@@ -16,7 +16,7 @@ describe('Unit: parser/inline/autolink/url', () => {
       assert.deepStrictEqual(inspect(parser('Http://host')), [['Http'], '://host']);
       //assert.deepStrictEqual(inspect(parser('http://[::ffff:0:0%1]')), [['<a class="invalid">http://[::ffff:0:0%1]</a>'], '']);
       //assert.deepStrictEqual(inspect(parser('http://[::ffff:0:0/96]')), [['<a class="invalid">http://[::ffff:0:0/96]</a>'], '']);
-      assert.deepStrictEqual(inspect(parser(' http://a')), undefined);
+      assert.deepStrictEqual(inspect(parser(' http://host')), undefined);
     });
 
     it('basic', () => {

package/src/parser/inline/code.ts

@@ -1,12 +1,12 @@
 import { CodeParser } from '../inline';
 import { Recursion } from '../context';
-import { creation, validate, match } from '../../combinator';
+import { creation, match } from '../../combinator';
 import { html } from 'typed-dom/dom';
 
-export const code: CodeParser = creation(1, Recursion.ignore, validate('`', match(
+export const code: CodeParser = creation(1, Recursion.ignore, match(
   /^(`+)(?!`)([^\n]*?[^`\n])\1(?!`)/,
   ([whole, , body]) => ({ source }) =>
-    [[html('code', { 'data-src': whole }, format(body))], source.slice(whole.length)])));
+    [[html('code', { 'data-src': whole }, format(body))], source.slice(whole.length)]));
 
 function format(text: string): string {
   assert(text.length > 0);

package/src/parser/inline/extension/index.ts

@@ -9,7 +9,7 @@ import { html, define, defrag } from 'typed-dom/dom';
 
 import IndexParser = ExtensionParser.IndexParser;
 
-export const index: IndexParser = lazy(() => validate('[#', constraint(State.index, false, creation(1, Recursion.ignore, fmap(indexee(surround(
+export const index: IndexParser = lazy(() => constraint(State.index, false, creation(1, Recursion.ignore, fmap(indexee(surround(
   '[#',
   precedence(1, state(State.linkers | State.media,
   startTight(
@@ -31,7 +31,7 @@ export const index: IndexParser = lazy(() => validate('[#', constraint(State.ind
         class: 'index',
         href: el.id ? `#${el.id}` : undefined,
       }),
-  ])))));
+  ]))));
 
 export const signature: IndexParser.SignatureParser = lazy(() => validate('|', creation(1, Recursion.ignore, fmap(open(
   /^\|(?!\\?\s)/,

package/src/parser/inline/extension/label.ts

@@ -1,24 +1,24 @@
 import { ExtensionParser } from '../../inline';
 import { State, Recursion } from '../../context';
-import { union, constraint, creation, validate, surround, clear, fmap } from '../../../combinator';
+import { union, constraint, creation, surround, clear, fmap } from '../../../combinator';
 import { str } from '../../source';
 import { html } from 'typed-dom/dom';
 
 const body = str(/^\$[A-Za-z]*(?:(?:-[A-Za-z][0-9A-Za-z]*)+|-(?:(?:0|[1-9][0-9]*)\.)*(?:0|[1-9][0-9]*)(?![0-9A-Za-z]))/);
 
-export const segment: ExtensionParser.LabelParser.SegmentParser = clear(validate(['[$', '$'], union([
+export const segment: ExtensionParser.LabelParser.SegmentParser = clear(union([
   surround('[', body, ']'),
   body,
-])));
+]));
 
-export const label: ExtensionParser.LabelParser = constraint(State.label, false, validate(['[$', '$'], creation(1, Recursion.ignore, fmap(
+export const label: ExtensionParser.LabelParser = constraint(State.label, false, creation(1, Recursion.ignore, fmap(
   union([
     surround('[', body, ']'),
     body,
   ]),
   ([text]) => [
     html('a', { class: 'label', 'data-label': text.slice(text[1] === '-' ? 0 : 1).toLowerCase() }, text),
-  ]))));
+  ])));
 
 export function number(label: string, base: string): string {
   return isFixed(label)

package/src/parser/inline/extension/placeholder.ts

@@ -1,6 +1,6 @@
 import { ExtensionParser } from '../../inline';
 import { Recursion, Backtrack } from '../../context';
-import { union, some, creation, precedence, validate, surround, lazy } from '../../../combinator';
+import { union, some, creation, precedence, surround, lazy } from '../../../combinator';
 import { inline } from '../../inline';
 import { str } from '../../source';
 import { startTight } from '../../visibility';
@@ -11,7 +11,7 @@ import { html, defrag } from 'typed-dom/dom';
 
 // All syntax surrounded by square brackets shouldn't contain line breaks.
 
-export const placeholder: ExtensionParser.PlaceholderParser = lazy(() => validate('[', creation(1, Recursion.inline, surround(
+export const placeholder: ExtensionParser.PlaceholderParser = lazy(() => creation(1, Recursion.inline, surround(
   str(/^\[[:^|]/),
   precedence(1,
   startTight(some(union([inline]), ']', [[']', 1]]))),
@@ -24,4 +24,4 @@ export const placeholder: ExtensionParser.PlaceholderParser = lazy(() => validat
       'data-invalid-message': `Invalid start symbol or linebreak`,
     }, defrag(bs)),
   ], rest],
-  ([as, bs], rest) => [unshift(as, bs), rest], 3 | Backtrack.bracket))));
+  ([as, bs], rest) => [unshift(as, bs), rest], 3 | Backtrack.bracket)));

package/src/parser/inline/extension.ts

@@ -1,11 +1,11 @@
 import { ExtensionParser } from '../inline';
-import { union, validate } from '../../combinator';
+import { union } from '../../combinator';
 import { index } from './extension/index';
 import { label } from './extension/label';
 import { placeholder } from './extension/placeholder';
 
-export const extension: ExtensionParser = validate(['[', '$'], union([
+export const extension: ExtensionParser = union([
   index,
   label,
   placeholder,
-]));
+]);

package/src/parser/inline/html.ts

@@ -18,7 +18,7 @@ const attrspecs = {
 Object.setPrototypeOf(attrspecs, null);
 Object.values(attrspecs).forEach(o => Object.setPrototypeOf(o, null));
 
-export const html: HTMLParser = lazy(() => validate('<', validate(/^<[a-z]+(?=[^\S\n]|>)/i, creation(1, Recursion.inline,
+export const html: HTMLParser = lazy(() => validate(/^<[a-z]+(?=[^\S\n]|>)/i, creation(1, Recursion.inline,
   union([
     focus(
       /^<wbr[^\S\n]*>/i,
@@ -66,7 +66,7 @@ export const html: HTMLParser = lazy(() => validate('<', validate(/^<[a-z]+(?=[^
             [[elem(tag, as, bs, [])], rest]),
       ([, tag]) => tag,
       new Clock(10000))),
-  ])))));
+  ]))));
 
 export const attribute: HTMLParser.AttributeParser = union([
   str(/^[^\S\n]+[a-z]+(?:-[a-z]+)*(?:="[^"\n]*")?(?=[^\S\n]|>)/i),

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

@@ -0,0 +1,53 @@
+import { italic } from './italic';
+import { some } from '../../combinator';
+import { inspect } from '../../debug.test';
+
+describe('Unit: parser/inline/italic', () => {
+  describe('italic', () => {
+    const parser = (source: string) => some(italic)({ source, context: {} });
+
+    it('invalid', () => {
+      assert.deepStrictEqual(inspect(parser('///')), undefined);
+      assert.deepStrictEqual(inspect(parser('///a')), [['///', 'a'], '']);
+      assert.deepStrictEqual(inspect(parser('///a ///')), [['///', 'a'], ' ///']);
+      assert.deepStrictEqual(inspect(parser('///a  ///')), [['///', 'a', ' '], ' ///']);
+      assert.deepStrictEqual(inspect(parser('///a\n///')), [['///', 'a'], '\n///']);
+      assert.deepStrictEqual(inspect(parser('///a\\ ///')), [['///', 'a'], '\\ ///']);
+      assert.deepStrictEqual(inspect(parser('///a\\\n///')), [['///', 'a'], '\\\n///']);
+      assert.deepStrictEqual(inspect(parser('///a/b')), [['///', 'a', '/', 'b'], '']);
+      assert.deepStrictEqual(inspect(parser('///a//b')), [['///', 'a', '//', 'b'], '']);
+      assert.deepStrictEqual(inspect(parser('///a*b///')), [['///', 'a', '*', 'b', '///'], '']);
+      assert.deepStrictEqual(inspect(parser('/// ///')), undefined);
+      assert.deepStrictEqual(inspect(parser('/// a///')), undefined);
+      assert.deepStrictEqual(inspect(parser('/// a ///')), undefined);
+      assert.deepStrictEqual(inspect(parser('///\n///')), undefined);
+      assert.deepStrictEqual(inspect(parser('///\na///')), undefined);
+      assert.deepStrictEqual(inspect(parser('///\\ a///')), undefined);
+      assert.deepStrictEqual(inspect(parser('///\\\na///')), undefined);
+      assert.deepStrictEqual(inspect(parser('///<wbr>a///')), undefined);
+      assert.deepStrictEqual(inspect(parser('////a////')), undefined);
+      assert.deepStrictEqual(inspect(parser('/////a/////')), undefined);
+      assert.deepStrictEqual(inspect(parser(' ///a///')), undefined);
+    });
+
+    it('basic', () => {
+      assert.deepStrictEqual(inspect(parser('///a///')), [['<i>a</i>'], '']);
+      assert.deepStrictEqual(inspect(parser('///ab///')), [['<i>ab</i>'], '']);
+      assert.deepStrictEqual(inspect(parser('///a////')), [['<i>a</i>'], '/']);
+      assert.deepStrictEqual(inspect(parser('///a\nb///')), [['<i>a<br>b</i>'], '']);
+      assert.deepStrictEqual(inspect(parser('///a\\\nb///')), [['<i>a<br>b</i>'], '']);
+    });
+
+    it('nest', () => {
+      assert.deepStrictEqual(inspect(parser('///a ///b//////')), [['<i>a <i>b</i></i>'], '']);
+      assert.deepStrictEqual(inspect(parser('///a\\ ///b//////')), [['<i>a <i>b</i></i>'], '']);
+      assert.deepStrictEqual(inspect(parser('///a&Tab;///b//////')), [['<i>a\t<i>b</i></i>'], '']);
+      assert.deepStrictEqual(inspect(parser('///a<wbr>///b//////')), [['<i>a<wbr><i>b</i></i>'], '']);
+      assert.deepStrictEqual(inspect(parser('///`a`///')), [['<i><code data-src="`a`">a</code></i>'], '']);
+      assert.deepStrictEqual(inspect(parser('///(///a///)///')), [['<i><span class="paren">(<i>a</i>)</span></i>'], '']);
+      assert.deepStrictEqual(inspect(parser('///{http://host/}///')), [['<i><a class="url" href="http://host/" target="_blank">http://host/</a></i>'], '']);
+    });
+
+  });
+
+});