@deep-eye/core 0.1.1 → 0.2.0

package/dist/components/markdown/utils/extendedSyntax.d.ts

@@ -1,52 +0,0 @@
-/**
- * 扩展 Markdown 语法处理
- */
-/**
- * 处理任务列表
- * @param markdown - 原始 markdown
- * @returns 处理后的 markdown
- */
-export declare function processTaskLists(markdown: string): string;
-/**
- * 处理删除线
- * @param markdown - 原始 markdown
- * @returns 处理后的 markdown
- */
-export declare function processStrikethrough(markdown: string): string;
-/**
- * 处理高亮文本
- * @param markdown - 原始 markdown
- * @returns 处理后的 markdown
- */
-export declare function processHighlight(markdown: string): string;
-/**
- * 处理下划线
- * @param markdown - 原始 markdown
- * @returns 处理后的 markdown
- */
-export declare function processUnderline(markdown: string): string;
-/**
- * 处理上标
- * @param markdown - 原始 markdown
- * @returns 处理后的 markdown
- */
-export declare function processSuperscript(markdown: string): string;
-/**
- * 处理下标
- * @param markdown - 原始 markdown
- * @returns 处理后的 markdown
- */
-export declare function processSubscript(markdown: string): string;
-/**
- * 处理脚注引用
- * @param markdown - 原始 markdown
- * @returns 处理后的 markdown
- */
-export declare function processFootnotes(markdown: string): string;
-/**
- * 处理所有扩展语法
- * @param markdown - 原始 markdown
- * @returns 处理后的 markdown
- */
-export declare function processExtendedSyntax(markdown: string): string;
-//# sourceMappingURL=extendedSyntax.d.ts.map

package/dist/components/markdown/utils/extendedSyntax.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"extendedSyntax.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/utils/extendedSyntax.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAOzD;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAG7D;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAGzD;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAGzD;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAG3D;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAGzD;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CA4BzD;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAa9D"}

package/dist/components/markdown/utils/index.d.ts

@@ -1,7 +0,0 @@
-export * from './mediaParser';
-export * from './streamBuffer';
-export * from './markdownUtils';
-export * from './sanitizer';
-export * from './contentProcessor';
-export * from './extendedSyntax';
-//# sourceMappingURL=index.d.ts.map

package/dist/components/markdown/utils/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/utils/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,aAAa,CAAA;AAC3B,cAAc,oBAAoB,CAAA;AAClC,cAAc,kBAAkB,CAAA"}

package/dist/components/markdown/utils/markdownUtils.d.ts

@@ -1,44 +0,0 @@
-/**
- * Markdown 工具函数
- */
-/**
- * 转义 HTML 特殊字符
- * @param text - 文本
- * @returns 转义后的文本
- */
-export declare function escapeHtml(text: string): string;
-/**
- * 将换行符转换为 <br> 标签
- * @param text - 文本
- * @returns 转换后的文本
- */
-export declare function nl2br(text: string): string;
-/**
- * 包裹表格以支持响应式滚动
- * @param html - HTML 内容
- * @returns 处理后的 HTML
- */
-export declare function wrapTables(html: string): string;
-/**
- * 为外部链接添加 target="_blank" 和安全属性
- * @param html - HTML 内容
- * @returns 处理后的 HTML
- */
-export declare function addTargetBlankToLinks(html: string): string;
-/**
- * 提取代码块
- * @param markdown - Markdown 内容
- * @returns 代码块数组
- */
-export declare function extractCodeBlocks(markdown: string): Array<{
-    language: string;
-    code: string;
-}>;
-/**
- * 检测 markdown 是否完整
- * 检查是否有未闭合的代码块、引用等
- * @param markdown - Markdown 内容
- * @returns 是否完整
- */
-export declare function isMarkdownComplete(markdown: string): boolean;
-//# sourceMappingURL=markdownUtils.d.ts.map

package/dist/components/markdown/utils/markdownUtils.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"markdownUtils.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/utils/markdownUtils.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAS/C;AAED;;;;GAIG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE1C;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQ/C;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAkB1D;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,KAAK,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAa7F;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAc5D"}

package/dist/components/markdown/utils/mediaParser.d.ts

