@impermeable/waterproof-editor 0.9.0

package/dist/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/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/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/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/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/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/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/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/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/context-menu/index.d.ts

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

package/dist/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/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/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/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/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"}

package/dist/document/blocks/blocktypes.d.ts

@@ -0,0 +1,78 @@
+import { BLOCK_NAME, Block, BlockRange } from "./block";
+export declare class InputAreaBlock implements Block {
+    stringContent: string;
+    range: BlockRange;
+    type: BLOCK_NAME;
+    innerBlocks: Block[];
+    constructor(stringContent: string, range: BlockRange, innerBlockConstructor: (content: string) => Block[]);
+    toProseMirror(): import("prosemirror-model").Node;
+    debugPrint(level: number): void;
+}
+export declare class HintBlock implements Block {
+    stringContent: string;
+    title: string;
+    range: BlockRange;
+    type: BLOCK_NAME;
+    innerBlocks: Block[];
+    constructor(stringContent: string, title: string, range: BlockRange, innerBlockConstructor: (content: string) => Block[]);
+    toProseMirror(): import("prosemirror-model").Node;
+    debugPrint(level: number): void;
+}
+export declare class MathDisplayBlock implements Block {
+    stringContent: string;
+    range: BlockRange;
+    type: BLOCK_NAME;
+    constructor(stringContent: string, range: BlockRange);
+    toProseMirror(): import("prosemirror-model").Node;
+    debugPrint(level: number): void;
+}
+export declare class CoqBlock implements Block {
+    stringContent: string;
+    prePreWhite: string;
+    prePostWhite: string;
+    postPreWhite: string;
+    postPostWhite: string;
+    range: BlockRange;
+    type: BLOCK_NAME;
+    innerBlocks: Block[];
+    constructor(stringContent: string, prePreWhite: string, prePostWhite: string, postPreWhite: string, postPostWhite: string, range: BlockRange, innerBlockConstructor: (content: string) => Block[]);
+    toProseMirror(): import("prosemirror-model").Node;
+    debugPrint(level: number): void;
+}
+export declare class MarkdownBlock implements Block {
+    stringContent: string;
+    range: BlockRange;
+    type: BLOCK_NAME;
+    isNewLineOnly: boolean;
+    constructor(stringContent: string, range: BlockRange);
+    toProseMirror(): import("prosemirror-model").Node;
+    debugPrint(level: number): void;
+}
+export declare class CoqDocBlock implements Block {
+    stringContent: string;
+    preWhite: string;
+    postWhite: string;
+    range: BlockRange;
+    type: BLOCK_NAME;
+    innerBlocks: Block[];
+    constructor(stringContent: string, preWhite: string, postWhite: string, range: BlockRange, innerBlockConstructor: (content: string) => Block[]);
+    toProseMirror(): import("prosemirror-model").Node;
+    debugPrint(level?: number): void;
+}
+export declare class CoqMarkdownBlock implements Block {
+    stringContent: string;
+    range: BlockRange;
+    type: BLOCK_NAME;
+    constructor(stringContent: string, range: BlockRange);
+    toProseMirror(): import("prosemirror-model").Node;
+    debugPrint(level: number): void;
+}
+export declare class CoqCodeBlock implements Block {
+    stringContent: string;
+    range: BlockRange;
+    type: BLOCK_NAME;
+    constructor(stringContent: string, range: BlockRange);
+    toProseMirror(): import("prosemirror-model").Node;
+    debugPrint(level: number): void;
+}
+//# sourceMappingURL=blocktypes.d.ts.map

