nixvim docs

lsp.servers.idris2_lsp

The idris2_lsp language server.

Type: submodule

Default: { }

Declared by:

• <nixvim/modules/lsp/servers>

lsp.servers.idris2_lsp.enable

Whether to enable idris2_lsp.

Type: boolean

Default: false

Example: true

Declared by:

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

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:

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

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:

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

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:

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

lsp.servers.idris2_lsp.settings

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:

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