@@ -1,30 +0,0 @@
-import type { ParseResult } from '../types';
-/**
- * 解析媒体占位符
- * @param content - 包含占位符的 markdown 内容
- * @returns 解析结果
- */
-export declare function parseMediaPlaceholders(content: string): ParseResult;
-/**
- * 提取媒体类型
- * @param placeholder - 占位符标记，如 "{{IMAGE_0}}"
- * @returns 媒体类型
- */
-export declare function extractMediaType(placeholder: string): 'image' | 'video' | 'audio' | null;
-/**
- * 验证媒体数据
- * @param type - 媒体类型
- * @param data - 媒体数据
- * @returns 是否有效
- */
-export declare function validateMediaData(type: string, data: any): boolean;
-/**
- * 分割内容为文本和占位符片段
- * @param content - 处理后的内容（包含占位符标记）
- * @returns 片段数组
- */
-export declare function splitContentByPlaceholders(content: string): Array<{
-    type: 'text' | 'placeholder';
-    content: string;
-}>;
-//# sourceMappingURL=mediaParser.d.ts.map

package/dist/components/markdown/utils/mediaParser.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"mediaParser.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/utils/mediaParser.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAkB,WAAW,EAAE,MAAM,UAAU,CAAA;AAQ3D;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,MAAM,GAAG,WAAW,CAiDnE;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,IAAI,CAMxF;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,GAAG,OAAO,CAclE;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,GAAG,aAAa,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CAoCpH"}

package/dist/components/markdown/utils/sanitizer.d.ts

@@ -1,23 +0,0 @@
-/**
- * HTML 安全清理配置
- */
-declare const SANITIZE_CONFIG: {
-    ALLOWED_TAGS: string[];
-    ALLOWED_ATTR: string[];
-    ALLOW_DATA_ATTR: boolean;
-};
-/**
- * 清理 HTML 内容
- * @param html - HTML 内容
- * @param config - 自定义配置
- * @returns 清理后的 HTML
- */
-export declare function sanitizeHtml(html: string, config?: Partial<typeof SANITIZE_CONFIG>): string;
-/**
- * 清理 markdown 渲染后的 HTML
- * @param html - HTML 内容
- * @returns 清理后的 HTML
- */
-export declare function sanitizeMarkdownHtml(html: string): string;
-export {};
-//# sourceMappingURL=sanitizer.d.ts.map

package/dist/components/markdown/utils/sanitizer.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"sanitizer.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/utils/sanitizer.ts"],"names":[],"mappings":"AAEA;;GAEG;AACH,QAAA,MAAM,eAAe;;;;CAkBpB,CAAA;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,OAAO,eAAe,CAAC,GAAG,MAAM,CAG3F;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEzD"}

package/dist/components/markdown/utils/streamBuffer.d.ts

@@ -1,68 +0,0 @@
-import type { StreamBuffer } from '../types';
-/**
- * 创建流式缓冲区
- * @returns 初始化的缓冲区
- */
-export declare function createStreamBuffer(): StreamBuffer;
-/**
- * 添加内容块到缓冲区
- * @param buffer - 缓冲区
- * @param chunk - 新内容块
- * @returns 更新后的缓冲区
- */
-export declare function appendToBuffer(buffer: StreamBuffer, chunk: string): StreamBuffer;
-/**
- * 检查是否有完整的 markdown 块
- * 完整块的标志：双换行、标题、列表等
- * @param content - 内容
- * @returns 最后完整块的索引
- */
-export declare function findLastCompleteBlock(content: string): number;
-/**
- * 获取可渲染的内容
- * @param buffer - 缓冲区
- * @returns 可以安全渲染的内容和占位符信息
- */
-export declare function getRenderableContent(buffer: StreamBuffer): {
-    content: string;
-    hasIncompletePlaceholder: boolean;
-    placeholderType: 'image' | 'video' | 'audio' | null;
-};
-/**
- * 标记缓冲区已处理
- * @param buffer - 缓冲区
- * @returns 更新后的缓冲区
- */
-export declare function markBufferProcessed(buffer: StreamBuffer): StreamBuffer;
-/**
- * 清空缓冲区
- * @returns 空缓冲区
- */
-export declare function clearBuffer(): StreamBuffer;
-/**
- * 检查缓冲区是否为空
- * @param buffer - 缓冲区
- * @returns 是否为空
- */
-export declare function isBufferEmpty(buffer: StreamBuffer): boolean;
-/**
- * 获取缓冲区中新增的内容
- * @param buffer - 缓冲区
- * @returns 新增的内容
- */
-export declare function getNewContent(buffer: StreamBuffer): string;
-/**
- * 智能分词 - 按语义单元分割内容
- * 参考 ChatGPT/Claude 的流式输出效果
- * @param content - 内容
- * @returns 分词后的数组
- */
-export declare function tokenizeContent(content: string): string[];
-/**
- * 计算流式输出延迟
- * 根据内容类型动态调整延迟，模拟真实打字效果
- * @param token - 当前 token
- * @returns 延迟毫秒数
- */
-export declare function calculateStreamDelay(token: string): number;
-//# sourceMappingURL=streamBuffer.d.ts.map

package/dist/components/markdown/utils/streamBuffer.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"streamBuffer.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/utils/streamBuffer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;AAE5C;;;GAGG;AACH,wBAAgB,kBAAkB,IAAI,YAAY,CAMjD;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY,CAMhF;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAY7D;AA8CD;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,YAAY,GAAG;IAC1D,OAAO,EAAE,MAAM,CAAA;IACf,wBAAwB,EAAE,OAAO,CAAA;IACjC,eAAe,EAAE,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,IAAI,CAAA;CACpD,CAoBA;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,YAAY,GAAG,YAAY,CAMtE;AAED;;;GAGG;AACH,wBAAgB,WAAW,IAAI,YAAY,CAE1C;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAE3D;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAE1D;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CA8BzD;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAuB1D"}

package/dist/components/markdown/viewers/AudioViewer.vue.d.ts

@@ -1,28 +0,0 @@
-interface Props {
-    url: string;
-    title?: string;
-    autoplay?: boolean;
-    controls?: boolean;
-}
-declare const _default: import("vue").DefineComponent<Props, {
-    play: () => Promise<void> | undefined;
-    pause: () => void | undefined;
-    currentTime: () => number | undefined;
-    duration: () => number | undefined;
-}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {
-    error: (error: Error) => any;
-    pause: () => any;
-    load: (url: string) => any;
-    play: () => any;
-}, string, import("vue").PublicProps, Readonly<Props> & Readonly<{
-    onError?: ((error: Error) => any) | undefined;
-    onPause?: (() => any) | undefined;
-    onLoad?: ((url: string) => any) | undefined;
-    onPlay?: (() => any) | undefined;
-}>, {
-    title: string;
-    autoplay: boolean;
-    controls: boolean;
-}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
-export default _default;
-//# sourceMappingURL=AudioViewer.vue.d.ts.map

package/dist/components/markdown/viewers/AudioViewer.vue.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"AudioViewer.vue.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/viewers/AudioViewer.vue"],"names":[],"mappings":"AAiHA,UAAU,KAAK;IACb,GAAG,EAAE,MAAM,CAAA;IACX,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,QAAQ,CAAC,EAAE,OAAO,CAAA;CACnB;;;;;;;;;;;;;;;;;WAHS,MAAM;cACH,OAAO;cACP,OAAO;;AAoIpB,wBASG"}

package/dist/components/markdown/viewers/CodeBlock.vue.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"CodeBlock.vue.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/viewers/CodeBlock.vue"],"names":[],"mappings":"AAiKA,UAAU,KAAK;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB,KAAK,CAAC,EAAE,OAAO,GAAG,MAAM,CAAA;CACzB;;WADS,OAAO,GAAG,MAAM;qBADN,OAAO;cADd,MAAM;;AA+InB,wBAOG"}

package/dist/components/markdown/viewers/ImageViewer.vue.d.ts

@@ -1,23 +0,0 @@
-interface Props {
-    url: string;
-    alt?: string;
-    width?: number;
-    height?: number;
-    lazy?: boolean;
-    preview?: boolean;
-}
-declare const _default: import("vue").DefineComponent<Props, {}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {
-    error: (error: Error) => any;
-    load: (url: string) => any;
-}, string, import("vue").PublicProps, Readonly<Props> & Readonly<{
-    onError?: ((error: Error) => any) | undefined;
-    onLoad?: ((url: string) => any) | undefined;
-}>, {
-    width: number;
-    height: number;
-    alt: string;
-    lazy: boolean;
-    preview: boolean;
-}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
-export default _default;
-//# sourceMappingURL=ImageViewer.vue.d.ts.map

package/dist/components/markdown/viewers/ImageViewer.vue.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"ImageViewer.vue.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/viewers/ImageViewer.vue"],"names":[],"mappings":"AAohBA,UAAU,KAAK;IACb,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,CAAC,EAAE,MAAM,CAAA;IACZ,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,IAAI,CAAC,EAAE,OAAO,CAAA;IACd,OAAO,CAAC,EAAE,OAAO,CAAA;CAClB;;;;;;;;WAJS,MAAM;YACL,MAAM;SAFT,MAAM;UAGL,OAAO;aACJ,OAAO;;AAkYnB,wBAQG"}

package/dist/components/markdown/viewers/MediaPlaceholder.vue.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"MediaPlaceholder.vue.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/viewers/MediaPlaceholder.vue"],"names":[],"mappings":"AAqMA,KAAK,WAAW,GAAG;IACjB,IAAI,EAAE,OAAO,GAAG,OAAO,GAAG,OAAO,CAAA;CAClC,CAAC;;AAgJF,wBAMG"}

package/dist/components/markdown/viewers/TableOfContents.vue.d.ts

@@ -1,14 +0,0 @@
-import type { TocItem as TocItemType } from '../types';
-interface Props {
-    items: TocItemType[];
-    activeId?: string;
-}
-declare const _default: import("vue").DefineComponent<Props, {}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {} & {
-    "item-click": (id: string) => any;
-}, string, import("vue").PublicProps, Readonly<Props> & Readonly<{
-    "onItem-click"?: ((id: string) => any) | undefined;
-}>, {
-    activeId: string;
-}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
-export default _default;
-//# sourceMappingURL=TableOfContents.vue.d.ts.map

package/dist/components/markdown/viewers/TableOfContents.vue.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"TableOfContents.vue.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/viewers/TableOfContents.vue"],"names":[],"mappings":"AA+IA,OAAO,KAAK,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,UAAU,CAAA;AAGtD,UAAU,KAAK;IACb,KAAK,EAAE,WAAW,EAAE,CAAA;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAA;CAClB;;;;;;cADY,MAAM;;AA8JnB,wBAQG"}

package/dist/components/markdown/viewers/VideoViewer.vue.d.ts

@@ -1,30 +0,0 @@
-interface Props {
-    url: string;
-    poster?: string;
-    autoplay?: boolean;
-    controls?: boolean;
-    muted?: boolean;
-}
-declare const _default: import("vue").DefineComponent<Props, {
-    play: () => Promise<void> | undefined;
-    pause: () => void | undefined;
-    currentTime: () => number | undefined;
-    duration: () => number | undefined;
-}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {
-    error: (error: Error) => any;
-    pause: () => any;
-    load: (url: string) => any;
-    play: () => any;
-}, string, import("vue").PublicProps, Readonly<Props> & Readonly<{
-    onError?: ((error: Error) => any) | undefined;
-    onPause?: (() => any) | undefined;
-    onLoad?: ((url: string) => any) | undefined;
-    onPlay?: (() => any) | undefined;
-}>, {
-    poster: string;
-    autoplay: boolean;
-    controls: boolean;
-    muted: boolean;
-}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
-export default _default;
-//# sourceMappingURL=VideoViewer.vue.d.ts.map

package/dist/components/markdown/viewers/VideoViewer.vue.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"VideoViewer.vue.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/viewers/VideoViewer.vue"],"names":[],"mappings":"AA0GA,UAAU,KAAK;IACb,GAAG,EAAE,MAAM,CAAA;IACX,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,KAAK,CAAC,EAAE,OAAO,CAAA;CAChB;;;;;;;;;;;;;;;;;YAJU,MAAM;cACJ,OAAO;cACP,OAAO;WACV,OAAO;;AA2HjB,wBASG"}