package/dist/document/blocks/blocktypes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"blocktypes.d.ts","sourceRoot":"","sources":["../../../src/document/blocks/blocktypes.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAOxD,qBAAa,cAAe,YAAW,KAAK;IAIpB,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAH5D,IAAI,aAAyB;IAC7B,WAAW,EAAE,KAAK,EAAE,CAAC;gBAER,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU,EAAE,qBAAqB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,KAAK,EAAE;IAIxH,aAAa;IAMb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAKlC;AAED,qBAAa,SAAU,YAAW,KAAK;IAKf,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAJlF,IAAI,aAAmB;IACvB,WAAW,EAAE,KAAK,EAAE,CAAC;gBAGR,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU,EAAE,qBAAqB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,KAAK,EAAE;IAI9I,aAAa;IAOb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAKlC;AAED,qBAAa,gBAAiB,YAAW,KAAK;IAEtB,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAD5D,IAAI,aAA2B;gBAClB,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU;IAEnE,aAAa;IAKb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAGlC;AAED,qBAAa,QAAS,YAAW,KAAK;IAId,aAAa,EAAE,MAAM;IAAS,WAAW,EAAE,MAAM;IAAS,YAAY,EAAE,MAAM;IAAS,YAAY,EAAE,MAAM;IAAS,aAAa,EAAG,MAAM;IAAS,KAAK,EAAE,UAAU;IAHjL,IAAI,aAAkB;IACtB,WAAW,EAAE,KAAK,EAAE,CAAC;gBAER,aAAa,EAAE,MAAM,EAAS,WAAW,EAAE,MAAM,EAAS,YAAY,EAAE,MAAM,EAAS,YAAY,EAAE,MAAM,EAAS,aAAa,EAAG,MAAM,EAAS,KAAK,EAAE,UAAU,EAAE,qBAAqB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,KAAK,EAAE;IAI7O,aAAa;IAYb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAKlC;AAED,qBAAa,aAAc,YAAW,KAAK;IAInB,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAH5D,IAAI,aAAuB;IAC3B,aAAa,UAAS;gBAET,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU;IAInE,aAAa;IAKb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAGlC;AAED,qBAAa,WAAY,YAAW,KAAK;IAIjB,aAAa,EAAE,MAAM;IAAS,QAAQ,EAAE,MAAM;IAAS,SAAS,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAH/G,IAAI,aAAsB;IAC1B,WAAW,EAAE,KAAK,EAAE,CAAC;gBAER,aAAa,EAAE,MAAM,EAAS,QAAQ,EAAE,MAAM,EAAS,SAAS,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU,EAAE,qBAAqB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,KAAK,EAAE;IAI3K,aAAa;IAMb,UAAU,CAAC,KAAK,GAAE,MAAU;CAK/B;AAED,qBAAa,gBAAiB,YAAW,KAAK;IAGtB,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAF5D,IAAI,aAA2B;gBAElB,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU;IAEnE,aAAa;IAMb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAGlC;AAED,qBAAa,YAAa,YAAW,KAAK;IAGlB,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAF5D,IAAI,aAAuB;gBAEd,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU;IAEnE,aAAa;IASb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAGlC"}

package/dist/document/blocks/index.d.ts

@@ -0,0 +1,3 @@
+export { BlockRange, Block } from "./block";
+export { InputAreaBlock, HintBlock, CoqBlock, MathDisplayBlock, MarkdownBlock, CoqDocBlock, CoqCodeBlock, CoqMarkdownBlock } from "./blocktypes";
+//# sourceMappingURL=index.d.ts.map

package/dist/document/blocks/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/document/blocks/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAE5C,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,QAAQ,EAAE,gBAAgB,EAAE,aAAa,EAAE,WAAW,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC"}

package/dist/document/blocks/schema.d.ts

@@ -0,0 +1,21 @@
+import { Node as ProseNode } from "prosemirror-model";
+/** Construct basic prosemirror text node. */
+export declare const text: (content: string) => ProseNode;
+/** Construct coq markdown prosemirror node. */
+export declare const coqMarkdown: (content: string) => ProseNode;
+/** Construct math display prosemirror node. */
+export declare const mathDisplay: (content: string) => ProseNode;
+/** Construct markdown prosemirror node. */
+export declare const markdown: (content: string) => ProseNode;
+/** Construct coqcode prosemirror node. */
+export declare const coqCode: (content: string) => ProseNode;
+/** Construct input area prosemirror node. */
+export declare const inputArea: (childNodes: ProseNode[]) => ProseNode;
+/** Construct hint prosemirror node. */
+export declare const hint: (title: string, childNodes: ProseNode[]) => ProseNode;
+/** Construct coq prosemirror node. */
+export declare const coqblock: (childNodes: ProseNode[], prePreWhite: string, prePostWhite: string, postPreWhite: string, postPostWhite: string) => ProseNode;
+/** Construct coqdoc prosemirror node. */
+export declare const coqDoc: (childNodes: ProseNode[], preWhite: string, postWhite: string) => ProseNode;
+export declare const root: (childNodes: ProseNode[]) => ProseNode;
+//# sourceMappingURL=schema.d.ts.map

package/dist/document/blocks/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/document/blocks/schema.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAItD,6CAA6C;AAC7C,eAAO,MAAM,IAAI,GAAI,SAAS,MAAM,KAAG,SAEtC,CAAA;AAED,+CAA+C;AAC/C,eAAO,MAAM,WAAW,GAAI,SAAS,MAAM,KAAG,SAE7C,CAAA;AAED,+CAA+C;AAC/C,eAAO,MAAM,WAAW,GAAI,SAAS,MAAM,KAAG,SAE7C,CAAA;AAED,2CAA2C;AAC3C,eAAO,MAAM,QAAQ,GAAI,SAAS,MAAM,KAAG,SAE1C,CAAA;AAED,0CAA0C;AAC1C,eAAO,MAAM,OAAO,GAAI,SAAS,MAAM,KAAG,SAEzC,CAAA;AAID,6CAA6C;AAC7C,eAAO,MAAM,SAAS,GAAI,YAAY,SAAS,EAAE,KAAG,SAEnD,CAAA;AAED,uCAAuC;AACvC,eAAO,MAAM,IAAI,GAAI,OAAO,MAAM,EAAE,YAAY,SAAS,EAAE,KAAG,SAE7D,CAAA;AAED,sCAAsC;AACtC,eAAO,MAAM,QAAQ,GAAI,YAAY,SAAS,EAAE,EAAE,aAAa,MAAM,EAAE,cAAc,MAAM,EAAE,cAAc,MAAM,EAAE,eAAe,MAAM,KAAG,SAE1I,CAAA;AAED,yCAAyC;AACzC,eAAO,MAAM,MAAM,GAAI,YAAY,SAAS,EAAE,EAAE,UAAU,MAAM,EAAE,WAAW,MAAM,KAAG,SAErF,CAAA;AAGD,eAAO,MAAM,IAAI,GAAI,YAAY,SAAS,EAAE,KAAG,SAE9C,CAAA"}

package/dist/document/blocks/typeguards.d.ts

@@ -0,0 +1,11 @@
+import { Block } from "./block";
+import { CoqBlock, CoqCodeBlock, CoqDocBlock, CoqMarkdownBlock, HintBlock, InputAreaBlock, MarkdownBlock, MathDisplayBlock } from "./blocktypes";
+export declare const isInputAreaBlock: (block: Block) => block is InputAreaBlock;
+export declare const isHintBlock: (block: Block) => block is HintBlock;
+export declare const isMathDisplayBlock: (block: Block) => block is MathDisplayBlock;
+export declare const isCoqBlock: (block: Block) => block is CoqBlock;
+export declare const isMarkdownBlock: (block: Block) => block is MarkdownBlock;
+export declare const isCoqMarkdownBlock: (block: Block) => block is CoqMarkdownBlock;
+export declare const isCoqDocBlock: (block: Block) => block is CoqDocBlock;
+export declare const isCoqCodeBlock: (block: Block) => block is CoqCodeBlock;
+//# sourceMappingURL=typeguards.d.ts.map

package/dist/document/blocks/typeguards.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typeguards.d.ts","sourceRoot":"","sources":["../../../src/document/blocks/typeguards.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,KAAK,EAAE,MAAM,SAAS,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,SAAS,EAAE,cAAc,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEjJ,eAAO,MAAM,gBAAgB,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,cAAsD,CAAC;AAChH,eAAO,MAAM,WAAW,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,SAA2C,CAAC;AAChG,eAAO,MAAM,kBAAkB,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,gBAA0D,CAAC;AACtH,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,QAAyC,CAAC;AAC7F,eAAO,MAAM,eAAe,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,aAAmD,CAAC;AAC5G,eAAO,MAAM,kBAAkB,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,gBAA0D,CAAC;AACtH,eAAO,MAAM,aAAa,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,WAAgD,CAAC;AACvG,eAAO,MAAM,cAAc,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,YAAkD,CAAC"}

package/dist/document/construct-document.d.ts

