TakeV/spacemacs
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
This repository has been archived on 2024-10-22. You can view files and clone it, but cannot push or open issues or pull requests.
spacemacs/layers/+lang/haskell/funcs.el

140 lines
4.6 KiB
EmacsLisp
Raw Normal View History

conditionally enable haskell completion backend
2016-06-24 15:37:01 +00:00
;;; funcs.el --- Haskell Layer funcs File for Spacemacs
;;
Happy New Year 2018!
2018-01-04 07:00:25 +00:00
;; Copyright (c) 2012-2018 Sylvain Benner & Contributors
conditionally enable haskell completion backend
2016-06-24 15:37:01 +00:00
;;
;; Author: Sylvain Benner <sylvain.benner@gmail.com>
;; URL: https://github.com/syl20bnr/spacemacs
;;
;; This file is not part of GNU Emacs.
;;
;;; License: GPLv3
(defun spacemacs-haskell//setup-completion-backend ()
"Conditionally setup haskell completion backend."
core: change <function>p to <function>-p suffixes for consistency Also defined aliases for backward compatibility with `usedp` functions.
2017-07-02 13:48:06 +00:00
(when (configuration-layer/package-used-p 'company)
conditionally enable haskell completion backend
2016-06-24 15:37:01 +00:00
(pcase haskell-completion-backend
haskell: replace quotes with backquotes inside pcase
2016-06-28 08:24:54 +00:00
(`ghci (spacemacs-haskell//setup-ghci))
(`ghc-mod (spacemacs-haskell//setup-ghc-mod))
add dante support to haskell layer
2017-05-27 20:57:22 +00:00
(`intero (spacemacs-haskell//setup-intero))
(`dante (spacemacs-haskell//setup-dante)))))
conditionally enable haskell completion backend
2016-06-24 15:37:01 +00:00
(defun spacemacs-haskell//setup-ghci ()
add dante support to haskell layer
2017-05-27 20:57:22 +00:00
(add-hook 'haskell-mode-hook 'interactive-haskell-mode)
Refactor and simplify company backends declaration Enabling a company backend for a specific mode was a tedious tasks with code scattered at different locations, one for local variable definitions, one for company hook function definitions and another where the backends were pushed to the local variables (which was problematic, since we ended up pushing the same backends over and over again with `SPC f e R`, pushes have been replaced by add-to-list calls in the new macro). All these steps are now put together at one place with the new macro spacemacs|add-company-backends, check its docstring for more info on its arguments. This macro also allows to define arbitrary buffer local variables to tune company for specific modes (similar to layer variables via a keyword :variables) The code related to company backends management has been moved to the auto-completion layer in the funcs.el file. A nice side effect of this move is that it enforces correct encapsulation of company backends related code. We can now easily detect if there is some configuration leakage when the auto-completion layer is not used. But we loose macro expansion at file loading time (not sue it is a big concern though). The function spacemacs|enable-auto-complete was never used so it has been deleted which led to the deletion of the now empty file core-auto-completion.el. The example in LAYERS.org regarding auto-completion is now out of date and has been deleted. An example to setup auto-completion is provided in the README.org file of the auto-completion layer.
2017-01-02 05:39:04 +00:00
(spacemacs|add-company-backends
:backends (company-ghci company-dabbrev-code company-yasnippet)
:modes haskell-mode))
conditionally enable haskell completion backend
2016-06-24 15:37:01 +00:00
(defun spacemacs-haskell//setup-ghc-mod ()
Refactor and simplify company backends declaration Enabling a company backend for a specific mode was a tedious tasks with code scattered at different locations, one for local variable definitions, one for company hook function definitions and another where the backends were pushed to the local variables (which was problematic, since we ended up pushing the same backends over and over again with `SPC f e R`, pushes have been replaced by add-to-list calls in the new macro). All these steps are now put together at one place with the new macro spacemacs|add-company-backends, check its docstring for more info on its arguments. This macro also allows to define arbitrary buffer local variables to tune company for specific modes (similar to layer variables via a keyword :variables) The code related to company backends management has been moved to the auto-completion layer in the funcs.el file. A nice side effect of this move is that it enforces correct encapsulation of company backends related code. We can now easily detect if there is some configuration leakage when the auto-completion layer is not used. But we loose macro expansion at file loading time (not sue it is a big concern though). The function spacemacs|enable-auto-complete was never used so it has been deleted which led to the deletion of the now empty file core-auto-completion.el. The example in LAYERS.org regarding auto-completion is now out of date and has been deleted. An example to setup auto-completion is provided in the README.org file of the auto-completion layer.
2017-01-02 05:39:04 +00:00
(spacemacs|add-company-backends
:backends (company-ghc company-dabbrev-code company-yasnippet)
:modes haskell-mode)
conditionally enable haskell completion backend
2016-06-24 15:37:01 +00:00
(ghc-init)
(dolist (mode haskell-modes)
(spacemacs/declare-prefix-for-mode mode "mm" "haskell/ghc-mod")
(spacemacs/set-leader-keys-for-major-mode mode
"mt" 'ghc-insert-template-or-signature
"mu" 'ghc-initial-code-from-signature
"ma" 'ghc-auto
"mf" 'ghc-refine
"me" 'ghc-expand-th
"mn" 'ghc-goto-next-hole
"mp" 'ghc-goto-prev-hole
"m>" 'ghc-make-indent-deeper
"m<" 'ghc-make-indent-shallower
"hi" 'ghc-show-info
"ht" 'ghc-show-type))
core: change <function>p to <function>-p suffixes for consistency Also defined aliases for backward compatibility with `usedp` functions.
2017-07-02 13:48:06 +00:00
(when (configuration-layer/package-used-p 'flycheck)
conditionally enable haskell completion backend
2016-06-24 15:37:01 +00:00
;; remove overlays from ghc-check.el if flycheck is enabled
(set-face-attribute 'ghc-face-error nil :underline nil)
(set-face-attribute 'ghc-face-warn nil :underline nil)))
add dante support to haskell layer
2017-05-27 20:57:22 +00:00
(defun spacemacs-haskell//setup-dante ()
(spacemacs|add-company-backends
Fix: company-dante -> dante-company
2017-10-12 23:00:05 +00:00
:backends (dante-company company-dabbrev-code company-yasnippet)
add dante support to haskell layer
2017-05-27 20:57:22 +00:00
:modes haskell-mode)
(push 'xref-find-definitions spacemacs-jump-handlers)
Move enabling of dante-mode to setup-dante function
2017-05-28 12:41:33 +00:00
(dante-mode)
add dante support to haskell layer
2017-05-27 20:57:22 +00:00
(dolist (mode haskell-modes)
(spacemacs/set-leader-keys-for-major-mode mode
"ht" 'dante-type-at
"hT" 'spacemacs-haskell//dante-insert-type
"hi" 'dante-info
"rs" 'dante-auto-fix
"se" 'dante-eval-block
"sr" 'dante-restart)))
conditionally enable haskell completion backend
2016-06-24 15:37:01 +00:00
(defun spacemacs-haskell//setup-intero ()
add dante support to haskell layer
2017-05-27 20:57:22 +00:00
(add-hook 'haskell-mode-hook 'interactive-haskell-mode)
Refactor and simplify company backends declaration Enabling a company backend for a specific mode was a tedious tasks with code scattered at different locations, one for local variable definitions, one for company hook function definitions and another where the backends were pushed to the local variables (which was problematic, since we ended up pushing the same backends over and over again with `SPC f e R`, pushes have been replaced by add-to-list calls in the new macro). All these steps are now put together at one place with the new macro spacemacs|add-company-backends, check its docstring for more info on its arguments. This macro also allows to define arbitrary buffer local variables to tune company for specific modes (similar to layer variables via a keyword :variables) The code related to company backends management has been moved to the auto-completion layer in the funcs.el file. A nice side effect of this move is that it enforces correct encapsulation of company backends related code. We can now easily detect if there is some configuration leakage when the auto-completion layer is not used. But we loose macro expansion at file loading time (not sue it is a big concern though). The function spacemacs|enable-auto-complete was never used so it has been deleted which led to the deletion of the now empty file core-auto-completion.el. The example in LAYERS.org regarding auto-completion is now out of date and has been deleted. An example to setup auto-completion is provided in the README.org file of the auto-completion layer.
2017-01-02 05:39:04 +00:00
(spacemacs|add-company-backends
:backends (company-intero company-dabbrev-code company-yasnippet)
:modes haskell-mode)
Refactor jump to definition This commit defines: - spacemacs-default-jump-handlers: a list of functions that can jump to definition in ALL modes. - spacemacs-jump-handlers-MODE: a list of functions that can jump to definition in MODE. - spacemacs-jump-handlers: a buffer-local list of functions that can jump to definition. This is made up of the values of the two previous variables whenever a given major mode is activated. - spacemacs/jump-to-definition: a function that tries each function in spacemacs-jump-handlers in order, and stops when one of them takes us somewhere new. - spacemacs|define-jump-handlers: a macro that * defines spacemacs-jump-handlers-MODE, possibly filled with initial functions * defines a function that is added to the hook of the given MODE * binds “SPC m g g” of that MODE to spacemacs/jump-to-definition This is an attempt to harmonize all the different approaches to jumping. Specifically, - Existing intelligent jump packages that work for only a single mode should go to the beginning of spacemacs-jump-handlers-MODE. E.g. anaconda for python, ensime for scala, etc. - Packages like gtags that work for several modes (but potentially not all) and which is dumber than the intelligent jumpers should go the the END of spacemacs-jump-handlers-MODE. - Packages like dumb-jump that work for all modes should go to spacemacs-default-jump-handlers. In all cases the order of the jump handlers in each list should be from most to least intelligent. Fixes #6619
2016-08-13 13:43:37 +00:00
(push 'intero-goto-definition spacemacs-jump-handlers)
conditionally enable haskell completion backend
2016-06-24 15:37:01 +00:00
(intero-mode)
(dolist (mode haskell-modes)
(spacemacs/set-leader-keys-for-major-mode mode
"hi" 'intero-info
"ht" 'intero-type-at
"hT" 'haskell-intero/insert-type
Haskell: Add support for `intero-apply-suggestions` As per #6233 add support for `intero-apply-suggestions` behind `SPC m r s`, and move the prefix declaration for "haskell/refactor" to the other prefix declarations, since it is no longer only relevant for hlint.
2016-08-29 14:01:53 +00:00
"rs" 'intero-apply-suggestions
conditionally enable haskell completion backend
2016-06-24 15:37:01 +00:00
"sb" 'intero-repl-load))
(dolist (mode (cons 'haskell-cabal-mode haskell-modes))
(spacemacs/set-leader-keys-for-major-mode mode
"sc" nil
Improvements to Haskell REPL bindings. - Consistent REPL switch to/back bindings (Swap ", s S" and ", s s"). - Switch back to buffer from Intero REPL.
2017-10-19 13:25:35 +00:00
"sS" 'haskell-intero/display-repl
"ss" 'haskell-intero/pop-to-repl))
conditionally enable haskell completion backend
2016-06-24 15:37:01 +00:00
(dolist (mode (append haskell-modes '(haskell-cabal-mode intero-repl-mode)))
(spacemacs/declare-prefix-for-mode mode "mi" "haskell/intero")
(spacemacs/set-leader-keys-for-major-mode mode
"ic" 'intero-cd
"id" 'intero-devel-reload
"ik" 'intero-destroy
"il" 'intero-list-buffers
"ir" 'intero-restart
"it" 'intero-targets))
(evil-define-key '(insert normal) intero-mode-map
(kbd "M-.") 'intero-goto-definition))
Fix some intero functions
2016-07-11 12:24:50 +00:00
haskell: disable electric indent for cabal-mode
2017-02-02 12:11:57 +00:00
(defun spacemacs-haskell//disable-electric-indent ()
"Disable electric indent mode if available"
;; use only internal indentation system from haskell
(if (fboundp 'electric-indent-local-mode)
(electric-indent-local-mode -1)))
haskell: Add function for proper import reformatting - It will succeed from anywhere in the source file, unlike the current functions exposed by `haskell-mode` that exist for the same purpose.
2018-01-24 17:50:32 +00:00
(defun spacemacs/haskell-format-imports ()
"Sort and align import statements from anywhere in the source file."
(interactive)
(save-excursion
(haskell-navigate-imports)
(haskell-mode-format-imports)))
add dante support to haskell layer
2017-05-27 20:57:22 +00:00
;; Dante Functions
(defun spacemacs-haskell//dante-insert-type ()
(interactive)
(dante-type-at :insert))
Fix some intero functions
2016-07-11 12:24:50 +00:00
;; Intero functions
(defun haskell-intero/insert-type ()
(interactive)
(intero-type-at :insert))
(defun haskell-intero/display-repl (&optional prompt-options)
(interactive "P")
Improvements to Haskell REPL bindings. - Consistent REPL switch to/back bindings (Swap ", s S" and ", s s"). - Switch back to buffer from Intero REPL.
2017-10-19 13:25:35 +00:00
(let ((buffer (intero-repl-buffer prompt-options t)))
Fix some intero functions
2016-07-11 12:24:50 +00:00
(unless (get-buffer-window buffer 'visible)
(display-buffer buffer))))
(defun haskell-intero/pop-to-repl (&optional prompt-options)
(interactive "P")
Improvements to Haskell REPL bindings. - Consistent REPL switch to/back bindings (Swap ", s S" and ", s s"). - Switch back to buffer from Intero REPL.
2017-10-19 13:25:35 +00:00
(pop-to-buffer (intero-repl-buffer prompt-options t)))
Fix some intero functions
2016-07-11 12:24:50 +00:00
(defun haskell-intero//preserve-focus (f &rest args)
(let ((buffer (current-buffer)))
(apply f args)
(pop-to-buffer buffer)))
Reference in a new issue Copy permalink