@deep-eye/core 0.1.0 → 0.1.1

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

@@ -0,0 +1,31 @@
+export * from './extendedSyntax';
+/**
+ * 处理代码块高亮
+ * @param html - 渲染后的 HTML
+ * @param highlightFn - 高亮函数
+ */
+export declare function processCodeBlocks(html: string, highlightFn: (code: string, lang: string) => string): string;
+/**
+ * 提取数学公式（在 markdown 渲染前）
+ * @param markdown - 原始 markdown 文本
+ * @returns 提取后的文本和公式映射
+ */
+export declare function extractMathFormulas(markdown: string): {
+    content: string;
+    formulas: Map<string, {
+        type: 'inline' | 'block';
+        math: string;
+    }>;
+};
+/**
+ * 恢复数学公式（在 markdown 渲染后）
+ * @param html - 渲染后的 HTML
+ * @param formulas - 公式映射
+ * @param renderInline - 行内公式渲染函数
+ * @param renderBlock - 块级公式渲染函数
+ */
+export declare function restoreMathFormulas(html: string, formulas: Map<string, {
+    type: 'inline' | 'block';
+    math: string;
+}>, renderInline: (math: string) => string, renderBlock: (math: string) => string): string;
+//# sourceMappingURL=contentProcessor.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contentProcessor.d.ts","sourceRoot":"","sources":["../../../../src/components/markdown/utils/contentProcessor.ts"],"names":[],"mappings":"AAEA,cAAc,kBAAkB,CAAA;AAEhC;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,MAAM,CA6C3G;AAyFD;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CAAE,CAqB5I;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EACjE,YAAY,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,EACtC,WAAW,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GACpC,MAAM,CAcR"}

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

@@ -0,0 +1,52 @@
+/**
+ * 扩展 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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,7 @@
+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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,44 @@
+/**
+ * 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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,30 @@
+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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,23 @@
+/**
+ * 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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,68 @@
+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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,28 @@
+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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,13 @@
+interface Props {
+    code: string;
+    language?: string;
+    showLineNumbers?: boolean;
+    theme?: 'light' | 'dark';
+}
+declare const _default: import("vue").DefineComponent<Props, {}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {}, string, import("vue").PublicProps, Readonly<Props> & Readonly<{}>, {
+    theme: "light" | "dark";
+    showLineNumbers: boolean;
+    language: string;
+}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
+export default _default;
+//# sourceMappingURL=CodeBlock.vue.d.ts.map

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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,23 @@
+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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,6 @@
+type __VLS_Props = {
+    type: 'image' | 'video' | 'audio';
+};
+declare const _default: import("vue").DefineComponent<__VLS_Props, {}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {}, string, import("vue").PublicProps, Readonly<__VLS_Props> & Readonly<{}>, {}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
+export default _default;
+//# sourceMappingURL=MediaPlaceholder.vue.d.ts.map

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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,14 @@
+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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,30 @@
+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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,7 @@
+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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,6 @@
+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

@@ -0,0 +1 @@
+"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;