@@ -0,0 +1,4 @@
+import { Block } from "./blocks";
+import { Node as ProseNode } from "prosemirror-model";
+export declare function constructDocument(blocks: Block[]): ProseNode;
+//# sourceMappingURL=construct-document.d.ts.map

package/dist/document/construct-document.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"construct-document.d.ts","sourceRoot":"","sources":["../../src/document/construct-document.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAEjC,OAAO,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAGtD,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,SAAS,CAG5D"}

package/dist/document/index.d.ts

@@ -0,0 +1,5 @@
+export { constructDocument } from "./construct-document";
+export * from "./blocks";
+export * as "typeguards" from "./blocks/typeguards";
+export * as "utils" from "./utils";
+//# sourceMappingURL=index.d.ts.map

package/dist/document/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/document/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,cAAc,UAAU,CAAC;AACzB,OAAO,KAAK,YAAY,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,OAAO,MAAM,SAAS,CAAC"}

package/dist/document/utils.d.ts

@@ -0,0 +1,49 @@
+import { Block, BlockRange } from "./blocks";
+/**
+ * Convert a list of blocks to a prosemirror compatible node list.
+ * @param blocks Input array of blocks.
+ * @returns ProseMirror nodes.
+ */
+export declare function blocksToProseMirrorNodes(blocks: Block[]): import("prosemirror-model").Node[];
+/**
+ * Helper function to sort block type objects. Will sort based on the range object of the block.
+ * Sorts in ascending (`range.from`) order.
+ * @param blocks Blocks to sort.
+ * @returns Sorted array of blocks.
+ */
+export declare function sortBlocks(blocks: Block[]): Block[];
+/**
+ * Map `f` over every consecutive pair from the `input` array.
+ * @param input Input array.
+ * @param f Function to map over the pairs.
+ * @returns The result of mapping `f` over every consecutive pair. Will return an empty array if the input array has length < 2.
+ */
+export declare function iteratePairs<ArrayType, FunctionReturnType>(input: Array<ArrayType>, f: (a: ArrayType, b: ArrayType) => FunctionReturnType): FunctionReturnType[];
+/**
+ * Utility function to extract the ranges between blocks (ie. the ranges that are not covered by the blocks).
+ * @param blocks The input array of block.
+ * @param inputDocument The document the blocks are part of.
+ * @returns The ranges between the blocks.
+ */
+export declare function extractInterBlockRanges(blocks: Array<Block>, inputDocument: string): BlockRange[];
+/**
+ * Utility function to mask regions of a document covered by blocks.
+ * @param inputDocument The input document on which to apply the masking.
+ * @param blocks The blocks that will mask content from the input document.
+ * @param mask The mask to use (defaults to `" "`).
+ * @returns The document (`string`) with the ranges covered by the blocks in `blocks` masked using `mask`.
+ */
+export declare function maskInputAndHints(inputDocument: string, blocks: Block[], mask?: string): string;
+/**
+ * Create blocks based on ranges.
+ *
+ * Extracts the text content of the ranges and creates blocks from them.
+ */
+export declare function extractBlocksUsingRanges<BlockType extends Block>(inputDocument: string, ranges: {
+    from: number;
+    to: number;
+}[], BlockConstructor: new (content: string, range: {
+    from: number;
+    to: number;
+}) => BlockType): BlockType[];
+//# sourceMappingURL=utils.d.ts.map

package/dist/document/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/document/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAE7C;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,KAAK,EAAE,sCAEvD;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,WAEzC;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAAE,kBAAkB,EAAE,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,KAAK,kBAAkB,wBAEzI;AAGD;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,aAAa,EAAE,MAAM,GAAG,UAAU,EAAE,CAcjG;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,IAAI,GAAE,MAAY,GAAG,MAAM,CAMpG;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,SAAS,SAAS,KAAK,EAC5D,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAC,EAAE,EACpC,gBAAgB,EAAE,KAAK,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,KAAK,SAAS,GAAI,SAAS,EAAE,CAS3G"}

package/dist/documentProgressDecorator.d.ts

@@ -0,0 +1,9 @@
+import { Plugin, PluginKey } from 'prosemirror-state';
+export interface IDocumentProgressDecoratorState {
+    total: number;
+    progressHeightLow: number;
+    progressHeightHigh: number;
+}
+export declare const DOCUMENT_PROGRESS_DECORATOR_KEY: PluginKey<IDocumentProgressDecoratorState>;
+export declare const documentProgressDecoratorPlugin: Plugin<IDocumentProgressDecoratorState>;
+//# sourceMappingURL=documentProgressDecorator.d.ts.map

package/dist/documentProgressDecorator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"documentProgressDecorator.d.ts","sourceRoot":"","sources":["../src/documentProgressDecorator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,SAAS,EAAc,MAAM,mBAAmB,CAAC;AAGlE,MAAM,WAAW,+BAA+B;IAC9C,KAAK,EAAE,MAAM,CAAC;IACd,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AAGD,eAAO,MAAM,+BAA+B,4CAA4F,CAAC;AA+DzI,eAAO,MAAM,+BAA+B,yCAAkD,CAAC"}

package/dist/editor.d.ts

@@ -0,0 +1,117 @@
+import { ResolvedPos, Node as ProseNode } from "prosemirror-model";
+import { EditorState, Plugin, Selection } from "prosemirror-state";
+import { LineNumber, InputAreaStatus, SimpleProgressParams, HistoryChange, Severity } from "./api";
+import "katex/dist/katex.min.css";
+import "prosemirror-view/style/prosemirror.css";
+import "./styles";
+import { WaterproofEditorConfig, DiagnosticMessage, ThemeStyle } from "./api";
+import { Completion } from "@codemirror/autocomplete";
+import { ServerStatus } from "./api";
+/** Type that contains a coq diagnostics object fit for use in the ProseMirror editor context. */
+type DiagnosticObjectProse = {
+    message: string;
+    start: number;
+    end: number;
+    $start: ResolvedPos;
+    $end: ResolvedPos;
+    severity: Severity;
+};
+/**
+ * WaterproofEditor class. Configured via the WaterproofEditorConfig object.
+ */
+export declare class WaterproofEditor {
+    private _editorConfig;
+    private _schema;
+    private _editorElem;
+    private _view;
+    private _translator;
+    private _mapping;
+    private readonly _userOS;
+    private currentProseDiagnostics;
+    private _lineNumbersShown;
+    /**
+     * Create a new WaterproofEditor instance.
+     * @param editorElement The HTML element where the editor will be inserted in the document
+     * @param config The configuration of the editor to use.
+     */
+    constructor(editorElement: HTMLElement, config: WaterproofEditorConfig);
+    init(content: string, version?: number): void;
+    get state(): EditorState | undefined;
+    createProseMirrorEditor(proseDoc: ProseNode): void;
+    /** Create initial prosemirror state */
+    createState(proseDoc: ProseNode): EditorState;
+    /** Create the array of plugins used by the prosemirror editor */
+    createPluginsArray(): Plugin[];
+    updateNodeViewThemes(theme: ThemeStyle): void;
+    /**
+     * Handle a snippet that should be inserted into the editor.
+     * @param template The template string of the snippet that should be inserted.
+     */
+    handleSnippet(template: string): void;
+    /** Called on every selection update. */
+    updateCursor(pos: Selection): void;
+    /** Called on every transaction update in which the textdocument was modified */
+    sendLineNumbers(): void;
+    private updateDocumentProgress;
+    /**
+     * Updates the dynamic autocomplete suggestions shown in the editor.
+     * @param completions Array of completions.
+     */
+    handleCompletions(completions: Array<Completion>): void;
+    /** Called whenever a line number message is received from vscode to update line numbers of codemirror cells */
+    setLineNumbers(msg: LineNumber): void;
+    /**
+     * Execute a history change (undo/redo) in the editor.
+     * @param type Type of the change
+     */
+    handleHistoryChange(type: HistoryChange): void;
+    handleScroll(innerHeight: number): void;
+    /**
+     * Insert a symbol at the cursor position (replaces the current selection if there is one).
+     *
+     * @param symbolUnicode The unicode character to insert.
+     * @returns Whether the operation was a success.
+     */
+    insertSymbol(symbolUnicode: string): boolean;
+    /**
+     * Toggles line numbers for all codeblocks.
+     * @param show The editor will show line numbers in the code cells when set to `true`.
+     */
+    setShowLineNumbers(show: boolean): void;
+    /**
+     * Toggles showing menu items in the editor for students.
+     * @param show The editor will show menu items to students when set to `true`.
+     */
+    setShowMenuItems(show: boolean): void;
+    private createAndDispatchInsertionTransaction;
+    /**
+     * Called whenever a message describing the configuration of user is sent
+     *
+     * @param isTeacher Whether teacher mode is enabled
+     */
+    updateLockingState(isTeacher: boolean): void;
+    /**
+     * Updates the state of the progress bar in the editor.
+     *
+     * @param progressParams The type used to store information on the status of the checking of the current file
+     */
+    updateProgressBar(progressParams: SimpleProgressParams): void;
+    updateServerStatus(status: ServerStatus): void;
+    /**
+     * Updates the status of the input areas in the editor.
+     *
+     * @param status Array containing the status of the input areas within the current document, where `status[i]` corresponds to the i-th input area (starting at zero for the first input area).
+     */
+    updateQedStatus(status: InputAreaStatus[]): void;
+    /**
+     * Updates the current set of diagnostics in the document. This function takes in the set of all diagnostics in the current document and assigns them to the correct code cell in the document.
+     *
+     * @param msg The set of diagnostics for the current document.
+     */
+    parseCoqDiagnostics(msg: DiagnosticMessage): void;
+    getDiagnosticsInRange(low: number, high: number, truncationLevel?: number): Array<DiagnosticObjectProse>;
+    executeCommand(command: string): void;
+    executeHelp(): void;
+}
+export {};
+//# sourceMappingURL=editor.d.ts.map

