lsp.servers.vsrocq
The vsrocq language server.
Type: submodule
Default:
{ }
Declared by:
lsp.servers.vsrocq.enable
Whether to enable vsrocq.
Type: boolean
Default:
false
Example:
true
Declared by:
lsp.servers.vsrocq.package
The vsrocq package to use.
Alternatively, vsrocq should be installed on your $PATH.
Type: null or package
Default:
pkgs.rocqPackages.vsrocq-language-server
Declared by:
lsp.servers.vsrocq.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.vsrocq.activate
Whether to call vim.lsp.enable() for vsrocq.
Type: boolean
Default:
true, unless the server’s name is *
Example:
false
Declared by:
lsp.servers.vsrocq.config
Configurations for vsrocq.
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.vsrocq.name
The name to use for vsrocq.
Supplied to functions like vim.lsp.enable().
Type: string or raw lua code
Default:
"vsrocq"
Declared by: