@impermeable/waterproof-editor 0.12.0 → 0.13.0

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

package/dist/src/documentProgressDecorator.d.ts

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

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

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

package/dist/src/editor.d.ts

@@ -0,0 +1,154 @@
+import { Node as ProseNode } from "prosemirror-model";
+import { EditorState, Plugin, Selection } from "prosemirror-state";
+import { LineNumber, InputAreaStatus, SimpleProgressParams, HistoryChange, Severity, OffsetDiagnostic } from "./api";
+import "katex/dist/katex.min.css";
+import "prosemirror-view/style/prosemirror.css";
+import "./styles";
+import { WaterproofEditorConfig, ThemeStyle } from "./api";
+import { Completion } from "@codemirror/autocomplete";
+import { ServerStatus } from "./api";
+/** Type that contains a coq diagnostics object fit for use in the ProseMirror editor context. */
+export type DiagnosticObjectProse = {
+    message: string;
+    start: number;
+    end: number;
+    severity: Severity;
+};
+/**
+ * WaterproofEditor class. Configured via the WaterproofEditorConfig object.
+ */
+export declare class WaterproofEditor {
+    private readonly initialThemeStyle;
+    private _editorConfig;
+    private _schema;
+    private _editorElem;
+    private _view;
+    private _translator;
+    private _mapping;
+    private readonly _userOS;
+    private currentProseDiagnostics;
+    get diagnosticsVersion(): number;
+    private diagnosticsUpdateCounter;
+    private _lineNumbersShown;
+    /**
+     * Create a new WaterproofEditor instance.
+     * @param editorElement The HTML element where the editor will be inserted in the document
+     * @param config The configuration of the editor to use.
+     */
+    constructor(editorElement: HTMLElement, config: WaterproofEditorConfig, initialThemeStyle: ThemeStyle);
+    init(content: string, version?: number): void;
+    get state(): EditorState | undefined;
+    createProseMirrorEditor(proseDoc: ProseNode): void;
+    /** Create initial prosemirror state */
+    createState(proseDoc: ProseNode): EditorState;
+    /** Create the array of plugins used by the prosemirror editor */
+    createPluginsArray(): Plugin[];
+    updateNodeViewThemes(theme: ThemeStyle): void;
+    /**
+     * Handle a snippet that should be inserted into the editor.
+     * @param template The template string of the snippet that should be inserted.
+     */
+    handleSnippet(template: string): void;
+    /** Called on every selection update. */
+    updateCursor(pos: Selection): void;
+    /** Called on every transaction update in which the textdocument was modified */
+    sendLineNumbers(): void;
+    private updateDocumentProgress;
+    /**
+     * Updates the dynamic autocomplete suggestions shown in the editor.
+     * @param completions Array of completions.
+     */
+    handleCompletions(completions: Array<Completion>): void;
+    /** Called whenever a line number message is received from vscode to update line numbers of codemirror cells */
+    setLineNumbers(msg: LineNumber): void;
+    /**
+     * Execute a history change (undo/redo) in the editor.
+     * @param type Type of the change
+     */
+    handleHistoryChange(type: HistoryChange): void;
+    handleScroll(innerHeight: number): void;
+    /**
+     * Insert a symbol at the cursor position (replaces the current selection if there is one).
+     *
+     * @param symbolUnicode The unicode character to insert.
+     * @returns Whether the operation was a success.
+     */
+    insertSymbol(symbolUnicode: string): boolean;
+    /**
+     * Toggles line numbers for all codeblocks.
+     * @param show The editor will show line numbers in the code cells when set to `true`.
+     */
+    setShowLineNumbers(show: boolean): void;
+    /**
+     * Toggles showing menu items in the editor for students.
+     * @param show The editor will show menu items to students when set to `true`.
+     */
+    setShowMenuItems(show: boolean): void;
+    private createAndDispatchInsertionTransaction;
+    /**
+     * Called whenever a message describing the configuration of user is sent
+     *
+     * @param isTeacher Whether teacher mode is enabled
+     */
+    updateLockingState(isTeacher: boolean): void;
+    /**
+     * Updates the state of the progress bar in the editor.
+     *
+     * @param progressParams The type used to store information on the status of the checking of the current file
+     */
+    updateProgressBar(progressParams: SimpleProgressParams): void;
+    updateServerStatus(status: ServerStatus): void;
+    /**
+     * Updates the status of the input areas in the editor.
+     *
+     * @param status Array containing the status of the input areas within the current document, where `status[i]` corresponds to the i-th input area (starting at zero for the first input area).
+     */
+    updateQedStatus(status: InputAreaStatus[]): void;
+    /**
+     * Pushes the diagnostics to the array of diagnostics stored in the editor.
+     *
+     * In comparison to {@linkcode setActiveDiagnostics} this will keep the old
+     * diagnostics around.
+     *
+     * @param diagnostics The diagnostics to add.
+     */
+    pushDiagnostics(...diagnostics: Array<OffsetDiagnostic>): void;
+    /**
+     * Removes the diagnostic `toRemove` from the set of stored diagnostics.
+     *
+     * Note that if `toRemove` occurs more than once, all instances will be removed!
+     * @param toRemove The diagnostic object to remove
+     * @returns Whether any instance of `toRemove` was removed from the set of diagnostics.
+     */
+    removeDiagnostic(toRemove: DiagnosticObjectProse): boolean;
+    /**
+     * Sets the current set of diagnostics in the document.
+     * This function takes the set of all diagnostics in the current document,
+     * translates the position to ProseMirror offsets and stores them.
+     *
+     * Note: Calling this function overwrites the set of diagnostics.
+     * If you want to add a diagnostic use {@linkcode pushDiagnostics}
+     *
+     * @param msg The set of diagnostics for the current document.
+     */
+    setActiveDiagnostics(diagnostics: Array<OffsetDiagnostic>): void;
+    private diagnosticsChanged;
+    /**
+     * Returns the set of stored diagnostics in the range low to high.
+     * @param low Lower bound for the diagnostic range.
+     * @param high Upper bound for the diagnostic range.
+     * @param truncationLevel If desired, only include diagnostics with a severity level below the `truncationLevel`.
+     * @returns The set of diagnostics in the range low to high.
+     */
+    getDiagnosticsInRange(low: number, high: number, truncationLevel?: number): Array<DiagnosticObjectProse>;
+    /**
+     * Returns the set of diagnostics for which the intersection of the diagnostic range and the range [low, high]
+     * is non-empty. The ranges of these diagnostics will be trimmed such that they are fully contained in [low, high].
+     * @param truncationLevel If desired, only include diagnostics with a severity level below the `truncationLevel`.
+     * @returns The set of diagnostics which are (at least partially) contained in the range low to high.
+     */
+    getPartialDiagnosticsInRange(low: number, high: number, truncationLevel?: number): Array<DiagnosticObjectProse>;
+    executeCommand(command: string): void;
+    executeHelp(): void;
+}
+//# sourceMappingURL=editor.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"editor.d.ts","sourceRoot":"","sources":["../../src/editor.ts"],"names":[],"mappings":"AAGA,OAAO,EAAU,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAgB,WAAW,EAAiB,MAAM,EAAE,SAAS,EAA8B,MAAM,mBAAmB,CAAC;AAM5H,OAAO,EAAa,UAAU,EAAE,eAAe,EAAE,oBAAoB,EAAqB,aAAa,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,OAAO,CAAC;AAcnJ,OAAO,0BAA0B,CAAC;AAClC,OAAO,wCAAwC,CAAC;AAChD,OAAO,UAAU,CAAC;AAKlB,OAAO,EAAiC,sBAAsB,EAAE,UAAU,EAAE,MAAM,OAAO,CAAC;AAC1F,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAEtD,OAAO,EAAE,YAAY,EAAE,MAAM,OAAO,CAAC;AAErC,iGAAiG;AACjG,MAAM,MAAM,qBAAqB,GAAG;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAC,CAAC;AAEtG;;GAEG;AACH,qBAAa,gBAAgB;IAoC6C,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IAlC3G,OAAO,CAAC,aAAa,CAAyB;IAG9C,OAAO,CAAC,OAAO,CAAS;IAGxB,OAAO,CAAC,WAAW,CAAc;IAGjC,OAAO,CAAC,KAAK,CAAyB;IAGtC,OAAO,CAAC,WAAW,CAA6B;IAGhD,OAAO,CAAC,QAAQ,CAAgC;IAGhD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;IAEzB,OAAO,CAAC,uBAAuB,CAA+B;IAE9D,IAAW,kBAAkB,WAE5B;IACD,OAAO,CAAC,wBAAwB,CAAK;IAErC,OAAO,CAAC,iBAAiB,CAAkB;IAE3C;;;;OAIG;gBACU,aAAa,EAAE,WAAW,EAAE,MAAM,EAAE,sBAAsB,EAAmB,iBAAiB,EAAE,UAAU;IAuCvH,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,MAAU;IA6CzC,IAAI,KAAK,IAAI,WAAW,GAAG,SAAS,CAEnC;IAED,uBAAuB,CAAC,QAAQ,EAAE,SAAS;IAkF3C,uCAAuC;IACvC,WAAW,CAAC,QAAQ,EAAE,SAAS,GAAG,WAAW;IAQ7C,iEAAiE;IACjE,kBAAkB,IAAI,MAAM,EAAE;IAgCvB,oBAAoB,CAAC,KAAK,EAAE,UAAU;IAa7C;;;OAGG;IACI,aAAa,CAAC,QAAQ,EAAE,MAAM;IAiCrC,wCAAwC;IACjC,YAAY,CAAC,GAAG,EAAE,SAAS,GAAI,IAAI;IAO1C,gFAAgF;IACzE,eAAe;IAiBrB,OAAO,CAAC,sBAAsB;IAyE/B;;;OAGG;IACI,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC;IAUvD,+GAA+G;IACxG,cAAc,CAAC,GAAG,EAAE,UAAU;IAUrC;;;OAGG;IACI,mBAAmB,CAAC,IAAI,EAAE,aAAa;IAOtC,YAAY,CAAC,WAAW,EAAE,MAAM;IAqCxC;;;;;OAKG;IACI,YAAY,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO;IAmDnD;;;OAGG;IACI,kBAAkB,CAAC,IAAI,EAAE,OAAO;IAUvC;;;OAGG;IACI,gBAAgB,CAAC,IAAI,EAAE,OAAO;IAQrC,OAAO,CAAC,qCAAqC;IAO7C;;;;OAIG;IACI,kBAAkB,CAAC,SAAS,EAAE,OAAO,GAAI,IAAI;IAQpD;;;;OAIG;IACI,iBAAiB,CAAC,cAAc,EAAE,oBAAoB,GAAG,IAAI;IAS7D,kBAAkB,CAAC,MAAM,EAAE,YAAY,GAAI,IAAI;IAQtD;;;;OAIG;IACI,eAAe,CAAC,MAAM,EAAE,eAAe,EAAE,GAAI,IAAI;IAQxD;;;;;;;OAOG;IACI,eAAe,CAAC,GAAG,WAAW,EAAE,KAAK,CAAC,gBAAgB,CAAC;IAsB9D;;;;;;OAMG;IACI,gBAAgB,CAAC,QAAQ,EAAE,qBAAqB,GAAG,OAAO;IAWjE;;;;;;;;;OASG;IACI,oBAAoB,CAAC,WAAW,EAAE,KAAK,CAAC,gBAAgB,CAAC;IAuBhE,OAAO,CAAC,kBAAkB;IAW1B;;;;;;OAMG;IACI,qBAAqB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,GAAE,MAAU,GAAG,KAAK,CAAC,qBAAqB,CAAC;IAMlH;;;;;OAKG;IACI,4BAA4B,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,GAAE,MAAU,GAAG,KAAK,CAAC,qBAAqB,CAAC;IAelH,cAAc,CAAC,OAAO,EAAE,MAAM;IAI9B,WAAW;CAGlB"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"embedded-codemirror-keymap.d.ts","sourceRoot":"","sources":["../../../src/embedded-codemirror/embedded-codemirror-keymap.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAe,YAAY,EAAqD,MAAM,mBAAmB,CAAA;AAgBhH,eAAO,MAAM,gBAAgB,EAAE,YAM9B,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,WAAW,EAAE,UAAU,EA2CnC,CAAA"}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

