ariadne

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

git clone 'git://github.com/manzyuk/ariadne-el.git'
5

Ariadne plugin for Emacs

Ariadne provides a “go-to-definition” functionality for Haskell.

ariadne-el is an Ariadne plugin for Emacs.

Dependencies

ariadne-el depends on 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)))