nixvim docs

lsp.servers.leanls

The leanls language server.

Type: submodule

Default: { }

Declared by:

• <nixvim/modules/lsp/servers>

lsp.servers.leanls.enable

Whether to enable leanls.

Type: boolean

Default: false

Example: true

Declared by:

• <nixvim/modules/lsp/servers/server.nix>

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:

• <nixvim/modules/lsp/servers/server.nix>

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:

• <nixvim/modules/lsp/servers/server.nix>

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:

• <nixvim/modules/lsp/servers/server.nix>

lsp.servers.leanls.settings

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:

• <nixvim/modules/lsp/servers/server.nix>