package/dist/src/index.d.ts

@@ -0,0 +1,6 @@
+export { WaterproofEditor } from "./editor";
+export { WaterproofSchema } from "./schema";
+export * from "./document";
+export * from "./api";
+export { FileTranslator } from "./translation";
+//# sourceMappingURL=index.d.ts.map

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

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

package/dist/src/inputArea.d.ts

@@ -0,0 +1,14 @@
+import { Plugin, PluginKey } from "prosemirror-state";
+/**
+ * Interface describing the state of the input are plugin.
+ * Contains fields `locked: boolean` indicating wether non-input areas should be locked (ie. non-teacher mode) and
+ * `globalLock: boolean` indicating that we are in a global lockdown state (caused by an unrecoverable error).
+ */
+export interface IInputAreaPluginState {
+    teacher: boolean;
+    globalLock: boolean;
+}
+/** The plugin key for the input area plugin */
+export declare const INPUT_AREA_PLUGIN_KEY: PluginKey<IInputAreaPluginState>;
+export declare const inputAreaPlugin: Plugin<IInputAreaPluginState>;
+//# sourceMappingURL=inputArea.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"inputArea.d.ts","sourceRoot":"","sources":["../../src/inputArea.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,MAAM,EAAE,SAAS,EAA2B,MAClE,mBAAmB,CAAC;AAEpB;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACrC,OAAO,EAAE,OAAO,CAAC;IACd,UAAU,EAAE,OAAO,CAAC;CACvB;AAED,+CAA+C;AAC/C,eAAO,MAAM,qBAAqB,kCAA8D,CAAC;AAiFjG,eAAO,MAAM,eAAe,+BAAkC,CAAC"}

