Skip to content
| Marketplace
Sign in
Visual Studio Code>Keymaps>PureScript typed hole keybindingsNew to Visual Studio Code? Get it now.
PureScript typed hole keybindings

PureScript typed hole keybindings

Danila Danko

|
126 installs
| (0) | Free
Insert or remove typed holes via keybindings
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

Purescript typed holes keybindings

  • Add 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
  • chunsen.bracket-select

So, please, don't disable them!

  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft