doomemacs/modules/lang/idris/config.el

;;; lang/idris/config.el -*- lexical-binding: t; -*-

(after! idris-mode
  (add-hook 'idris-mode-hook #'turn-on-idris-simple-indent)
  (when (featurep! +lsp)
    (add-hook 'idris-mode-hook #'lsp! 'append))
  (set-repl-handler! 'idris-mode 'idris-pop-to-repl)
  (set-lookup-handlers! 'idris-mode
    :documentation #'idris-docs-at-point)
  (map! :localleader
        :map idris-mode-map
        "r" #'idris-load-file
        "t" #'idris-type-at-point
        "d" #'idris-add-clause
        "l" #'idris-make-lemma
        "c" #'idris-case-split
        "w" #'idris-make-with-block
        "m" #'idris-add-missing
        "p" #'idris-proof-search
        "h" #'idris-docs-at-point))
Add basic idris support 2018-08-21 13:35:58 +02:00			`;;; lang/idris/config.el -- lexical-binding: t; --`

Defer loading of idris-mode package 2018-08-22 03:33:12 +02:00			`(after! idris-mode`
:boom: Refactor add-hook! macro & change arg order This update may potentially break your usage of add-hook! if you pass the :local or :append properties to it. This is how they used to work: (add-hook! :append 'some-mode-hook #'do-something) Thsoe properties must now follow the hooks, e.g. (add-hook! 'some-mode-hook :append #'do-something) Other changes: - Various add-hook calls have been renamed to add-hook! because I incorrectly assumed `defun` always returned its definition's symbol, when in fact, its return value is "undefined" (so sayeth the documentation). This should fix #1597. - This update adds the ability to add multiple functions to hooks without a list: (add-hook! 'some-mode-hook #'do-something #'do-something-else) - The indentation logic has been changed so that consecutive function symbols at indented at the same level as the first argument, but forms are indent like a defun. (add-hook! 'some-mode-hook #'do-something #'do-something-else) (add-hook! 'some-mode-hook (message "Hello")) 2019-07-26 19:57:13 +02:00			`(add-hook 'idris-mode-hook #'turn-on-idris-simple-indent)`
feat(idris): add +lsp support 2022-03-19 16:11:42 +01:00			`(when (featurep! +lsp)`
fix(:lang): ensure lsp! is always appended to hooks 2022-07-25 18:12:03 +02:00			`(add-hook 'idris-mode-hook #'lsp! 'append))`
Add basic idris support 2018-08-21 13:35:58 +02:00			`(set-repl-handler! 'idris-mode 'idris-pop-to-repl)`
Add lookup-handlers for idris-mode 2018-08-22 03:34:51 +02:00			`(set-lookup-handlers! 'idris-mode`
Refactor +lookup/file & update :file handlers + Removed idris-mode's file handler. It doesn't do what I thought it did. + Fix markdown-follow-thing-at-point file handler creating empty buffer. 2020-02-06 16:44:58 -05:00			`:documentation #'idris-docs-at-point)`
Normalize :leader/:localleader keybinds Evil states no longer apply to them. Also removes x-alt-keysym. 2018-12-23 23:54:27 -05:00			`(map! :localleader`
			`:map idris-mode-map`
			`"r" #'idris-load-file`
			`"t" #'idris-type-at-point`
			`"d" #'idris-add-clause`
			`"l" #'idris-make-lemma`
			`"c" #'idris-case-split`
			`"w" #'idris-make-with-block`
			`"m" #'idris-add-missing`
			`"p" #'idris-proof-search`
			`"h" #'idris-docs-at-point))`