@impermeable/waterproof-editor 0.12.0 → 0.13.0

package/dist/mapping/Tree.d.ts

@@ -0,0 +1,75 @@
+export declare class TreeNode {
+    /** The type of this node, should be in the WaterproofSchema schema */
+    type: string;
+    /** The inner range of the node, that is, the range of the content */
+    contentRange: {
+        to: number;
+        from: number;
+    };
+    /** The outer range of the node, that is, the range of the content including possible tags */
+    tagRange: {
+        to: number;
+        from: number;
+    };
+    /** The title of a node, only relevant for hint nodes */
+    title: string;
+    /** The computed start position in ProseMirror, this is the prosemirror position at which the content starts.
+     * Thus, for nodes with content this includes a +1 due to stepping in to the node.
+     * For newlines, there is no content, so the start points directly before the newline.
+     */
+    prosemirrorStart: number;
+    /** The computed end position in ProseMirror */
+    prosemirrorEnd: number;
+    pmRange: {
+        from: number;
+        to: number;
+    };
+    /** Potential children of this tree node */
+    children: TreeNode[];
+    constructor(type: string, contentRange: {
+        to: number;
+        from: number;
+    }, tagRange: {
+        to: number;
+        from: number;
+    }, title: string, prosemirrorStart: number, prosemirrorEnd: number, pmRange: {
+        to: number;
+        from: number;
+    });
+    addChild(child: TreeNode): void;
+    removeChild(child: TreeNode): void;
+    shiftCloseOffsets(offset: number, offsetProsemirror?: number): void;
+    shiftOffsets(offset: number, offsetProsemirror?: number): void;
+    traverseDepthFirst(callback: (node: TreeNode) => void): void;
+}
+export declare class Tree {
+    root: TreeNode;
+    constructor(type: string, contentRange: {
+        from: number;
+        to: number;
+    }, range: {
+        from: number;
+        to: number;
+    }, title: string, prosemirrorStart: number, prosemirrorEnd: number, pmRange: {
+        from: number;
+        to: number;
+    });
+    traverseDepthFirst(callback: (node: TreeNode) => void, node?: TreeNode): void;
+    traverseBreadthFirst(callback: (node: TreeNode) => void): void;
+    findHighestContainingNode(pos: number, node?: TreeNode): TreeNode;
+    findParent(target: TreeNode, node?: TreeNode | null, parent?: TreeNode | null): TreeNode | null;
+    findNodeByOriginalPosition(pos: number, node?: TreeNode | null): TreeNode | null;
+    findNodeByProsemirrorPosition(pos: number, node?: TreeNode | null): TreeNode | null;
+    /**
+     * Find the most specific node that contains the given ProseMirror position, this function is biased to find the
+     * first node (in terms of position) containing the position. I.e. in a tree with a code cell that ends at 28 and a newline that
+     * starts at 28, we will return the code cell when searching for position 28.
+     * @param pos ProseMirror position to search for
+     * @param node The node to start the search from, defaults to the root node of the tree
+     * @returns The most specific node containing the position, or null if no such node exists
+     */
+    findNodeByProsePos(pos: number, node?: TreeNode): TreeNode | null;
+    nodesInProseRange(from: number, to: number, node?: TreeNode | null): TreeNode[];
+    insertByPosition(newNode: TreeNode): boolean;
+}
+//# sourceMappingURL=Tree.d.ts.map

