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