@impermeable/waterproof-editor 0.12.0 → 0.13.0

package/dist/src/api/types.d.ts

@@ -0,0 +1,119 @@
+import { Step } from "prosemirror-transform";
+import { DocChange, WrappingDocChange, Severity, WaterproofCompletion, WaterproofSymbol } from ".";
+import { Block } from "../document";
+/**
+ * Represents an area of text, that is editable in the prosemirror view and its
+ * mapping to the vscode document
+ */
+export type StringCell = {
+    /** The prosemirror starting index of this cell */
+    startProse: number;
+    /** The prosemirror ending index of this cell */
+    endProse: number;
+    /** The starting index of this cell in the text document string vscode side */
+    startText: number;
+    /** The ending index of this cell in the text document string vscode side */
+    endText: number;
+};
+export type Positioned<A> = {
+    obj: A;
+    pos: number | undefined;
+};
+/**
+ * A `WaterproofDocument` is a collection of `Block`s. Every Block in this WaterproofDocument will get translated into some ProseMirror node.
+ *
+ * Supported blocks are `HintBlock`, `InputAreaBlock`, `MarkdownBlock`, `CoqBlock` and `MathDisplayBlock`.
+ *
+ * Also see [documentation/UsingWaterproofEditor.md](../../documentation/UsingWaterproofEditor.md)
+ */
+export type WaterproofDocument = Block[];
+export type WaterproofCallbacks = {
+    /** Used by the editor to execute a command in the document. */
+    executeCommand: (command: string, time: number) => void;
+    /** Executed by the editor when the user asks for help via the keybinding or the context menu entry. */
+    executeHelp: () => void;
+    /** Used by the editor to communicate that it is ready. */
+    editorReady: () => void;
+    /** The editor will call this function on every change that is made to the underlying document.
+     *
+     * The change can either be a regular document change or a wrapping document change.
+     */
+    documentChange: (change: DocChange | WrappingDocChange) => void;
+    /** Only ever used by the editor once an unrecoverable error has occured when mapping changes */
+    applyStepError: (errorMessage: string) => void;
+    /** Used by the editor to communicate the current cursor position, `cursorPosition` is an offset based position into the document.  */
+    cursorChange: (cursorPosition: number) => void;
+    /** Used to communicate that the linenumbers need to be recomputed for the current document */
+    lineNumbers: (linenumbers: Array<number>, version: number) => void;
+    /** Fired by the editor when the viewport (the user visible part of the editor changes) */
+    viewportHint: (start: number, end: number) => void;
+};
+export declare abstract class WaterproofMapping {
+    abstract getMapping: () => Map<number, StringCell>;
+    abstract get version(): number;
+    abstract findPosition: (index: number) => number;
+    abstract findInvPosition: (index: number) => number;
+    abstract update: (step: Step) => DocChange | WrappingDocChange;
+}
+/**
+ * Configuration object for the WaterproofEditor.
+ *
+ * - `api` contains the callbacks that the editor will use to communicate with the host application.
+ * - `documentConstructor` is a function that takes a string and returns a WaterproofDocument (block representation of a ProseMirror document).
+ * - `mapping` is a constructor for the WaterproofMapping class, which handles the mapping between the ProseMirror document and the text document in the host application.
+ */
+export type WaterproofEditorConfig = {
+    /** Set of  (static) completions that should be shown to the user. */
+    completions: Array<WaterproofCompletion>;
+    /** Set of (static) symbol completions that should be shown to the user. */
+    symbols: Array<WaterproofSymbol>;
+    /** How the editor communicates to the parent process */
+    api: WaterproofCallbacks;
+    /** Determines how the editor document gets constructed from a string input. */
+    documentConstructor: (document: string) => WaterproofDocument;
+    /** How to construct a mapping for this editor. The mapping is responsible for mapping changes from the underlying ProseMirror instance into changes that can be applied to the underlying document. */
+    mapping: new (inputString: string, versionNum: number) => WaterproofMapping;
+    /** THIS IS A TEMPORARY FEATURE THAT WILL GET REMOVED */
+    documentPreprocessor?: (inputString: string) => {
+        resultingDocument: string;
+        documentChange: DocChange | WrappingDocChange | undefined;
+    };
+};
+export declare enum HistoryChange {
+    Undo = 0,
+    Redo = 1
+}
+export type SimpleProgressInfo = {
+    /** Range for which the processing info was reported. */
+    range: {
+        start: {
+            line: number;
+            character: number;
+        };
+        end: {
+            line: number;
+            character: number;
+        };
+    };
+    /** Kind of progress that was reported. */
+    kind?: CoqFileProgressKind;
+};
+export type SimpleProgressParams = {
+    numberOfLines: number;
+    progress: SimpleProgressInfo[];
+};
+export declare enum CoqFileProgressKind {
+    Processing = 1,
+    FatalError = 2
+}
+export interface OffsetDiagnostic {
+    message: string;
+    severity: Severity;
+    startOffset: number;
+    endOffset: number;
+}
+export declare enum ThemeStyle {
+    Light = 0,
+    Dark = 1
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/src/api/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/api/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,GAAG,CAAC;AACnG,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG;IACrB,kDAAkD;IAClD,UAAU,EAAE,MAAM,CAAC;IACnB,gDAAgD;IAChD,QAAQ,EAAE,MAAM,CAAC;IACjB,8EAA8E;IAC9E,SAAS,EAAE,MAAM,CAAC;IAClB,4EAA4E;IAC5E,OAAO,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;IACxB,GAAG,EAAE,CAAC,CAAC;IACP,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;CAC3B,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,kBAAkB,GAAG,KAAK,EAAE,CAAC;AAEzC,MAAM,MAAM,mBAAmB,GAAG;IAC9B,+DAA+D;IAC/D,cAAc,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACxD,uGAAuG;IACvG,WAAW,EAAE,MAAM,IAAI,CAAC;IACxB,0DAA0D;IAC1D,WAAW,EAAE,MAAM,IAAI,CAAC;IACxB;;;OAGG;IACH,cAAc,EAAE,CAAC,MAAM,EAAE,SAAS,GAAG,iBAAiB,KAAK,IAAI,CAAC;IAChE,gGAAgG;IAChG,cAAc,EAAE,CAAC,YAAY,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/C,sIAAsI;IACtI,YAAY,EAAE,CAAC,cAAc,EAAE,MAAM,KAAK,IAAI,CAAA;IAC9C,8FAA8F;IAC9F,WAAW,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IACnE,0FAA0F;IAC1F,YAAY,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,IAAI,CAAC;CACtD,CAAA;AAED,8BAAsB,iBAAiB;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACnD,QAAQ,KAAK,OAAO,IAAI,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IACjD,QAAQ,CAAC,eAAe,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,GAAG,iBAAiB,CAAC;CAClE;AAED;;;;;;GAMG;AACH,MAAM,MAAM,sBAAsB,GAAG;IACjC,qEAAqE;IACrE,WAAW,EAAE,KAAK,CAAC,oBAAoB,CAAC,CAAC;IACzC,2EAA2E;IAC3E,OAAO,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACjC,wDAAwD;IACxD,GAAG,EAAE,mBAAmB,CAAC;IACzB,+EAA+E;IAC/E,mBAAmB,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,kBAAkB,CAAC;IAC9D,uMAAuM;IACvM,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,KAAK,iBAAiB,CAAC;IAC5E,wDAAwD;IACxD,oBAAoB,CAAC,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK;QAAC,iBAAiB,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,SAAS,GAAG,iBAAiB,GAAG,SAAS,CAAA;KAAC,CAAC;CAC1I,CAAA;AAED,oBAAY,aAAa;IACrB,IAAI,IAAA;IACJ,IAAI,IAAA;CACP;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC7B,wDAAwD;IACxD,KAAK,EAAE;QACH,KAAK,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,MAAM,CAAA;SAAE,CAAC;QAC3C,GAAG,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,MAAM,CAAA;SAAE,CAAC;KAC5C,CAAC;IACF,0CAA0C;IAC1C,IAAI,CAAC,EAAE,mBAAmB,CAAC;CAC9B,CAAA;AAED,MAAM,MAAM,oBAAoB,GAAG;IAC/B,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,kBAAkB,EAAE,CAAC;CAClC,CAAA;AAED,oBAAY,mBAAmB;IAC3B,UAAU,IAAI;IACd,UAAU,IAAA;CACb;AAED,MAAM,WAAW,gBAAgB;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,QAAQ,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;CACrB;AAED,oBAAY,UAAU;IAClB,KAAK,IAAA;IAAE,IAAI,IAAA;CACd"}

package/dist/src/autocomplete/coqTerms.d.ts

@@ -0,0 +1,3 @@
+import { CompletionSource } from "@codemirror/autocomplete";
+export declare const coqCompletionSource: CompletionSource;
+//# sourceMappingURL=coqTerms.d.ts.map

package/dist/src/autocomplete/coqTerms.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coqTerms.d.ts","sourceRoot":"","sources":["../../../src/autocomplete/coqTerms.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmD,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAO7G,eAAO,MAAM,mBAAmB,EAAE,gBAcjC,CAAA"}

package/dist/src/autocomplete/emojis.d.ts

@@ -0,0 +1,10 @@
+import { CompletionSource } from "@codemirror/autocomplete";
+/**
+ * Function that creates the `emojiCompletionSource`.
+ * This function can be used in the editor as a completion source.
+ *
+ * Emoji list has been generated by using https://github.com/github/gemoji/blob/master/db/emoji.json
+ * from https://github.com/github/gemoji
+ */
+export declare const emojiCompletionSource: CompletionSource;
+//# sourceMappingURL=emojis.d.ts.map

package/dist/src/autocomplete/emojis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"emojis.d.ts","sourceRoot":"","sources":["../../../src/autocomplete/emojis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiC,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAK3F;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,EAAE,gBAUnC,CAAA"}

package/dist/src/autocomplete/index.d.ts

@@ -0,0 +1,2 @@
+export { renderIcon } from "./renderSymbol";
+//# sourceMappingURL=index.d.ts.map

package/dist/src/autocomplete/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/autocomplete/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/src/autocomplete/renderSymbol.d.ts

@@ -0,0 +1,7 @@
+import { Completion } from "@codemirror/autocomplete";
+import { EditorState } from "@codemirror/state";
+export declare const renderIcon: {
+    render: (completion: Completion, _state: EditorState) => globalThis.Node | null;
+    position: number;
+};
+//# sourceMappingURL=renderSymbol.d.ts.map

package/dist/src/autocomplete/renderSymbol.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"renderSymbol.d.ts","sourceRoot":"","sources":["../../../src/autocomplete/renderSymbol.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAgBhD,eAAO,MAAM,UAAU;yBAdK,UAAU,UAAU,WAAW,KAAG,UAAU,CAAC,IAAI,GAAG,IAAI;;CAiBnF,CAAA"}

package/dist/src/autocomplete/symbols.d.ts

@@ -0,0 +1,7 @@
+import { CompletionSource } from "@codemirror/autocomplete";
+/**
+ * Function that creates the `symbolCompletionSource`.
+ * This function can be used in the editor as a completion source.
+ */
+export declare const symbolCompletionSource: CompletionSource;
+//# sourceMappingURL=symbols.d.ts.map

package/dist/src/autocomplete/symbols.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbols.d.ts","sourceRoot":"","sources":["../../../src/autocomplete/symbols.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmD,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAM7G;;;GAGG;AACH,eAAO,MAAM,sBAAsB,EAAE,gBAapC,CAAA"}

package/dist/src/codeview/code-plugin.d.ts

@@ -0,0 +1,28 @@
+import { Schema, Node as ProseNode } from "prosemirror-model";
+import { Plugin as ProsePlugin, PluginKey } from "prosemirror-state";
+import { EditorView } from "prosemirror-view";
+import { CodeBlockView } from "./nodeview";
+import { LineNumber, ThemeStyle, WaterproofCompletion, WaterproofSymbol } from "../api";
+import { Completion } from "@codemirror/autocomplete";
+import { WaterproofEditor } from "../editor";
+export interface ICodePluginState {
+    macros: {
+        [cmd: string]: string;
+    };
+    /** A list of currently active `NodeView`s, in insertion order. */
+    activeNodeViews: Set<CodeBlockView>;
+    /** The schema of the outer editor */
+    schema: Schema;
+    /** Should the codemirror cells show line numbers */
+    showLines: boolean;
+    /** The lastest versioned linenumbers */
+    lines: LineNumber;
+}
+export declare const CODE_PLUGIN_KEY: PluginKey<ICodePluginState>;
+/**
+ * Returns a function suitable for passing as a field in `EditorProps.nodeViews`.
+ * @see https://prosemirror.net/docs/ref/#view.EditorProps.nodeViews
+ */
+export declare function createCoqCodeView(completions: Array<Completion>, symbols: Array<Completion>, editorInstance: WaterproofEditor, initialThemeStyle: ThemeStyle): (node: ProseNode, view: EditorView, getPos: () => number | undefined) => CodeBlockView;
+export declare const codePlugin: (completions: Array<WaterproofCompletion>, symbols: Array<WaterproofSymbol>, editorInstance: WaterproofEditor, initialThemeStyle: ThemeStyle) => ProsePlugin<ICodePluginState>;
+//# sourceMappingURL=code-plugin.d.ts.map

package/dist/src/codeview/code-plugin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"code-plugin.d.ts","sourceRoot":"","sources":["../../../src/codeview/code-plugin.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,MAAM,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,MAAM,IAAI,WAAW,EAAE,SAAS,EAAc,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AACxF,OAAO,EAAE,UAAU,EAAqB,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAI7C,MAAM,WAAW,gBAAgB;IAChC,MAAM,EAAE;QAAE,CAAC,GAAG,EAAC,MAAM,GAAI,MAAM,CAAA;KAAE,CAAC;IAClC,kEAAkE;IAClE,eAAe,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;IACjC,qCAAqC;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,oDAAoD;IACpD,SAAS,EAAE,OAAO,CAAC;IACtB,wCAAwC;IACxC,KAAK,EAAE,UAAU,CAAC;CAClB;AAED,eAAO,MAAM,eAAe,6BAAmE,CAAC;AAEhG;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,cAAc,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,UAAU,IACpJ,MAAM,SAAS,EAAE,MAAM,UAAU,EAAE,QAAQ,MAAM,MAAM,GAAG,SAAS,KAAG,aAAa,CAe3F;AAiED,eAAO,MAAM,UAAU,GAAI,aAAa,KAAK,CAAC,oBAAoB,CAAC,EAAE,SAAS,KAAK,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,gBAAgB,EAAE,mBAAmB,UAAU,kCAOrK,CAAC"}

package/dist/src/codeview/color-scheme.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Inspired by:
+ * https://github.com/codemirror/theme-one-dark/blob/main/src/one-dark.ts
+ */
+export declare const customTheme: import("@codemirror/state").Extension;
+//# sourceMappingURL=color-scheme.d.ts.map

package/dist/src/codeview/color-scheme.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"color-scheme.d.ts","sourceRoot":"","sources":["../../../src/codeview/color-scheme.ts"],"names":[],"mappings":"AAGA;;;GAGG;AACH,eAAO,MAAM,WAAW,uCAA2C,CAAC"}

