lsp.servers.idris2_lsp
The idris2_lsp language server.
Type: submodule
Default:
{ }
Declared by:
lsp.servers.idris2_lsp.enable
Whether to enable idris2_lsp.
Type: boolean
Default:
false
Example:
true
Declared by:
lsp.servers.idris2_lsp.package
The idris2_lsp package to use.
Alternatively, idris2_lsp should be installed on your $PATH.
Type: null or package
Default:
pkgs.idris2Packages.idris2Lsp
Declared by:
lsp.servers.idris2_lsp.packageFallback
When enabled, the language server package will be added to the end of the PATH (suffix) instead of the beginning (prefix).
This can be useful if you want local versions of the language server (e.g. from a devshell) to override the nixvim version.
Type: boolean
Default:
false
Declared by:
lsp.servers.idris2_lsp.activate
Whether to call vim.lsp.enable() for idris2_lsp.
Type: boolean
Default:
true, unless the server’s name is *
Example:
false
Declared by:
lsp.servers.idris2_lsp.config
Configurations for idris2_lsp.
Type: attribute set of anything
Default:
{ }
Example:
{
cmd = [
"clangd"
"--background-index"
];
filetypes = [
"c"
"cpp"
];
root_markers = [
"compile_commands.json"
"compile_flags.txt"
];
}
Declared by:
lsp.servers.idris2_lsp.name
The name to use for idris2_lsp.
Supplied to functions like vim.lsp.enable().
Type: string or raw lua code
Default:
"idris2_lsp"
Declared by: