318bd23dc4
Now in addition to the <layer>/init-<pkg> function there are - <layer>/pre-init-<pkg> (executed before <layer>/init-<pkg>) - <layer>/post-init-<pkg> (executed after <layer>/init-<pkg>) The init function is mandatory, if it is not present then the package is ignored and not installed. This mechanism allows soft (implicit) cross layers dependencies between packages (see company for more info). It is now possible to remove flycheck from spacemacs layer and move it to its own syntax-checking layer.
231 lines
8 KiB
EmacsLisp
231 lines
8 KiB
EmacsLisp
;;; packages.el --- Haskell Layer packages File for Spacemacs
|
|
;;
|
|
;; Copyright (c) 2012-2014 Sylvain Benner
|
|
;; Copyright (c) 2014-2015 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
|
|
|
|
(defvar haskell-packages
|
|
'(
|
|
company
|
|
company-ghc
|
|
flycheck
|
|
flycheck-haskell
|
|
ghc
|
|
haskell-mode
|
|
hindent
|
|
shm
|
|
))
|
|
|
|
(defun haskell/init-flycheck ()
|
|
(add-hook 'haskell-mode-hook 'flycheck-mode))
|
|
|
|
(defun haskell/init-flycheck-haskell ()
|
|
(use-package flycheck-haskell
|
|
:commands flycheck-haskell-configure
|
|
:init (add-hook 'flycheck-mode-hook 'flycheck-haskell-configure)))
|
|
|
|
(defun haskell/init-ghc ())
|
|
|
|
(defun haskell/init-haskell-mode ()
|
|
(require 'haskell-yas)
|
|
(use-package haskell-mode
|
|
:defer t
|
|
:config
|
|
(progn
|
|
|
|
;; Haskell main editing mode key bindings.
|
|
(defun spacemacs/init-haskell-mode ()
|
|
(ghc-init)
|
|
;; use only internal indentation system from haskell
|
|
(electric-indent-local-mode -1)
|
|
(when (configuration-layer/package-declaredp '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)))
|
|
|
|
;;GHCi-ng
|
|
(when haskell-enable-ghci-ng-support
|
|
;; haskell-process-type is set to auto, so setup ghci-ng for either case
|
|
;; if haskell-process-type == cabal-repl
|
|
(setq haskell-process-args-cabal-repl '("--ghc-option=-ferror-spans" "--with-ghc=ghci-ng"))
|
|
;; if haskell-process-type == GHCi
|
|
(setq haskell-process-path-ghci "ghci-ng")
|
|
|
|
(evil-leader/set-key-for-mode 'haskell-mode
|
|
"mu" 'haskell-mode-find-uses
|
|
"mt" 'haskell-mode-show-type-at
|
|
"mgg" 'haskell-mode-goto-loc))
|
|
|
|
;; hooks
|
|
(add-hook 'haskell-mode-hook 'spacemacs/init-haskell-mode)
|
|
(add-hook 'haskell-cabal-mode-hook 'haskell-cabal-hook)
|
|
(unless haskell-enable-shm-support
|
|
(add-hook 'haskell-mode-hook 'haskell-indentation-mode))
|
|
|
|
;; settings
|
|
(setq haskell-process-type 'auto
|
|
;; Use notify.el (if you have it installed) at the end of running
|
|
;; Cabal commands or generally things worth notifying.
|
|
haskell-notify-p t
|
|
;; To enable tags generation on save.
|
|
haskell-tags-on-save t
|
|
;; Remove annoying error popups
|
|
haskell-interactive-popup-error nil
|
|
;; Better import handling
|
|
haskell-process-suggest-remove-import-lines t
|
|
haskell-process-auto-import-loaded-modules t
|
|
;; Disable haskell-stylish on save, it breaks flycheck highlighting
|
|
haskell-stylish-on-save nil)
|
|
|
|
;; Show indentation guides in insert or emacs state only.
|
|
(defun spacemacs//haskell-identation-show-guides ()
|
|
"Show the indent guides."
|
|
(when (eq 'haskell-mode major-mode)
|
|
(funcall 'haskell-indentation-enable-show-indentations)))
|
|
(defun spacemacs//haskell-identation-hide-guides ()
|
|
"Hide the indent guides."
|
|
(when (eq 'haskell-mode major-mode)
|
|
(funcall 'haskell-indentation-disable-show-indentations)))
|
|
;; first entry in normal state
|
|
(add-hook 'evil-normal-state-entry-hook
|
|
'spacemacs//haskell-identation-hide-guides)
|
|
(dolist (state '(insert emacs))
|
|
(eval `(progn
|
|
(add-hook ',(intern (format "evil-%S-state-entry-hook" state))
|
|
'spacemacs//haskell-identation-show-guides)
|
|
(add-hook ',(intern (format "evil-%S-state-exit-hook" state))
|
|
'spacemacs//haskell-identation-hide-guides))))
|
|
|
|
;; key bindings
|
|
(defun spacemacs/haskell-process-do-type-on-prev-line ()
|
|
(interactive)
|
|
(haskell-process-do-type 1))
|
|
|
|
(evil-leader/set-key-for-mode 'haskell-mode
|
|
"mgg" 'haskell-mode-jump-to-def-or-tag
|
|
"mf" 'haskell-mode-stylish-buffer
|
|
|
|
"msb" 'haskell-process-load-or-reload
|
|
"msc" 'haskell-interactive-mode-clear
|
|
"mss" 'haskell-interactive-bring
|
|
"msS" 'haskell-interactive-switch
|
|
|
|
"mca" 'haskell-process-cabal
|
|
"mcb" 'haskell-process-cabal-build
|
|
"mcc" 'haskell-compile
|
|
"mcv" 'haskell-cabal-visit-file
|
|
|
|
"mhd" 'inferior-haskell-find-haddock
|
|
"mhh" 'hoogle
|
|
"mhi" 'haskell-process-do-info
|
|
"mht" 'haskell-process-do-type
|
|
"mhT" 'spacemacs/haskell-process-do-type-on-prev-line
|
|
"mhy" 'hayoo
|
|
|
|
"mdd" 'haskell-debug
|
|
"mdb" 'haskell-debug/break-on-function
|
|
"mdn" 'haskell-debug/next
|
|
"mdN" 'haskell-debug/previous
|
|
"mdB" 'haskell-debug/delete
|
|
"mdc" 'haskell-debug/continue
|
|
"mda" 'haskell-debug/abandon
|
|
"mdr" 'haskell-debug/refresh)
|
|
|
|
;; Switch back to editor from REPL
|
|
(evil-leader/set-key-for-mode 'interactive-haskell-mode
|
|
"msS" 'haskell-interactive-switch)
|
|
|
|
;; Compile
|
|
(evil-leader/set-key-for-mode 'haskell-cabal
|
|
"mC" 'haskell-compile)
|
|
|
|
;; Cabal-file bindings
|
|
(evil-leader/set-key-for-mode 'haskell-cabal-mode
|
|
;; "m=" 'haskell-cabal-subsection-arrange-lines ;; Does a bad job, 'gg=G' works better
|
|
"md" 'haskell-cabal-add-dependency
|
|
"mb" 'haskell-cabal-goto-benchmark-section
|
|
"me" 'haskell-cabal-goto-executable-section
|
|
"mt" 'haskell-cabal-goto-test-suite-section
|
|
"mm" 'haskell-cabal-goto-exposed-modules
|
|
"ml" 'haskell-cabal-goto-library-section
|
|
"mn" 'haskell-cabal-next-subsection
|
|
"mp" 'haskell-cabal-previous-subsection
|
|
"mN" 'haskell-cabal-next-section
|
|
"mP" 'haskell-cabal-previous-section
|
|
"mf" 'haskell-cabal-find-or-create-source-file)
|
|
|
|
;; Make "RET" behaviour in REPL saner
|
|
(evil-define-key 'insert haskell-interactive-mode-map
|
|
(kbd "RET") 'haskell-interactive-mode-return)
|
|
(evil-define-key 'normal haskell-interactive-mode-map
|
|
(kbd "RET") 'haskell-interactive-mode-return)
|
|
|
|
;; Useful to have these keybindings for .cabal files, too.
|
|
(eval-after-load 'haskell-cabal-mode-map
|
|
'(define-key haskell-cabal-mode-map
|
|
[?\C-c ?\C-z] 'haskell-interactive-switch)))))
|
|
|
|
(defun haskell/init-hindent ()
|
|
(use-package hindent
|
|
:defer t
|
|
:if (stringp haskell-enable-hindent-style)
|
|
:init
|
|
(add-hook 'haskell-mode-hook #'hindent-mode)
|
|
:config
|
|
(progn
|
|
(setq hindent-style haskell-enable-hindent-style)
|
|
(evil-leader/set-key-for-mode 'haskell-mode
|
|
"mF" 'hindent/reformat-decl))))
|
|
|
|
(defun haskell/init-shm ()
|
|
(use-package shm
|
|
:defer t
|
|
:if haskell-enable-shm-support
|
|
:init
|
|
(add-hook 'haskell-mode-hook 'structured-haskell-mode)
|
|
:config
|
|
(progn
|
|
(when (require 'shm-case-split nil 'noerror)
|
|
;;TODO: Find some better bindings for case-splits
|
|
(define-key shm-map (kbd "C-c S") 'shm/case-split)
|
|
(define-key shm-map (kbd "C-c C-s") 'shm/do-case-split))
|
|
|
|
(evil-define-key 'normal shm-map
|
|
(kbd "RET") nil
|
|
(kbd "C-k") nil
|
|
(kbd "C-j") nil
|
|
(kbd "D") 'shm/kill-line
|
|
(kbd "R") 'shm/raise
|
|
(kbd "P") 'shm/yank
|
|
(kbd "RET") 'shm/newline-indent
|
|
(kbd "RET") 'shm/newline-indent
|
|
(kbd "M-RET") 'evil-ret
|
|
)
|
|
|
|
(evil-define-key 'operator map
|
|
(kbd ")") 'shm/forward-node
|
|
(kbd "(") 'shm/backward-node)
|
|
|
|
(evil-define-key 'motion map
|
|
(kbd ")") 'shm/forward-node
|
|
(kbd "(") 'shm/backward-node)
|
|
|
|
(define-key shm-map (kbd "C-j") nil)
|
|
(define-key shm-map (kbd "C-k") nil))))
|
|
|
|
(when (configuration-layer/layer-declaredp 'auto-completion)
|
|
(defun haskell/post-init-company ()
|
|
(spacemacs|enable-company haskell-mode))
|
|
|
|
(defun haskell/init-company-ghc ()
|
|
(use-package company-ghc
|
|
:defer t
|
|
:init (push '(company-ghc :with company-yasnippet)
|
|
company-backends-haskell-mode))))
|