package/dist/editor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"editor.d.ts","sourceRoot":"","sources":["../src/editor.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,WAAW,EAAU,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,EAAgB,WAAW,EAAiB,MAAM,EAAE,SAAS,EAA8B,MAAM,mBAAmB,CAAC;AAM5H,OAAO,EAAa,UAAU,EAAE,eAAe,EAAE,oBAAoB,EAAqB,aAAa,EAAE,QAAQ,EAAE,MAAM,OAAO,CAAC;AAcjI,OAAO,0BAA0B,CAAC;AAClC,OAAO,wCAAwC,CAAC;AAChD,OAAO,UAAU,CAAC;AAKlB,OAAO,EAAiC,sBAAsB,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,OAAO,CAAC;AAC7G,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAGtD,OAAO,EAAE,YAAY,EAAE,MAAM,OAAO,CAAC;AAErC,iGAAiG;AACjG,KAAK,qBAAqB,GAAG;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAC,CAAC;AAEvI;;GAEG;AACH,qBAAa,gBAAgB;IAE5B,OAAO,CAAC,aAAa,CAAyB;IAG9C,OAAO,CAAC,OAAO,CAAS;IAGxB,OAAO,CAAC,WAAW,CAAc;IAGjC,OAAO,CAAC,KAAK,CAAyB;IAGtC,OAAO,CAAC,WAAW,CAA6B;IAGhD,OAAO,CAAC,QAAQ,CAAgC;IAGhD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;IAEzB,OAAO,CAAC,uBAAuB,CAA+B;IAE9D,OAAO,CAAC,iBAAiB,CAAkB;IAE3C;;;;OAIG;gBACU,aAAa,EAAE,WAAW,EAAE,MAAM,EAAE,sBAAsB;IAuCvE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,MAAU;IA6CzC,IAAI,KAAK,IAAI,WAAW,GAAG,SAAS,CAEnC;IAED,uBAAuB,CAAC,QAAQ,EAAE,SAAS;IA+E3C,uCAAuC;IACvC,WAAW,CAAC,QAAQ,EAAE,SAAS,GAAG,WAAW;IAQ7C,iEAAiE;IACjE,kBAAkB,IAAI,MAAM,EAAE;IAgCvB,oBAAoB,CAAC,KAAK,EAAE,UAAU;IAc7C;;;OAGG;IACI,aAAa,CAAC,QAAQ,EAAE,MAAM;IAiCrC,wCAAwC;IACjC,YAAY,CAAC,GAAG,EAAE,SAAS,GAAI,IAAI;IAO1C,gFAAgF;IACzE,eAAe;IAiBrB,OAAO,CAAC,sBAAsB;IAyE/B;;;OAGG;IACI,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC;IAUvD,+GAA+G;IACxG,cAAc,CAAC,GAAG,EAAE,UAAU;IAUrC;;;OAGG;IACI,mBAAmB,CAAC,IAAI,EAAE,aAAa;IAOtC,YAAY,CAAC,WAAW,EAAE,MAAM;IAqCxC;;;;;OAKG;IACI,YAAY,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO;IAmDnD;;;OAGG;IACI,kBAAkB,CAAC,IAAI,EAAE,OAAO;IAUvC;;;OAGG;IACI,gBAAgB,CAAC,IAAI,EAAE,OAAO;IAQrC,OAAO,CAAC,qCAAqC;IAO7C;;;;OAIG;IACI,kBAAkB,CAAC,SAAS,EAAE,OAAO,GAAI,IAAI;IAQpD;;;;OAIG;IACI,iBAAiB,CAAC,cAAc,EAAE,oBAAoB,GAAG,IAAI;IAS7D,kBAAkB,CAAC,MAAM,EAAE,YAAY,GAAI,IAAI;IAQtD;;;;OAIG;IACI,eAAe,CAAC,MAAM,EAAE,eAAe,EAAE,GAAI,IAAI;IAQxD;;;;OAIG;IACI,mBAAmB,CAAC,GAAG,EAAE,iBAAiB;IA8D1C,qBAAqB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,GAAE,MAAU,GAAG,KAAK,CAAC,qBAAqB,CAAC;IAO3G,cAAc,CAAC,OAAO,EAAE,MAAM;IAI9B,WAAW;CAGlB"}

