plugins.lean.lsp

LSP settings.

Plugin default: {}

Type: null or (attribute set)

Default: null

Declared by:

plugins.lean.lsp.enable

Whether to enable the Lean language server(s) ?

Set to false to disable, otherwise should be a table of options to pass to leanls. See https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md#leanls for details.

Plugin default: true

Type: null or boolean or raw lua code

Default: null

Declared by:

plugins.lean.lsp.init_options

The options to configure the lean language server. See Lean.Lsp.InitializationOptions for details.

Type: null or (attribute set of anything)

Default: null

Declared by:

plugins.lean.lsp.on_attach

The LSP handler.

Type: null or string

Default: null

Declared by: