andyglick/intero

Complete interactive development program for Haskell

intero

Complete interactive development program for Haskell

Intero for Emacs

Please see the homepage for Intero for Emacs.

Default key bindings

Key binding	Description
M-.	Jump to definition
C-c C-i	Show information of identifier at point
C-c C-t	Show the type of thing at point, or the selection
C-u C-c C-t	Insert a type signature for the thing at point
C-c C-l	Load this module in the REPL
C-c C-c	Evaluate the selected region in the REPL
C-c C-r	Apply suggestions from GHC
C-c C-k	Clear REPL
C-c C-z	Switch to and from the REPL

Enabling intero

To enable intero in all haskell-mode buffers by default, enable intero-global-mode, by using M-x customize or by adding (intero-global-mode 1) to your Emacs start-up files.

Intero will then activate for all projects, and for files without a stack.yaml, it will assume the "global" project. If you want to use an alternate stack yaml configuration file (for example, when developing for multiple GHC versions), use M-x intero-stack-yaml to switch file. When switching configuration, you will asked whether you want to preserve this choice across emacs sessions for the given project.

Whitelisting/blacklisting projects

Some users prefer to enable Intero selectively. The custom variables intero-blacklist and intero-whitelist are provided for this purpose, and are honoured by intero-global-mode:

If the parent directory of a Haskell file is listed in intero-blacklist, then intero will not be enabled for that file, unless a parent directory of that file is also listed in intero-whitelist. In other words, whitelist entries take precedence. You can therefore blacklist / to disable intero in all projects unless they are whitelisted.

Intero support for other editors and IDEs

Although not supported by the Intero maintainers, integrations with other editors exist:

• intero-neovim
• haskero (vscode)
• Haskelly (vscode)
• sublime-intero

If you would like to build support into a new editor or IDE, please see TOOLING.md.

Issues

Issues are split into low/medium/high priorities which dictates which ones will be implemented first.

• High priority issues
• Medium priority issues
• Low priority issues
• Unprioritized issues