2015-03-26 17:37:55 +00:00
|
|
|
;;; packages.el --- Purescript Layer packages File for Spacemacs
|
|
|
|
;;
|
2017-01-06 03:51:13 +00:00
|
|
|
;; Copyright (c) 2012-2017 Sylvain Benner & Contributors
|
2015-03-26 17:37:55 +00:00
|
|
|
;;
|
|
|
|
;; Author: Ryan L. Bell
|
|
|
|
;; URL: https://github.com/syl20bnr/spacemacs
|
|
|
|
;;
|
|
|
|
;; This file is not part of GNU Emacs.
|
|
|
|
;;
|
|
|
|
;;; License: GPLv3
|
|
|
|
|
|
|
|
|
2015-04-19 03:40:24 +00:00
|
|
|
(setq purescript-packages
|
2016-06-22 11:56:44 +00:00
|
|
|
'(company
|
2016-03-26 22:21:20 +00:00
|
|
|
flycheck
|
2015-03-26 17:37:55 +00:00
|
|
|
purescript-mode
|
2015-04-14 02:57:47 +00:00
|
|
|
psci
|
2015-12-08 22:50:15 +00:00
|
|
|
psc-ide
|
2016-06-22 11:56:44 +00:00
|
|
|
popwin))
|
2015-03-26 17:37:55 +00:00
|
|
|
|
2015-12-08 22:50:15 +00:00
|
|
|
(defun purescript/post-init-company ()
|
2017-07-02 13:48:06 +00:00
|
|
|
(when (configuration-layer/package-used-p 'psc-ide)
|
2017-01-02 05:39:04 +00:00
|
|
|
(spacemacs|add-company-backends
|
|
|
|
:backends company-psc-ide-backend
|
|
|
|
:modes purescript-mode)))
|
2015-12-08 22:50:15 +00:00
|
|
|
|
2016-03-26 22:21:20 +00:00
|
|
|
(defun purescript/post-init-flycheck ()
|
2017-02-14 03:27:29 +00:00
|
|
|
(spacemacs/enable-flycheck 'purescript-mode))
|
2016-03-26 22:21:20 +00:00
|
|
|
|
2015-03-26 17:37:55 +00:00
|
|
|
(defun purescript/init-purescript-mode ()
|
|
|
|
(use-package purescript-mode
|
|
|
|
:defer t
|
2015-04-14 02:57:47 +00:00
|
|
|
:init
|
|
|
|
(progn
|
|
|
|
(add-hook 'purescript-mode-hook 'turn-on-purescript-indentation)
|
2015-11-18 00:38:05 +00:00
|
|
|
(spacemacs/set-leader-keys-for-major-mode 'purescript-mode
|
|
|
|
"i=" 'purescript-mode-format-imports
|
|
|
|
"i`" 'purescript-navigate-imports-return
|
|
|
|
"ia" 'purescript-align-imports
|
|
|
|
"in" 'purescript-navigate-imports))))
|
2015-03-26 17:37:55 +00:00
|
|
|
|
|
|
|
(defun purescript/init-psci ()
|
|
|
|
(use-package psci
|
|
|
|
:defer t
|
|
|
|
:init
|
2015-04-14 02:57:47 +00:00
|
|
|
(progn
|
2016-01-26 16:31:15 +00:00
|
|
|
(spacemacs/register-repl 'psci 'psci "purescript")
|
2015-04-14 02:57:47 +00:00
|
|
|
(add-hook 'purescript-mode-hook 'inferior-psci-mode)
|
2015-11-18 00:38:05 +00:00
|
|
|
(spacemacs/set-leader-keys-for-major-mode 'purescript-mode
|
2016-01-26 16:31:15 +00:00
|
|
|
"'" 'psci
|
2015-11-18 00:38:05 +00:00
|
|
|
"sb" 'psci/load-current-file!
|
|
|
|
"si" 'psci
|
|
|
|
"sm" 'psci/load-module!
|
|
|
|
"sp" 'psci/load-project-modules!))))
|
2015-12-08 22:50:15 +00:00
|
|
|
|
|
|
|
(defun purescript/init-psc-ide ()
|
|
|
|
(use-package psc-ide
|
|
|
|
:defer t
|
|
|
|
:init
|
|
|
|
(progn
|
|
|
|
(add-hook 'purescript-mode-hook 'psc-ide-mode)
|
2016-06-22 11:56:44 +00:00
|
|
|
(spacemacs/declare-prefix-for-mode 'purescript-mode "mm" "purescript/psc-ide")
|
|
|
|
|
|
|
|
(customize-set-variable 'psc-ide-add-import-on-completion purescript-add-import-on-completion)
|
|
|
|
(customize-set-variable 'psc-ide-rebuild-on-save purescript-enable-rebuild-on-save)
|
|
|
|
|
2016-09-04 16:24:43 +00:00
|
|
|
(add-to-list 'spacemacs-jump-handlers-purescript-mode 'psc-ide-goto-definition)
|
2015-12-08 22:50:15 +00:00
|
|
|
(spacemacs/set-leader-keys-for-major-mode 'purescript-mode
|
2016-06-22 11:56:44 +00:00
|
|
|
"mt" 'psc-ide-add-clause
|
|
|
|
"mcs" 'psc-ide-case-split
|
|
|
|
"ms" 'psc-ide-server-start
|
|
|
|
"mb" 'psc-ide-rebuild
|
|
|
|
"mq" 'psc-ide-server-quit
|
|
|
|
"ml" 'psc-ide-load-all
|
|
|
|
"mL" 'psc-ide-load-module
|
|
|
|
"mia" 'psc-ide-add-import
|
|
|
|
"mis" 'psc-ide-flycheck-insert-suggestion
|
2016-08-13 13:43:37 +00:00
|
|
|
"ht" 'psc-ide-show-type))))
|
2016-06-22 11:56:44 +00:00
|
|
|
|
|
|
|
(defun purescript/pre-init-popwin ()
|
|
|
|
(spacemacs|use-package-add-hook popwin
|
|
|
|
:post-config
|
|
|
|
(push '("*psc-ide-rebuild*" :tail t :noselect t) popwin:special-display-config)))
|