@impermeable/waterproof-editor 0.12.0 → 0.14.0

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

@@ -1,38 +1,23 @@
 import { NodeType, Node as PNode } from "prosemirror-model";
 import { EditorState, Transaction, Selection } from "prosemirror-state";
-/**
- * Get a selection type object from a user selection.
- * @param sel Input user selection.
- * @returns Object that stores booleans whether we have a text or node selection.
- */
-export declare function selectionType(sel: Selection): {
-    isTextSelection: boolean;
-    isNodeSelection: boolean;
-};
-export declare function getNearestPosOutsideCoqblock(sel: Selection, _state: EditorState): {
-    start: number;
-    end: number;
-};
+import { TagConfiguration } from "../api";
 /**
  * Helper function for inserting a new node above the currently selected one.
  * @param state The current editor state.
  * @param tr The current transaction for the state of the editor.
- * @param escapeContainingNode Whether to escape the containing node.
- * @param nodeType Array of nodes to insert. Depending on the node type this will be either one or more
- * (coqcode outside of a coqblock needs to be enclosed within a new coqblock)
+ * @param nodeType The type of node to insert (one of `WaterproofSchema.nodes`)
  * @returns An insertion transaction.
  */
-export declare function insertAbove(state: EditorState, tr: Transaction, ...nodeType: NodeType[]): Transaction;
+export declare function insertAbove(state: EditorState, tr: Transaction, nodeType: NodeType, tagConf: TagConfiguration): Transaction | undefined;
 /**
- * Helper function for inserting a new node underneath the currently selected one.
+ * Helper function for inserting a new node below the currently selected one.
  * @param state The current editor state.
  * @param tr The current transaction for the state of the editor.
- * @param escapeContainingNode Whether to escape the containing node.
- * @param nodeType Array of nodes to insert. Depending on the node type this will be either one or more
- * (coqcode outside of a coqblock needs to be enclosed within a new coqblock)
+ * @param nodeType The type of node to insert (one of `WaterproofSchema.nodes`)
  * @returns An insertion transaction.
  */
-export declare function insertUnder(state: EditorState, tr: Transaction, ...nodeType: NodeType[]): Transaction;
+export declare function insertBelow(state: EditorState, tr: Transaction, nodeType: NodeType, tagConf: TagConfiguration): Transaction | undefined;
+export declare function nodeFromSel(sel: Selection): PNode | undefined;
 /**
  * Returns the containing node for the current selection.
  * @param sel The user's selection.

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

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

package/dist/commands/commands.d.ts

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

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

@@ -1 +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"}
+{"version":3,"file":"commands.d.ts","sourceRoot":"","sources":["../../src/commands/commands.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAA0D,MAAM,mBAAmB,CAAC;AAKpG,OAAO,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAE1C,wBAAgB,MAAM,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAoD1D;AA6CD,wBAAgB,eAAe,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAqBlE;AA2CD,wBAAgB,UAAU,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAW7D;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAS9D;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAKhF"}

package/dist/commands/index.d.ts

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

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

@@ -1 +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"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/commands/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC/F,OAAO,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC"}

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

@@ -1,34 +1,8 @@
-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;
+import { EditorState, Transaction } from "prosemirror-state";
+import { EditorView } from "prosemirror-view";
+import { InsertionPlace } from "./types";
+import { TagConfiguration } from "../api";
+export declare function getCmdInsertMarkdown(place: InsertionPlace, tagConf: TagConfiguration): (state: EditorState, dispatch?: ((tr: Transaction) => void), _view?: EditorView) => boolean;
+export declare function getCmdInsertLatex(place: InsertionPlace, tagConf: TagConfiguration): (state: EditorState, dispatch?: ((tr: Transaction) => void), _view?: EditorView) => boolean;
+export declare function getCmdInsertCode(place: InsertionPlace, tagConf: TagConfiguration): (state: EditorState, dispatch?: ((tr: Transaction) => void), _view?: EditorView) => boolean;
 //# sourceMappingURL=insert-command.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"insert-command.d.ts","sourceRoot":"","sources":["../../src/commands/insert-command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,OAAO,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAE1C,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,gBAAgB,IACzE,OAAO,WAAW,EAAE,WAAW,CAAC,CAAC,EAAE,EAAE,WAAW,KAAK,IAAI,CAAC,EAAE,QAAQ,UAAU,KAAG,OAAO,CAoBnG;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,gBAAgB,IACtE,OAAO,WAAW,EAAE,WAAW,CAAC,CAAC,EAAE,EAAE,WAAW,KAAK,IAAI,CAAC,EAAE,QAAQ,UAAU,KAAG,OAAO,CAenG;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,gBAAgB,IACrE,OAAO,WAAW,EAAE,WAAW,CAAC,CAAC,EAAE,EAAE,WAAW,KAAK,IAAI,CAAC,EAAE,QAAQ,UAAU,KAAG,OAAO,CAenG"}

package/dist/commands/types.d.ts

@@ -1,11 +1,11 @@
 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.
+ * Enum for the insertion place, can be either `Above` or `Below` the currently selected cell.
  */
 export declare enum InsertionPlace {
     Above = 0,
-    Underneath = 1
+    Below = 1
 }
 /**
  * Insertion function type. This type of function is passed to the `get...Command` functions. The function will insert

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

@@ -1 +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"}
+{"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,KAAK,IAAA;CACR;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/commands/utils.d.ts

@@ -0,0 +1,16 @@
+import { Node, NodeType } from "prosemirror-model";
+import { TagConfiguration } from "../api";
+import { Selection } from "prosemirror-state";
+export declare function getSurroundingNodes(sel: Selection): {
+    before: Node | null;
+    after: Node | null;
+};
+export declare function getParentAndIndex(sel: Selection): {
+    parent: Node;
+    index: number;
+} | null;
+export declare function needsNewlineBefore(nodeType: NodeType, tagConf: TagConfiguration): boolean;
+export declare function needsNewlineAfter(nodeType: NodeType, tagConf: TagConfiguration): boolean;
+export declare function openingTagEndsWithNewline(nodeType: NodeType, tagConf: TagConfiguration): boolean;
+export declare function closingTagStartsWithNewline(nodeType: NodeType, tagConf: TagConfiguration): boolean;
+//# sourceMappingURL=utils.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/commands/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAE1C,OAAO,EAAiB,SAAS,EAAiB,MAAM,mBAAmB,CAAC;AAE5E,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,SAAS,GAAG;IAAC,MAAM,EAAE,IAAI,GAAG,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,GAAG,IAAI,CAAA;CAAC,CAQ7F;AAED,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,SAAS,GAAG;IAAC,MAAM,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAC,GAAG,IAAI,CAWtF;AAYD,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAEzF;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAExF;AAED,wBAAgB,yBAAyB,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAKhG;AAED,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAElG"}

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

@@ -1,23 +1,29 @@
 import { Node as ProseNode } from "prosemirror-model";
 export declare enum BLOCK_NAME {
-    COQ = "coq",
     MATH_DISPLAY = "math_display",
-    INPUT_AREA = "input_area",
+    INPUT_AREA = "input",
     HINT = "hint",
     MARKDOWN = "markdown",
-    COQ_MARKDOWN = "coqdown",
-    COQ_CODE = "coq_code",
-    COQ_DOC = "coq_doc"
+    CODE = "code",
+    NEWLINE = "newline",
+    CONTAINER = "container"
 }
 export interface BlockRange {
     from: number;
     to: number;
 }
 export interface Block {
-    type: string;
+    type: BLOCK_NAME;
     stringContent: string;
+    /** Range in the original document, including possible tags (like <input-area>) */
     range: BlockRange;
+    /** Range in the original document, but only the content within possible tags */
+    innerRange: BlockRange;
+    /** The linenumber (0 based) at the start of this block */
+    lineStart: number;
+    /** Blocks that are children of this block, only valid for InputArea, Hint, and Container Blocks. */
     innerBlocks?: Block[];