package/dist/src/codeview/debouncer.d.ts

@@ -0,0 +1,8 @@
+export declare class Debouncer {
+    private _func;
+    private _delay;
+    private timer;
+    constructor(delay: number, func: () => void);
+    call(): void;
+}
+//# sourceMappingURL=debouncer.d.ts.map

package/dist/src/codeview/debouncer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"debouncer.d.ts","sourceRoot":"","sources":["../../../src/codeview/debouncer.ts"],"names":[],"mappings":"AAAA,qBAAa,SAAS;IAClB,OAAO,CAAC,KAAK,CAAa;IAC1B,OAAO,CAAC,MAAM,CAAS;IAEvB,OAAO,CAAC,KAAK,CAAqB;gBAEtB,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,IAAI;IAKpC,IAAI;CAMd"}

package/dist/src/codeview/index.d.ts

@@ -0,0 +1,3 @@
+export { CodeBlockView } from "./nodeview";
+export { CODE_PLUGIN_KEY, codePlugin } from "./code-plugin";
+//# sourceMappingURL=index.d.ts.map

package/dist/src/codeview/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/codeview/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC"}

package/dist/src/codeview/lang-pack/index.d.ts

@@ -0,0 +1,8 @@
+import { HighlightStyle, LRLanguage, LanguageSupport } from "@codemirror/language";
+import { ThemeStyle } from "../../api";
+export declare const highlight_dark: HighlightStyle;
+export declare const highlight_light: HighlightStyle;
+export declare const coqLanguage: LRLanguage;
+export declare function coq(): LanguageSupport;
+export declare function coqSyntaxHighlighting(themeStyle: ThemeStyle): import("@codemirror/state").Extension;
+//# sourceMappingURL=index.d.ts.map