package/dist/components/markdown/viewers/index.d.ts

@@ -1,7 +0,0 @@
-export { default as ImageViewer } from './ImageViewer.vue';
-export { default as VideoViewer } from './VideoViewer.vue';
-export { default as AudioViewer } from './AudioViewer.vue';
-export { default as CodeBlock } from './CodeBlock.vue';
-export { default as TableOfContents } from './TableOfContents.vue';
-export { default as TocItemComponent } from './TocItem.vue';
-//# sourceMappingURL=index.d.ts.map

package/dist/components/markdown/viewers/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/viewers/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC1D,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC1D,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC1D,OAAO,EAAE,OAAO,IAAI,SAAS,EAAE,MAAM,iBAAiB,CAAA;AACtD,OAAO,EAAE,OAAO,IAAI,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAClE,OAAO,EAAE,OAAO,IAAI,gBAAgB,EAAE,MAAM,eAAe,CAAA"}

package/dist/coq-B0L9upzn.js

@@ -1,6 +0,0 @@
-const e = Object.freeze(JSON.parse(`{"displayName":"Coq","fileTypes":["v"],"name":"coq","patterns":[{"match":"\\\\b(From|Require|Import|Export|Local|Global|Include)\\\\b","name":"keyword.control.import.coq"},{"match":"\\\\b((Open|Close|Delimit|Undelimit|Bind)\\\\s+Scope)\\\\b","name":"keyword.control.import.coq"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"entity.name.function.theorem.coq"}},"match":"\\\\b(Theorem|Lemma|Remark|Fact|Corollary|Property|Proposition)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"match":"\\\\bGoal\\\\b","name":"keyword.source.coq"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.assumption.coq"}},"match":"\\\\b(Parameters?|Axioms?|Conjectures?|Variables?|Hypothesis|Hypotheses)(\\\\s+Inline)?\\\\b\\\\s*\\\\(?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"3":{"name":"entity.name.assumption.coq"}},"match":"\\\\b(Context)\\\\b\\\\s*\`?\\\\s*([({])?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.function.coq"}},"match":"(\\\\b(?:Program|Local)\\\\s+)?\\\\b(Definition|Fixpoint|CoFixpoint|Function|Example|Let(?:(?:\\\\s+|\\\\s+Co)Fixpoint)?|Instance|Equations|Equations?)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"}},"match":"\\\\b((Show\\\\s+)?Obligation\\\\s+Tactic|Obligations\\\\s+of|Obligation|Next\\\\s+Obligation(\\\\s+of)?|Solve\\\\s+Obligations(\\\\s+of)?|Solve\\\\s+All\\\\s+Obligations|Admit\\\\s+Obligations(\\\\s+of)?|Instance)\\\\b"},{"captures":{"1":{"name":"keyword.source.coq"},"3":{"name":"entity.name.type.coq"}},"match":"\\\\b(CoInductive|Inductive|Variant|Record|Structure|Class)\\\\s+(>\\\\s*)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac2)\\\\s+(mutable\\\\s+)?(rec\\\\s+)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"match":"\\\\b(Hint(\\\\s+Mode)?|Create\\\\s+HintDb|Constructors|Resolve|Rewrite|Ltac2??|Implicit(\\\\s+Types)?|Set|Unset|Remove\\\\s+Printing|Arguments|((Tactic|Reserved)\\\\s+)?Notation|Infix|Section|Module(\\\\s+Type)?|End|Check|Print(\\\\s+All)?|Eval|Compute|Search|Universe|Coercions|Generalizable(\\\\s+(All|Variable))?|Existing(\\\\s+(Class|Instance))?|Canonical|About|Locate|Collection|Typeclasses\\\\s+(Opaque|Transparent))\\\\b","name":"keyword.source.coq"},{"match":"\\\\b(Proof|Qed|Defined|Save|Abort(\\\\s+All)?|Undo(\\\\s+To)?|Restart|Focus|Unfocus|Unfocused|Show\\\\s+Proof|Show\\\\s+Existentials|Show|Unshelve)\\\\b","name":"keyword.source.coq"},{"match":"\\\\b(Quit|Drop|Time|Redirect|Timeout|Fail)\\\\b","name":"keyword.debug.coq"},{"match":"\\\\b(admit|Admitted)\\\\b","name":"invalid.illegal.admit.coq"},{"match":"[-*+:<=>{|}¬→↔∧∨≠≤≥]","name":"keyword.operator.coq"},{"match":"\\\\b(forall|exists|Type|Set|Prop|nat|bool|option|list|unit|sum|prod|comparison|Empty_set)\\\\b|[∀∃]","name":"support.type.coq"},{"match":"\\\\b(try|repeat|rew|progress|fresh|solve|now|first|tryif|at|once|do|only)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(into|with|eqn|by|move|as|using)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(match|lazymatch|multimatch|match!|lazy_match!|multi_match!|fun|with|return|end|let|in|if|then|else|fix|for|where|and)\\\\b|λ","name":"keyword.control.gallina"},{"match":"\\\\b(intros??|revert|induction|destruct|auto|eauto|tauto|eassumption|apply|eapply|assumption|constructor|econstructor|reflexivity|inversion|injection|assert|split|esplit|omega|fold|unfold|specialize|rewrite|erewrite|change|symmetry|refine|simpl|intuition|firstorder|generalize|idtac|exists??|eexists|elim|eelim|rename|subst|congruence|trivial|left|right|set|pose|discriminate|clear|clearbody|contradict|contradiction|exact|dependent|remember|case|easy|unshelve|pattern|transitivity|etransitivity|f_equal|exfalso|replace|abstract|cycle|swap|revgoals|shelve|unshelve)\\\\b","name":"support.function.builtin.ltac"},{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.coq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},{"match":"\\\\b((0([Xx])\\\\h+)|([0-9]+(\\\\.[0-9]+)?))\\\\b","name":"constant.numeric.gallina"},{"match":"\\\\b(True|False|tt|false|true|Some|None|nil|cons|pair|inl|inr|[OS]|Eq|Lt|Gt|id|ex|all|unique)\\\\b","name":"constant.language.constructor.gallina"},{"match":"\\\\b_\\\\b","name":"constant.language.wildcard.coq"},{"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.coq"}},"name":"string.quoted.double.coq"}],"repository":{"block_comment":{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.coq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},"block_double_quoted_string":{"applyEndPatternLast":1,"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.coq"}},"name":"string.quoted.double.coq"}},"scopeName":"source.coq"}`)), t = [
-  e
-];
-export {
-  t as default
-};