package/dist/mapping/Tree.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Tree.d.ts","sourceRoot":"","sources":["../../src/mapping/Tree.ts"],"names":[],"mappings":"AAAA,qBAAa,QAAQ;IACjB,sEAAsE;IACtE,IAAI,EAAE,MAAM,CAAC;IACb,qEAAqE;IACrE,YAAY,EAAE;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC,CAAC;IACzC,6FAA6F;IAC7F,QAAQ,EAAE;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC,CAAC;IACrC,wDAAwD;IACxD,KAAK,EAAE,MAAM,CAAC;IACd;;;OAGG;IACH,gBAAgB,EAAE,MAAM,CAAC;IACzB,+CAA+C;IAC/C,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAC,CAAC;IACpC,2CAA2C;IAC3C,QAAQ,EAAE,QAAQ,EAAE,CAAC;gBAGjB,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC,EACxC,QAAQ,EAAE;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC,EACpC,KAAK,EAAE,MAAM,EACb,gBAAgB,EAAE,MAAM,EACxB,cAAc,EAAE,MAAM,EACtB,OAAO,EAAE;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC;IAYvC,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI;IAM/B,WAAW,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI;IAIlC,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,iBAAiB,CAAC,EAAE,MAAM,GAAG,IAAI;IAOnE,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,iBAAiB,CAAC,EAAE,MAAM,GAAG,IAAI;IAW9D,kBAAkB,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,IAAI,GAAG,IAAI;CAM/D;AAED,qBAAa,IAAI;IACb,IAAI,EAAE,QAAQ,CAAC;gBAGX,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAC,EACxC,KAAK,EAAE;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAC,EACjC,KAAK,EAAE,MAAM,EACb,gBAAgB,EAAE,MAAM,EACxB,cAAc,EAAE,MAAM,EACtB,OAAO,EAAE;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAC;IAMvC,kBAAkB,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,IAAI,EAAE,IAAI,GAAE,QAAoB,GAAG,IAAI;IAOxF,oBAAoB,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,IAAI,GAAG,IAAI;IAY9D,yBAAyB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,GAAE,QAAoB,GAAG,QAAQ;IAa5E,UAAU,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,GAAE,QAAQ,GAAG,IAAgB,EAAE,MAAM,GAAE,QAAQ,GAAG,IAAW,GAAG,QAAQ,GAAG,IAAI;IAUhH,0BAA0B,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,GAAE,QAAQ,GAAG,IAAgB,GAAG,QAAQ,GAAG,IAAI;IAY3F,6BAA6B,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,GAAE,QAAQ,GAAG,IAAgB,GAAG,QAAQ,GAAG,IAAI;IAY9F;;;;;;;OAOG;IACH,kBAAkB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,GAAE,QAAoB,GAAG,QAAQ,GAAG,IAAI;IAwB5E,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,GAAE,QAAQ,GAAG,IAAgB,GAAG,QAAQ,EAAE;IAW1F,gBAAgB,CAAC,OAAO,EAAE,QAAQ,GAAG,OAAO;CAY/C"}

package/dist/mapping/helper-functions.d.ts

@@ -0,0 +1,4 @@
+import { ReplaceAroundStep, ReplaceStep } from "prosemirror-transform";
+import { OperationType } from "./types";
+export declare function typeFromStep(step: ReplaceStep | ReplaceAroundStep): OperationType;
+//# sourceMappingURL=helper-functions.d.ts.map

package/dist/mapping/helper-functions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"helper-functions.d.ts","sourceRoot":"","sources":["../../src/mapping/helper-functions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAGxC,wBAAgB,YAAY,CAAC,IAAI,EAAE,WAAW,GAAG,iBAAiB,GAAG,aAAa,CAOjF"}

package/dist/mapping/index.d.ts

@@ -0,0 +1,4 @@
+export { Mapping } from "./mapping";
+export { Tree } from "./Tree";
+export { TreeNode } from "./Tree";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/mapping/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC9B,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC"}

package/dist/mapping/mapping.d.ts

@@ -0,0 +1,65 @@
+import { Tree } from "./Tree";
+import { Block } from "../document";
+import { DocChange, DocumentSerializer, TagConfiguration, WrappingDocChange } from "../api";
+import { Node } from "prosemirror-model";
+import { Step } from "prosemirror-transform";
+/**
+ * This class is responsible for keeping track of the mapping between the prosemirror state and the vscode Text
+ * Document model
+ */
+export declare class Mapping {
+    /** This stores the String cells of the entire document */
+    private tree;
+    /** The version of the underlying textDocument */
+    private _version;
+    private readonly nodeUpdate;
+    private readonly textUpdate;
+    /**
+     * Constructs the mapping instance given the source document in the form of a block array.
+     * @param inputBlocks Array containing the blocks that make up this document.
+     */
+    constructor(inputBlocks: Block[], versionNum: number, tMap: TagConfiguration, serializer: DocumentSerializer);
+    /**
+     * Returns the mapping to preserve integrity
+     */
+    getMapping(): Tree;
+    /**
+     * Get the version of the underlying text document
+     */
+    get version(): number;
+    /**
+     * Map a ProseMirror index into the corresponding text offset.
+     * @param index A valid ProseMirror offset.
+     * @returns The corresponding text offset into the document.
+     */
+    pmIndexToTextOffset(index: number): number;
+    /**
+     * Map a text offset into the corresponding ProseMirror index.
+     * @param offset The offset (in characters) in the document.
+     * @returns The corresponding ProseMirror index into the ProseMirror view.
+     */
+    textOffsetToPmIndex(offset: number): number;
+    update(step: Step, doc: Node): DocChange | WrappingDocChange;
+    /**
+     * This checks if the doc change actually changed the document, since vscode
+     * does not register empty changes
+     */
+    private checkDocChange;
+    /**
+     * Initializes the mapping given the input document in the form of a Block array.
+     * @param blocks
+     */
+    private initTree;
+    /**
+     * Recursively computes the prosemirrorStart and prosemirrorEnd offsets for each node.
+     *
+     * @param node The current node to compute the offsets for.
+     * @param startTagMap The start tag mapping for each block type.
+     * @param endTagMap The end tag mapping for each block type.
+     * @param currentOffset The current offset from where the computation should begin.
+     * @param level The current depth level in the tree (used for adjusting offsets).
+     * @returns The updated offset after computing the current node.
+     */
+    private computeProsemirrorOffsets;
+}
+//# sourceMappingURL=mapping.d.ts.map

package/dist/mapping/mapping.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mapping.d.ts","sourceRoot":"","sources":["../../src/mapping/mapping.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAY,MAAM,QAAQ,CAAC;AAIxC,OAAO,EAAE,KAAK,EAAc,MAAM,aAAa,CAAC;AAChD,OAAO,EAAE,SAAS,EAAE,kBAAkB,EAAgB,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,QAAQ,CAAC;AAE1G,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AACzC,OAAO,EAAkC,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAE7E;;;GAGG;AACH,qBAAa,OAAO;IAChB,0DAA0D;IAC1D,OAAO,CAAC,IAAI,CAAO;IACnB,iDAAiD;IACjD,OAAO,CAAC,QAAQ,CAAS;IAEzB,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAa;IACxC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAa;IAExC;;;OAGG;gBACS,WAAW,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,kBAAkB;IAkB5G;;OAEG;IACI,UAAU;IAIjB;;OAEG;IACH,IAAW,OAAO,WAEjB;IAED;;;;OAIG;IACI,mBAAmB,CAAC,KAAK,EAAE,MAAM;IAMxC;;;;OAIG;IACI,mBAAmB,CAAC,MAAM,EAAE,MAAM;IAMlC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,GAAG,SAAS,GAAG,iBAAiB;IAsCnE;;;OAGG;IACH,OAAO,CAAC,cAAc;IAQtB;;;OAGG;IACH,OAAO,CAAC,QAAQ;IAiChB;;;;;;;;;OASG;IACH,OAAO,CAAC,yBAAyB;CAyDpC"}

package/dist/mapping/newmapping.d.ts

@@ -0,0 +1,62 @@
+import { Tree } from "./Tree";
+import { Block } from "../document";
+import { DocChange, DocumentSerializer, TagConfiguration, WrappingDocChange } from "../api";
+import { Node } from "prosemirror-model";
+import { Step } from "prosemirror-transform";
+/**
+ * This class is responsible for keeping track of the mapping between the prosemirror state and the vscode Text
+ * Document model
+ */
+export declare class Mapping {
+    /** This stores the String cells of the entire document */
+    private tree;
+    /** The version of the underlying textDocument */
+    private _version;
+    private readonly nodeUpdate;
+    private readonly textUpdate;
+    /**
+     * Constructs a prosemirror view vscode mapping for the inputted prosemirror html element
+     *
+     * @param inputBlocks a string containing the prosemirror content html element
+     */
+    constructor(inputBlocks: Block[], versionNum: number, tMap: TagConfiguration, serializer: DocumentSerializer);
+    /**
+     * Returns the mapping to preserve integrity
+     */
+    getMapping(): Tree;
+    /**
+     * Get the version of the underlying text document
+     */
+    get version(): number;
+    /** Returns the vscode document model index of prosemirror index */
+    findPosition(index: number): number;
+    /**
+     * Returns the prosemirror index corresponding to the given document offset.
+     * @param offset The offset (in characters) in the document.
+     * @returns The corresponding prosemirror index.
+     */
+    findInvPosition(offset: number): number;
+    update(step: Step, doc: Node): DocChange | WrappingDocChange;
+    /**
+     * This checks if the doc change actually changed the document, since vscode
+     * does not register empty changes
+     */
+    private checkDocChange;
+    /**
+     * Initializes the mapping given the input document in the form of a Block array.
+     * @param blocks
+     */
+    private initTree;
+    /**
+     * Recursively computes the prosemirrorStart and prosemirrorEnd offsets for each node.
+     *
+     * @param node The current node to compute the offsets for.
+     * @param startTagMap The start tag mapping for each block type.
+     * @param endTagMap The end tag mapping for each block type.
+     * @param currentOffset The current offset from where the computation should begin.
+     * @param level The current depth level in the tree (used for adjusting offsets).
+     * @returns The updated offset after computing the current node.
+     */
+    private computeProsemirrorOffsets;
+}
+//# sourceMappingURL=newmapping.d.ts.map

package/dist/mapping/newmapping.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"newmapping.d.ts","sourceRoot":"","sources":["../../src/mapping/newmapping.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAY,MAAM,QAAQ,CAAC;AAIxC,OAAO,EAAE,KAAK,EAAc,MAAM,aAAa,CAAC;AAChD,OAAO,EAAE,SAAS,EAAE,kBAAkB,EAAgB,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,QAAQ,CAAC;AAE1G,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AACzC,OAAO,EAAkC,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAE7E;;;GAGG;AACH,qBAAa,OAAO;IAChB,0DAA0D;IAC1D,OAAO,CAAC,IAAI,CAAO;IACnB,iDAAiD;IACjD,OAAO,CAAC,QAAQ,CAAS;IAEzB,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAa;IACxC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAa;IAExC;;;;OAIG;gBACS,WAAW,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,kBAAkB;IAkB5G;;OAEG;IACI,UAAU;IAIjB;;OAEG;IACH,IAAW,OAAO,WAEjB;IAED,mEAAmE;IAC5D,YAAY,CAAC,KAAK,EAAE,MAAM;IAMjC;;;;OAIG;IACI,eAAe,CAAC,MAAM,EAAE,MAAM;IAM9B,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,GAAG,SAAS,GAAG,iBAAiB;IAsCnE;;;OAGG;IACH,OAAO,CAAC,cAAc;IAQtB;;;OAGG;IACH,OAAO,CAAC,QAAQ;IAiChB;;;;;;;;;OASG;IACH,OAAO,CAAC,yBAAyB;CAyDpC"}

package/dist/mapping/nodeUpdate.d.ts

@@ -0,0 +1,27 @@
+import { Tree, TreeNode } from "./Tree";
+import { ParsedStep } from "./types";
+import { Mapping } from "./mapping";
+import { DocumentSerializer, TagConfiguration } from "../api";
+import { Node } from "prosemirror-model";
+import { ReplaceAroundStep, ReplaceStep } from "prosemirror-transform";
+export declare class NodeUpdate {
+    private readonly tagConf;
+    private readonly serializer;
+    constructor(tagConf: TagConfiguration, serializer: DocumentSerializer);
+    nodeNameToTagPair(nodeName: string, title?: string): [string, string];
+    nodeUpdate(step: ReplaceStep | ReplaceAroundStep, mapping: Mapping): ParsedStep;
+    doReplaceStep(step: ReplaceStep, mapping: Mapping): ParsedStep;
+    doReplaceAroundStep(step: ReplaceAroundStep, mapping: Mapping): ParsedStep;
+    replaceInsert(step: ReplaceStep, tree: Tree): ParsedStep;
+    buildTreeFromNode(node: Node, startOrig: number, startProse: number): TreeNode;
+    /**
+     * Handles ReplaceSteps that delete content.
+     * @param step The ReplaceStep for which we determined that it is deletion of one or more nodes.
+     * @param tree The input tree
+     * @returns A ParsedStep containing the resulting DocChange and the updated tree.
+     */
+    replaceDelete(step: ReplaceStep, tree: Tree): ParsedStep;
+    replaceAroundDelete(step: ReplaceAroundStep, tree: Tree): ParsedStep;
+    replaceAroundReplace(step: ReplaceAroundStep, tree: Tree): ParsedStep;
+}
+//# sourceMappingURL=nodeUpdate.d.ts.map

package/dist/mapping/nodeUpdate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodeUpdate.d.ts","sourceRoot":"","sources":["../../src/mapping/nodeUpdate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AACxC,OAAO,EAAiB,UAAU,EAAE,MAAM,SAAS,CAAC;AACpD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC,OAAO,EAAa,kBAAkB,EAAmB,gBAAgB,EAAqB,MAAM,QAAQ,CAAC;AAE7G,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEvE,qBAAa,UAAU;IAEN,OAAO,CAAC,QAAQ,CAAC,OAAO;IAAoB,OAAO,CAAC,QAAQ,CAAC,UAAU;gBAAtD,OAAO,EAAE,gBAAgB,EAAmB,UAAU,EAAE,kBAAkB;IAGxG,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,GAAE,MAAW,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAkBlE,UAAU,CAAC,IAAI,EAAE,WAAW,GAAG,iBAAiB,EAAE,OAAO,EAAE,OAAO,GAAI,UAAU;IAgBvF,aAAa,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,GAAG,UAAU;IAc9D,mBAAmB,CAAC,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,OAAO,GAAG,UAAU;IAkB1E,aAAa,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,GAAG,UAAU;IAiFxD,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,QAAQ;IAiE9E;;;;;OAKG;IACH,aAAa,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,GAAG,UAAU;IAiDxD,mBAAmB,CAAC,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,GAAG,UAAU;IA4DpE,oBAAoB,CAAC,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,GAAG,UAAU;CAmGxE"}

package/dist/mapping/textUpdate.d.ts

@@ -0,0 +1,8 @@
+import { Mapping } from "./mapping";
+import { ParsedStep } from "./types";
+import { ReplaceStep } from "prosemirror-transform";
+export declare class TextUpdate {
+    /** This function is responsible for handling updates in prosemirror that happen exclusively as text edits and translating them to vscode text doc */
+    textUpdate(step: ReplaceStep, mapping: Mapping): ParsedStep;
+}
+//# sourceMappingURL=textUpdate.d.ts.map

package/dist/mapping/textUpdate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"textUpdate.d.ts","sourceRoot":"","sources":["../../src/mapping/textUpdate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,UAAU,EAAiB,MAAM,SAAS,CAAC;AAGpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAGpD,qBAAa,UAAU;IAEnB,qJAAqJ;IACrJ,UAAU,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,GAAI,UAAU;CAoD/D"}

package/dist/mapping/types.d.ts

@@ -0,0 +1,22 @@
+import { DocChange, WrappingDocChange } from "../api";
+import { Tree } from "./Tree";
+/**
+ * The type returned by the functions converting steps to Document Changes of the
+ * underlying vscode model of the document
+ */
+export type ParsedStep = {
+    /** The document change that will be forwarded to vscode */
+    result: DocChange | WrappingDocChange;
+    /** The new tree that represents the updated mapping */
+    newTree: Tree;
+};
+/**
+ * In prosemirror, every step is a replace step. This enum is used to classify
+ * the steps into the given 'pure' operations
+ */
+export declare enum OperationType {
+    insert = "insert",
+    delete = "delete",
+    replace = "replace"
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/mapping/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/mapping/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,QAAQ,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC9B;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG;IACrB,2DAA2D;IAC3D,MAAM,EAAE,SAAS,GAAG,iBAAiB,CAAC;IACtC,uDAAuD;IACvD,OAAO,EAAE,IAAI,CAAA;CAChB,CAAA;AAED;;;GAGG;AACH,oBAAY,aAAa;IACrB,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,OAAO,YAAY;CACtB"}

package/dist/markdown-defaults/index.d.ts

@@ -0,0 +1,4 @@
+import { TagConfiguration } from "../api";
+export { parse } from "./statemachine";
+export declare function configuration(languageId: string): TagConfiguration;
+//# sourceMappingURL=index.d.ts.map

package/dist/markdown-defaults/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/markdown-defaults/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAE1C,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAEvC,wBAAgB,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG,gBAAgB,CA4BlE"}

package/dist/markdown-defaults/statemachine.d.ts

@@ -0,0 +1,14 @@
+import { WaterproofDocument } from "../api";
+/**
+ * Parser for markdown documents.
+ *
+ * Next to the regular markdown and code parts this parser has predefined 'tags' for hints and input areas:
+ * * The content between `<hint title="{title}">` and ` </hint>` is turned into a hint cell, `{title}` will turn into the title that is displayed in the editor.
+ * * The content between `<input-area>` and `</input-area>` is turned into an input area.
+ * @param document The document to convert into a `WaterproofDocument`
+ * @param language The language tag to use for the code cells. That is, the part of the ` ``` ` when opening a code block (` ```python ` for a python
+ * code block). Defaults to `""`.
+ * @returns A array of `Block` that form a `WaterproofDocument`.
+ */
+export declare function parse(document: string, language?: string): WaterproofDocument;
+//# sourceMappingURL=statemachine.d.ts.map

package/dist/markdown-defaults/statemachine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"statemachine.d.ts","sourceRoot":"","sources":["../../src/markdown-defaults/statemachine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,QAAQ,CAAC;AAuB5C;;;;;;;;;;GAUG;AACH,wBAAgB,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,GAAE,MAAW,GAAG,kBAAkB,CAySjF"}

package/dist/markup-views/SwitchableViewPlugin.d.ts

@@ -0,0 +1,22 @@
+import { Node as ProseNode } from "prosemirror-model";
+import { Plugin as ProsePlugin, PluginKey, TextSelection } from "prosemirror-state";
+import { EditorView } from "prosemirror-view";
+import { SwitchableView } from "./switchable-view";
+import { WaterproofEditorConfig } from "../api";
+export interface ISwitchableViewPluginState {
+    macros: {
+        [cmd: string]: string;
+    };
+    /** A list of currently active `NodeView`s, in insertion order. */
+    activeNodeViews: SwitchableView[];
+    /** The selection of the current cursor position */
+    cursor: TextSelection | undefined;
+}
+export declare const SWITCHABLE_VIEW_PLUGIN_KEY: PluginKey<ISwitchableViewPluginState>;
+/**
+ * Returns a function suitable for passing as a field in `EditorProps.nodeViews`.
+ * @see https://prosemirror.net/docs/ref/#view.EditorProps.nodeViews
+ */
+export declare function createRealMarkdownView(editorConfig: WaterproofEditorConfig): (node: ProseNode, view: EditorView, getPos: (() => number | undefined)) => SwitchableView;
+export declare const switchableViewPlugin: (editorConfig: WaterproofEditorConfig) => ProsePlugin<ISwitchableViewPluginState>;
+//# sourceMappingURL=SwitchableViewPlugin.d.ts.map

package/dist/markup-views/SwitchableViewPlugin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SwitchableViewPlugin.d.ts","sourceRoot":"","sources":["../../src/markup-views/SwitchableViewPlugin.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,MAAM,IAAI,WAAW,EAAE,SAAS,EAAc,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAChG,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,sBAAsB,EAAE,MAAM,QAAQ,CAAC;AAKhD,MAAM,WAAW,0BAA0B;IAC1C,MAAM,EAAE;QAAE,CAAC,GAAG,EAAC,MAAM,GAAI,MAAM,CAAA;KAAE,CAAC;IAClC,kEAAkE;IAClE,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,mDAAmD;IACnD,MAAM,EAAE,aAAa,GAAG,SAAS,CAAC;CAElC;AAED,eAAO,MAAM,0BAA0B,uCAA6E,CAAC;AAErH;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,YAAY,EAAE,sBAAsB,IAClE,MAAM,SAAS,EAAE,MAAM,UAAU,EAAE,QAAQ,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,KAAG,cAAc,CAa9F;AAmCD,eAAO,MAAM,oBAAoB,GAAI,cAAc,sBAAsB,4CAA0D,CAAC"}

package/dist/serialization/DocumentSerializer.d.ts

@@ -0,0 +1,89 @@
+import { Node } from "prosemirror-model";
+import { TagConfiguration } from "../api";
+export declare abstract class DocumentSerializer {
+    /**
+     * Describes how to turn a code node into a string representation.
+     * @param codeNode The code node that is going to be serialized
+     * @param parentNode The parent node of this node (if it has one)
+     * @param neighbors Function that upon calling will return the neighbors of the node being serialized. When `skipNewlines` is set and the *direct* neighbors
+     * of the node are newline nodes they will be skipped and the next nodes will be returned (if they exist).
+     */
+    abstract serializeCode(codeNode: Node, parentNode: string | null, neighbors: (skipNewlines: boolean) => {
+        nodeAbove: string | null;
+        nodeBelow: string | null;
+    }): string;
+    /**
+     * Describes how to turn a math node into a string representation.
+     * @param mathNode The math node that is going to be serialized
+     * @param parentNode The parent node of this node (if it has one)
+     * @param neighbors Function that upon calling will return the neighbors of the node being serialized. When `skipNewlines` is set and the *direct* neighbors
+     * of the node are newline nodes they will be skipped and the next nodes will be returned (if they exist).
+     */
+    abstract serializeMath(mathNode: Node, parentNode: string | null, neighbors: (skipNewlines: boolean) => {
+        nodeAbove: string | null;
+        nodeBelow: string | null;
+    }): string;
+    /**
+     * Describes how to turn a markdown node into a string representation.
+     * @param codeNode The markdown node that is going to be serialized
+     * @param parentNode The parent node of this node (if it has one)
+     * @param neighbors Function that upon calling will return the neighbors of the node being serialized. When `skipNewlines` is set and the *direct* neighbors
+     * of the node are newline nodes they will be skipped and the next nodes will be returned (if they exist).
+     */
+    abstract serializeMarkdown(markdownNode: Node, parentNode: string | null, neighbors: (skipNewlines: boolean) => {
+        nodeAbove: string | null;
+        nodeBelow: string | null;
+    }): string;
+    /**
+     * Describes how to turn a input node into a string representation.
+     * This node can have children, so you probably want to call `this.serializeNode` on every child node using
+     * `inputNde.forEach((child) => {...})`
+     * @param inputNode The input node that is going to be serialized
+     * @param parentNode The parent node of this node (if it has one)
+     * @param neighbors Function that upon calling will return the neighbors of the node being serialized. When `skipNewlines` is set and the *direct* neighbors
+     * of the node are newline nodes they will be skipped and the next nodes will be returned (if they exist).
+     */
+    abstract serializeInput(inputNode: Node, parentNode: string | null, neighbors: (skipNewlines: boolean) => {
+        nodeAbove: string | null;
+        nodeBelow: string | null;
+    }): string;
+    /**
+     * Describes how to turn a hint node into a string representation. This function can query the title of the node via
+     * `hint.attrs.title`. This node can have children, so you probably want to call `this.serializeNode` on every child node using
+     * `hintNode.forEach((child) => {...})`
+     * @param hintNode The hint node that is going to be serialized
+     * @param parentNode The parent node of this node (if it has one)
+     * @param neighbors Function that upon calling will return the neighbors of the node being serialized. When `skipNewlines` is set and the *direct* neighbors
+     * of the node are newline nodes they will be skipped and the next nodes will be returned (if they exist).
+     */
+    abstract serializeHint(hintNode: Node, parentNode: string | null, neighbors: (skipNewlines: boolean) => {
+        nodeAbove: string | null;
+        nodeBelow: string | null;
+    }): string;
+    serializeText(node: Node): string;
+    serializeNewline(): string;
+    /**
+     *
+     * @param node
+     * @returns
+     */
+    serializeNode(node: Node, parent: string | null, neighbors: (skipNewlines: boolean) => {
+        nodeAbove: string | null;
+        nodeBelow: string | null;
+    }): string;
+    /**
+     *
+     * @param node
+     */
+    serializeDocument(node: Node): string;
+}
+export declare class DefaultTagSerializer extends DocumentSerializer {
+    private readonly tagConf;
+    constructor(tagConf: TagConfiguration);
+    serializeCode(node: Node): string;
+    serializeMath(node: Node): string;
+    serializeMarkdown(node: Node): string;
+    serializeInput(node: Node): string;
+    serializeHint(node: Node): string;
+}
+//# sourceMappingURL=DocumentSerializer.d.ts.map

package/dist/serialization/DocumentSerializer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DocumentSerializer.d.ts","sourceRoot":"","sources":["../../src/serialization/DocumentSerializer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAE1C,8BAAsB,kBAAkB;IACpC;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,OAAO,KAAK;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAC,GAAG,MAAM;IACrK;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,OAAO,KAAK;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAC,GAAG,MAAM;IACrK;;;;;;OAMG;IACH,QAAQ,CAAC,iBAAiB,CAAC,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,OAAO,KAAK;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAC,GAAG,MAAM;IAC7K;;;;;;;;OAQG;IACH,QAAQ,CAAC,cAAc,CAAC,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,OAAO,KAAK;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAC,GAAG,MAAM;IACvK;;;;;;;;OAQG;IACH,QAAQ,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,OAAO,KAAK;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAC,GAAG,MAAM;IAErK,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;IAIjC,gBAAgB,IAAI,MAAM;IAI1B;;;;OAIG;IACI,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,OAAO,KAAK;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAC,GAAG,MAAM;IAc3J;;;OAGG;IACI,iBAAiB,CAAC,IAAI,EAAE,IAAI;CAuBtC;AAED,qBAAa,oBAAqB,SAAQ,kBAAkB;IAE5C,OAAO,CAAC,QAAQ,CAAC,OAAO;gBAAP,OAAO,EAAE,gBAAgB;IAItD,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;IAIjC,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;IAIjC,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;IAIrC,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;IAUlC,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;CAUpC"}

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

@@ -0,0 +1,21 @@
+/**
+ * Type of completions.
+ */
+export type WaterproofCompletion = {
+    /** The label shown in the completion panel */
+    label: string;
+    /** The type of the completion */
+    type: string;
+    detail: string;
+    template: string;
+};
+/**
+ * Completion that can always be inserted.
+ * Does not support templating.
+ */
+export type WaterproofSymbol = {
+    label: string;
+    type: string;
+    apply: string;
+};
+//# sourceMappingURL=Completions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Completions.d.ts","sourceRoot":"","sources":["../../../src/api/Completions.ts"],"names":[],"mappings":"AACA;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG;IAC/B,8CAA8C;IAC9C,KAAK,EAAE,MAAM,CAAC;IACd,iCAAiC;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAA;CACnB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAA;CAChB,CAAA"}

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

@@ -0,0 +1,19 @@
+/**
+ * This object specifies a TextDocument change. As in prosemirror:
+ * startInFile == endInFile: insert operation
+ * else: replace or deletion with finalText
+ */
+export type DocChange = {
+    startInFile: number;
+    endInFile: number;
+    finalText: string;
+};
+/**
+ * This object specifies a wrapping TextDocument change. This happens when nodes
+ * are wrapped with input or hint
+ */
+export type WrappingDocChange = {
+    firstEdit: DocChange;
+    secondEdit: DocChange;
+};
+//# sourceMappingURL=DocChange.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"DocChange.d.ts","sourceRoot":"","sources":["../../../src/api/DocChange.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,SAAS,GAAG;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACrB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC5B,SAAS,EAAE,SAAS,CAAC;IACrB,UAAU,EAAE,SAAS,CAAC;CACzB,CAAA"}

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

@@ -0,0 +1,10 @@
+/**
+ * The different supported input/output file types
+ */
+export declare enum FileFormat {
+    /** Markdown enabled coq file (extension: `.mv`) */
+    MarkdownV = "MarkdownV",
+    /** Regular coq file, with the possibility for coqdoc comments (extension: `.v`) */
+    RegularV = "RegularV"
+}
+//# sourceMappingURL=FileFormat.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"FileFormat.d.ts","sourceRoot":"","sources":["../../../src/api/FileFormat.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,oBAAY,UAAU;IAClB,mDAAmD;IACnD,SAAS,cAAc;IACvB,mFAAmF;IACnF,QAAQ,aAAa;CACxB"}

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

@@ -0,0 +1,14 @@
+/**
+ * The status of an input area.
+ */
+export declare enum InputAreaStatus {
+    /** The proof is correct. */
+    Proven = "proven",
+    /** The proof is unfinished or contains an error. */
+    Incomplete = "incomplete",
+    /** The input area does not contain `Qed.` at the end, so the status cannot be determined. */
+    Invalid = "invalid",
+    /** Not in view, so was not requested */
+    NotInView = "not-in-view"
+}
+//# sourceMappingURL=InputAreaStatus.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"InputAreaStatus.d.ts","sourceRoot":"","sources":["../../../src/api/InputAreaStatus.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,oBAAY,eAAe;IACvB,4BAA4B;IAC5B,MAAM,WAAW;IACjB,oDAAoD;IACpD,UAAU,eAAe;IACzB,6FAA6F;IAC7F,OAAO,YAAY;IACnB,wCAAwC;IACxC,SAAS,gBAAgB;CAC5B"}

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

@@ -0,0 +1,10 @@
+/**
+ * This is the versioned linenumber message
+ */
+export type LineNumber = {
+    /** The linenumbers */
+    linenumbers: Array<number>;
+    /** Version of the document the linenumbers correspond to.. */
+    version: number;
+};
+//# sourceMappingURL=LineNumber.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"LineNumber.d.ts","sourceRoot":"","sources":["../../../src/api/LineNumber.ts"],"names":[],"mappings":"AACA;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACrB,sBAAsB;IACtB,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC3B,8DAA8D;IAC9D,OAAO,EAAE,MAAM,CAAC;CACnB,CAAA"}

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

@@ -0,0 +1,18 @@
+/**
+ * Type that indicates that the server is busy processing a document.
+ */
+export type Busy = {
+    /** Status */
+    status: "Busy";
+    /** Extra metadata, can be used to communicate what the server is currently processing */
+    metadata: string;
+};
+/**
+ * Type that indicates that the server is idle. This means that it has
+ * either completed checking or is stopped.
+ */
+export type Idle = {
+    status: "Idle" | "Stopped";
+};
+export type ServerStatus = Busy | Idle;
+//# sourceMappingURL=ServerStatus.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ServerStatus.d.ts","sourceRoot":"","sources":["../../../src/api/ServerStatus.ts"],"names":[],"mappings":"AACA;;GAEG;AACH,MAAM,MAAM,IAAI,GAAG;IACf,aAAa;IACb,MAAM,EAAE,MAAM,CAAC;IACf,yFAAyF;IACzF,QAAQ,EAAE,MAAM,CAAC;CACpB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,IAAI,GAAG;IACf,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;CAC9B,CAAA;AAED,MAAM,MAAM,YAAY,GAAG,IAAI,GAAG,IAAI,CAAC"}

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

@@ -0,0 +1,12 @@
+/**
+ * Severity of reported diagnostics
+ */
+export declare enum Severity {
+    Error = 0,
+    Warning = 1,
+    Information = 2,
+    Hint = 3
+}
+export type SeverityLabel = "hint" | "info" | "warning" | "error";
+export declare const SeverityLabelMap: Record<Severity, SeverityLabel>;
+//# sourceMappingURL=Severity.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Severity.d.ts","sourceRoot":"","sources":["../../../src/api/Severity.ts"],"names":[],"mappings":"AACA;;GAEG;AACH,oBAAY,QAAQ;IACnB,KAAK,IAAI;IACT,OAAO,IAAI;IACX,WAAW,IAAI;IACZ,IAAI,IAAI;CACX;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;AAElE,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,QAAQ,EAAE,aAAa,CAK5D,CAAC"}

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

@@ -0,0 +1,12 @@
+export { DocChange, WrappingDocChange } from "./DocChange";
+export { InputAreaStatus } from "./InputAreaStatus";
+export { LineNumber } from "./LineNumber";
+export { Severity, SeverityLabel, SeverityLabelMap } from "./Severity";
+export { FileFormat } from "./FileFormat";
+export * from "./types";
+export { WaterproofCompletion, WaterproofSymbol } from "./Completions";
+export { Completion } from "@codemirror/autocomplete";
+export { Step, ReplaceStep, ReplaceAroundStep } from "prosemirror-transform";
+export { Fragment } from "prosemirror-model";
+export { ServerStatus, Idle, Busy } from "./ServerStatus";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/api/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAG3D,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAC,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAEvE,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C,cAAc,SAAS,CAAC;AAExB,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEvE,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC7E,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC"}