~toastal/nvim-tree-sitter-unicode-conceal
Showing details for patch 01fd721be8fecbfe8445e408a00eed120aeaa05a.
diff -rN -u old-nvim-tree-sitter-unicode-conceal/after/queries/haskell/highlights.scm new-nvim-tree-sitter-unicode-conceal/after/queries/haskell/highlights.scm --- old-nvim-tree-sitter-unicode-conceal/after/queries/haskell/highlights.scm 1970-01-01 00:00:00.000000000 +0000 +++ new-nvim-tree-sitter-unicode-conceal/after/queries/haskell/highlights.scm 2024-11-24 16:19:45.870958888 +0000 @@ -0,0 +1,29 @@ +;; SPDX-FileCopyrightText 2024 toastal <toastal@posteo.net> +;; SPDX-License-Identifier: LGPL-2.1-or-later +; extends + +("::" @operator (#set! conceal "∷")) +("->" @punctuation.delimeter (#set! conceal "→")) +("<-" @punctuation.delimeter (#set! conceal "←")) +(type ("=>" @punctuation.delimeter) (#set! conceal "⇒")) +(type ("forall" @keyword.repeat) (#set! conceal "∀")) +("=" @operator.assignment (#set! conceal "≔")) + +((function) @function.call (#eq? @function.call "not") (#set! conceal "¬")) +((operator) @operator (#eq? @operator "==") (#set! conceal "=")) +((operator) @operator (#eq? @operator "/=") (#set! conceal "≠")) +((operator) @operator (#eq? @operator "<=") (#set! conceal "≤")) +((operator) @operator (#eq? @operator ">=") (#set! conceal "≥")) + +(negation ("-" @number) (#set! conceal "⁻")) +((operator) @operator (#eq? @operator "-") (#set! conceal "−")) +((operator) @operator (#eq? @operator "*") (#set! conceal "×")) +((operator) @operator (#eq? @operator "/") (#set! conceal "÷")) + +(lambda ("\\" @keyword.function . (patterns) (#set! conceal "λ"))) +((operator) @operator (#eq? @operator ".") (#set! conceal "∘")) + +(type ((name) @type) (#eq? @type "Bool") (#set! conceal "𝔹")) +(type ((name) @type) (#eq? @type "Integer") (#set! conceal "ℤ")) +(type ((name) @type) (#eq? @type "Natural") (#set! conceal "ℕ")) +(type ((name) @type) (#eq? @type "Real") (#set! conceal "ℝ")) diff -rN -u old-nvim-tree-sitter-unicode-conceal/flake.nix new-nvim-tree-sitter-unicode-conceal/flake.nix --- old-nvim-tree-sitter-unicode-conceal/flake.nix 2024-11-24 16:19:45.866958881 +0000 +++ new-nvim-tree-sitter-unicode-conceal/flake.nix 2024-11-24 16:19:45.866958881 +0000 @@ -107,6 +107,7 @@ plugins: with plugins; [ erlang fish + haskell lua nickel nix