@impermeable/waterproof-editor 0.11.0 → 0.13.0

package/dist/mapping/Tree.d.ts

@@ -2,12 +2,12 @@ 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 */
-    innerRange: {
+    contentRange: {
         to: number;
         from: number;
     };
     /** The outer range of the node, that is, the range of the content including possible tags */
-    range: {
+    tagRange: {
         to: number;
         from: number;
     };
@@ -26,10 +26,10 @@ export declare class TreeNode {
     };
     /** Potential children of this tree node */
     children: TreeNode[];
-    constructor(type: string, innerRange: {
+    constructor(type: string, contentRange: {
         to: number;
         from: number;
-    }, range: {
+    }, tagRange: {
         to: number;
         from: number;
     }, title: string, prosemirrorStart: number, prosemirrorEnd: number, pmRange: {
@@ -44,7 +44,7 @@ export declare class TreeNode {
 }
 export declare class Tree {
     root: TreeNode;
-    constructor(type: string, innerRange: {
+    constructor(type: string, contentRange: {
         from: number;
         to: number;
     }, range: {

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

@@ -1 +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,UAAU,EAAE;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC,CAAC;IACvC,6FAA6F;IAC7F,KAAK,EAAE;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC,CAAC;IAClC,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,UAAU,EAAE;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC,EACtC,KAAK,EAAE;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC,EACjC,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,UAAU,EAAE;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAC,EACtC,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"}
+{"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/index.d.ts

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

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/mapping/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC9B,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC"}
+{"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/nodeUpdate.d.ts

@@ -1,6 +1,6 @@
 import { Tree, TreeNode } from "./Tree";
 import { ParsedStep } from "./types";
-import { Mapping } from "./newmapping";
+import { Mapping } from "./mapping";
 import { DocumentSerializer, TagConfiguration } from "../api";
 import { Node } from "prosemirror-model";
 import { ReplaceAroundStep, ReplaceStep } from "prosemirror-transform";

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

@@ -1 +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,cAAc,CAAC;AAEvC,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"}
+{"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

@@ -1,4 +1,4 @@
-import { Mapping } from "./newmapping";
+import { Mapping } from "./mapping";
 import { ParsedStep } from "./types";
 import { ReplaceStep } from "prosemirror-transform";
 export declare class TextUpdate {

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

@@ -1 +1 @@
-{"version":3,"file":"textUpdate.d.ts","sourceRoot":"","sources":["../../src/mapping/textUpdate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,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"}
+{"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/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"}

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"}