package.json

{
  "name": "Idris",
  "description": "Idris Language Support for Visual Studio Code",
  "version": "0.3.7",
  "publisher": "zjhmale",
  "engines": {
    "vscode": "^1.8.0"
  },
  "icon": "images/idris.png",
  "keywords": [
    "language",
    "idris",
    "highlight",
    "syntax",
    "snippets"
  ],
  "license": "BSD",
  "homepage": "https://github.com/zjhmale/vscode-idris",
  "repository": {
    "type": "git",
    "url": "https://github.com/zjhmale/vscode-idris.git"
  },
  "bugs": {
    "url": "https://github.com/zjhmale/vscode-idris/issues",
    "email": "zjhmale@gmail.com"
  },
  "categories": [
    "Languages",
    "Snippets"
  ],
  "activationEvents": [
    "onLanguage:idris"
  ],
  "main": "./out/extension",
  "contributes": {
    "languages": [
      {
        "id": "idris",
        "aliases": [
          "Idris",
          "idris"
        ],
        "extensions": [
          ".idr",
          ".lidr"
        ],
        "configuration": "./configs/idris.json"
      },
      {
        "id": "ipkg",
        "aliases": [
          "Ipkg",
          "ipkg"
        ],
        "extensions": [
          ".ipkg"
        ]
      }
    ],
    "grammars": [
      {
        "language": "idris",
        "scopeName": "source.idris",
        "path": "./syntaxes/idris.json"
      },
      {
        "language": "ipkg",
        "scopeName": "source.ipkg",
        "path": "./syntaxes/ipkg.json"
      }
    ],
    "commands": [
      {
        "command": "idris.typecheck",
        "title": "Idris: typecheck",
        "description": "Typecheck file"
      },
      {
        "command": "idris.type-of",
        "title": "Idris: type of",
        "description": "Type of identifier"
      },
      {
        "command": "idris.docs-for",
        "title": "Idris: docs for",
        "description": "Docs for identifier"
      },
      {
        "command": "idris.print-definition",
        "title": "Idris: definition of",
        "description": "Print definition of identifier"
      },
      {
        "command": "idris.show-holes",
        "title": "Idris: show holes",
        "description": "Show the currently active holes"
      },
      {
        "command": "idris.add-clause",
        "title": "Idris: add clause",
        "description": "Add an initial pattern match clause"
      },
      {
        "command": "idris.case-split",
        "title": "Idris: case split",
        "description": "Add a case split for the pattern variable"
      },
      {
        "command": "idris.proof-search",
        "title": "Idris: proof search",
        "description": "Attempt to fill out the holes by proof search"
      },
      {
        "command": "idris.make-with",
        "title": "Idris: make with",
        "description": "Make a with rule pattern match template for the clause of function"
      },
      {
        "command": "idris.make-case",
        "title": "Idris: make case",
        "description": "Make a case pattern match template for holes"
      },
      {
        "command": "idris.make-lemma",
        "title": "Idris: make lemma",
        "description": "Make a top level lemma which solves the hole under the cursor"
      },
      {
        "command": "idris.apropos",
        "title": "Idris: apropos",
        "description": "Search names, types, and documentation"
      },
      {
        "command": "idris.eval-line",
        "title": "Idris: eval line",
        "description": "Eval current line"
      },
      {
        "command": "idris.start-refresh-repl",
        "title": "Idris: start or refresh REPL",
        "description": "Start REPL for currently opened file or refresh REPL when opened file is changed"
      },
      {
        "command": "idris.send-selection-repl",
        "title": "Idris: send selected text to REPL",
        "description": "Send selected text to a refreshed REPL with currently opened file"
      }
    ],
    "keybindings": [
      {
        "key": "shift+ctrl+t",
        "mac": "shift+cmd+t",
        "when": "editorFocus && editorLangId == idris",
        "command": "idris.typecheck"
      },
      {
        "key": "shift+ctrl+o",
        "mac": "shift+cmd+o",
        "when": "editorFocus && editorLangId == idris",
        "command": "idris.type-of"
      },
      {
        "key": "shift+ctrl+d",
        "mac": "shift+cmd+d",
        "when": "editorFocus && editorLangId == idris",
        "command": "idris.docs-for"
      },
      {
        "key": "shift+ctrl+f",
        "mac": "shift+cmd+f",
        "when": "editorFocus && editorLangId == idris",
        "command": "idris.print-definition"
      },
      {
        "key": "shift+ctrl+h",
        "mac": "shift+cmd+h",
        "when": "editorFocus && editorLangId == idris",
        "command": "idris.show-holes"
      },
      {
        "key": "shift+ctrl+a",
        "mac": "shift+cmd+a",
        "when": "editorFocus && editorLangId == idris",
        "command": "idris.add-clause"
      },
      {
        "key": "shift+ctrl+c",
        "mac": "shift+cmd+c",
        "when": "editorFocus && editorLangId == idris",
        "command": "idris.case-split"
      },
      {
        "key": "shift+ctrl+s",
        "mac": "shift+cmd+s",
        "when": "editorFocus && editorLangId == idris",
        "command": "idris.proof-search"
      },
      {
        "key": "shift+ctrl+w",
        "mac": "shift+cmd+w",
        "when": "editorFocus && editorLangId == idris",
        "command": "idris.make-with"
      },
      {
        "key": "shift+ctrl+m",
        "mac": "shift+cmd+m",
        "when": "editorFocus && editorLangId == idris",
        "command": "idris.make-case"
      },
      {
        "key": "shift+ctrl+l",
        "mac": "shift+cmd+l",
        "when": "editorFocus && editorLangId == idris",
        "command": "idris.make-lemma"
      },
      {
        "key": "shift+ctrl+k",
        "mac": "shift+cmd+k",
        "when": "editorFocus && editorLangId == idris",
        "command": "idris.apropos"
      },
      {
        "key": "shift+ctrl+e",
        "mac": "shift+cmd+e",
        "when": "editorFocus && editorLangId == idris",
        "command": "idris.eval-line"
      },
      {
        "key": "shift+ctrl+r",
        "mac": "shift+cmd+r",
        "when": "editorFocus && editorLangId == idris",
        "command": "idris.start-refresh-repl"
      },
      {
        "key": "shift+ctrl+x",
        "mac": "shift+cmd+x",
        "when": "editorFocus && editorLangId == idris",
        "command": "idris.send-selection-repl"
      }
    ],
    "snippets": [
      {
        "language": "idris",
        "path": "./snippets/idris.json"
      }
    ]
  },
  "scripts": {
    "prepublish": "rm -rf out && mkdir out && cp -r ./src/* ./out",
    "postinstall": "node ./node_modules/vscode/bin/install",
    "test": "node ./node_modules/vscode/bin/test"
  },
  "dependencies": {
    "bennu": "17.3.0",
    "nu-stream": "3.3.1",
    "rx-lite": "4.0.0",
    "cson": "4.0.0",
    "eslint-plugin-promise": "3.5.0",
    "request": "2.81.0",
    "chalk": "1.1.3"
  },
  "devDependencies": {
    "vscode": "^1.0.5"
  }
}