package/dist/src/markup-views/CoqdocPlugin.d.ts

@@ -0,0 +1,19 @@
+import { Schema, Node as ProseNode } from "prosemirror-model";
+import { Plugin as ProsePlugin, PluginKey } from "prosemirror-state";
+import { EditorView } from "prosemirror-view";
+import { CoqdocView } from "./CoqdocView";
+export interface ICoqdocPluginState {
+    macros: {
+        [cmd: string]: string;
+    };
+    /** A list of currently active `NodeView`s, in insertion order. */
+    activeNodeViews: CoqdocView[];
+}
+export declare const COQDOC_PLUGIN_KEY: PluginKey<ICoqdocPluginState>;
+/**
+ * Returns a function suitable for passing as a field in `EditorProps.nodeViews`.
+ * @see https://prosemirror.net/docs/ref/#view.EditorProps.nodeViews
+ */
+export declare function createCoqdocView(schema: Schema): (node: ProseNode, view: EditorView, getPos: () => number | undefined) => CoqdocView;
+export declare const coqdocPlugin: (schema: Schema) => ProsePlugin<ICoqdocPluginState>;
+//# sourceMappingURL=CoqdocPlugin.d.ts.map

package/dist/src/markup-views/CoqdocPlugin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CoqdocPlugin.d.ts","sourceRoot":"","sources":["../../../src/markup-views/CoqdocPlugin.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,UAAU,EAAE,MAAM,cAAc,CAAC;AAI1C,MAAM,WAAW,kBAAkB;IAClC,MAAM,EAAE;QAAE,CAAC,GAAG,EAAC,MAAM,GAAI,MAAM,CAAA;KAAE,CAAC;IAClC,kEAAkE;IAClE,eAAe,EAAE,UAAU,EAAE,CAAC;CAC9B;AAED,eAAO,MAAM,iBAAiB,+BAAoE,CAAC;AAEnG;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,IACtC,MAAM,SAAS,EAAE,MAAM,UAAU,EAAE,QAAQ,MAAM,MAAM,GAAG,SAAS,KAAG,UAAU,CAcxF;AA6BD,eAAO,MAAM,YAAY,GAAI,QAAQ,MAAM,oCAA8C,CAAC"}

