diff options
Diffstat (limited to 'configs/shared/emacs/.emacs.d/elpa/haskell-mode-20180601.143/haskell-unicode-input-method.el')
| -rw-r--r-- | configs/shared/emacs/.emacs.d/elpa/haskell-mode-20180601.143/haskell-unicode-input-method.el | 300 |
1 files changed, 300 insertions, 0 deletions
diff --git a/configs/shared/emacs/.emacs.d/elpa/haskell-mode-20180601.143/haskell-unicode-input-method.el b/configs/shared/emacs/.emacs.d/elpa/haskell-mode-20180601.143/haskell-unicode-input-method.el new file mode 100644 index 000000000000..de792b58e470 --- /dev/null +++ b/configs/shared/emacs/.emacs.d/elpa/haskell-mode-20180601.143/haskell-unicode-input-method.el @@ -0,0 +1,300 @@ +;;; haskell-unicode-input-method.el --- Haskell Unicode helper functions -*- coding: utf-8; lexical-binding: t -*- + +;; Copyright (C) 2010-2011 Roel van Dijk + +;; Author: Roel van Dijk <vandijk.roel@gmail.com> + +;; This file is not part of GNU Emacs. + +;; This file is free software; you can redistribute it and/or modify +;; it under the terms of the GNU General Public License as published by +;; the Free Software Foundation; either version 3 of the License, or +;; (at your option) any later version. + +;; This file is distributed in the hope that it will be useful, +;; but WITHOUT ANY WARRANTY; without even the implied warranty of +;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +;; GNU General Public License for more details. + +;; You should have received a copy of the GNU General Public License +;; along with this program. If not, see <http://www.gnu.org/licenses/>. + +;;; Commentary: + +;;; Code: + +(require 'quail) + +;;;###autoload +(defun turn-on-haskell-unicode-input-method () + "Set input method `haskell-unicode'." + (interactive) + (set-input-method "haskell-unicode")) + +(quail-define-package + "haskell-unicode" ;; name + "UTF-8" ;; language + "\\" ;; title + t ;; guidance + "Haskell Unicode input method. +Designed to be used with the Haskell UnicodeSyntax language +extension in combination with the x-unicode-symbols set of +packages (base-unicode-symbols and containers-unicode-symbols). +" ;; docstring + nil ;; translation-keys + nil ;; forget-last-selection + nil ;; deterministic + nil ;; kbd-translate + nil ;; show-layout + nil ;; create-decode-map + nil ;; maximum-shortest + nil ;; overlay-plist + nil ;; update-translation-function + nil ;; conversion-keys + t ;; simple + ) + +(quail-define-rules + ;; Greek letters + ("alpha " ["α"]) + ("Alpha " ["Α"]) + ("beta " ["β"]) + ("Beta " ["Β"]) + ("gamma " ["γ"]) + ("Gamma " ["Γ"]) + ("delta " ["δ"]) + ("Delta " ["Δ"]) + ("epsilon " ["ε"]) + ("Epsilon " ["Ε"]) + ("zeta " ["ζ"]) + ("Zeta " ["Ζ"]) + ("eta " ["η"]) + ("Eta " ["Η"]) + ("theta " ["θ"]) + ("Theta " ["Θ"]) + ("iota " ["ι"]) + ("Iota " ["Ι"]) + ("kappa " ["κ"]) + ("Kappa " ["Κ"]) + ("lambda " ["λ"]) + ("Lambda " ["Λ"]) + ("lamda " ["λ"]) + ("Lamda " ["Λ"]) + ("mu " ["μ"]) + ("Mu " ["Μ"]) + ("nu " ["ν"]) + ("Nu " ["Ν"]) + ("xi " ["ξ"]) + ("Xi " ["Ξ"]) + ("omicron " ["ο"]) + ("Omicron " ["Ο"]) + ("pi " ["π"]) + ("Pi " ["Π"]) + ("rho " ["ρ"]) + ("Rho " ["Ρ"]) + ("sigma " ["σ"]) + ("Sigma " ["Σ"]) + ("tau " ["τ"]) + ("Tau " ["Τ"]) + ("upsilon " ["υ"]) + ("Upsilon " ["Υ"]) + ("phi " ["φ"]) + ("Phi " ["Φ"]) + ("chi " ["χ"]) + ("Chi " ["Χ"]) + ("psi " ["ψ"]) + ("Psi " ["Ψ"]) + ("omega " ["ω"]) + ("Omega " ["Ω"]) + ("digamma " ["ϝ"]) + ("Digamma " ["Ϝ"]) + ("san " ["ϻ"]) + ("San " ["Ϻ"]) + ("qoppa " ["ϙ"]) + ("Qoppa " ["Ϙ"]) + ("sampi " ["ϡ"]) + ("Sampi " ["Ϡ"]) + ("stigma " ["ϛ"]) + ("Stigma " ["Ϛ"]) + ("heta " ["ͱ"]) + ("Heta " ["Ͱ"]) + ("sho " ["ϸ"]) + ("Sho " ["Ϸ"]) + + ;; Double-struck letters + ("|A|" ["𝔸"]) + ("|B|" ["𝔹"]) + ("|C|" ["ℂ"]) + ("|D|" ["𝔻"]) + ("|E|" ["𝔼"]) + ("|F|" ["𝔽"]) + ("|G|" ["𝔾"]) + ("|H|" ["ℍ"]) + ("|I|" ["𝕀"]) + ("|J|" ["𝕁"]) + ("|K|" ["𝕂"]) + ("|L|" ["𝕃"]) + ("|M|" ["𝕄"]) + ("|N|" ["ℕ"]) + ("|O|" ["𝕆"]) + ("|P|" ["ℙ"]) + ("|Q|" ["ℚ"]) + ("|R|" ["ℝ"]) + ("|S|" ["𝕊"]) + ("|T|" ["𝕋"]) + ("|U|" ["𝕌"]) + ("|V|" ["𝕍"]) + ("|W|" ["𝕎"]) + ("|X|" ["𝕏"]) + ("|Y|" ["𝕐"]) + ("|Z|" ["ℤ"]) + ("|gamma|" ["ℽ"]) + ("|Gamma|" ["ℾ"]) + ("|pi|" ["ℼ"]) + ("|Pi|" ["ℿ"]) + + ;; Types + ("::" ["∷"]) + + ;; Quantifiers + ("forall" ["∀"]) + ("exists" ["∃"]) + + ;; Arrows + ("->" ["→"]) + ;; ("-->" ["⟶"]) + ("<-" ["←"]) + ;; ("<--" ["⟵"]) + ;; ("<->" ["↔"]) + ;; ("<-->" ["⟷"]) + + ("=>" ["⇒"]) + ;; ("==>" ["⟹"]) + ;; ("<=" ["⇐"]) + ;; ("<==" ["⟸"]) + ;; ("<=>" ["⇔"]) + ;; ("<==>" ["⟺"]) + + ;; ("|->" ["↦"]) + ;; ("|-->" ["⟼"]) + ;; ("<-|" ["↤"]) + ;; ("<--|" ["⟻"]) + + ;; ("|=>" ["⤇"]) + ;; ("|==>" ["⟾"]) + ;; ("<=|" ["⤆"]) + ;; ("<==|" ["⟽"]) + + ("~>" ["⇝"]) + ;; ("~~>" ["⟿"]) + ("<~" ["⇜"]) + ;; ("<~~" ["⬳"]) + + ;; (">->" ["↣"]) + ;; ("<-<" ["↢"]) + ;; ("->>" ["↠"]) + ;; ("<<-" ["↞"]) + + ;; (">->>" ["⤖"]) + ;; ("<<-<" ["⬻"]) + + ;; ("<|-" ["⇽"]) + ;; ("-|>" ["⇾"]) + ;; ("<|-|>" ["⇿"]) + + ;; ("<-/-" ["↚"]) + ;; ("-/->" ["↛"]) + + ;; ("<-|-" ["⇷"]) + ;; ("-|->" ["⇸"]) + ;; ("<-|->" ["⇹"]) + + ;; ("<-||-" ["⇺"]) + ;; ("-||->" ["⇻"]) + ;; ("<-||->" ["⇼"]) + + ;; ("-o->" ["⇴"]) + ;; ("<-o-" ["⬰"]) + + ;; Boolean operators + ;; ("not" ["¬"]) + ("&&" ["∧"]) + ("||" ["∨"]) + + ;; Relational operators + ("==" ["≡"]) + ("/=" ["≢" "≠"]) + ("<=" ["≤"]) + (">=" ["≥"]) + ("/<" ["≮"]) + ("/>" ["≯"]) + + ;; Arithmetic + ;; (" / " [" ÷ "]) + (" * " [" ⋅ "]) + + ;; Containers / Collections + ;; ("++" ["⧺"]) + ;; ("+++" ["⧻"]) + ;; ("|||" ["⫴"]) + ;; ("empty" ["∅"]) + ("elem" ["∈"]) + ("notElem" ["∉"]) + ("member" ["∈"]) + ("notMember" ["∉"]) + ("union" ["∪"]) + ("intersection" ["∩"]) + ("isSubsetOf" ["⊆"]) + ("isProperSubsetOf" ["⊂"]) + + ;; Other + ;; ("<<" ["≪"]) + ;; (">>" ["≫"]) + ("<<<" ["⋘"]) + (">>>" ["⋙"]) + ("<|" ["⊲"]) + ("|>" ["⊳"]) + ("><" ["⋈"]) + ;; ("mempty" ["∅"]) + ("mappend" ["⊕"]) + ;; ("<*>" ["⊛"]) + (" . " [" ∘ "]) + ("undefined" ["⊥"]) + (":=" ["≔"]) + ("=:" ["≕"]) + ("=def" ["≝"]) + ("=?" ["≟"]) + ("..." ["…"]) + + ;; Braces + ;; ("[|" ["〚"]) + ;; ("|]" ["〛"]) + + ;; Numeric subscripts + ("_0 " ["₀"]) + ("_1 " ["₁"]) + ("_2 " ["₂"]) + ("_3 " ["₃"]) + ("_4 " ["₄"]) + ("_5 " ["₅"]) + ("_6 " ["₆"]) + ("_7 " ["₇"]) + ("_8 " ["₈"]) + ("_9 " ["₉"]) + + ;; Numeric superscripts + ("^0 " ["⁰"]) + ("^1 " ["¹"]) + ("^2 " ["²"]) + ("^3 " ["³"]) + ("^4 " ["⁴"]) + ("^5 " ["⁵"]) + ("^6 " ["⁶"]) + ("^7 " ["⁷"]) + ("^8 " ["⁸"]) + ("^9 " ["⁹"]) + ) + +(provide 'haskell-unicode-input-method) + +;;; haskell-unicode-input-method.el ends here |