idris2_lsp
URL: https://github.com/idris-community/idris2-lsp
plugins.lsp.servers.idris2_lsp.enable
Whether to enable https://github.com/idris-community/idris2-lsp The Idris 2 language
server. Plugins for the Idris 2 filetype include
Idris2-Vim (fewer features,
stable) and Nvim-Idris2
(cutting-edge, experimental). Idris2-Lsp requires a build of Idris 2
that includes the “Idris 2 API” package. Package managers with known
support for this build include the
AUR and
Homebrew. If your
package manager does not support the Idris 2 API, you will need to build
Idris 2 from source. Refer to the the Idris 2 installation
instructions
for details. Steps 5 and 8 are listed as “optional” in that guide, but
they are necessary in order to make the Idris 2 API available. You need
to install a version of Idris2-Lsp that is compatible with your version
of Idris 2. There should be a branch corresponding to every released
Idris 2 version after v0.4.0. Use the latest commit on that branch. For
example, if you have Idris v0.5.1, you should use the v0.5.1 branch of
Idris2-Lsp. If your Idris 2 version is newer than the newest Idris2-Lsp
branch, use the latest commit on the master
branch, and set a reminder
to check the Idris2-Lsp repo for the release of a compatible versioned
branch…
Type: boolean
Default:
false
Example:
true
Declared by:
plugins.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:
plugins.lsp.servers.idris2_lsp.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:
plugins.lsp.servers.idris2_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:
plugins.lsp.servers.idris2_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 when package
is null, otherwise null
Declared by:
plugins.lsp.servers.idris2_lsp.extraOptions
Extra options for the idris2_lsp language server.
Type: attribute set of anything
Default:
{ }
Declared by:
plugins.lsp.servers.idris2_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:
plugins.lsp.servers.idris2_lsp.rootMarkers
A list of files that mark the root of the project/workspace.
Vim’s LSP will try to share the same language server instance for all
buffers matching filetypes
within the same project.
A new server instance is only spawned when opening a buffer with a different project root.
See :h lsp-config
and :h vim.fs.root()
.
Type: null or (list of (string or raw lua code)) or raw lua code
Default:
null
Plugin default: null
Declared by:
plugins.lsp.servers.idris2_lsp.settings
The settings for this LSP.
Type: open submodule of attribute set of anything
Default:
{ }
Example:
{
callback = {
__raw = ''
function()
print('nixvim')
end
'';
};
foo_bar = 42;
hostname = "localhost:8080";
}
Declared by: