4c4a1a4e13
- Consistent REPL switch to/back bindings (Swap ", s S" and ", s s"). - Switch back to buffer from Intero REPL.
133 lines
4.4 KiB
EmacsLisp
133 lines
4.4 KiB
EmacsLisp
;;; funcs.el --- Haskell Layer funcs File for Spacemacs
|
||
;;
|
||
;; Copyright (c) 2012-2017 Sylvain Benner & Contributors
|
||
;;
|
||
;; 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."
|
||
(when (configuration-layer/package-used-p 'company)
|
||
(pcase haskell-completion-backend
|
||
(`ghci (spacemacs-haskell//setup-ghci))
|
||
(`ghc-mod (spacemacs-haskell//setup-ghc-mod))
|
||
(`intero (spacemacs-haskell//setup-intero))
|
||
(`dante (spacemacs-haskell//setup-dante)))))
|
||
|
||
(defun spacemacs-haskell//setup-ghci ()
|
||
(add-hook 'haskell-mode-hook 'interactive-haskell-mode)
|
||
(spacemacs|add-company-backends
|
||
:backends (company-ghci company-dabbrev-code company-yasnippet)
|
||
:modes haskell-mode))
|
||
|
||
(defun spacemacs-haskell//setup-ghc-mod ()
|
||
(spacemacs|add-company-backends
|
||
:backends (company-ghc company-dabbrev-code company-yasnippet)
|
||
:modes haskell-mode)
|
||
(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))
|
||
(when (configuration-layer/package-used-p 'flycheck)
|
||
;; 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)))
|
||
|
||
(defun spacemacs-haskell//setup-dante ()
|
||
(spacemacs|add-company-backends
|
||
:backends (dante-company company-dabbrev-code company-yasnippet)
|
||
:modes haskell-mode)
|
||
(push 'xref-find-definitions spacemacs-jump-handlers)
|
||
(dante-mode)
|
||
(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)))
|
||
|
||
(defun spacemacs-haskell//setup-intero ()
|
||
(add-hook 'haskell-mode-hook 'interactive-haskell-mode)
|
||
(spacemacs|add-company-backends
|
||
:backends (company-intero company-dabbrev-code company-yasnippet)
|
||
:modes haskell-mode)
|
||
(push 'intero-goto-definition spacemacs-jump-handlers)
|
||
(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
|
||
"rs" 'intero-apply-suggestions
|
||
"sb" 'intero-repl-load))
|
||
|
||
(dolist (mode (cons 'haskell-cabal-mode haskell-modes))
|
||
(spacemacs/set-leader-keys-for-major-mode mode
|
||
"sc" nil
|
||
"sS" 'haskell-intero/display-repl
|
||
"ss" 'haskell-intero/pop-to-repl))
|
||
|
||
(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))
|
||
|
||
(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)))
|
||
|
||
;; Dante Functions
|
||
|
||
(defun spacemacs-haskell//dante-insert-type ()
|
||
(interactive)
|
||
(dante-type-at :insert))
|
||
|
||
|
||
;; Intero functions
|
||
|
||
(defun haskell-intero/insert-type ()
|
||
(interactive)
|
||
(intero-type-at :insert))
|
||
|
||
(defun haskell-intero/display-repl (&optional prompt-options)
|
||
(interactive "P")
|
||
(let ((buffer (intero-repl-buffer prompt-options t)))
|
||
(unless (get-buffer-window buffer 'visible)
|
||
(display-buffer buffer))))
|
||
|
||
(defun haskell-intero/pop-to-repl (&optional prompt-options)
|
||
(interactive "P")
|
||
(pop-to-buffer (intero-repl-buffer prompt-options t)))
|
||
|
||
(defun haskell-intero//preserve-focus (f &rest args)
|
||
(let ((buffer (current-buffer)))
|
||
(apply f args)
|
||
(pop-to-buffer buffer)))
|