Ariadne plugin for Emacs
Emacs Lisp
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.

Ariadne plugin for Emacs

Ariadne provides a "go-to-definition" functionality for Haskell.

ariadne-el is an Ariadne plugin for Emacs.


ariadne-el depends on bert-el, BERT serialization library for Emacs.


The function ariadne-goto-definition queries the Ariadne server about the location of the definition of a name at point and jumps to that location. Bind ariadne-goto-definition to a key, for example as follows:

(require 'ariadne)
(add-hook 'haskell-mode-hook
          (lambda ()
            (define-key haskell-mode-map "\C-cd" 'ariadne-goto-definition)))