ariadne

Homepage: https://github.com/manzyuk/ariadne-el

Author: Oleksandr Manzyuk

Updated:

Summary

Ariadne plugin for Emacs

Commentary

Ariadne (https://github.com/feuerbach/ariadne) provides a
"go-to-definition" functionality for Haskell.

`ariadne.el' is an Ariadne plugin for Emacs.

Dependencies:

`ariadne.el' depends on `bert.el'
(https://github.com/manzyuk/bert-el), BERT serialization library
for Emacs.

Usage:

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)))

Dependencies