From b8a6632a0f2d263199d5d480ca85477fe0f414ab Mon Sep 17 00:00:00 2001 From: William Boman Date: Mon, 20 Feb 2023 22:19:39 +0100 Subject: feat: configurable registries (#1016) --- .../index/purescript-language-server/init.lua | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 lua/mason-registry/index/purescript-language-server/init.lua (limited to 'lua/mason-registry/index/purescript-language-server/init.lua') diff --git a/lua/mason-registry/index/purescript-language-server/init.lua b/lua/mason-registry/index/purescript-language-server/init.lua new file mode 100644 index 00000000..dd1395ac --- /dev/null +++ b/lua/mason-registry/index/purescript-language-server/init.lua @@ -0,0 +1,16 @@ +local Pkg = require "mason-core.package" +local npm = require "mason-core.managers.npm" +local _ = require "mason-core.functional" + +return Pkg.new { + name = "purescript-language-server", + desc = _.dedent [[ + Node-based Language Server Protocol server for PureScript based on the PureScript IDE server (aka psc-ide / purs + ide server). Used as the vscode plugin backend but should be compatible with other Language Server Client + implementations. + ]], + languages = { Pkg.Lang.PureScript }, + categories = { Pkg.Cat.LSP }, + homepage = "https://github.com/nwolverson/purescript-language-server", + install = npm.packages { "purescript-language-server", bin = { "purescript-language-server" } }, +} -- cgit v1.2.3-70-g09d2