package/dist/src/codeview/lang-pack/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/codeview/lang-pack/index.ts"],"names":[],"mappings":"AACA,OAAO,EACH,cAAc,EAAE,UAAU,EAAE,eAAe,EAC9C,MAAM,sBAAsB,CAAA;AAE7B,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AAqBtC,eAAO,MAAM,cAAc,gBAUzB,CAAA;AAGF,eAAO,MAAM,eAAe,gBAU1B,CAAC;AAGH,eAAO,MAAM,WAAW,YAqFtB,CAAA;AAEF,wBAAgB,GAAG,oBAElB;AAED,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,UAAU,yCAG3D"}

package/dist/src/codeview/lang-pack/print-grammar.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=print-grammar.d.ts.map

package/dist/src/codeview/lang-pack/print-grammar.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"print-grammar.d.ts","sourceRoot":"","sources":["../../../../src/codeview/lang-pack/print-grammar.ts"],"names":[],"mappings":""}

package/dist/src/codeview/lang-pack/syntax.d.ts

@@ -0,0 +1,3 @@
+import { LRParser } from "@lezer/lr";
+export declare const parser: LRParser;
+//# sourceMappingURL=syntax.d.ts.map

package/dist/src/codeview/lang-pack/syntax.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"syntax.d.ts","sourceRoot":"","sources":["../../../../src/codeview/lang-pack/syntax.ts"],"names":[],"mappings":"AACA,OAAO,EAAC,QAAQ,EAAkB,MAAM,WAAW,CAAA;AACnD,eAAO,MAAM,MAAM,UAajB,CAAA"}

