lean4-code-actions

{ "name": "lean4-code-actions", "displayName": "Lean 4 Code Actions", "description": "Refactorings and snippets for Lean 4", "version": "1.1.32", "license": "MIT", "publisher": "denis-gorbachev", "repository": { "type": "github", "url": "https://github.com/DenisGorbachev/vscode-lean4-code-actions" }, "icon": "img/icon.128x128.png", "engines": { "vscode": "^1.78.0" }, "categories": [ "Snippets", "Formatters", "Other" ], "keywords": [ "Refactor", "Rename", "Move", "Snippet" ], "activationEvents": [ "onLanguage:lean4" ], "main": "./out/src/extension.js", "contributes": { "configuration": { "title": "Lean 4 Code Actions", "properties": { "lean4CodeActions.registerRenameProvider": { "markdownDescription": "Use this extension as a rename provider for Lean files **(restart required)**", "type": "boolean", "default": true }, "lean4CodeActions.updateImportsOnFileRename": { "markdownDescription": "Update imports in other files when a file is renamed **(restart required)**", "type": "boolean", "default": true }, "lean4CodeActions.namespace.prefix": { "markdownDescription": "Prefix for top-level namespaces in generated code (added as `${prefix}.${body}`)", "type": "string", "default": "" }, "lean4CodeActions.createNewFile.imports": { "markdownDescription": "Imports that should be added to every new type file", "type": "array", "items": { "type": "string" }, "default": [] }, "lean4CodeActions.createNewFile.opens": { "markdownDescription": "Opens that should be added to every new type file", "type": "array", "items": { "type": "string" }, "default": [] }, "lean4CodeActions.createNewFile.derivings": { "markdownDescription": "Derived typeclasses that should be added to every new type file\n\nNote: you can rely on #lean4CodeActions.createNewFile.imports# and #lean4CodeActions.createNewFile.opens#", "type": "array", "items": { "type": "string" }, "default": [] }, "lean4CodeActions.defaultLib": { "markdownDescription": "Default library to be used when creating a new file", "type": "string", "default": "" } } }, "commands": [ { "command": "lean4CodeActions.autoImport", "title": "Lean 4: Auto-import the definition under cursor", "shortTitle": "Lean 4: Auto-import" }, { "command": "lean4CodeActions.extractDefinitionToSeparateFile", "title": "Lean 4: Extract definition to a separate file", "shortTitle": "Lean 4: Extract definition" }, { "command": "lean4CodeActions.createNewFile", "title": "Lean 4: Create a new file" }, { "command": "lean4CodeActions.createNewFileSet", "title": "Lean 4: Create a new file set (data, laws, subtype)" }, { "command": "lean4CodeActions.renameDefinition", "title": "Lean 4: Rename the main definition in the current file" }, { "command": "lean4CodeActions.setArgumentStyle", "title": "Lean 4: Set argument style" }, { "command": "lean4CodeActions.createFreewriteFile", "title": "Lean 4: Create a freewrite file" }, { "command": "lean4CodeActions.convertTextToList", "title": "Lean 4: Convert a text to list line-by-line" } ] }, "scripts": { "build": "yarn run esbuild --sourcemap", "watch": "yarn run esbuild --sourcemap --watch", "typecheck": "tsc --noEmit", "lint:all": "yarn lint:code:all && yarn lint:markdown:all", "lint:code": "eslint --fix --config .eslintrc.ci.cjs --ignore-path .gitignore --max-warnings=0", "lint:code:all": "yarn lint:code .", "lint:markdown:text": "markdownlint --fix --ignore-path .gitignore", "lint:markdown:all": "yarn lint:markdown:text .", "esbuild": "esbuild ./src/extension.ts --bundle --outfile=./out/src/extension.js --external:vscode --format=cjs --platform=node", "lint": "eslint src --fix --ext ts --ignore-path .gitignore --max-warnings=0", "test": "yarn node --require=suppress-experimental-warnings --experimental-vm-modules $(yarn bin jest) --setupFiles dotenv/config --all", "test:ci": "yarn test", "test:watch": "yarn test --watchAll --bail", "vscode:prepublish": "yarn run esbuild --minify", "vscode:package": "mkdir -p dist && vsce package --yarn -o dist/extension.vsix", "vscode:publish": "mkdir -p dist && vsce publish --yarn", "deploy:local": "yarn vscode:package && code --install-extension dist/extension.vsix --force" }, "devDependencies": { "@swc/core": "^1.3.74", "@swc/jest": "^0.2.28", "@types/chai": "^4.3.1", "@types/chai-as-promised": "^7.1.4", "@types/chai-subset": "^1.3.3", "@types/chai-things": "^0.0.35", "@types/debug": "^4.1.8", "@types/glob": "^8.1.0", "@types/jest": "^29.5.3", "@types/luxon": "^3.3.1", "@types/node": "16.x", "@types/papaparse": "^5.3.7", "@types/seedrandom": "^3.0.5", "@types/voca": "^1.4.2", "@types/vscode": "^1.78.0", "@typescript-eslint/eslint-plugin": "^6.2.1", "@typescript-eslint/parser": "^6.2.1", "@vscode/test-electron": "^2.3.0", "chai": "^4.3.4", "chai-as-promised": "^7.1.1", "chai-bignumber": "^3.0.0", "chai-subset": "^1.6.0", "chai-things": "^0.2.0", "esbuild": "^0.18.17", "eslint": "^8.39.0", "eslint-plugin-import": "^2.28.0", "eslint-plugin-node": "^11.1.0", "fast-check": "^3.12.0", "glob": "^8.1.0", "jest": "^29.6.2", "jest-config": "^29.6.2", "markdownlint-cli": "^0.35.0", "suppress-experimental-warnings": "^1.1.17", "typescript": "^5.1.6" }, "dependencies": { "@vscode/webview-ui-toolkit": "^1.2.2", "bignumber.js": "^9.1.1", "dotenv": "^16.3.1", "lean4": "https://gitpkg.now.sh/leanprover/vscode-lean4/vscode-lean4", "luxon": "^3.3.0", "papaparse": "^5.4.1", "random": "^4.1.0", "remeda": "^1.14.0", "seedrandom": "^3.0.5", "stacktrace-js": "^2.0.2", "voca": "^1.4.1", "yaml": "^2.3.1", "zod": "^3.22.3" }, "extensionDependencies": [ "leanprover.lean4" ] }