npm - lean4monaco - Versions diffs - 1.0.8 → 1.0.10 - Mend

lean4monaco 1.0.8 → 1.0.10

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (77) hide show

package/README.md CHANGED Viewed

@@ -1,8 +1,15 @@
 # Lean 4 Monaco
+Provides browser support for running Lean in a Monaco editor.
+This package is based on the VSCode extension
+[Lean 4](https://marketplace.visualstudio.com/items?itemName=leanprover.lean4) and the
+[Lean Infoview](https://www.npmjs.com/package/@leanprover/infoview).
 ## Usage
 Install this package in your npm project.
 ```
 npm install lean4monaco
 ```

package/dist/infowebview.d.ts CHANGED Viewed

@@ -1,6 +1,6 @@
 import { EditorApi, InfoviewApi } from "@leanprover/infoview-api";
-import { InfoWebviewFactory, InfoWebview } from "./monaco-lean4/vscode-lean4/src/infoview";
-import { Rpc } from "./monaco-lean4/vscode-lean4/src/rpc";
+import { InfoWebviewFactory, InfoWebview } from "./vscode-lean4/vscode-lean4/src/infoview";
+import { Rpc } from "./vscode-lean4/vscode-lean4/src/rpc";
 import { ViewColumn } from "vscode";
 export declare class IFrameInfoWebview implements InfoWebview {
     private iframe;

package/dist/infowebview.js CHANGED Viewed

@@ -1,4 +1,4 @@
-import { Rpc } from "./monaco-lean4/vscode-lean4/src/rpc";
+import { Rpc } from "./vscode-lean4/vscode-lean4/src/rpc";
 import { EventEmitter } from "vscode";
 export class IFrameInfoWebview {
     iframe;
@@ -69,7 +69,7 @@ export class IFrameInfoWebviewFactory {
                 <title>Infoview</title>
                 <style>${stylesheet}</style>
                 <link rel="stylesheet" href="${new URL('./vscode.css', import.meta.url)}">
-                <link rel="stylesheet" href="${new URL('./monaco-lean4/lean4-infoview/src/infoview/index.css', import.meta.url)}">
+                <link rel="stylesheet" href="${new URL('./vscode-lean4/lean4-infoview/src/infoview/index.css', import.meta.url)}">
             </head>
             <body>
                 <div id="react_root"></div>

package/dist/leanmonaco.d.ts CHANGED Viewed

@@ -1,9 +1,9 @@
 import 'vscode/localExtensionHost';
 import { RegisterExtensionResult, WebSocketConfigOptionsUrl } from 'monaco-editor-wrapper';
-import { LeanClientProvider } from './monaco-lean4/vscode-lean4/src/utils/clientProvider';
-import { InfoProvider } from './monaco-lean4/vscode-lean4/src/infoview';
-import { AbbreviationFeature } from './monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature';
-import { LeanTaskGutter } from './monaco-lean4/vscode-lean4/src/taskgutter';
+import { LeanClientProvider } from './vscode-lean4/vscode-lean4/src/utils/clientProvider';
+import { InfoProvider } from './vscode-lean4/vscode-lean4/src/infoview';
+import { AbbreviationFeature } from './vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature';
+import { LeanTaskGutter } from './vscode-lean4/vscode-lean4/src/taskgutter';
 import { IFrameInfoWebviewFactory } from './infowebview';
 import { IExtensionManifest } from 'vscode/extensions';
 import { DisposableStore } from 'vscode/monaco';

package/dist/leanmonaco.js CHANGED Viewed

@@ -1,9 +1,9 @@
 import 'vscode/localExtensionHost';
-import { LeanClientProvider } from './monaco-lean4/vscode-lean4/src/utils/clientProvider';
+import { LeanClientProvider } from './vscode-lean4/vscode-lean4/src/utils/clientProvider';
 import { Uri } from 'vscode';
-import { InfoProvider } from './monaco-lean4/vscode-lean4/src/infoview';
-import { AbbreviationFeature } from './monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature';
-import { LeanTaskGutter } from './monaco-lean4/vscode-lean4/src/taskgutter';
+import { InfoProvider } from './vscode-lean4/vscode-lean4/src/infoview';
+import { AbbreviationFeature } from './vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature';
+import { LeanTaskGutter } from './vscode-lean4/vscode-lean4/src/taskgutter';
 import { IFrameInfoWebviewFactory } from './infowebview';
 import { setupMonacoClient } from './monacoleanclient';
 import { checkLean4ProjectPreconditions } from './preconditions';
@@ -15,7 +15,7 @@ import getLanguagesServiceOverride from '@codingame/monaco-vscode-languages-serv
 import getModelServiceOverride from '@codingame/monaco-vscode-model-service-override';
 import { registerExtension } from 'vscode/extensions';
 import { DisposableStore } from 'vscode/monaco';
-import packageJson from './monaco-lean4/vscode-lean4/package.json';
+import packageJson from './vscode-lean4/vscode-lean4/package.json';
 export class LeanMonaco {
     ready;
     whenReady = new Promise((resolve) => {
@@ -89,8 +89,8 @@ export class LeanMonaco {
             testLeanVersion: () => { return "lean4/stable"; },
             getElanDefaultToolchain: () => { return "lean4/stable"; }
         }, { appendLine: () => { }
-        }, setupMonacoClient(this.getWebSocketOptions(options)), checkLean4ProjectPreconditions, (docUri) => { return true; });
-        this.taskGutter = new LeanTaskGutter(this.clientProvider, { asAbsolutePath: (path) => Uri.parse(`${new URL('monaco-lean4/vscode-lean4/' + path, import.meta.url)}`), });
+        }, setupMonacoClient(this.getWebSocketOptions(options)), checkLean4ProjectPreconditions);
+        this.taskGutter = new LeanTaskGutter(this.clientProvider, { asAbsolutePath: (path) => Uri.parse(`${new URL('vscode-lean4/vscode-lean4/' + path, import.meta.url)}`), });
         if (!this.iframeWebviewFactory)
             this.iframeWebviewFactory = new IFrameInfoWebviewFactory();
         this.infoProvider = new InfoProvider(this.clientProvider, { language: 'lean4' }, {}, this.iframeWebviewFactory);
@@ -108,10 +108,10 @@ export class LeanMonaco {
     }
     getExtensionFiles() {
         const extensionFiles = new Map();
-        extensionFiles.set('/language-configuration.json', new URL('./monaco-lean4/vscode-lean4/language-configuration.json', import.meta.url));
-        extensionFiles.set('/syntaxes/lean4.json', new URL('./monaco-lean4/vscode-lean4/syntaxes/lean4.json', import.meta.url));
-        extensionFiles.set('/syntaxes/lean4-markdown.json', new URL('./monaco-lean4/vscode-lean4/syntaxes/lean4-markdown.json', import.meta.url));
-        extensionFiles.set('/syntaxes/codeblock.json', new URL('./monaco-lean4/vscode-lean4/syntaxes/codeblock.json', import.meta.url));
+        extensionFiles.set('/language-configuration.json', new URL('./vscode-lean4/vscode-lean4/language-configuration.json', import.meta.url));
+        extensionFiles.set('/syntaxes/lean4.json', new URL('./vscode-lean4/vscode-lean4/syntaxes/lean4.json', import.meta.url));
+        extensionFiles.set('/syntaxes/lean4-markdown.json', new URL('./vscode-lean4/vscode-lean4/syntaxes/lean4-markdown.json', import.meta.url));
+        extensionFiles.set('/syntaxes/codeblock.json', new URL('./vscode-lean4/vscode-lean4/syntaxes/codeblock.json', import.meta.url));
         extensionFiles.set('/themes/cobalt2.json', new URL('./themes/cobalt2.json', import.meta.url));
         return extensionFiles;
     }

package/dist/monacoleanclient.d.ts CHANGED Viewed

@@ -1,4 +1,4 @@
 import { WorkerConfigDirect, WebSocketConfigOptions, WebSocketConfigOptionsUrl, WorkerConfigOptions } from 'monaco-editor-wrapper';
-import { ExtUri } from './monaco-lean4/vscode-lean4/src/utils/exturi';
+import { ExtUri } from './vscode-lean4/vscode-lean4/src/utils/exturi';
 import { LanguageClientOptions } from 'vscode-languageclient/node';
 export declare const setupMonacoClient: (options: WebSocketConfigOptions | WebSocketConfigOptionsUrl | WorkerConfigOptions | WorkerConfigDirect) => (clientOptions: LanguageClientOptions, folderUri: ExtUri, elanDefaultToolchain: string) => Promise<import("monaco-languageclient").MonacoLanguageClient>;

package/dist/preconditions.d.ts CHANGED Viewed

@@ -1,4 +1,4 @@
 import { OutputChannel } from "vscode";
-import { ExtUri } from "./monaco-lean4/vscode-lean4/src/utils/exturi";
-import { PreconditionCheckResult } from "./monaco-lean4/vscode-lean4/src/diagnostics/setupNotifs";
+import { ExtUri } from "./vscode-lean4/vscode-lean4/src/utils/exturi";
+import { PreconditionCheckResult } from "./vscode-lean4/vscode-lean4/src/diagnostics/setupNotifs";
 export declare function checkLean4ProjectPreconditions(channel: OutputChannel, folderUri: ExtUri): Promise<PreconditionCheckResult>;

package/dist/vscode-lean4/lean4-infoview/package.json ADDED Viewed

@@ -0,0 +1,59 @@
+{
+    "name": "@leanprover/infoview",
+    "version": "0.7.3",
+    "description": "An interactive display for the Lean 4 theorem prover.",
+    "scripts": {
+        "watch": "rollup --config --environment NODE_ENV:development --watch",
+        "build": "rollup --config --environment NODE_ENV:production",
+        "watchTest": "npm run watch",
+        "test": "tsc -p test/tsconfig.json"
+    },
+    "exports": {
+        ".": "./dist/index.development.js",
+        "./loader": "./dist/loader.production.min.js",
+        "./package.json": "./package.json"
+    },
+    "typesVersions": {
+        "*": {
+            "*": [
+                "dist/index.d.ts"
+            ],
+            "loader": [
+                "dist/loader.d.ts"
+            ]
+        }
+    },
+    "files": [
+        "dist/*"
+    ],
+    "type": "module",
+    "license": "Apache-2.0",
+    "devDependencies": {
+        "@floating-ui/react": "^0.24.7",
+        "@rollup/plugin-commonjs": "^23.0.7",
+        "@rollup/plugin-node-resolve": "^15.1.0",
+        "@rollup/plugin-replace": "^5.0.2",
+        "@rollup/plugin-terser": "^0.1.0",
+        "@rollup/plugin-typescript": "^9.0.2",
+        "@rollup/plugin-url": "^8.0.1",
+        "@types/marked": "^4.3.1",
+        "@types/react": "^18.2.15",
+        "@types/react-dom": "^18.2.7",
+        "current-release": "npm:@leanprover/infoview@latest",
+        "react": "^18.2.0",
+        "react-dom": "^18.2.0",
+        "rollup": "^3.26.2",
+        "rollup-plugin-css-only": "^4.3.0",
+        "typescript": "^5.4.5"
+    },
+    "dependencies": {
+        "@leanprover/infoview-api": "~0.4.0",
+        "@vscode/codicons": "^0.0.32",
+        "@vscode/webview-ui-toolkit": "^1.4.0",
+        "es-module-shims": "^1.7.3",
+        "marked": "^4.3.0",
+        "react-fast-compare": "^3.2.2",
+        "tachyons": "^4.12.0",
+        "vscode-languageserver-protocol": "^3.17.3"
+    }
+}

package/dist/vscode-lean4/lean4-infoview/src/infoview/index.css ADDED Viewed

@@ -0,0 +1,266 @@
+/* Some styles specific to the infoview. */
+html,
+body {
+    height: 100%;
+}
+.font-code {
+    color: var(--vscode-editor-foreground);
+    font-family: var(--vscode-editor-font-family);
+    font-weight: var(--vscode-editor-font-weight);
+    font-size: var(--vscode-editor-font-size);
+    line-height: var(--vscode-editor-line-height);
+}
+.font-size-code-smaller {
+    font-size: calc(0.8 * var(--vscode-editor-font-size));
+    line-height: calc(0.8 * var(--vscode-editor-line-height));
+}
+.font-normal {
+    font-family: var(--vscode-font-family);
+    font-weight: var(--vscode-font-weight);
+    font-size: var(--vscode-font-size);
+}
+.codicon-blank {
+    width: 20px;
+    height: 16px;
+}
+/* These are syntax highlights for the string goal view. */
+.goal-goals {
+    color: var(--vscode-lean4-infoView\.goalCount);
+}
+.goal-vdash {
+    color: var(--vscode-lean4-infoView\.turnstile);
+}
+.goal-case {
+    color: var(--vscode-lean4-infoView\.caseLabel);
+}
+.goal-hyp {
+    color: var(--vscode-lean4-infoView\.hypothesisName);
+}
+.goal-inaccessible {
+    color: var(--vscode-lean4-infoView\.inaccessibleHypothesisName);
+    opacity: 0.7;
+    font-style: italic;
+    font-weight: normal;
+}
+.highlight-selected {
+    background-color: var(--vscode-editorOverviewRuler-rangeHighlightForeground) !important;
+}
+.highlight {
+    background-color: var(--vscode-editor-selectionBackground) !important;
+}
+/* Interactive traces */
+.trace-line:hover {
+    background-color: #dbeeff;
+}
+.vscode-dark .trace-line:hover {
+    background-color: #1a2c3c;
+}
+.trace-class {
+    opacity: 0.4;
+}
+.pre-wrap {
+    white-space: pre-wrap;
+}
+.error {
+    color: #e51400;
+}
+.warning {
+    color: #bf8803;
+}
+.information {
+    color: darkgreen;
+}
+.vscode-dark .error {
+    color: #f14c4c;
+}
+.vscode-dark .warning {
+    color: #cca700;
+}
+.vscode-dark .information {
+    color: #89d185;
+}
+.vscode-high-contrast .error {
+    color: lightpink;
+}
+.vscode-high-contrast .warning {
+    color: yellow;
+}
+.vscode-high-contrast .information {
+    color: lightgreen;
+}
+/* Headers for infoview */
+.restart-file-button {
+    position: fixed;
+    bottom: 10px;
+    right: 10px;
+    z-index: 37;
+}
+select {
+    background-color: var(--vscode-dropdown-background);
+    color: var(--vscode-dropdown-foreground);
+    border-color: var(--vscode-dropdown-border);
+}
+/* Style for the rounded box that is the outermost div of every tooltip.
+ * We use more specific classes for styling tooltip contents. */
+.tooltip {
+    background-color: var(--vscode-editorHoverWidget-background);
+    border-radius: 4px;
+    border-color: var(--vscode-editorHoverWidget-border);
+    border-width: 1px;
+    border-style: solid;
+    box-shadow: 1px 1px 5px var(--vscode-widget-shadow);
+    box-sizing: border-box;
+    /* Note: max-height is set in JS. */
+    max-width: 70%;
+    /* Flexbox ensures that contents don't overflow. */
+    display: flex;
+}
+.tooltip-content {
+    padding: 4px 8px;
+    overflow-y: auto;
+    overscroll-behavior: contain;
+}
+/* Contents of a list of selections shown as a tooltip. */
+.tooltip-menu-content {
+    color: var(--vscode-editorHoverWidget-foreground);
+}
+.tooltip-menu-content .tooltip-menu-text {
+    text-align: center;
+    padding: 5px;
+    vertical-align: top;
+    display: inline-block;
+}
+.tooltip-menu-content .tooltip-menu-icon {
+    padding: 0px;
+    margin-top: 6px;
+}
+/*---------------------------------------------------------------------------------------------
+ *  Copyright (c) Microsoft Corporation. All rights reserved.
+ *  Licensed under the MIT License. See License.txt in the project root for license information.
+ *--------------------------------------------------------------------------------------------*/
+/* adapted from https://github.com/microsoft/vscode/blob/main/src/vs/base/browser/ui/hover/hover.css */
+/* Contents of a code tooltip showing a value, type, documentation, etc. */
+.tooltip-code-content {
+    color: var(--vscode-editorHoverWidget-foreground);
+    line-height: var(--vscode-editor-line-height);
+}
+.tooltip-code-content a:hover {
+    cursor: pointer;
+}
+.tooltip-code-content p,
+.tooltip-code-content .code,
+.tooltip-code-content ul {
+    margin: 8px 0;
+}
+.tooltip-code-content hr {
+    box-sizing: border-box;
+    border-left: -8px;
+    border-right: -8px;
+    margin-top: 4px;
+    margin-bottom: 4px;
+    height: 1px;
+    border-bottom-width: 0px;
+    border-top-width: 1px;
+    border-top-style: solid;
+    border-top-color: var(--vscode-editorHoverWidget-border);
+}
+.tooltip-code-content p:first-child,
+.tooltip-code-content .code:first-child,
+.tooltip-code-content ul:first-child {
+    margin-top: 0;
+}
+.tooltip-code-content p:last-child,
+.tooltip-code-content .code:last-child,
+.tooltip-code-content ul:last-child {
+    margin-bottom: 0;
+}
+/* MarkupContent Layout */
+.tooltip-code-content ul {
+    padding-left: 20px;
+}
+.tooltip-code-content ol {
+    padding-left: 20px;
+}
+.tooltip-code-content li > p {
+    margin-bottom: 0;
+}
+.tooltip-code-content li > ul {
+    margin-top: 0;
+}
+.tooltip-code-content code {
+    border-radius: 3px;
+    padding: 0 0.4em;
+    background-color: var(--vscode-textCodeBlock-background);
+}
+.vscode-high-contrast .inserted-text {
+    border: thin solid var(--vscode-diffEditor-insertedTextBorder);
+}
+.vscode-high-contrast .removed-text {
+    border: thin solid var(--vscode-diffEditor-removedTextBorder);
+}
+.inserted-text {
+    background-color: var(--vscode-diffEditor-insertedTextBackground);
+    border-radius: 2pt;
+}
+.removed-text {
+    background-color: var(--vscode-diffEditor-removedTextBackground);
+    border-radius: 2pt;
+}
+.b--inserted {
+    border-color: var(--vscode-diffEditor-insertedTextBackground) !important;
+}
+.b--modified {
+    border-color: var(--vscode-diffEditor-insertedTextBackground) !important;
+}
+.b--removed {
+    border-color: var(--vscode-diffEditor-removedTextBackground) !important;
+}
+.b--transparent {
+    border-color: transparent;
+}

package/dist/vscode-lean4/lean4-infoview/test/tsconfig.json ADDED Viewed

@@ -0,0 +1,7 @@
+{
+    "extends": "../tsconfig",
+    "compilerOptions": {
+        "rootDir": "../"
+    },
+    "include": ["./**/*", "../src/**/*"]
+}

package/dist/vscode-lean4/lean4-infoview/tsconfig.json ADDED Viewed

@@ -0,0 +1,34 @@
+{
+    "compilerOptions": {
+        /* Projects */
+        "composite": true,
+        /* Language and Environment */
+        "target": "esnext",
+        "lib": ["DOM", "DOM.Iterable", "ESNext"],
+        "jsx": "react-jsx",
+        /* Modules */
+        "module": "esnext",
+        "moduleResolution": "node",
+        /* Emit */
+        "sourceMap": true,
+        "rootDir": "src",
+        "outDir": "dist",
+        /* Interop Constraints */
+        "esModuleInterop": true,
+        "forceConsistentCasingInFileNames": true,
+        /* Type Checking */
+        "strict": true,
+        "noImplicitAny": true,
+        "noFallthroughCasesInSwitch": true,
+        /* Completeness */
+        "skipLibCheck": true
+    },
+    "include": ["src/**/*"],
+    "exclude": ["dist"]
+}

package/dist/vscode-lean4/lean4-infoview-api/package.json ADDED Viewed

@@ -0,0 +1,20 @@
+{
+    "name": "@leanprover/infoview-api",
+    "version": "0.4.0",
+    "description": "Types and API for @leanprover/infoview.",
+    "scripts": {
+        "watch": "tsc --watch",
+        "watchTest": "tsc --watch",
+        "build": "tsc"
+    },
+    "main": "dist/index",
+    "types": "dist/index",
+    "files": [
+        "dist/*"
+    ],
+    "license": "Apache-2.0",
+    "devDependencies": {
+        "typescript": "^5.4.5",
+        "vscode-languageserver-protocol": "^3.17.3"
+    }
+}

package/dist/vscode-lean4/lean4-infoview-api/tsconfig.json ADDED Viewed

@@ -0,0 +1,29 @@
+{
+    "compilerOptions": {
+        /* Code generation */
+        "target": "ES2021",
+        "module": "ES6",
+        "lib": ["dom", "dom.iterable", "ES2021"],
+        "allowJs": true,
+        "esModuleInterop": true,
+        /* Type-checking */
+        "strict": true,
+        "noFallthroughCasesInSwitch": true,
+        "skipLibCheck": true,
+        /* Module resolution */
+        "moduleResolution": "node",
+        "allowSyntheticDefaultImports": true,
+        "forceConsistentCasingInFileNames": true,
+        /* Output */
+        "composite": true,
+        "rootDir": "src/",
+        "outDir": "dist/",
+        "declaration": true,
+        "sourceMap": true
+    },
+    "include": ["src/**/*"]
+}

package/dist/vscode-lean4/lean4-unicode-input/package.json ADDED Viewed

@@ -0,0 +1,19 @@
+{
+    "name": "@leanprover/unicode-input",
+    "version": "0.1.0",
+    "description": "Unicode input mechanism for the Lean 4 theorem prover",
+    "scripts": {
+        "watch": "tsc --watch",
+        "watchTest": "tsc --watch",
+        "build": "tsc"
+    },
+    "main": "dist/index",
+    "types": "dist/index",
+    "files": [
+        "dist/*"
+    ],
+    "license": "Apache-2.0",
+    "devDependencies": {
+        "typescript": "^5.4.5"
+    }
+}