satellite/home/features/neovim/default.nix

{ upkgs, pkgs, lib, config, inputs, ... }:
let
  korora = inputs.korora.lib;
  nlib = import ../../../modules/common/korora-neovim.nix
    {
      inherit lib korora;
    }
    {
      tempestModule = "my.tempest";
    };

  # {{{ Config helpers 
  # :p => expands path
  # :h => returns the head of the path
  notmp = nlib.lua ''vim.fn.expand("%:p:h") ~= "/tmp"'';
  # }}}

  generated = nlib.generateConfig
    (lib.fix (self: with nlib; {
      # {{{ Pre-plugin config
      pre = {
        # {{{ General options
        "0:general-options" = {
          vim.g = {
            # Disable filetype.vim
            do_filetype_lua = true;
            did_load_filetypes = false;

            # Set leader
            mapleader = " ";
          };

          vim.opt = {
            # Basic options
            joinspaces = false; # No double spaces with join (mapped to qj in my config)
            list = true; # Show some invisible characters
            cmdheight = 0; # Hide command line when it's not getting used
            spell = true; # Spell checker

            # tcqj are there by default, and "r" automatically continues comments on enter
            formatoptions = "tcqjr";

            scrolloff = 4; # Starts scrolling 4 lines from the edge of the screen
            termguicolors = true; # True color support

            wrap = false; # Disable line wrap (by default)
            wildmode = [ "list" "longest" ]; # Command-line completion mode
            completeopt = [ "menu" "menuone" "noselect" ];

            undofile = true; # persist undos!!

            # {{{ Line numbers
            number = true; # Show line numbers
            relativenumber = true; # Relative line numbers
            # }}}
            # {{{ Indents
            expandtab = true; # Use spaces for the tab char
            shiftwidth = 2; # Size of an indent
            tabstop = 2; # Size of tab character
            shiftround = true; # When using < or >, rounds to closest multiple of shiftwidth
            smartindent = true; # Insert indents automatically
            # }}}
            # {{{ Casing 
            ignorecase = true; # Ignore case
            smartcase = true; # Do not ignore case with capitals
            # }}}
            # {{{ Splits
            splitbelow = true; # Put new windows below current
            splitright = true; # Put new windows right of current
            # }}}
            # {{{ Folding
            foldmethod = "marker"; # use {{{ }}} for folding
            foldcolumn = "1"; # show column with folds on the left
            # }}}
          };

          # {{{Disable pseudo-transparency;
          autocmds = {
            event = "FileType";
            group = "WinblendSettings";
            action.vim.opt.winblend = 0;
          };
          #  }}}
        };
        # }}}
        # {{{ Misc keybinds
        "1:misc-keybinds" = {
          # {{{ Global keybinds 
          keys =
            # {{{ Keybind helpers 
            let dmap = mapping: action: desc: {
              inherit mapping desc;
              action = lua "vim.diagnostic.${action}";
            };
            in
            # }}}
            [
              # {{{ Free up q and Q
              (nmap "<c-q>" "q" "Record macro")
              (nmap "<c-s-q>" "Q" "Repeat last recorded macro")
              (unmap "q")
              (unmap "Q")
              # }}}
              # {{{ Chords
              # Different chords get remapped to f-keys by my [my kaanta config](../../../hosts/nixos/common/optional/services/kanata.nix).
              #
              # Exit insert mode using *jk*
              (keymap "iv" "<f10>" "<esc>" "Exit insert mode")

              # Use global clipboard using *cp*
              (keymap "nv" "<f11>" ''"+'' "Use global clipboard")
              # Save using *ji*
              (nmap "<f12>" "<cmd>silent write<cr>" "Save current file")
              # }}}
              # {{{ Newline without comments 
              {
                mode = "i";
                mapping = "<c-cr>";
                action = thunk /* lua */ ''
                  vim.paste({ "", "" }, -1)
                '';
                desc = "Insert newline without continuing the current comment";
              }
              {
                mode = "i";
                mapping = "<c-s-cr>";
                # This is a bit scuffed and might not work for all languages
                action = "<cmd>norm O<bs><bs><bs><cr>";
                desc = "Insert newline above without continuing the current comment";
              }
              # }}}
              # {{{ Diagnostics
              (dmap "[d" "goto_prev" "Goto previous [d]iagnostic")
              (dmap "]d" "goto_next" "Goto next [d]iagnostic")
              (dmap "J" "open_float" "Open current diagnostic")
              (dmap "<leader>D" "setloclist" "[D]iagnostic loclist")
              (nmap "qj" "J" "join lines")
              # }}}
              # {{{ Other misc keybinds 
              (nmap "<Leader>a" "<C-^>" "[A]lternate file")
              (unmap "<C-^>")
              (nmap "Q" ":wqa<cr>" "Save all files and [q]uit")
              (nmap "<leader>rw"
                ":%s/<C-r><C-w>/"
                "[R]eplace [w]ord in file")
              (nmap "<leader>sw"
                (lua ''require("my.helpers.wrap").toggle'')
                "toggle word [w]rap")
              (nmap "<leader>ss"
                (thunk /* lua */ "vim.opt.spell = not vim.o.spell")
                "toggle [s]pell checker")
              # }}}
            ];
          # }}}
          # {{{ Autocmds
          autocmds = [
            # {{{ Exit certain buffers with qq 
            {
              event = "FileType";
              pattern = [ "help" ];
              group = "BasicBufferQuitting";
              action.keys =
                nmap "qq" "<cmd>close<cr>" "[q]uit current buffer";
            }
            # }}}
            # {{{ Enable wrap movemenets by default in certain filetypes
            {
              event = "FileType";
              pattern = [ "markdown" "typst" "tex" ];
              group = "EnableWrapMovement";
              action = lua ''require("my.helpers.wrap").enable'';
            }
            # }}}
          ];
          # }}}
        };
        # }}}
        # {{{ Manage cmdheight 
        "2:manage-cmdheight".autocmds = [
          {
            event = "CmdlineEnter";
            group = "SetCmdheightCmdlineEnter";
            action.vim.opt.cmdheight = 1;
          }
          {
            event = "CmdlineLeave";
            group = "SetCmdheightCmdlineLeave";
            action.vim.opt.cmdheight = 0;
          }
        ];
        # }}}
        # {{{ Lsp settings
        "3:lsp-settings" = {
          # {{{ Change lsp on-hover borders
          vim.lsp.handlers."textDocument/hover" = lua
            ''vim.lsp.with(vim.lsp.handlers.hover, { border = "single" })'';
          vim.lsp.handlers."textDocument/signatureHelp" = lua
            ''vim.lsp.with(vim.lsp.handlers.signature_help, { border = "single" })'';
          # }}}
          # {{{ Create on-attach keybinds
          autocmds = {
            event = "LspAttach";
            group = "UserLspConfig";
            action =
              let nmap = mapping: action: desc:
                nlib.nmap mapping
                  (lua "vim.lsp.buf.${action}")
                  desc;
              in
              {
                mkContext = event: {
                  bufnr = lua "${event}.buf";
                  client = lua /* lua */
                    "vim.lsp.get_client_by_id(${event}.data.client_id)";
                };
                keys = [
                  (nlib.nmap "<leader>li" "<cmd>LspInfo<cr>" "[L]sp [i]nfo")
                  (nmap "gd" "definition" "[G]o to [d]efinition")
                  (nmap "<leader>gi" "implementation" "[G]o to [i]mplementation")
                  (nmap "<leader>gr" "references" "[G]o to [r]eferences")
                  (nmap "L" "signature_help" "Signature help")
                  (nmap "<leader>c" "code_action" "[C]ode actions")
                  (keymap "v" "<leader>c" ":'<,'> lua vim.lsp.buf.range_code_action()" "[C]ode actions")
                  (nmap "<leader>wa" "add_workspace_folder" "[W]orkspace [A]dd Folder")
                  (nmap "<leader>wr" "remove_workspace_folder" "[W]orkspace [R]emove Folder")
                  (nlib.nmap "<leader>wl"
                    (thunk /* lua */ ''
                      print(vim.inspect(vim.lsp.buf.list_workspace_folders()))
                    '') "[W]orkspace [L]ist Folders")
                ];
                callback = {
                  cond = ctx: lua ''
                    return ${ctx}.client.supports_method("textDocument/hover")
                  '';
                  keys = nmap "K" "hover" "Hover";
                };
              };
          };
          # }}}
        };
        # }}}
        # {{{ Neovide config
        "4:configure-neovide" = {
          cond = whitelist "neovide";
          vim.g = {
            neovide_transparency = lua ''D.tempest.theme.opacity.applications'';
            neovide_cursor_animation_length = 0.04;
            neovide_cursor_animate_in_insert_mode = false;
          };
        };
        # }}}
        # {{{ Language specific settings
        "5:language-specific-settings" = {
          autocmds = [
            {
              event = "FileType";
              group = "UserNixSettings";
              pattern = "nix";
              action = {
                vim.opt.commentstring = "# %s";
                keys = {
                  mapping = "<leader>lg";
                  action = thunk /* lua */ ''
                    D.tempest.withSavedCursor(function()
                      vim.cmd(":%!${lib.getExe pkgs.update-nix-fetchgit}")
                    end)
                  '';
                  desc = "Update all fetchgit calls";
                };
              };
            }
            {
              event = "FileType";
              group = "UserPurescriptSettings";
              pattern = "purs";
              action.vim.opt = {
                expandtab = true; # Use spaces for the tab char
                commentstring = "-- %s";
              };
            }
          ];

          # Make neovim aware about the existence of the purescript datatype.
          callback = lua ''vim.filetype.add({ extension = { purs = "purescript" } })'';
        };
        # }}}
      };
      # }}}
      # {{{ Plugins
      lazy = {
        # {{{ libraries
        # {{{ plenary
        plenary = {
          package = "nvim-lua/plenary.nvim";
          # Autoload when running tests
          cmd = [ "PlenaryBustedDirectory" "PlenaryBustedFile" ];
        };
        # }}}
        # {{{ nui
        nui.package = "MunifTanjim/nui.nvim";
        # }}}
        # {{{ web-devicons
        web-devicons.package = "nvim-tree/nvim-web-devicons";
        # }}}
        # {{{ Scrap
        scrap = {
          package = "mateiadrielrafael/scrap.nvim";

          event = "InsertEnter";
          config.setup."my.abbreviations" = true;
        };
        # }}}
        # }}}
        # {{{ ui
        # {{{ mini.statusline
        mini-statusline = {
          package = "echasnovski/mini.statusline";
          name = "mini.statusline";
          dependencies.lua = [ "web-devicons" ];

          cond = blacklist [ "vscode" "firenvim" ];
          lazy = false;

          opts.content.inactive = thunk /* lua */ ''
            require("mini.statusline").combine_groups({
              { hl = "MiniStatuslineFilename", strings = { vim.fn.expand("%:t") } },
            })
          '';

          opts.content.active = thunk /* lua */ ''
            local st = require("mini.statusline");
            local mode, mode_hl = st.section_mode({ trunc_width = 120 })
            local git = st.section_git({ trunc_width = 75 })
            local diagnostics = st.section_diagnostics({ trunc_width = 75 })

            return st.combine_groups({
              { hl = mode_hl, strings = { mode } },
              { hl = "MiniStatuslineDevinfo", strings = { git } },
              { hl = "MiniStatuslineFilename", strings = { vim.fn.expand("%:t") } },
              "%=", -- End left alignment
              { hl = "MiniStatuslineFilename", strings = { diagnostics } },
              { hl = "MiniStatuslineDevinfo", strings = { vim.bo.filetype } },
            })
          '';
        };
        # }}}
        # {{{ mini.files
        mini-files = {
          package = "echasnovski/mini.files";
          name = "mini.files";
          dependencies.lua = [ "web-devicons" ];

          cond = blacklist [ "vscode" "firenvim" ];
          keys = {
            mapping = "<c-s-f>";
            desc = "[S]earch [F]iles";
            action = thunk /* lua */ ''
              local files = require("mini.files")
              if not files.close() then
                files.open(vim.api.nvim_buf_get_name(0))
                files.reveal_cwd()
              end
            '';
          };

          opts.windows.preview = false;
          opts.mappings.go_in_plus = "l";
        };
        # }}}
        # {{{ winbar
        winbar = {
          package = "fgheng/winbar.nvim";

          cond = [ (blacklist [ "vscode" "firenvim" ]) notmp ];
          event = "BufReadPost";

          opts.enabled = true;
          # TODO: blacklist harpoon, NeogitStatus
        };
        # }}}
        # {{{ harpoon
        harpoon = {
          package = "ThePrimeagen/harpoon";
          keys =
            let goto = key: index: {
              desc = "Goto harpoon file ${toString index}";
              mapping = "<c-s>${key}";
              action = thunk
                /* lua */ ''require("harpoon.ui").nav_file(${toString index})'';
            };
            in
            [
              {
                desc = "Add file to [h]arpoon";
                mapping = "<leader>H";
                action = thunk
                  /* lua */ ''require("harpoon.mark").add_file()'';
              }
              {
                desc = "Toggle harpoon quickmenu";
                mapping = "<c-a>";
                action = thunk
                  /* lua */ ''require("harpoon.ui").toggle_quick_menu()'';
              }
              (goto "q" 1)
              (goto "w" 2)
              (goto "e" 3)
              (goto "r" 4)
              (goto "a" 5)
              (goto "s" 6)
              (goto "d" 7)
              (goto "f" 8)
              (goto "z" 9)
            ];
        };
        # }}}
        # {{{ neogit
        neogit = {
          package = "TimUntersberger/neogit";
          dependencies.lua = [ "plenary" ];

          cond = blacklist [ "vscode" "firenvim" ];
          cmd = "Neogit"; # We sometimes spawn this directly from fish using a keybind
          keys = nmap "<c-g>" "<cmd>Neogit<cr>" "Open neo[g]it";

          opts = true; # Here so the tempest runtime will call .setup
          config.autocmds = {
            event = "FileType";
            pattern = "NeogitStatus";
            group = "NeogitStatusDisableFolds";
            action.vim.opt.foldenable = false;
          };
        };
        # }}}
        # {{{ telescope
        telescope = {
          package = "nvim-telescope/telescope.nvim";
          version = "0.1.x";
          cond = blacklist "vscode";

          # {{{ Dependencies
          dependencies = {
            nix = [ pkgs.ripgrep ];
            lua = [
              "plenary"
              {
                # We want a prebuilt version of this plugin
                dir = pkgs.vimPlugins.telescope-fzf-native-nvim;
                name = "telescope-fzf-native";
              }
            ];
          };
          # }}}
          # {{{ Keymaps
          keys =
            let
              nmap = mapping: action: desc: {
                inherit mapping desc;
                action = "<cmd>Telescope ${action} theme=ivy<cr>";
              };

              findFilesByExtension = mapping: extension: tag:
                nmap
                  "<leader>f${mapping}"
                  "find_files find_command=rg,--files,--glob=**/*.${extension}"
                  "Find ${tag} files";
            in
            [
              (nmap "<c-p>" "find_files" "File finder [p]alette")
              (nmap "<leader>d" "diagnostics" "[D]iagnostics")
              (nmap "<c-f>" "live_grep" "[F]ind in project")
              (nmap "<leader>t" "builtin" "[T]elescope pickers")
              # {{{ Files by extension 
              (findFilesByExtension "tx" "tex" "[t]ex")
              (findFilesByExtension "ts" "ts" "[t]ypescript")
              (findFilesByExtension "ty" "typ" "[t]ypst")
              (findFilesByExtension "l" "lua" "[l]ua")
              (findFilesByExtension "n" "nix" "[n]ua")
              (findFilesByExtension "p" "purs" "[p]urescript")
              (findFilesByExtension "h" "hs" "[h]askell")
              (findFilesByExtension "e" "elm" "[e]lm")
              (findFilesByExtension "r" "rs" "[r]ust")
              # }}}
            ];
          # }}}
          # {{{ Disable folds in telescope windows
          config.autocmds = {
            event = "FileType";
            pattern = "TelescopeResults";
            group = "TelescopeResultsDisableFolds";
            action.vim.opt.foldenable = false;
          };
          # }}}
          # {{{ Load fzf extension
          config.callback = thunk /* lua */ ''
            require("telescope").load_extension("fzf")
          '';
          # }}}
          # {{{ Options
          opts.defaults.mappings.i."<C-h>" = "which_key";
          opts.pickers.find_files.hidden = true;
          opts.extensions.fzf = {
            fuzzy = true;
            override_generic_sorter = true;
            override_file_sorter = true;
          };
          # }}}
        };
        # }}}
        # {{{ dressing
        dressing = {
          package = "stevearc/dressing.nvim";

          cond = blacklist "vscode";
          event = "VeryLazy";

          config = true;
          init = thunk /* lua */ ''
            vim.ui.select = function(...)
              require("lazy").load({ plugins = { "dressing.nvim" } })
              return vim.ui.select(...)
            end
            vim.ui.input = function(...)
              require("lazy").load({ plugins = { "dressing.nvim" } })
              return vim.ui.input(...)
            end
          '';
        };
        # }}}
        # }}}
        # {{{ visual
        # The line between `ui` and `visual` is a bit rought. I currenlty mostly judge
        # it by vibe.
        # {{{ indent-blankline 
        indent-blankline = {
          package = "lukas-reineke/indent-blankline.nvim";
          main = "ibl";
          config = true;

          cond = blacklist "vscode";
          event = "VeryLazy";
        };
        # }}}
        # {{{ live-command
        # Live command preview for commands like :norm
        live-command = {
          package = "smjonas/live-command.nvim";
          version = "remote"; # https://github.com/smjonas/live-command.nvim/pull/29
          main = "live-command";

          event = "CmdlineEnter";
          opts.commands.Norm.cmd = "norm";
          opts.commands.G.cmd = "g";

          keys = keymap "v" "N" ":Norm " "Map lines in [n]ormal mode";
        };
        # }}}
        # {{{ fidget
        fidget = {
          package = "j-hui/fidget.nvim";
          tag = "legacy";

          cond = blacklist "vscode";
          event = "BufReadPre";
          config = true;
        };
        # }}}
        # {{{ treesitter
        treesitter = {
          # REASON: more grammars
          # dir = upkgs.vimPlugins.nvim-treesitter.withAllGrammars;
          package = "nvim-treesitter/nvim-treesitter";
          main = "nvim-treesitter.configs";

          dependencies.lua = [ "nvim-treesitter/nvim-treesitter-textobjects" ];
          dependencies.nix = [ pkgs.tree-sitter ];

          cond = blacklist "vscode";
          event = "VeryLazy";

          #{{{ Highlighting
          opts.highlight = {
            enable = true;
            disable = [ "kotlin" ]; # This one seemed a bit broken
            additional_vim_regex_highlighting = false;
          };
          #}}}
          # {{{ Textobjects
          opts.textobjects = {
            #{{{ Select
            select = {
              enable = true;
              lookahead = true;
              keymaps = {
                # You can use the capture groups defined in textobjects.scm
                af = "@function.outer";
                "if" = "@function.inner";
                ac = "@class.outer";
                ic = "@class.inner";
              };
            };
            #}}}
            #{{{ Move
            move = {
              enable = true;
              set_jumps = true; # whether to set jumps in the jumplist
              goto_next_start = {
                "]f" = "@function.outer";
                "]t" = "@class.outer";
              };
              goto_next_end = {
                "]F" = "@function.outer";
                "]T" = "@class.outer";
              };
              goto_previous_start = {
                "[f" = "@function.outer";
                "[t" = "@class.outer";
              };
              goto_previous_end = {
                "[F" = "@function.outer";
                "[T" = "@class.outer";
              };
            };
            #}}}
          };
          # }}}
          opts.indent.enable = true;
        };
        # }}}
        # {{{ treesitter context
        # Show context at the of closing delimiters
        treesitter-virtual-context = {
          package = "haringsrob/nvim_context_vt";
          dependencies.lua = [ "treesitter" ];

          cond = blacklist "vscode";
          event = "VeryLazy";
        };

        # REASON: broken
        # show context at top of file
        # treesitter-top-context = {
        #   package = "nvim-treesitter/nvim-treesitter-context";
        #   dependencies.lua = [ "treesitter" ];
        #
        #   cond = blacklist "vscode";
        #   event = "VeryLazy";
        #   opts.enable = true;
        # };
        # }}}
        # }}}
        # {{{ editing 
        # {{{ text navigation
        # {{{ flash
        flash = {
          package = "folke/flash.nvim";

          cond = blacklist "vscode";
          keys =
            let nmap = mode: mapping: action: desc: {
              inherit mapping desc mode;
              action = thunk /* lua */ ''require("flash").${action}()'';
            };
            in
            [
              (nmap "nxo" "s" "jump" "Flash")
              (nmap "nxo" "S" "treesitter" "Flash Treesitter")
              (nmap "o" "r" "remote" "Remote Flash")
              (nmap "ox" "R" "treesitter_search" "Treesitter Search")
              (nmap "c" "<C-S>" "toggle" "Toggle Flash Search")
            ];

          # Disable stuff like f/t/F/T
          opts.modes.char.enabled = false;
        };
        # }}}
        # {{{ ftft (quickscope but written in lua)
        ftft = {
          package = "gukz/ftFT.nvim";

          cond = blacklist "vscode";
          keys = [ "f" "F" "t" "T" ];
          config = true;
        };
        # }}}
        # }}}
        # {{{ clipboard-image
        clipboard-image = {
          package = "postfen/clipboard-image.nvim";

          cond = blacklist "firenvim";
          cmd = "PasteImg";

          keys = {
            mapping = "<leader>p";
            action = "<cmd>PasteImg<cr>";
            desc = "[P]aste image from clipboard";
          };

          opts.default.img_name = importFrom ./plugins/clipboard-image.lua "img_name";
          opts.tex = {
            img_dir = [ "%:p:h" "img" ];
            affix = "\\includegraphics[width=\\textwidth]{%s}";
          };
          opts.typst = {
            img_dir = [ "%:p:h" "img" ];
            affix = ''#image("%s", width: 100)'';
          };
        };
        # }}}
        # {{{ lastplace 
        lastplace = {
          package = "ethanholz/nvim-lastplace";

          cond = blacklist "vscode";
          event = "BufReadPre";

          opts.lastplace_ignore_buftype = [ "quickfix" "nofile" "help" ];
        };
        # }}}
        # {{{ undotree
        undotree = {
          package = "mbbill/undotree";

          cond = blacklist "vscode";
          cmd = "UndotreeToggle";
          keys = nmap
            "<leader>u"
            "<cmd>UndoTreeToggle<cr>"
            "[U]ndo tree";
        };
        # }}}
        # {{{ ssr (structured search & replace)
        ssr = {
          package = "cshuaimin/ssr.nvim";

          cond = blacklist "vscode";
          keys = {
            mode = "nx";
            mapping = "<leader>rt";
            action = thunk /* lua */ ''require("ssr").open()'';
            desc = "[r]eplace [t]emplate";
          };

          opts.keymaps.replace_all = "<s-cr>";
        };
        # }}}
        # {{{ mini.comment 
        mini-comment = {
          package = "echasnovski/mini.comment";
          name = "mini.comment";

          config = true;
          keys = [
            { mapping = "gc"; mode = "nxv"; }
            "gcc"
          ];
        };
        # }}}
        # {{{ mini.surround
        mini-surround = {
          package = "echasnovski/mini.surround";
          name = "mini.surround";

          keys = lib.flatten [
            # ^ doing the whole `flatten` thing to lie to my formatter
            { mapping = "<tab>s"; mode = "nv"; }
            [ "<tab>d" "<tab>f" "<tab>F" "<tab>h" "<tab>r" ]
          ];

          # {{{ Keymaps
          opts.mappings = {
            add = "<tab>s"; # Add surrounding in Normal and Visul modes
            delete = "<tab>d"; # Delete surrounding
            find = "<tab>f"; # Find surrounding (to the right)
            find_left = "<tab>F"; # Find surrounding (to the left)
            highlight = "<tab>h"; # Highlight surrounding
            replace = "<tab>r"; # Replace surrounding
            update_n_lines = ""; # Update `n_lines`
          };
          # }}}
          # {{{ Custom surroundings
          opts.custom_surroundings =
            let mk = balanced: input: left: right: {
              input = [
                input
                (if balanced
                then "^.%s*().-()%s*.$"
                else "^.().*().$")
              ];
              output = { inherit left right; };
            };
            in
            {
              b = mk true "%b()" "(" ")";
              B = mk true "%b{}" "{" "}";
              r = mk true "%b[]" "[" "]";
              q = mk false "\".-\"" "\"" "\"";
              a = mk false "'.-'" "'" "'";
            };
          # }}}
        };
        # }}}
        # {{{ mini.operators
        mini-operators = {
          package = "echasnovski/mini.operators";
          name = "mini.operators";

          config = true;
          keys =
            let operator = key: [
              { mapping = "g${key}"; mode = "nv"; }
              "g${key}${key}"
            ];
            in
            lib.flatten [
              (operator "=")
              (operator "x")
              (operator "r")
              (operator "s")
            ];
        };
        # }}}
        # {{{ mini.pairs
        mini-pairs = {
          package = "echasnovski/mini.pairs";
          name = "mini.pairs";

          config = true;
          # We could specify all the generated bindings, but I don't think it's worth it
          event = [ "InsertEnter" "CmdlineEnter" ];
        };
        # }}}
        # {{{ luasnip
        # snippeting engine
        luasnip =
          let reload = /* lua */ ''require("luasnip.loaders.from_vscode").lazy_load()'';
          in
          {
            package = "L3MON4D3/LuaSnip";
            version = "v2";

            cond = blacklist "vscode";
            config = thunk reload;

            # {{{ Keybinds
            keys = [
              {
                mapping = "<leader>rs";
                action = thunk reload;
                desc = "[R]eload [s]nippets";
              }
              {
                mode = "i";
                expr = true;
                mapping = "<tab>";
                action = thunk /* lua */ ''
                  local luasnip = require("luasnip")

                  if not luasnip.jumpable(1) then
                    return "<tab>"
                  end

                  vim.schedule(function()
                    luasnip.jump(1)
                  end)

                  return "<ignore>"
                '';
                desc = "Jump to next snippet tabstop";
              }
              {
                mode = "i";
                mapping = "<s-tab>";
                action = thunk /* lua */ ''
                  require("luasnip").jump(-1)
                '';
                desc = "Jump to previous snippet tabstop";
              }
            ];
            # }}}
          };
        # }}}
        # }}}
        # {{{ ide
        # {{{ conform
        conform = {
          dependencies.lua = [ "neovim/nvim-lspconfig" ];
          package = "stevearc/conform.nvim";

          cond = blacklist "vscode";
          event = "VeryLazy";

          opts.format_on_save.lsp_fallback = true;
          opts.formatters_by_ft = let prettier = [ [ "prettierd" "prettier" ] ]; in
            {
              lua = [ "stylua" ];
              python = [ "ruff_format" ];

              javascript = prettier;
              typescript = prettier;
              javascriptreact = prettier;
              typescriptreact = prettier;
              html = prettier;
              css = prettier;
              markdown = prettier;
            };
        };
        # }}}
        # {{{ neoconf
        neoconf = {
          package = "folke/neoconf.nvim";

          cmd = "Neoconf";

          # Provide autocomplete for every language server
          opts.plugins.jsonls.configure_servers_only = false;
          opts.import = {
            vscode = true; # local .vscode/settings.json
            coc = false; # global/local coc-settings.json
            nlsp = false; # global/local nlsp-settings.nvim json settings
          };
        };
        # }}}
        # {{{ null-ls
        null-ls = {
          package = "jose-elias-alvarez/null-ls.nvim";
          dependencies.lua = [ "neovim/nvim-lspconfig" ];

          cond = blacklist "vscode";
          event = "VeryLazy";

          opts = thunk /* lua */ ''
            local p = require("null-ls")
            return {
              sources = {
                p.builtins.diagnostics.ruff
              }
            }
          '';
        };
        # }}}
        # {{{ gitsigns
        gitsigns = {
          package = "lewis6991/gitsigns.nvim";

          cond = [ (blacklist [ "vscode" "firenvim" ]) notmp ];
          event = "BufReadPost";

          opts.on_attach = tempest {
            mkContext = lua /* lua */
              "function(bufnr) return { bufnr = bufnr } end";
            keys =
              let
                prefix = m: "<leader>h${m}";
                gs = "package.loaded.gitsigns";

                # {{{ nmap helper
                nmap = mapping: action: desc: {
                  inherit desc;
                  mapping = prefix "mapping";
                  action = "${gs}.action";
                };
                # }}}
                # {{{ exprmap helper
                exprmap = mapping: action: desc: {
                  inherit mapping desc;
                  action = thunk /* lua */ ''
                    if vim.wo.diff then
                      return "${mapping}"
                    end

                    vim.schedule(function()
                      ${gs}.${action}()
                    end)

                    return "<ignore>"
                  '';
                  expr = true;
                };
                # }}}
              in
              [
                # {{{ navigation
                (exprmap "]c" "next_hunk" "Navigate to next hunk")
                (exprmap "[c" "prev_hunk" "Navigate to previous hunk")
                # }}}
                # {{{ actions
                (nmap "s" "stage_hunk" "[s]tage hunk")
                (nmap "r" "reset_hunk" "[s]tage hunk")
                (nmap "S" "stage_buffer" "[s]tage hunk")
                (nmap "u" "undo_stage_hunk" "[s]tage hunk")
                (nmap "R" "reset_buffer" "[s]tage hunk")
                (nmap "p" "preview_hunk" "[s]tage hunk")
                (nmap "d" "diffthis" "[s]tage hunk")
                {
                  mapping = prefix "D";
                  action = thunk ''
                    ${gs}.diffthis("~")
                  '';
                  desc = "[d]iff file (?)";
                }
                {
                  mapping = prefix "b";
                  action = thunk ''
                    ${gs}.blame_line({ full = true })
                  '';
                  desc = "[b]lame line";
                }
                # }}}
                # {{{ Toggles
                (nmap "tb" "toggle_current_line_blame" "[t]oggle line [b]laming")
                (nmap "td" "toggle_deleted" "[t]oggle [d]eleted")
                # }}}
                # {{{ visual mappings
                {
                  mode = "v";
                  mapping = prefix "s";
                  action = thunk /* lua */ ''
                    ${gs}.stage_hunk({ vim.fn.line("."), vim.fn.line("v") })
                  '';
                  desc = "stage visual hunk";
                }
                {
                  mode = "v";
                  mapping = prefix "r";
                  action = thunk /* lua */ ''
                    ${gs}.reset_hunk({ vim.fn.line("."), vim.fn.line("v") })
                  '';
                  desc = "reset visual hunk";
                }
                # }}}
              ];
          };
        };
        # }}}
        # {{{ cmp
        cmp = {
          package = "hrsh7th/nvim-cmp";
          dependencies.lua = [
            # {{{ Completion sources
            "hrsh7th/cmp-nvim-lsp"
            "hrsh7th/cmp-buffer"
            "hrsh7th/cmp-emoji"
            "hrsh7th/cmp-cmdline"
            "hrsh7th/cmp-path"
            "saadparwaiz1/cmp_luasnip"
            "dmitmel/cmp-digraphs"
            # }}}
            "onsails/lspkind.nvim" # show icons in lsp completion menus
            "luasnip"
          ];

          cond = blacklist "vscode";
          event = [ "InsertEnter" "CmdlineEnter" ];
          config = importFrom ./plugins/cmp.lua "config";
        };
        # }}}
        # {{{ inc-rename
        inc-rename = {
          package = "smjonas/inc-rename.nvim";
          dependencies.lua = [ "dressing" ];

          cond = blacklist "vscode";
          event = "VeryLazy";

          opts.input_buffer_type = "dressing";
          config.autocmds = {
            event = "LspAttach";
            group = "CreateIncRenameKeybinds";
            action.keys = {
              mapping = "<leader>rn";
              action = ":IncRename <c-r><c-w>";
              desc = "Incremenetal [r]e[n]ame";
            };
          };
        };
        # }}}
        # }}}
        # {{{ language support 
        # {{{ haskell support
        haskell-tools = {
          package = "mrcjkb/haskell-tools.nvim";
          dependencies.lua = [ "plenary" ];
          version = "^2";

          cond = blacklist "vscode";
          ft = [ "haskell" "lhaskell" "cabal" "cabalproject" ];

          config.vim.g.haskell_tools = {
            hls.settings.haskell = {
              formattingProvider = "fourmolu";

              # This seems to work better with custom preludes
              # See this issue https://github.com/fourmolu/fourmolu/issues/357
              plugin.fourmolu.config.external = true;
            };

            # I think this wasn't showing certain docs as I expected (?)
            tools.hover.enable = false;
          };
        };
        # }}}
        # {{{ rust support
        # {{{ rust-tools 
        rust-tools = {
          package = "simrat39/rust-tools.nvim";
          dependencies.nix = [ pkgs.rust-analyzer pkgs.rustfmt ];

          cond = blacklist "vscode";
          ft = "rust";

          opts.server.on_attach = tempestBufnr {
            keys = {
              mapping = "<leader>lc";
              action = "<cmd>RustOpenCargo<cr>";
              desc = "Open [c]argo.toml";
            };
          };
        };
        # }}}
        # {{{ crates 
        crates = {
          package = "saecki/crates.nvim";
          dependencies.lua = [ "plenary" ];

          cond = blacklist "vscode";
          event = "BufReadPost Cargo.toml";

          # {{{ Set up null_ls source
          opts.null_ls = {
            enabled = true;
            name = "crates";
          };
          # }}}

          config.autocmds = [
            # {{{ Load cmp source on insert 
            {
              event = "InsertEnter";
              group = "CargoCmpSource";
              pattern = "Cargo.toml";
              action = thunk /* lua */ ''
                require("cmp").setup.buffer({ sources = { { name = "crates" } } })
              '';
            }
            # }}}
            # {{{ Load keybinds on attach
            {
              event = "BufReadPost";
              group = "CargoKeybinds";
              pattern = "Cargo.toml";
              # # {{{ Register which-key info
              # action.callback = contextThunk /* lua */ ''
              #  require("which-key").register({
              #    ["<leader>lc"] = {
              #      name = "[l]ocal [c]rates",
              #      bufnr = context.bufnr
              #    },
              #  })
              # '';
              # }}}

              action.keys = _:
                let
                  # {{{ Keymap helpers 
                  nmap = mapping: action: desc: {
                    inherit mapping desc;
                    action = lua /* lua */ ''require("crates").${action}'';
                  };

                  keyroot = "<leader>lc";
                  # }}}
                in
                # {{{ Keybinds
                [
                  (nmap "${keyroot}t" "toggle" "[c]rates [t]oggle")
                  (nmap "${keyroot}r" "reload" "[c]rates [r]efresh")

                  (nmap "${keyroot}H" "open_homepage" "[c]rate [H]omephage")
                  (nmap "${keyroot}R" "open_repository" "[c]rate [R]epository")
                  (nmap "${keyroot}D" "open_documentation" "[c]rate [D]ocumentation")
                  (nmap "${keyroot}C" "open_crates_io" "[c]rate [C]rates.io")

                  (nmap "${keyroot}v" "show_versions_popup" "[c]rate [v]ersions")
                  (nmap "${keyroot}f" "show_features_popup" "[c]rate [f]eatures")
                  (nmap "${keyroot}d" "show_dependencies_popup" "[c]rate [d]eps")
                  (nmap "K" "show_popup" "[c]rate popup")
                ];
              # }}}
            }
            # }}}
          ];
        };
        # }}}
        # }}}
        # {{{ lean support
        lean = {
          package = "Julian/lean.nvim";
          name = "lean";
          dependencies.lua = [
            "plenary"
            "neovim/nvim-lspconfig"
          ];

          cond = blacklist "vscode";
          ft = "lean";

          opts = {
            abbreviations = {
              builtin = true;
              cmp = true;
            };

            lsp.capabilites =
              lua /* lua */ ''require("my.plugins.lspconfig").capabilities'';

            lsp3 = false; # We don't want the lean 3 language server!
            mappings = true;
          };
        };
        # }}}
        # {{{ idris support
        idris = {
          package = "ShinKage/idris2-nvim";
          name = "idris";
          dependencies.lua = [
            "nui"
            "neovim/nvim-lspconfig"
          ];

          cond = blacklist "vscode";
          ft = [ "idris2" "lidris2" "ipkg" ];

          opts = {
            client.hover.use_split = true;
            serve.on_attach = tempestBufnr {
              # {{{ Keymaps
              keys =
                let keymap = mapping: action: desc: {
                  inherit desc;
                  mapping = "<leader>i${mapping}";
                  action = lua /* lua */ ''require("idris2.code_action").${action}'';
                };
                in
                [
                  (keymap "C" "make_case" "Make [c]ase")
                  (keymap "L" "make_lemma" "Make [l]emma")
                  (keymap "c" "add_clause" "Add [c]lause")
                  (keymap "e" "expr_search" "[E]xpression search")
                  (keymap "d" "generate_def" "Generate [d]efinition")
                  (keymap "s" "case_split" "Case [s]plit")
                  (keymap "h" "refine_hole" "Refine [h]ole")
                ];
              # }}}
            };
          };
        };
        # }}}
        # {{{ github actions
        github-actions = {
          package = "yasuhiroki/github-actions-yaml.vim";

          cond = blacklist "vscode";
          ft = [ "yml" "yaml" ];
        };
        # }}}
        # {{{ typst support
        typst = {
          package = "kaarmu/typst.vim";
          dependencies.nix = [ pkgs.typst-lsp pkgs.typst-fmt ];

          cond = blacklist "vscode";
          ft = "typst";
        };
        # }}}
        # {{{ purescript support
        # purescript = {
        #   package = "purescript-contrib/purescript-vim";
        #
        #   cond = blacklist "vscode";
        #   ft = "purescript";
        # };
        # }}}
        # {{{ hyprland support
        hyprland = {
          package = "theRealCarneiro/hyprland-vim-syntax";

          cond = blacklist "vscode";
          ft = "hypr";

          init.autocmds = {
            event = "BufRead";
            group = "DetectHyprlandConfig";
            pattern = "hyprland.conf";
            action.vim.opt.ft = "hypr";
          };
        };
        # }}}
        # }}}
        # {{{ external
        # These plugins integrate neovim with external services
        # {{{ wakatime
        wakatime = {
          package = "wakatime/vim-wakatime";
          dependencies.nix = [ pkgs.wakatime ];

          cond = blacklist [ "vscode" "firenvim" ];
          event = "VeryLazy";
        };
        # }}}
        # {{{ discord rich presence 
        discord-rich-presence = {
          package = "andweeb/presence.nvim";
          main = "presence";

          cond = blacklist [ "vscode" "firenvim" ];
          event = "VeryLazy";
          config = true;
        };
        # }}}
        # {{{ gitlinker 
        # generate permalinks for code
        gitlinker =
          let mapping = "<leader>yg";
          in
          {
            package = "ruifm/gitlinker.nvim";
            dependencies.lua = [ "plenary" ];

            cond = blacklist [ "vscode" "firenvim" ];
            opts.mappings = mapping;
            keys = mapping;
          };
        # }}}
        # {{{ paperplanes
        # export to pastebin like services
        paperlanes = {
          package = "rktjmp/paperplanes.nvim";
          cmd = "PP";
          opts.provider = "paste.rs";
        };
        # }}}
        # {{{ obsidian
        obsidian =
          let
            vault = "${config.xdg.userDirs.extraConfig.XDG_PROJECTS_DIR}/stellar-sanctum";
            dateFormat = "%Y-%m-%d";
          in
          {
            package = "epwalsh/obsidian.nvim";
            dependencies.lua = [ "plenary" ];

            cond = [
              (blacklist [ "vscode" "firenvim" ])
              (lua /* lua */ "vim.loop.cwd() == ${encode vault}")
            ];
            event = "VeryLazy";

            keys.mapping = "<C-O>";
            keys.action = "<cmd>ObsidianQuickSwitch<cr>";

            opts = {
              dir = vault;
              notes_subdir = "chaos";

              daily_notes = {
                folder = "daily";
                date_format = dateFormat;
                template = "New daily note.md";
              };

              templates = {
                subdir = "templates";
                date_format = dateFormat;
                time_format = "%H:%M";
              };

              completion = {
                nvim_cmp = true;
                min_chars = 2;
                new_notes_location = "current_dir";
                prepend_note_id = true;
              };

              mappings = { };
              disable_frontmatter = true;
            };
          };
        # }}}
        # }}}
      };
      # }}}
    }));

  # {{{ extraPackages
  extraPackages = with pkgs; [
    # Language servers
    nodePackages.typescript-language-server # typescript
    # nodePackages_latest.purescript-language-server # purescript
    lua-language-server # lua
    rnix-lsp # nix
    nil # nix
    inputs.nixd.packages.${system}.nixd # nix
    texlab # latex
    nodePackages_latest.vscode-langservers-extracted # web stuff
    # haskell-language-server # haskell

    # Formatters
    stylua # Lua
    # nodePackages_latest.purs-tidy # Purescript
    nodePackages_latest.prettier # Js & friends
    nodePackages_latest.prettier_d_slim # Js & friends

    # Linters
    ruff # Python linter

    # Languages
    nodePackages.typescript # typescript
    lua # For repls and whatnot

    # Others
    fd # file finder

    # Latex setup
    # texlive.combined.scheme-full # Latex stuff
    # python38Packages.pygments # required for latex syntax highlighting
  ] ++ generated.dependencies;
  # }}}
  # {{{ extraRuntime
  # Experimental nix module generation
  generatedConfig = (config.satellite.lib.lua.writeFile
    "lua/nix" "init"
    generated.lua);

  extraRuntimePaths = [ generatedConfig ];

  extraRuntimeJoinedPaths = pkgs.symlinkJoin
    {
      name = "nixified-neovim-lua-modules";
      paths = extraRuntimePaths;
    };

  extraRuntime =
    let snippets = config.satellite.dev.path
      "home/features/neovim/snippets";
    in
    lib.concatStringsSep
      ","
      [ extraRuntimeJoinedPaths snippets ];
  # }}}
  # {{{ Client wrapper
  # Wraps a neovim client, providing the dependencies
  # and setting some flags:
  #
  # - NVIM_EXTRA_RUNTIME provides extra directories to add to the runtimepath. 
  #   I cannot just install those dirs using the builtin package support because 
  #   my package manager (lazy.nvim) disables those.
  wrapClient = { base, name, binName ? name, extraArgs ? "", wrapFlags ? lib.id }:
    let
      startupScript = config.satellite.lib.lua.writeFile
        "." "startup" /* lua */ ''
        vim.g.nix_extra_runtime = ${nlib.encode extraRuntime}
        vim.g.nix_projects_dir = ${nlib.encode config.xdg.userDirs.extraConfig.XDG_PROJECTS_DIR}
        vim.g.nix_theme = ${config.satellite.colorscheme.lua}
        -- Provide hints as to what app we are running in
        -- (Useful because neovide does not provide the info itself right away)
        vim.g.nix_neovim_app = ${nlib.encode name}
      '';
      extraFlags = lib.escapeShellArg (wrapFlags
        ''--cmd "lua dofile('${startupScript}/startup.lua')"'');
    in
    pkgs.symlinkJoin {
      inherit (base) name meta;
      paths = [ base ];
      nativeBuildInputs = [ pkgs.makeWrapper ];
      postBuild = ''
        wrapProgram $out/bin/${binName} \
          --prefix PATH : ${lib.makeBinPath extraPackages} \
          --add-flags ${extraFlags} \
          ${extraArgs}
      '';
    };
  # }}}
  # {{{ Clients
  neovim = wrapClient {
    base =
      if config.satellite.toggles.neovim-nightly.enable
      then pkgs.neovim-nightly
      else upkgs.neovim;
    name = "nvim";
  };

  neovide = wrapClient {
    base = pkgs.neovide;
    name = "neovide";
    extraArgs = "--set NEOVIDE_MULTIGRID true";
    wrapFlags = flags: "-- ${flags}";
  };

  firenvim = wrapClient {
    base = pkgs.neovim;
    name = "firenvim";
    binName = "nvim";
    extraArgs = "--set GIT_DISCOVERY_ACROSS_FILESYSTEM 1";
  };
  # }}}
in
{
  satellite.lua.styluaConfig = ../../../stylua.toml;

  # {{{ Basic config
  # We still want other modules to know that we are using neovim!
  satellite.toggles.neovim.enable = true;

  xdg.configFile.nvim.source = config.satellite.dev.path "home/features/neovim/config";
  home.sessionVariables.EDITOR = "nvim";
  home.file.".nvim_nix_runtime".source = generatedConfig;

  home.packages = [
    neovim
    neovide
    pkgs.vimclip
  ];
  # }}}
  # {{{ Firenvim
  home.file.".mozilla/native-messaging-hosts/firenvim.json" =
    lib.mkIf config.programs.firefox.enable {
      text =
        let
          # God knows what this does
          # https://github.com/glacambre/firenvim/blob/87c9f70d3e6aa2790982aafef3c696dbe962d35b/autoload/firenvim.vim#L592
          firenvim_init = pkgs.writeText "firenvim_init.vim" /* vim */ ''
            let g:firenvim_i=[]
            let g:firenvim_o=[]
            let g:Firenvim_oi={i,d,e->add(g:firenvim_i,d)}
            let g:Firenvim_oo={t->[chansend(2,t)]+add(g:firenvim_o,t)}
            let g:firenvim_c=stdioopen({'on_stdin':{i,d,e->g:Firenvim_oi(i,d,e)},'on_print':{t->g:Firenvim_oo(t)}})
            let g:started_by_firenvim = v:true
          '';

          firenvim_file_loaded = pkgs.writeText "firenvim_file_loaded.vim" /* vim */ ''
            try
              call firenvim#run()
            catch /Unknown function/
              call chansend(g:firenvim_c,["f\n\n\n"..json_encode({"messages":["Your plugin manager did not load the Firenvim plugin for neovim."],"version":"0.0.0"})])
              call chansend(2,["Firenvim not in runtime path. &rtp="..&rtp])
              qall!
            catch
              call chansend(g:firenvim_c,["l\n\n\n"..json_encode({"messages": ["Something went wrong when running firenvim. See troubleshooting guide."],"version":"0.0.0"})])
              call chansend(2,[v:exception])
              qall!
            endtry
          '';
        in
        builtins.toJSON {
          name = "firenvim";
          description = "Turn your browser into a Neovim GUI.";
          type = "stdio";
          allowed_extensions = [ "firenvim@lacamb.re" ];
          path = pkgs.writeShellScript "firenvim.sh" ''
            mkdir -p /run/user/$UID/firenvim
            chmod 700 /run/user/$UID/firenvim
            cd /run/user/$UID/firenvim

            exec '${firenvim}/bin/nvim' --headless \
              --cmd 'source "${firenvim_init}"' \
              -S    '${firenvim_file_loaded}'
          '';
        };
    };
  # }}}
  # {{{ Persistence
  satellite.persistence.at.state.apps.neovim.directories = [
    ".local/state/nvim"
    "${config.xdg.dataHome}/nvim"
  ];

  satellite.persistence.at.cache.apps.neovim.directories = [
    "${config.xdg.cacheHome}/nvim"
  ];
  # }}}
}