This layer adds Intero functionality on top of the Haskell layer.
- Clone this repository into your
private
directorygit clone git@github.com:cydparser/spacemacs-intero.git ~/.emacs.d/private/intero
- Add
intero
todotspacemacs-configuration-layers
- Restart Emacs
This layer requires Stack. The dependencies of the Haskell layer may also be
installed. ghc-mod
, GHCi-ng
, and hasktags
are disabled by this layer.
Only the key bindings defined by this layer are listed here. See the Haskell layer’s key bindings for more.
All Haskell specific bindings are prefixed with the major-mode leader SPC m
.
Key Binding | Description |
---|---|
SPC m g g | go to definition |
Documentation commands are prefixed by SPC m h
:
Key Binding | Description |
---|---|
SPC m h i | print info of the identifier under the cursor |
SPC m h t | print type of the identifier under the cursor |
SPC m h T | insert the type signature of the identifier under the cursor |
Intero commands are prefixed by SPC m i
:
Key Binding | Description |
---|---|
SPC m i c | Change directory in backend process |
SPC m i d | Reload DevelMain.hs (requires additional setup) |
SPC m i k | Kill the current backend process |
SPC m i l | List backend process buffers |
SPC m i r | Restart backend process |
SPC m i t | Change the stack target |
REPL commands are prefixed by SPC m s
:
Key Binding | Description |
---|---|
SPC m s b | load or reload the current buffer into the REPL |
SPC m s r | load or reload the current buffer and switch to the REPL |
SPC m s s | show the REPL without switching to it |
SPC m s S | show and switch to the REPL |