package/dist/embedded-codemirror/embedded-codemirror-keymap.d.ts

@@ -0,0 +1,9 @@
+import { KeyBinding } from "@codemirror/view";
+import { StateCommand } from "@codemirror/state";
+/**
+ * Filtered set of keybindings taken from
+ * https://github.com/codemirror/commands/blob/e27916c9b09d2cedd7e0c9770bff04eeb3696e69/src/commands.ts#L878
+ */
+export declare const keybindings: KeyBinding[];
+export declare const indentMoreCustom: StateCommand;
+//# sourceMappingURL=embedded-codemirror-keymap.d.ts.map

package/dist/embedded-codemirror/embedded-codemirror-keymap.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"embedded-codemirror-keymap.d.ts","sourceRoot":"","sources":["../../src/embedded-codemirror/embedded-codemirror-keymap.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,OAAO,EAAc,YAAY,EAAoD,MAAM,mBAAmB,CAAA;AAE9G;;;GAGG;AAEH,eAAO,MAAM,WAAW,EAAE,UAAU,EA+BnC,CAAA;AAcD,eAAO,MAAM,gBAAgB,EAAE,YAM5B,CAAA"}

package/dist/embedded-codemirror/embeddedCodemirror.d.ts

@@ -0,0 +1,40 @@
+import { EditorView as CodeMirror, Command, KeyBinding, ViewUpdate } from "@codemirror/view";
+import { Node as PNode, Schema } from "prosemirror-model";
+import { Decoration, DecorationSource, EditorView, NodeView } from "prosemirror-view";
+import { MovementDirection, MovementUnit } from "./types";
+/**
+ * A class implementing everything required to create an embedded codemirror editor for prosemirror.
+ * Implements the `NodeView` prosemirror class. Can be extended to create custom codemirror editors like
+ * the one used to edit markdown or coq.
+ */
+export declare class EmbeddedCodeMirrorEditor implements NodeView {
+    _getPos: (() => number | undefined);
+    protected updating: boolean;
+    protected _codemirror: CodeMirror | undefined;
+    protected _outerView: EditorView;
+    protected _schema: Schema;
+    protected _node: PNode;
+    constructor(node: PNode, view: EditorView, getPos: (() => number | undefined), schema: Schema);
+    dom: Node;
+    contentDOM?: HTMLElement | null | undefined;
+    update(node: PNode, _decorations: readonly Decoration[], _innerDecorations: DecorationSource): boolean;
+    selectNode?: (() => void) | undefined;
+    deselectNode?: (() => void) | undefined;
+    setSelection(anchor: number, head: number, _root: Document | ShadowRoot): void;
+    stopEvent?: ((event: Event) => boolean) | undefined;
+    ignoreMutation?: ((mutation: MutationRecord) => boolean) | undefined;
+    destroy?(): void;
+    forwardUpdate(update: ViewUpdate): void;
+    /**
+     * Do a movement, but first check if we escape the current view.
+     *
+     * The command returns false when we **will not** escape the current view.
+     *
+     * @param unit The movement unit (could be a line (up and down) or a character (left to right))
+     * @param dir The direction either forward or backward.
+     * @returns A command handling the escaping.
+     */
+    maybeEscape(unit: MovementUnit, dir: MovementDirection): Command;
+    embeddedCodeMirrorKeymap(): KeyBinding[];
+}
+//# sourceMappingURL=embeddedCodemirror.d.ts.map

