;;; packages.el --- Haskell Layer packages File for Spacemacs ;; ;; Copyright (c) 2012-2014 Sylvain Benner ;; Copyright (c) 2014-2015 Sylvain Benner & Contributors ;; ;; Author: Sylvain Benner ;; URL: https://github.com/syl20bnr/spacemacs ;; ;; This file is not part of GNU Emacs. ;; ;;; License: GPLv3 (defvar haskell-packages '( 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-usedp '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 "mht" '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-usedp 'auto-completion) (spacemacs|init-company haskell haskell-mode) (defun haskell/init-company-ghc () (use-package company-ghc :defer t :init ;; remove yasnippet for now, it seems to prevent ;; company-ghc to work properly the first time ;; it is activated (push 'company-ghc company-backends-haskell-mode))))