coq_lsp

URL: https://github.com/ejgallego/coq-lsp

plugins.lsp.servers.coq_lsp.enable

Whether to enable https://github.com/ejgallego/coq-lsp/ .

Type: boolean

Default: false

Example: true

Declared by:

<nixvim/plugins/lsp/language-servers>

plugins.lsp.servers.coq_lsp.package

The coq_lsp package to use.

Type: null or package

Default: pkgs.coqPackages.coq-lsp

Declared by:

<nixvim/plugins/lsp/language-servers>

plugins.lsp.servers.coq_lsp.autostart

Controls if the FileType autocommand that launches a language server is created. If false, allows for deferring language servers until manually launched with :LspStart (|lspconfig-commands|).

Type: null or boolean or raw lua code

Default: null

Plugin default: true

Declared by:

<nixvim/plugins/lsp/language-servers>

plugins.lsp.servers.coq_lsp.cmd

A list where each entry corresponds to the blankspace delimited part of the command that launches the server.

The first entry is the binary used to run the language server. Additional entries are passed as arguments.

Type: null or (list of string)

Default: null

Declared by:

<nixvim/plugins/lsp/language-servers>

plugins.lsp.servers.coq_lsp.extraOptions

Extra options for the coq_lsp language server.

Type: attribute set of anything

Default: { }

Declared by:

<nixvim/plugins/lsp/language-servers>

plugins.lsp.servers.coq_lsp.filetypes

Set of filetypes for which to attempt to resolve {root_dir}. May be empty, or server may specify a default value.

Type: null or (list of string)

Default: null

Declared by:

<nixvim/plugins/lsp/language-servers>

plugins.lsp.servers.coq_lsp.rootDir

A function (or function handle) which returns the root of the project used to determine if lspconfig should launch a new language server, or attach a previously launched server when you open a new buffer matching the filetype of the server.

Type: null or lua function string

Default: null

Plugin default: "nil"

Declared by:

<nixvim/plugins/lsp/language-servers>

plugins.lsp.servers.coq_lsp.settings

The settings for this LSP.

Type: attribute set of anything

Default: { }

Example:

{
  callback = {
    __raw = ''
      function()
        print('nixvim')
      end
    '';
  };
  foo_bar = 42;
  hostname = "localhost:8080";
}

Declared by:

<nixvim/plugins/lsp/language-servers>

nixvim docs