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