package/dist/src/codeview/lang-pack/syntax.terms.d.ts

@@ -0,0 +1,2 @@
+export declare const Program = 1, Sentence = 2, Comment = 3, FocusOperation = 4, Bullet = 5, FocusBrace = 6, UnfocusBrace = 7, WaterproofTactic = 8, Argument = 16, And = 17, That = 19, As = 23, DefineSymbol = 30, In = 31, All = 35, AccordingTo = 37, SuchAn = 38, Magic = 40, It = 41, We = 44, Both = 48, Or = 50, Vernac = 52, Lemmas = 69, LemmaKeyword = 70, Definitions = 74, DefinitionKeyword = 75, ArgumentEnd = 79;
+//# sourceMappingURL=syntax.terms.d.ts.map

package/dist/src/codeview/lang-pack/syntax.terms.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"syntax.terms.d.ts","sourceRoot":"","sources":["../../../../src/codeview/lang-pack/syntax.terms.ts"],"names":[],"mappings":"AACA,eAAO,MACL,OAAO,IAAI,EACX,QAAQ,IAAI,EACZ,OAAO,IAAI,EACX,cAAc,IAAI,EAClB,MAAM,IAAI,EACV,UAAU,IAAI,EACd,YAAY,IAAI,EAChB,gBAAgB,IAAI,EACpB,QAAQ,KAAK,EACb,GAAG,KAAK,EACR,IAAI,KAAK,EACT,EAAE,KAAK,EACP,YAAY,KAAK,EACjB,EAAE,KAAK,EACP,GAAG,KAAK,EACR,WAAW,KAAK,EAChB,MAAM,KAAK,EACX,KAAK,KAAK,EACV,EAAE,KAAK,EACP,EAAE,KAAK,EACP,IAAI,KAAK,EACT,EAAE,KAAK,EACP,MAAM,KAAK,EACX,MAAM,KAAK,EACX,YAAY,KAAK,EACjB,WAAW,KAAK,EAChB,iBAAiB,KAAK,EACtB,WAAW,KAAK,CAAA"}

package/dist/src/codeview/nodeview.d.ts

@@ -0,0 +1,63 @@
+import { Completion, CompletionSource } from "@codemirror/autocomplete";
+import { Node, Schema } from "prosemirror-model";
+import { EditorView } from "prosemirror-view";
+import { EmbeddedCodeMirrorEditor } from "../embedded-codemirror";
+import { Diagnostic } from "@codemirror/lint";
+import { ThemeStyle } from "../api";
+import { WaterproofEditor } from "../editor";
+/**
+ * Export CodeBlockView class that implements the custom codeblock nodeview.
+ * Corresponds with the example as can be found here:
+ * https://prosemirror.net/examples/codemirror/
+ */
+export declare class CodeBlockView extends EmbeddedCodeMirrorEditor {
+    private readonly editorInstance;
+    dom: HTMLElement;
+    private _lineNumberCompartment;
+    private _lineNumbersExtension;
+    private _dynamicCompletions;
+    private _readOnlyCompartment;
+    private _themeCompartment;
+    private lastUsedDiagnosticsVersion;
+    constructor(node: Node, view: EditorView, editorInstance: WaterproofEditor, getPos: (() => number | undefined), schema: Schema, completions: Array<Completion>, symbols: Array<Completion>, initialThemeStyle: ThemeStyle);
+    dispatchEmpty(): void;
+    private partOfInputArea;
+    handleSnippet(template: string, posFrom: number, posTo: number, completion?: Completion | undefined): void;
+    /**
+     * set edit permission
+     */
+    setEditPermission(): void;
+    /**
+     * Update the theme of the editor.
+     */
+    updateThemeFromVSCode(theme: ThemeStyle): void;
+    /**
+     * Update the line numbers extension
+     */
+    updateLineNumbers(firstLineNo: number, toggleState: boolean): void;
+    /**
+     * This method needs to be called with the new list to update it.
+     */
+    handleNewComplete(newCompletions: Completion[]): void;
+    /**
+     * (Dynamic) Completion Source.
+     * Contains completions for defined theorems/lemmas/etc.
+     */
+    dynamicCompletionSource: CompletionSource;
+    /**
+     * The {@linkcode LintSource} to use for the codemirror instance.
+     * This will use the outer {@linkcode WaterproofEditor} to get diagnostics in the range of this
+     * codemirror view.
+     */
+    private lintingFunction;
+    /**
+     * Add a new coq error to this view
+     * @param from The from position of the error.
+     * @param to The to postion of the error (should be larger than `from`).
+     * @param message The message attached to this error.
+     * @param severity The severity attached to this error.
+     */
+    preprocessDiagnostic(from: number, to: number, message: string, severity: number): Diagnostic;
+    private showCopyNotification;
+}
+//# sourceMappingURL=nodeview.d.ts.map

package/dist/src/codeview/nodeview.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodeview.d.ts","sourceRoot":"","sources":["../../../src/codeview/nodeview.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAuC,gBAAgB,EAA+L,MAAM,0BAA0B,CAAC;AAQ1S,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAG7C,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAsB,UAAU,EAAc,MAAM,kBAAkB,CAAC;AAE9E,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACpC,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAE7C;;;;GAIG;AACH,qBAAa,aAAc,SAAQ,wBAAwB;IAazD,OAAO,CAAC,QAAQ,CAAC,cAAc;IAZhC,GAAG,EAAE,WAAW,CAAC;IAEjB,OAAO,CAAC,sBAAsB,CAAc;IAC5C,OAAO,CAAC,qBAAqB,CAAY;IACzC,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,oBAAoB,CAAc;IAC1C,OAAO,CAAC,iBAAiB,CAAc;IACvC,OAAO,CAAC,0BAA0B,CAAa;gBAG9C,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,UAAU,EACC,cAAc,EAAE,gBAAgB,EACjD,MAAM,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,EAClC,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,EAC9B,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,EAC1B,iBAAiB,EAAE,UAAU;IAsOvB,aAAa;IAIpB,OAAO,CAAC,eAAe;IAWhB,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,EAAG,UAAU,GAAG,SAAS;IAQ3G;;OAEG;IACH,iBAAiB,IAAI,IAAI;IASzB;;OAEG;IACI,qBAAqB,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI;IAQrD;;OAEG;IACH,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,GAAG,IAAI;IAWlE;;OAEG;IACH,iBAAiB,CAAC,cAAc,EAAE,UAAU,EAAE,GAAG,IAAI;IAIrD;;;OAGG;IACH,uBAAuB,EAAE,gBAAgB,CAYvC;IAEF;;;;OAIG;IACH,OAAO,CAAC,eAAe,CAiBtB;IAED;;;;;;OAMG;IACI,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU;IAuEpG,OAAO,CAAC,oBAAoB;CAwB5B"}

package/dist/src/commands/command-helpers.d.ts

@@ -0,0 +1,48 @@
+import { NodeType, Node as PNode } from "prosemirror-model";
+import { EditorState, Transaction, Selection } from "prosemirror-state";
+/**
+ * Get a selection type object from a user selection.
+ * @param sel Input user selection.
+ * @returns Object that stores booleans whether we have a text or node selection.
+ */
+export declare function selectionType(sel: Selection): {
+    isTextSelection: boolean;
+    isNodeSelection: boolean;
+};
+export declare function getNearestPosOutsideCoqblock(sel: Selection, _state: EditorState): {
+    start: number;
+    end: number;
+};
+/**
+ * Helper function for inserting a new node above the currently selected one.
+ * @param state The current editor state.
+ * @param tr The current transaction for the state of the editor.
+ * @param escapeContainingNode Whether to escape the containing node.
+ * @param nodeType Array of nodes to insert. Depending on the node type this will be either one or more
+ * (coqcode outside of a coqblock needs to be enclosed within a new coqblock)
+ * @returns An insertion transaction.
+ */
+export declare function insertAbove(state: EditorState, tr: Transaction, ...nodeType: NodeType[]): Transaction;
+/**
+ * Helper function for inserting a new node underneath the currently selected one.
+ * @param state The current editor state.
+ * @param tr The current transaction for the state of the editor.
+ * @param escapeContainingNode Whether to escape the containing node.
+ * @param nodeType Array of nodes to insert. Depending on the node type this will be either one or more
+ * (coqcode outside of a coqblock needs to be enclosed within a new coqblock)
+ * @returns An insertion transaction.
+ */
+export declare function insertUnder(state: EditorState, tr: Transaction, ...nodeType: NodeType[]): Transaction;
+/**
+ * Returns the containing node for the current selection.
+ * @param sel The user's selection.
+ * @returns The node containing this selection. Will *not* return text nodes.
+ */
+export declare function getContainingNode(sel: Selection): PNode | undefined;
+export declare function allowedToInsert(state: EditorState): boolean;
+/**
+ * Helper function for checking if the selection is within an input area.
+ * @returns Whether the selection is within an input area.
+ */
+export declare function checkInputArea(sel: Selection): boolean;
+//# sourceMappingURL=command-helpers.d.ts.map

package/dist/src/commands/command-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"command-helpers.d.ts","sourceRoot":"","sources":["../../../src/commands/command-helpers.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAiB,WAAW,EAAE,SAAS,EAAiB,MAAM,mBAAmB,CAAC;AAKtG;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,SAAS;;;EAK3C;AAED,wBAAgB,4BAA4B,CAAC,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW;;;EAa/E;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE,GAAG,WAAW,CAwBrG;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE,GAAG,WAAW,CA8BrG;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,SAAS,GAAG,KAAK,GAAG,SAAS,CAUnE;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAS3D;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO,CAOtD"}

package/dist/src/commands/commands.d.ts

@@ -0,0 +1,30 @@
+import { Schema } from "prosemirror-model";
+import { Command } from "prosemirror-state";
+import { InsertionPlace } from "./types";
+import { FileFormat } from "../api";
+/**
+ * Creates a command that creates a new code cell above/underneath the currently selected node.
+ * @param schema The schema to use
+ * @param filef The format of the currently opened file.
+ * @param insertionPlace The place to insert the new node into: Underneath or Above the current node.
+ * @returns The `Command`.
+ */
+export declare function cmdInsertCode(schema: Schema, filef: FileFormat, insertionPlace: InsertionPlace): Command;
+/**
+ * Creates a command that creates a new markdown cell underneath/above the currently selected node.
+ * @param schema The schema to use
+ * @param filef The fileformat of the file currently opened.
+ * @param insertionPlace The place to insert at: Above or Underneath current node.
+ * @returns The `Command`.
+ */
+export declare function cmdInsertMarkdown(schema: Schema, filef: FileFormat, insertionPlace: InsertionPlace): Command;
+/**
+ * Returns a command that inserts a new Display Math cell above/underneath the currently selected cell.
+ * @param schema The schema in use.
+ * @param filef The file format of the current file.
+ * @param insertionPlace The place to insert the node at Above or Underneath the current node.
+ * @returns The `Command`
+ */
+export declare function cmdInsertLatex(schema: Schema, filef: FileFormat, insertionPlace: InsertionPlace): Command;
+export declare const liftWrapper: Command;
+//# sourceMappingURL=commands.d.ts.map

package/dist/src/commands/commands.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"commands.d.ts","sourceRoot":"","sources":["../../../src/commands/commands.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,OAAO,EAA2C,MAAM,mBAAmB,CAAC;AAErF,OAAO,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAIzC,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAoBpC;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc,GAAG,OAAO,CAMxG;AAgBD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc,GAAG,OAAO,CAO5G;AASD;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc,GAAG,OAAO,CAKzG;AAED,eAAO,MAAM,WAAW,EAAE,OAqBzB,CAAA"}

package/dist/src/commands/delete-command.d.ts

@@ -0,0 +1,4 @@
+import { EditorState, Transaction } from "prosemirror-state";
+import { EditorView } from "prosemirror-view";
+export declare function deleteNodeIfEmpty(state: EditorState, dispatch?: ((tr: Transaction) => void), _view?: EditorView): boolean;
+//# sourceMappingURL=delete-command.d.ts.map

package/dist/src/commands/delete-command.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"delete-command.d.ts","sourceRoot":"","sources":["../../../src/commands/delete-command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,WAAW,KAAK,IAAI,CAAC,EAAE,KAAK,CAAC,EAAE,UAAU,GAAG,OAAO,CAmBzH"}

package/dist/src/commands/index.d.ts

@@ -0,0 +1,4 @@
+export { deleteNodeIfEmpty } from "./delete-command";
+export { cmdInsertCode, cmdInsertLatex, cmdInsertMarkdown, liftWrapper } from "./commands";
+export { InsertionPlace } from "./types";
+//# sourceMappingURL=index.d.ts.map

package/dist/src/commands/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/commands/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAErD,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC3F,OAAO,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC"}

package/dist/src/commands/insert-command.d.ts

@@ -0,0 +1,34 @@
+import { Command } from "prosemirror-state";
+import { FileFormat } from "../api/FileFormat";
+import { InsertionFunction, InsertionPlace } from "./types";
+import { NodeType } from "prosemirror-model";
+/**
+ * Return a Markdown insertion command.
+ * @param filef The file format of the file in use.
+ * @param insertionFunction The function used to insert the node into the editor.
+ * @param place Where to insert the node into the editor. Either Above or Underneath the currently selected node.
+ * @param mvNodeType The node to use in the case of a `.mv` file.
+ * @param vNodeType The node to use in the case of a `.v` file.
+ * @returns The insertion command.
+ */
+export declare function getMdInsertCommand(filef: FileFormat, insertionFunction: InsertionFunction, place: InsertionPlace, mvNodeType: NodeType, vNodeType: NodeType): Command;
+/**
+ * Returns an insertion command for insertion display latex into the editor.
+ * @param filef The file format of the file currently being edited.
+ * @param insertionFunction The insertion function to use.
+ * @param place The place to insert into, either Above or Underneath the currently selected node.
+ * @param latexNodeType The node type for a 'display latex' node.
+ * @returns The insertion command.
+ */
+export declare function getLatexInsertCommand(filef: FileFormat, insertionFunction: InsertionFunction, place: InsertionPlace, latexNodeType: NodeType): Command;
+/**
+ * Returns an insertion command for inserting a new coq code cell. Will create a new coqblock if necessary.
+ * @param filef The file format of the file that is being edited.
+ * @param insertionFunction The insertion function to use.
+ * @param place The place of insertion, either Above or Underneath the currently selected node.
+ * @param coqblockNodeType The node type of a coqblock node (contains coqdoc and coqcode).
+ * @param coqcodeNodeType The node type of a coqcode node.
+ * @returns The insertion command.
+ */
+export declare function getCodeInsertCommand(filef: FileFormat, insertionFunction: InsertionFunction, place: InsertionPlace, coqblockNodeType: NodeType, coqcodeNodeType: NodeType): Command;
+//# sourceMappingURL=insert-command.d.ts.map

package/dist/src/commands/insert-command.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"insert-command.d.ts","sourceRoot":"","sources":["../../../src/commands/insert-command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAA4B,MAAM,mBAAmB,CAAC;AACtE,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAI7C;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAC9B,KAAK,EAAE,UAAU,EACjB,iBAAiB,EAAE,iBAAiB,EACpC,KAAK,EAAE,cAAc,EACrB,UAAU,EAAE,QAAQ,EACpB,SAAS,EAAE,QAAQ,GACpB,OAAO,CA2CT;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACjC,KAAK,EAAE,UAAU,EACjB,iBAAiB,EAAE,iBAAiB,EACpC,KAAK,EAAE,cAAc,EACrB,aAAa,EAAE,QAAQ,GACxB,OAAO,CAmCT;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAChC,KAAK,EAAE,UAAU,EACjB,iBAAiB,EAAE,iBAAiB,EACpC,KAAK,EAAE,cAAc,EACrB,gBAAgB,EAAE,QAAQ,EAC1B,eAAe,EAAE,QAAQ,GAC1B,OAAO,CAkCT"}

package/dist/src/commands/types.d.ts

@@ -0,0 +1,15 @@
+import { NodeType } from "prosemirror-model";
+import { EditorState, Transaction } from "prosemirror-state";
+/**
+ * Enum for the insertion place, can be either `Above` or `Underneath` the currently selected cell.
+ */
+export declare enum InsertionPlace {
+    Above = 0,
+    Underneath = 1
+}
+/**
+ * Insertion function type. This type of function is passed to the `get...Command` functions. The function will insert
+ * the correct NodeType either above or below the selected node.
+ */
+export type InsertionFunction = (state: EditorState, trans: Transaction, ...nodeType: NodeType[]) => Transaction;
+//# sourceMappingURL=types.d.ts.map

package/dist/src/commands/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/commands/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAE7D;;GAEG;AACH,oBAAY,cAAc;IACtB,KAAK,IAAA;IACL,UAAU,IAAA;CACb;AAED;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE,KAAK,WAAW,CAAC"}

package/dist/src/context-menu/index.d.ts

@@ -0,0 +1,2 @@
+export { createContextMenuHTML } from "./menu";
+//# sourceMappingURL=index.d.ts.map

package/dist/src/context-menu/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/context-menu/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,QAAQ,CAAC"}

package/dist/src/context-menu/menu.d.ts

@@ -0,0 +1,8 @@
+import { WaterproofEditor } from "../editor";
+/**
+ * Creates a context menu given the current editor.
+ * @param editor The editor in use.
+ * @returns HTMLDivElement storing the context menu element.
+ */
+export declare function createContextMenuHTML(editor: WaterproofEditor): HTMLDivElement;
+//# sourceMappingURL=menu.d.ts.map

package/dist/src/context-menu/menu.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"menu.d.ts","sourceRoot":"","sources":["../../../src/context-menu/menu.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAE7C;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,gBAAgB,GAAG,cAAc,CAmB9E"}

package/dist/src/document/blocks/block.d.ts

@@ -0,0 +1,24 @@
+import { Node as ProseNode } from "prosemirror-model";
+export declare enum BLOCK_NAME {
+    COQ = "coq",
+    MATH_DISPLAY = "math_display",
+    INPUT_AREA = "input_area",
+    HINT = "hint",
+    MARKDOWN = "markdown",
+    COQ_MARKDOWN = "coqdown",
+    COQ_CODE = "coq_code",
+    COQ_DOC = "coq_doc"
+}
+export interface BlockRange {
+    from: number;
+    to: number;
+}
+export interface Block {
+    type: string;
+    stringContent: string;
+    range: BlockRange;
+    innerBlocks?: Block[];
+    toProseMirror(): ProseNode;
+    debugPrint(level: number): void;
+}
+//# sourceMappingURL=block.d.ts.map

package/dist/src/document/blocks/block.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"block.d.ts","sourceRoot":"","sources":["../../../../src/document/blocks/block.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAGtD,oBAAY,UAAU;IAClB,GAAG,QAAQ;IACX,YAAY,iBAAiB;IAC7B,UAAU,eAAe;IACzB,IAAI,SAAS;IACb,QAAQ,aAAa;IACrB,YAAY,YAAY;IACxB,QAAQ,aAAa;IACrB,OAAO,YAAY;CACtB;AAED,MAAM,WAAW,UAAU;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,KAAK;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,UAAU,CAAC;IAElB,WAAW,CAAC,EAAE,KAAK,EAAE,CAAC;IAEtB,aAAa,IAAI,SAAS,CAAC;IAC3B,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;CACnC"}