@leandown/markdown-it 0.0.1 → 0.0.10

package/dist/index.d.ts

@@ -0,0 +1,38 @@
+import type MarkdownIt from "markdown-it";
+export interface MarkdownItLeanOptions {
+    /** Path to a Lean 4 project directory (containing lakefile.toml). Auto-creates a temp project if omitted. */
+    leanProjectPath?: string;
+    /** Enable hover tooltips, go-to-definition, goals, diagnostics. Default: true */
+    synchronizedHovers?: boolean;
+    /** Custom directory for the SQLite highlight cache */
+    cacheDir?: string;
+}
+/**
+ * Creates a lean-highlight integration for markdown-it.
+ *
+ * Because markdown-it's rendering pipeline is synchronous but Lean highlighting
+ * requires async LSP communication, this returns an object with an async `render()`
+ * method rather than a traditional markdown-it plugin.
+ *
+ * @example
+ * ```typescript
+ * import MarkdownIt from "markdown-it";
+ * import { createMarkdownItLean } from "markdown-it-lean";
+ *
+ * const md = new MarkdownIt();
+ * const lean = createMarkdownItLean(md, { leanProjectPath: "./my-lean-project" });
+ *
+ * const html = await lean.render("```lean\ndef hello := 42\n```");
+ * await lean.shutdown();
+ * ```
+ */
+export declare function createMarkdownItLean(md: MarkdownIt, options?: MarkdownItLeanOptions): {
+    /**
+     * Async render that processes lean code blocks via the Lean LSP
+     * before rendering the rest of the markdown with markdown-it.
+     */
+    render(src: string, env?: any): Promise<string>;
+    /** Shutdown the LSP client */
+    shutdown(): Promise<void>;
+};
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,UAAU,MAAM,aAAa,CAAC;AAI1C,MAAM,WAAW,qBAAqB;IACpC,6GAA6G;IAC7G,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,iFAAiF;IACjF,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,sDAAsD;IACtD,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,UAAU,EAAE,OAAO,GAAE,qBAA0B;IAOpF;;;OAGG;gBACe,MAAM,QAAQ,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC;IAgBrD,8BAA8B;gBACZ,OAAO,CAAC,IAAI,CAAC;EAIlC"}