https://github.com/deemp/vscode-purs-keybindings
Purescript typed hole keybindings packed as VS Code extension
https://github.com/deemp/vscode-purs-keybindings
Last synced: 6 months ago
JSON representation
Purescript typed hole keybindings packed as VS Code extension
- Host: GitHub
- URL: https://github.com/deemp/vscode-purs-keybindings
- Owner: deemp
- License: mit
- Fork: true (deitry/vscode-favorite-keybindings)
- Created: 2022-08-27T14:09:58.000Z (almost 4 years ago)
- Default Branch: main
- Last Pushed: 2023-05-25T08:00:09.000Z (about 3 years ago)
- Last Synced: 2025-11-18T09:25:00.253Z (7 months ago)
- Homepage:
- Size: 28.3 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE
Awesome Lists containing this project
README
# PureScript keybindings for typed holes
* Insert a typed hole for a word containing the cursor or a selection: `Ctrl` + `Alt` + `Z`
* cursor inside `hey` -> `(hey :: ?_)`
* selected `make good` -> `(make good :: ?_)`
* Remove the typed hole: `Ctrl` + `Alt` + `X`
This extension depends on
* [ryuta46.multi-command](https://marketplace.visualstudio.com/items?itemName=ryuta46.multi-command)
* [chunsen.bracket-select](https://marketplace.visualstudio.com/items?itemName=chunsen.bracket-select)
So, please, don't disable them!