package/dist/coq-vlPdR5hP.cjs

@@ -1 +0,0 @@
-"use strict";Object.defineProperty(exports,Symbol.toStringTag,{value:"Module"});const e=Object.freeze(JSON.parse(`{"displayName":"Coq","fileTypes":["v"],"name":"coq","patterns":[{"match":"\\\\b(From|Require|Import|Export|Local|Global|Include)\\\\b","name":"keyword.control.import.coq"},{"match":"\\\\b((Open|Close|Delimit|Undelimit|Bind)\\\\s+Scope)\\\\b","name":"keyword.control.import.coq"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"entity.name.function.theorem.coq"}},"match":"\\\\b(Theorem|Lemma|Remark|Fact|Corollary|Property|Proposition)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"match":"\\\\bGoal\\\\b","name":"keyword.source.coq"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.assumption.coq"}},"match":"\\\\b(Parameters?|Axioms?|Conjectures?|Variables?|Hypothesis|Hypotheses)(\\\\s+Inline)?\\\\b\\\\s*\\\\(?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"3":{"name":"entity.name.assumption.coq"}},"match":"\\\\b(Context)\\\\b\\\\s*\`?\\\\s*([({])?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.function.coq"}},"match":"(\\\\b(?:Program|Local)\\\\s+)?\\\\b(Definition|Fixpoint|CoFixpoint|Function|Example|Let(?:(?:\\\\s+|\\\\s+Co)Fixpoint)?|Instance|Equations|Equations?)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"}},"match":"\\\\b((Show\\\\s+)?Obligation\\\\s+Tactic|Obligations\\\\s+of|Obligation|Next\\\\s+Obligation(\\\\s+of)?|Solve\\\\s+Obligations(\\\\s+of)?|Solve\\\\s+All\\\\s+Obligations|Admit\\\\s+Obligations(\\\\s+of)?|Instance)\\\\b"},{"captures":{"1":{"name":"keyword.source.coq"},"3":{"name":"entity.name.type.coq"}},"match":"\\\\b(CoInductive|Inductive|Variant|Record|Structure|Class)\\\\s+(>\\\\s*)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac2)\\\\s+(mutable\\\\s+)?(rec\\\\s+)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"match":"\\\\b(Hint(\\\\s+Mode)?|Create\\\\s+HintDb|Constructors|Resolve|Rewrite|Ltac2??|Implicit(\\\\s+Types)?|Set|Unset|Remove\\\\s+Printing|Arguments|((Tactic|Reserved)\\\\s+)?Notation|Infix|Section|Module(\\\\s+Type)?|End|Check|Print(\\\\s+All)?|Eval|Compute|Search|Universe|Coercions|Generalizable(\\\\s+(All|Variable))?|Existing(\\\\s+(Class|Instance))?|Canonical|About|Locate|Collection|Typeclasses\\\\s+(Opaque|Transparent))\\\\b","name":"keyword.source.coq"},{"match":"\\\\b(Proof|Qed|Defined|Save|Abort(\\\\s+All)?|Undo(\\\\s+To)?|Restart|Focus|Unfocus|Unfocused|Show\\\\s+Proof|Show\\\\s+Existentials|Show|Unshelve)\\\\b","name":"keyword.source.coq"},{"match":"\\\\b(Quit|Drop|Time|Redirect|Timeout|Fail)\\\\b","name":"keyword.debug.coq"},{"match":"\\\\b(admit|Admitted)\\\\b","name":"invalid.illegal.admit.coq"},{"match":"[-*+:<=>{|}¬→↔∧∨≠≤≥]","name":"keyword.operator.coq"},{"match":"\\\\b(forall|exists|Type|Set|Prop|nat|bool|option|list|unit|sum|prod|comparison|Empty_set)\\\\b|[∀∃]","name":"support.type.coq"},{"match":"\\\\b(try|repeat|rew|progress|fresh|solve|now|first|tryif|at|once|do|only)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(into|with|eqn|by|move|as|using)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(match|lazymatch|multimatch|match!|lazy_match!|multi_match!|fun|with|return|end|let|in|if|then|else|fix|for|where|and)\\\\b|λ","name":"keyword.control.gallina"},{"match":"\\\\b(intros??|revert|induction|destruct|auto|eauto|tauto|eassumption|apply|eapply|assumption|constructor|econstructor|reflexivity|inversion|injection|assert|split|esplit|omega|fold|unfold|specialize|rewrite|erewrite|change|symmetry|refine|simpl|intuition|firstorder|generalize|idtac|exists??|eexists|elim|eelim|rename|subst|congruence|trivial|left|right|set|pose|discriminate|clear|clearbody|contradict|contradiction|exact|dependent|remember|case|easy|unshelve|pattern|transitivity|etransitivity|f_equal|exfalso|replace|abstract|cycle|swap|revgoals|shelve|unshelve)\\\\b","name":"support.function.builtin.ltac"},{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.coq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},{"match":"\\\\b((0([Xx])\\\\h+)|([0-9]+(\\\\.[0-9]+)?))\\\\b","name":"constant.numeric.gallina"},{"match":"\\\\b(True|False|tt|false|true|Some|None|nil|cons|pair|inl|inr|[OS]|Eq|Lt|Gt|id|ex|all|unique)\\\\b","name":"constant.language.constructor.gallina"},{"match":"\\\\b_\\\\b","name":"constant.language.wildcard.coq"},{"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.coq"}},"name":"string.quoted.double.coq"}],"repository":{"block_comment":{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.coq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},"block_double_quoted_string":{"applyEndPatternLast":1,"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.coq"}},"name":"string.quoted.double.coq"}},"scopeName":"source.coq"}`)),t=[e];exports.default=t;