package/dist/embedded-codemirror/embeddedCodemirror.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"embeddedCodemirror.d.ts","sourceRoot":"","sources":["../../src/embedded-codemirror/embeddedCodemirror.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,IAAI,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC7F,OAAO,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE1D,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAI1D;;;;GAIG;AACH,qBAAa,wBAAyB,YAAW,QAAQ;IAC9C,OAAO,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC;IAG9C,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC;IAEzB,SAAS,CAAC,WAAW,EAAE,UAAU,GAAG,SAAS,CAAC;IAE9C,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC;IAEjC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC;IAE1B,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC;gBAGnB,IAAI,EAAE,KAAK,EACjB,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,EAClC,MAAM,EAAE,MAAM;IAYZ,GAAG,EAAG,IAAI,CAAC;IACX,UAAU,CAAC,EAAE,WAAW,GAAG,IAAI,GAAG,SAAS,CAAC;IAE5C,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,SAAS,UAAU,EAAE,EAAE,iBAAiB,EAAE,gBAAgB;IAqD5F,UAAU,CAAC,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,SAAS,CAAC;IACtC,YAAY,CAAC,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,SAAS,CAAC;IAExC,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,UAAU;IAYvE,SAAS,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;IACpD,cAAc,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,cAAc,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;IACrE,OAAO,CAAC,IAAI,IAAI;IAEnB,aAAa,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI;IAmCpC;;;;;;;;OAQA;IACH,WAAW,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,iBAAiB,GAAG,OAAO;IAkEhE,wBAAwB,IAAI,UAAU,EAAE;CAmBxC"}

package/dist/embedded-codemirror/index.d.ts

@@ -0,0 +1,3 @@
+export { MovementDirection, MovementUnit } from "./types";
+export { EmbeddedCodeMirrorEditor } from "./embeddedCodemirror";
+//# sourceMappingURL=index.d.ts.map

package/dist/embedded-codemirror/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/embedded-codemirror/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAE1D,OAAO,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC"}

package/dist/embedded-codemirror/types.d.ts

@@ -0,0 +1,9 @@
+export declare enum MovementUnit {
+    line = "line",
+    character = "character"
+}
+export declare enum MovementDirection {
+    forward = 1,
+    backward = -1
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/embedded-codemirror/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/embedded-codemirror/types.ts"],"names":[],"mappings":"AAEA,oBAAY,YAAY;IACvB,IAAI,SAAS;IACb,SAAS,cAAc;CACvB;AAGD,oBAAY,iBAAiB;IAC5B,OAAO,IAAK;IACZ,QAAQ,KAAK;CACb"}

package/dist/hinting/hint-plugin.d.ts

@@ -0,0 +1,9 @@
+import { Schema } from "prosemirror-model";
+import { Plugin } from "prosemirror-state";
+/**
+ * Function that returns the hint plugin.
+ * @param schema The schema in use for the editor.
+ * @returns A `Plugin` that enables the hint functionality.
+ */
+export declare const createHintPlugin: (schema: Schema) => Plugin;
+//# sourceMappingURL=hint-plugin.d.ts.map

package/dist/hinting/hint-plugin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hint-plugin.d.ts","sourceRoot":"","sources":["../../src/hinting/hint-plugin.ts"],"names":[],"mappings":"AAAA,OAAO,EAA2B,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACpE,OAAO,EAAkC,MAAM,EAAe,MAAM,mBAAmB,CAAC;AAIxF;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,MAAM,KAAG,MA6BjD,CAAA"}

package/dist/hinting/index.d.ts

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

package/dist/hinting/index.d.ts.map

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