;;; -*- lexical-binding: t; -*-

;; (setq doom-font (font-spec :family "Hasklig" :size 15))
(load-theme 'doom-palenight t)

(when (version<= "26.0.50" emacs-version )
  (global-display-line-numbers-mode))

;; company-mode auto-completion, to turn off use :company-complete
(require 'company)
(setq company-idle-delay 0.2
      company-minimum-prefix-length 3)

;; hooks to turn on lsp when entering haskell mode
(add-hook 'haskell-mode-hook #'lsp)
(add-hook 'haskell-literate-mode-hook #'lsp)

(setq org-agenda-files '("~/org" "~/org/roam"))
(setq org-roam-directory "~/org/roam")
(setq org-roam-v2-ack t)

(after! org
  (setq org-todo-keywords
        '((sequence "TODO" "IDEA" "IDLE" "DONE")
          (sequence "[ ](T)" "[X](D)"))
        org-todo-keyword-faces
        '(("[-]"  . +org-todo-active)
          ("[?]"  . +org-todo-onhold)
          ("KILL" . +org-todo-cancel))))

(add-to-list 'load-path "~/.nix-profile/share/emacs/site-lisp/mu4e/")

(after! mu4e
  (set-email-account! "hacc"
                      '( (user-mail-address . "stuebinm@hacc.space")
                         (user-full-name . "stuebinm")
                         (m4u-maildir . "~/Maildir/hacc")
                         (mu4e-sent-folder . "/hacc/Sent")
                         (mu4e-trash-folder . "/hacc/Trash") )
                      t))

(after! helm-dictionary
  (setq helm-dictionary-database
        '(("de-en" . "~/org/dict/de-en.txt")
          ("es-de" . "~/org/dict/es-de.txt")
          ("en-it" . "~/org/dict/en-it-enwiktionary.txt")
          ("it-en" . "~/org/dict/it-en-enwiktionary.txt"))))


;; hide all these annoying popups that clutter the view
(setq lsp-ui-doc-enable nil)
(setq lsp-ui-sideline-show-code-actions nil)
(setq lsp-signature-render-documentation nil)

(after! (lsp-ui helm-lsp)
  (lsp-signature-activate)
  ;; custom version which will not blindly apply a single code action
  ;; if only one is available without asking about it first.
  ;; Source taken from https://github.com/emacs-lsp/helm-lsp/blob/master/helm-lsp.el
  (lsp-make-interactive-code-action wingman-fill-hole "refactor.wingman.fillHole")
  (lsp-make-interactive-code-action wingman-case-split "refactor.wingman.caseSplit")
  (lsp-make-interactive-code-action wingman-refine "refactor.wingman.refine")
  (lsp-make-interactive-code-action wingman-split-func-args "refactor.wingman.spltFuncArgs")
  (lsp-make-interactive-code-action wingman-use-constructor "refactor.wingman.useConstructor")
  (map! :map haskell-mode-map
        "C-c s" #'lsp-wingman-split
        "C-c h" #'lsp-wingman-fillhole)
  (defun helm-lsp-code-actions-custom()
    "Show lsp code actions using helm."
    (interactive)
    (let ((actions (lsp-code-actions-at-point)))
      (cond
       ((seq-empty-p actions) (signal 'lsp-no-code-actions nil))
       (t (helm :sources
                (helm-build-sync-source
                    "Code Actions"
                  :candidates actions
                  :candidate-transformer
                  (lambda (candidates)
                    (-map
                     (-lambda ((candidate &as
                                          &CodeAction :title))
                       (list title :data candidate))
                     candidates))
                  :action '(("Execute code action" . (lambda(candidate)
                                                       (print "selected code action")
                                                       (print (plist-get candidate :data))
                                                       (lsp-execute-code-action (plist-get candidate :data)))))))))))

  (map! :map doom-leader-code-map
        "a" #'helm-lsp-code-actions-custom))


(use-package! isar-mode
  :mode "\\.thy\\'"
  :config
  ;; (add-hook 'isar-mode-hook 'turn-on-highlight-indentation-mode)
  ;; (add-hook 'isar-mode-hook 'flycheck-mode)
  (add-hook 'isar-mode-hook 'company-mode)
  (add-hook 'isar-mode-hook
            (lambda ()
              (set (make-local-variable 'company-backends)
                   '((company-dabbrev-code company-yasnippet)))))
  (add-hook 'isar-mode-hook
            (lambda ()
              (set (make-local-variable 'indent-tabs-mode) nil)))
  (add-hook 'isar-mode-hook
            (lambda ()
              (yas-minor-mode))))


;; icons in the tray
(setq display-time-24hr-format 1)
(display-time-mode)
(display-battery-mode)