+    /** Convert this block to the corresponding ProseMirror node. */
     toProseMirror(): ProseNode;
     debugPrint(level: number): void;
 }

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

@@ -1 +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"}
+{"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,YAAY,iBAAiB;IAC7B,UAAU,UAAU;IACpB,IAAI,SAAS;IACb,QAAQ,aAAa;IACrB,IAAI,SAAS;IACb,OAAO,YAAY;IACnB,SAAS,cAAc;CAC1B;AAED,MAAM,WAAW,UAAU;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACd;AAGD,MAAM,WAAW,KAAK;IAClB,IAAI,EAAE,UAAU,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,kFAAkF;IAClF,KAAK,EAAE,UAAU,CAAC;IAClB,gFAAgF;IAChF,UAAU,EAAE,UAAU,CAAC;IACvB,0DAA0D;IAC1D,SAAS,EAAE,MAAM,CAAC;IAElB,oGAAoG;IACpG,WAAW,CAAC,EAAE,KAAK,EAAE,CAAC;IAEtB,gEAAgE;IAChE,aAAa,IAAI,SAAS,CAAC;IAC3B,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;CACnC"}

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

@@ -1,78 +1,121 @@
+import { Node } from "prosemirror-model";
 import { BLOCK_NAME, Block, BlockRange } from "./block";
+/**
+ * InputAreaBlocks are the parts of the document that should be editable by students.
+ * Every input area has an accompanying status to indicate whether the input area is 'correct'.
+ */
 export declare class InputAreaBlock implements Block {
     stringContent: string;
     range: BlockRange;
+    innerRange: BlockRange;
+    lineStart: number;
     type: BLOCK_NAME;
     innerBlocks: Block[];
-    constructor(stringContent: string, range: BlockRange, innerBlockConstructor: (content: string) => Block[]);
-    toProseMirror(): import("prosemirror-model").Node;
+    /**
+     * Construct a new InputAreaBlock.
+     * @param stringContent Content of the input area
+     * @param range The range (from position to to position in the original document) of the entire input area block, including the its tags.
+     * @param innerRange The range (from position to to position in the original document) of the inner content of the input area block, excluding its tags.
+     * @param childBlocks Either an array of child blocks of this input area block, or a function that constructs the child blocks given the inner range and content.
+     */
+    constructor(stringContent: string, range: BlockRange, innerRange: BlockRange, lineStart: number, childBlocks: Block[] | ((innerContent: string, innerRange: BlockRange, lineStartOffset: number) => Block[]));
+    toProseMirror(): Node;
     debugPrint(level: number): void;
 }
+/**
+ * HintBlocks are foldable blocks that can be used to hide parts of the document by default.
+ * Useful for giving hints to students or hiding import/configuration statements from the student.
+ */
 export declare class HintBlock implements Block {
     stringContent: string;
     title: string;
     range: BlockRange;
+    innerRange: BlockRange;
+    lineStart: number;
     type: BLOCK_NAME;
     innerBlocks: Block[];
-    constructor(stringContent: string, title: string, range: BlockRange, innerBlockConstructor: (content: string) => Block[]);
-    toProseMirror(): import("prosemirror-model").Node;
+    /**
+     * Construct a new HintBlock.
+     * @param stringContent Content of the hint block
+     * @param title Title of the hint block (the part that is displayed in the document when folded)
+     * @param range The range (from position to to position in the original document) of the entire hint block, including its tags.
+     * @param innerRange The range (from position to to position in the original document) of the inner content of the hint block, excluding its tags.
+     * @param childBlocks Either an array of child blocks of this hint block, or a function that constructs the child blocks given the inner range and content.
+     */
+    constructor(stringContent: string, title: string, range: BlockRange, innerRange: BlockRange, lineStart: number, childBlocks: Block[] | ((innerContent: string, innerRange: BlockRange, lineStartOffset: number) => Block[]));
+    toProseMirror(): Node;
     debugPrint(level: number): void;
 }
+/**
+ * MathDisplayBlocks display LaTeX in display mode (i.e., centered and on its own line).
+ */
 export declare class MathDisplayBlock implements Block {
     stringContent: string;
     range: BlockRange;
+    innerRange: BlockRange;
+    lineStart: number;
     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;
+    constructor(stringContent: string, range: BlockRange, innerRange: BlockRange, lineStart: number);
+    toProseMirror(): Node;
     debugPrint(level: number): void;
 }
+/**
+ * MarkdownBlocks contain markdown content (including inline LaTeX inside single dollars `$`).
+ */
 export declare class MarkdownBlock implements Block {
     stringContent: string;
     range: BlockRange;
+    innerRange: BlockRange;
+    lineStart: number;
     type: BLOCK_NAME;
     isNewLineOnly: boolean;
-    constructor(stringContent: string, range: BlockRange);
-    toProseMirror(): import("prosemirror-model").Node;
+    constructor(stringContent: string, range: BlockRange, innerRange: BlockRange, lineStart: number);
+    toProseMirror(): Node;
     debugPrint(level: number): void;
 }
-export declare class CoqDocBlock implements Block {
+/**
+ * CodeBlocks contain source code.
+ */
+export declare class CodeBlock implements Block {
     stringContent: string;
-    preWhite: string;
-    postWhite: string;
     range: BlockRange;
+    innerRange: BlockRange;
+    lineStart: number;
     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;
+    constructor(stringContent: string, range: BlockRange, innerRange: BlockRange, lineStart: number);
+    toProseMirror(): Node;
+    debugPrint(level: number): void;
 }
-export declare class CoqMarkdownBlock implements Block {
-    stringContent: string;
+/**
+ * NewlineBlock are blocks that take the place of a newline that is significant in the document.
+ * That is, the newline should be preserved
+ */
+export declare class NewlineBlock implements Block {
     range: BlockRange;
+    innerRange: BlockRange;
+    lineStart: number;
     type: BLOCK_NAME;
-    constructor(stringContent: string, range: BlockRange);
-    toProseMirror(): import("prosemirror-model").Node;
+    constructor(range: BlockRange, innerRange: BlockRange, lineStart: number);
+    stringContent: string;
+    toProseMirror(): Node;
     debugPrint(level: number): void;
 }
-export declare class CoqCodeBlock implements Block {
+/**
+ * ContainerBlocks are generic container blocks that group multiple blocks together.
+ * They carry a name to identify the container type.
+ * In Lean context, multilean blocks are represented as containers with name "multilean".
+ * They can contain both top-level blocks (input, hint) and leaf blocks (math, code, markdown).
+ */
+export declare class ContainerBlock implements Block {
     stringContent: string;
+    name: string;
     range: BlockRange;
+    innerRange: BlockRange;
+    lineStart: number;
     type: BLOCK_NAME;
-    constructor(stringContent: string, range: BlockRange);
-    toProseMirror(): import("prosemirror-model").Node;
+    innerBlocks: Block[];
+    constructor(stringContent: string, name: string, range: BlockRange, innerRange: BlockRange, lineStart: number, childBlocks: Block[] | ((innerContent: string, innerRange: BlockRange, lineStartOffset: number) => Block[]));
+    toProseMirror(): Node;
     debugPrint(level: number): void;
 }
 //# sourceMappingURL=blocktypes.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"blocktypes.d.ts","sourceRoot":"","sources":["../../../src/document/blocks/blocktypes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAMxD;;;GAGG;AACH,qBAAa,cAAe,YAAW,KAAK;IAWpB,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAAS,UAAU,EAAE,UAAU;IAAS,SAAS,EAAE,MAAM;IAVrH,IAAI,aAAyB;IAC7B,WAAW,EAAE,KAAK,EAAE,CAAC;IAE5B;;;;;;OAMG;gBACiB,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU,EAAS,UAAU,EAAE,UAAU,EAAS,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,KAAK,KAAK,EAAE,CAAC;IASzO,aAAa;IAMb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAKlC;AAED;;;GAGG;AACH,qBAAa,SAAU,YAAW,KAAK;IAYf,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAAS,UAAU,EAAE,UAAU;IAAS,SAAS,EAAE,MAAM;IAX3I,IAAI,aAAmB;IACvB,WAAW,EAAE,KAAK,EAAE,CAAC;IAE5B;;;;;;;OAOG;gBACiB,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU,EAAS,UAAU,EAAE,UAAU,EAAS,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,KAAK,KAAK,EAAE,CAAC;IAQ/P,aAAa;IAOb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAKlC;AAED;;GAEG;AACH,qBAAa,gBAAiB,YAAW,KAAK;IAEtB,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAAS,UAAU,EAAE,UAAU;IAAS,SAAS,EAAE,MAAM;IADrH,IAAI,aAA2B;gBAClB,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU,EAAS,UAAU,EAAE,UAAU,EAAS,SAAS,EAAE,MAAM;IAE5H,aAAa;IASb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAGlC;AAED;;GAEG;AACH,qBAAa,aAAc,YAAW,KAAK;IAInB,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAAS,UAAU,EAAE,UAAU;IAAS,SAAS,EAAE,MAAM;IAHrH,IAAI,aAAuB;IAC3B,aAAa,UAAS;gBAET,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU,EAAS,UAAU,EAAE,UAAU,EAAS,SAAS,EAAE,MAAM;IAI5H,aAAa;IASb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAGlC;AAED;;GAEG;AACH,qBAAa,SAAU,YAAW,KAAK;IAGf,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAAS,UAAU,EAAE,UAAU;IAAS,SAAS,EAAE,MAAM;IAFrH,IAAI,aAAmB;gBAEV,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU,EAAS,UAAU,EAAE,UAAU,EAAS,SAAS,EAAE,MAAM;IAE5H,aAAa;IASb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAGlC;AAED;;;GAGG;AACH,qBAAa,YAAa,YAAW,KAAK;IAGjB,KAAK,EAAE,UAAU;IAAS,UAAU,EAAE,UAAU;IAAS,SAAS,EAAE,MAAM;IAFxF,IAAI,aAAsB;gBAEZ,KAAK,EAAE,UAAU,EAAS,UAAU,EAAE,UAAU,EAAS,SAAS,EAAE,MAAM;IAE/F,aAAa,EAAE,MAAM,CAAM;IAE3B,aAAa,IAAK,IAAI;IAKtB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAGlC;AAED;;;;;GAKG;AACH,qBAAa,cAAe,YAAW,KAAK;IAK7B,aAAa,EAAE,MAAM;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,UAAU;IACjB,UAAU,EAAE,UAAU;IACtB,SAAS,EAAE,MAAM;IARrB,IAAI,aAAwB;IAC5B,WAAW,EAAE,KAAK,EAAE,CAAC;gBAGjB,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,UAAU,EACjB,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,MAAM,EACxB,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,KAAK,KAAK,EAAE,CAAC;IAS/G,aAAa;IAKb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAKlC"}

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

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

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

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

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

@@ -1,21 +1,18 @@
 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;
+export declare const code: (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;
+/** Construct container prosemirror node. */
+export declare const container: (name: string, childNodes: ProseNode[]) => ProseNode;
+export declare const newline: () => ProseNode;
 export declare const root: (childNodes: ProseNode[]) => ProseNode;
 //# sourceMappingURL=schema.d.ts.map

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

@@ -1 +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"}
+{"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,2CAA2C;AAC3C,eAAO,MAAM,QAAQ,GAAI,SAAS,MAAM,KAAG,SAE1C,CAAA;AAED,0CAA0C;AAC1C,eAAO,MAAM,IAAI,GAAI,SAAS,MAAM,KAAG,SAEtC,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,4CAA4C;AAC5C,eAAO,MAAM,SAAS,GAAI,MAAM,MAAM,EAAE,YAAY,SAAS,EAAE,KAAG,SAEjE,CAAA;AAGD,eAAO,MAAM,OAAO,iBAEnB,CAAA;AAGD,eAAO,MAAM,IAAI,GAAI,YAAY,SAAS,EAAE,KAAG,SAE9C,CAAA"}

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

@@ -1,11 +1,10 @@
 import { Block } from "./block";
-import { CoqBlock, CoqCodeBlock, CoqDocBlock, CoqMarkdownBlock, HintBlock, InputAreaBlock, MarkdownBlock, MathDisplayBlock } from "./blocktypes";
+import { CodeBlock, ContainerBlock, HintBlock, InputAreaBlock, MarkdownBlock, MathDisplayBlock, NewlineBlock } 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 isCodeBlock: (block: Block) => block is CodeBlock;
 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;
+export declare const isNewlineBlock: (block: Block) => block is NewlineBlock;
+export declare const isContainerBlock: (block: Block) => block is ContainerBlock;
 //# sourceMappingURL=typeguards.d.ts.map

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

@@ -1 +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"}
+{"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,SAAS,EAAE,cAAc,EAAE,SAAS,EAAE,cAAc,EAAE,aAAa,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEnI,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,WAAW,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,SAA2C,CAAC;AAChG,eAAO,MAAM,eAAe,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,aAAmD,CAAC;AAC5G,eAAO,MAAM,cAAc,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,YAAiD,CAAC;AACzG,eAAO,MAAM,gBAAgB,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,cAAqD,CAAC"}

package/dist/document/utils.d.ts

@@ -25,15 +25,11 @@ export declare function iteratePairs<ArrayType, FunctionReturnType>(input: Array
  * @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;
+export declare const extractInterBlockRanges: (blocks: Array<Block>, inputDocument: string, parentOffset?: number) => {
+    from: number;
+    to: number;
+}[];
+export declare function maskInputAndHints(inputDocument: string, blocks: Block[]): string;
 /**
  * Create blocks based on ranges.
  *
@@ -45,5 +41,5 @@ export declare function extractBlocksUsingRanges<BlockType extends Block>(inputD
 }[], BlockConstructor: new (content: string, range: {
     from: number;
     to: number;
-}) => BlockType): BlockType[];
+}, innerRange: BlockRange, lineStart: number) => BlockType, parentOffset?: number): BlockType[];
 //# sourceMappingURL=utils.d.ts.map

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

@@ -1 +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"}
+{"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;AAED;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAAI,QAAQ,KAAK,CAAC,KAAK,CAAC,EAAE,eAAe,MAAM,EAAE,eAAc,MAAU,KAAG;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAC,EAczI,CAAA;AAED,wBAAgB,iBAAiB,CAAC,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAMhF;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,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,KAAK,SAAS,EACpI,YAAY,GAAE,MAAU,GAAG,SAAS,EAAE,CAYzC"}

package/dist/edit-utils.d.ts

@@ -0,0 +1,10 @@
+import { DocChange, WrappingDocChange } from "./api";
+export declare const enum EditType {
+    Insert = 0,
+    Replace = 1,
+    Delete = 2
+}
+export declare function typeFromDocChange(change: DocChange): EditType;
+export declare function isWrappingDocChange(change: DocChange | WrappingDocChange): change is WrappingDocChange;
+export declare function isDocChange(change: DocChange | WrappingDocChange): change is DocChange;
+//# sourceMappingURL=edit-utils.d.ts.map

package/dist/edit-utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"edit-utils.d.ts","sourceRoot":"","sources":["../src/edit-utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,OAAO,CAAC;AAErD,0BAAkB,QAAQ;IACtB,MAAM,IAAA;IAAE,OAAO,IAAA;IAAE,MAAM,IAAA;CAC1B;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,CAQ7D;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,SAAS,GAAG,iBAAiB,GAAG,MAAM,IAAI,iBAAiB,CAEtG;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,SAAS,GAAG,iBAAiB,GAAG,MAAM,IAAI,SAAS,CAEtF"}