2016-06-24 15:37:01 +00:00
|
|
|
|
;;; funcs.el --- Haskell Layer funcs File for Spacemacs
|
|
|
|
|
;;
|
2018-01-04 07:00:25 +00:00
|
|
|
|
;; Copyright (c) 2012-2018 Sylvain Benner & Contributors
|
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
|
|
|
|
|
|
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)))
|
|
|
|
|
|
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)))
|
|
|
|
|
|
2017-05-27 20:57:22 +00:00
|
|
|
|
;; Dante Functions
|
|
|
|
|
|
|
|
|
|
(defun spacemacs-haskell//dante-insert-type ()
|
|
|
|
|
(interactive)
|
|
|
|
|
(dante-type-at :insert))
|
|
|
|
|
|
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")
|
2017-10-19 13:25:35 +00:00
|
|
|
|
(let ((buffer (intero-repl-buffer prompt-options t)))
|
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")
|
2017-10-19 13:25:35 +00:00
|
|
|
|
(pop-to-buffer (intero-repl-buffer prompt-options t)))
|
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)))
|