package/dist/src/markup-views/CoqdocView.d.ts

@@ -0,0 +1,15 @@
+import { PluginKey } from "prosemirror-state";
+import { SwitchableView } from "./switchable-view";
+import { EditorView } from "prosemirror-view";
+import { Node as PNode, Schema } from "prosemirror-model";
+/**
+ * CoqdocView class extends the SwitchableView class.
+ *
+ * Used to edit and render coqdoc syntax within the prosemirror editor.
+ */
+export declare class CoqdocView extends SwitchableView {
+    constructor(getPos: (() => number | undefined), outerView: EditorView, content: string, node: PNode, schema: Schema, pluginKey: PluginKey, viewName: string);
+    preprocessContentForEditing(input: string): string;
+    preprocessContentForRendering(input: string): string;
+}
+//# sourceMappingURL=CoqdocView.d.ts.map

package/dist/src/markup-views/CoqdocView.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CoqdocView.d.ts","sourceRoot":"","sources":["../../../src/markup-views/CoqdocView.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAG1D;;;;GAIG;AACH,qBAAa,UAAW,SAAQ,cAAc;gBAGtC,MAAM,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,SAAS,EAAE,UAAU,EACzD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAC5C,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM;IAM1C,2BAA2B,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAIlD,6BAA6B,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;CAKvD"}

package/dist/src/markup-views/MarkdownPlugin.d.ts

@@ -0,0 +1,21 @@
+import { Schema, Node as ProseNode } from "prosemirror-model";
+import { Plugin as ProsePlugin, PluginKey, TextSelection } from "prosemirror-state";
+import { EditorView } from "prosemirror-view";
+import { MarkdownView } from "./MarkdownView";
+export interface IRealMarkdownPluginState {
+    macros: {
+        [cmd: string]: string;
+    };
+    /** A list of currently active `NodeView`s, in insertion order. */
+    activeNodeViews: MarkdownView[];
+    /** The selection of the current cursor position */
+    cursor: TextSelection | undefined;
+}
+export declare const REAL_MARKDOWN_PLUGIN_KEY: PluginKey<IRealMarkdownPluginState>;
+/**
+ * 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(schema: Schema): (node: ProseNode, view: EditorView, getPos: (() => number | undefined)) => MarkdownView;
+export declare const realMarkdownPlugin: (schema: Schema) => ProsePlugin<IRealMarkdownPluginState>;
+//# sourceMappingURL=MarkdownPlugin.d.ts.map

package/dist/src/markup-views/MarkdownPlugin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MarkdownPlugin.d.ts","sourceRoot":"","sources":["../../../src/markup-views/MarkdownPlugin.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,MAAM,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,MAAM,IAAI,WAAW,EAAE,SAAS,EAAc,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAChG,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAI9C,MAAM,WAAW,wBAAwB;IACxC,MAAM,EAAE;QAAE,CAAC,GAAG,EAAC,MAAM,GAAI,MAAM,CAAA;KAAE,CAAC;IAClC,kEAAkE;IAClE,eAAe,EAAE,YAAY,EAAE,CAAC;IAChC,mDAAmD;IACnD,MAAM,EAAE,aAAa,GAAG,SAAS,CAAC;CAElC;AAED,eAAO,MAAM,wBAAwB,qCAA2E,CAAC;AAEjH;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,MAAM,IAC5C,MAAM,SAAS,EAAE,MAAM,UAAU,EAAE,QAAQ,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,KAAG,YAAY,CAe5F;AAmCD,eAAO,MAAM,kBAAkB,GAAI,QAAQ,MAAM,0CAAoD,CAAC"}

package/dist/src/markup-views/MarkdownView.d.ts

@@ -0,0 +1,15 @@
+import { EditorView } from "prosemirror-view";
+import { SwitchableView } from "./switchable-view";
+import { Node as PNode, Schema } from "prosemirror-model";
+import { PluginKey } from "prosemirror-state";
+/**
+ * MarkdownView class extends the SwitchableView class.
+ *
+ * Used to edit and render markdown within the prosemirror editor.
+ */
+export declare class MarkdownView extends SwitchableView {
+    constructor(getPos: (() => number | undefined), outerView: EditorView, content: string, node: PNode, schema: Schema, pluginKey: PluginKey, viewName: string);
+    preprocessContentForEditing(input: string): string;
+    preprocessContentForRendering(input: string): string;
+}
+//# sourceMappingURL=MarkdownView.d.ts.map

package/dist/src/markup-views/MarkdownView.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MarkdownView.d.ts","sourceRoot":"","sources":["../../../src/markup-views/MarkdownView.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAG9C;;;;GAIG;AACH,qBAAa,YAAa,SAAQ,cAAc;gBAGxC,MAAM,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,SAAS,EAAE,UAAU,EACzD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAC5C,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM;IAM1C,2BAA2B,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAKlD,6BAA6B,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;CAKvD"}