summaryrefslogtreecommitdiff
path: root/start/lspconfig-0.1.8/lua/lspconfig/server_configurations/koka.lua
blob: 63f38386f4665122467f78f51a83d49baf15bac7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
local util = require 'lspconfig.util'

local root_files = {}

local default_capabilities = {
  textDocument = {
    completion = {
      editsNearCursor = true,
    },
  },
  offsetEncoding = { 'utf-8' },
}

return {
  default_config = {
    cmd = { 'koka', '--language-server' },
    filetypes = { 'kk' },
    root_dir = function(fname)
      return util.root_pattern(unpack(root_files))(fname) or util.find_git_ancestor(fname)
    end,
    single_file_support = true,
    capabilities = default_capabilities,
  },
  commands = {},
  docs = {
    description = [[
    https://koka-lang.github.io/koka/doc/index.html
Koka is a functional programming language with effect types and handlers.
    ]],
    default_config = {
      root_dir = [[
      ]],
      capabilities = [[default capabilities, with offsetEncoding utf-8]],
    },
  },
}