@@ -6,21 +6,25 @@
66 "version": "1.0",
77 "categories": ["languages", "formatters"],
88 "main": "main.js",
9− "entitlements": {
9+ "entitlements":
10+ {
1011 "process": true,
1112 "filesystem": "readwrite",
1213 "requests": true
1314 },
14− "configWorkspace": [{
15+ "configWorkspace": [
16+ {
1517 "key": "haskell-language-server-path",
1618 "title": "Haskell Language Server path",
1719 "description": "If you want to use a custom HLS build for this project, then specify the path to it here.",
1820 "type": "path",
1921 "placeholder": "/usr/local/bin/example"
20− }, {
22+ },
23+ {
2124 "type": "section",
2225 "title": "Haskell Language Server settings",
23− "children": [{
26+ "children": [
27+ {
2428 "key": "haskell.formattingProvider",
2529 "title": "Code formatter",
2630 "type": "enum",
@@ -34,57 +38,68 @@
3438 ],
3539 "default": "ormolu",
3640 "description": "The formatter to use when formatting a document or range. Ensure the plugin is enabled."
37− }, {
41+ },
42+ {
3843 "key": "haskell.checkProject",
3944 "title": "Check whole project",
4045 "type": "boolean",
4146 "default": false,
42− "description": "Whether to typecheck the entire project on load. It could drive to bad perfomance in large projects."
43− }, {
47+ "description": "Whether to typecheck the entire project on load. It could lead to bad perfomance in large projects."
48+ },
49+ {
4450 "key": "haskell.maxCompletions",
4551 "type": "number",
4652 "title": "Maximum number of completions",
4753 "description": "Maximum number of completions sent to the editor.",
4854 "default": 40
49− }, {
55+ },
56+ {
5057 "type": "section",
5158 "title": "Plugin settings",
52− "children": [{
59+ "children": [
60+ {
5361 "type": "section",
5462 "title": "Import lens",
5563 "description": "Not currently implemented in Nova",
56− "children": [{
64+ "children": [
65+ {
5766 "key": "haskell.plugin.importLens.codeActionsOn",
5867 "title": "Enable code actions",
5968 "type": "boolean",
6069 "default": true,
6170 "description": "Enables explicit imports code actions"
62− }, {
71+ },
72+ {
6373 "key": "haskell.plugin.importLens.codeLensOn",
6474 "title": "Enable code lens",
6575 "type": "boolean",
6676 "default": true,
6777 "description": "Enables explicit imports code lenses"
6878 }]
69− }, {
79+ },
80+ {
7081 "title": "HLint",
7182 "type": "section",
72− "children": [{
83+ "children": [
84+ {
7385 "key": "haskell.plugin.hlint.codeActionsOn",
7486 "title": "Enable code actions",
7587 "type": "boolean",
7688 "default": true,
7789 "description": "Enables hlint code actions (apply hints)"
78− }, {
90+ },
91+ {
7992 "key": "haskell.plugin.hlint.diagnosticsOn",
8093 "title": "Enable diagnostics",
8194 "type": "boolean",
8295 "default": true,
8396 "description": "Enables hlint diagnostics"
84− }, {
97+ },
98+ {
8599 "title": "Configuration",
86100 "type": "section",
87− "children": [{
101+ "children": [
102+ {
88103 "key": "haskell.plugin.hlint.config.flags",
89104 "title": "Flags",
90105 "description": "Flags used by hlint",
@@ -92,85 +107,102 @@
92107 "type": "stringArray"
93108 }]
94109 }]
95− }, {
110+ },
111+ {
96112 "title": "Eval",
97113 "type": "section",
98− "children": [{
114+ "children": [
115+ {
99116 "key": "haskell.plugin.eval.globalOn",
100117 "title": "Enable",
101118 "type": "boolean",
102119 "default": true,
103120 "description": "Enables eval plugin"
104121 }]
105− }, {
122+ },
123+ {
106124 "title": "Module name",
107125 "type": "section",
108− "children": [{
126+ "children": [
127+ {
109128 "key": "haskell.plugin.moduleName.globalOn",
110129 "title": "Enable",
111130 "type": "boolean",
112131 "default": true,
113132 "description": "Enables module name plugin"
114133 }]
115− }, {
134+ },
135+ {
116136 "title": "Splice",
117137 "type": "section",
118− "children": [{
138+ "children": [
139+ {
119140 "key": "haskell.plugin.splice.globalOn",
120141 "title": "Enable",
121142 "type": "boolean",
122143 "default": true,
123144 "description": "Enables splice plugin (expand template haskell definitions)"
124145 }]
125− }, {
146+ },
147+ {
126148 "title": "Haddock comments",
127149 "type": "section",
128− "children": [{
150+ "children": [
151+ {
129152 "key": "haskell.plugin.haddockComments.globalOn",
130153 "title": "Enable",
131154 "type": "boolean",
132155 "default": true,
133156 "description": "Enables haddock comments plugin"
134157 }]
135− }, {
158+ },
159+ {
136160 "title": "Class",
137161 "type": "section",
138− "children": [{
162+ "children": [
163+ {
139164 "key": "haskell.plugin.class.globalOn",
140165 "title": "Enable",
141166 "type": "boolean",
142167 "default": true,
143168 "description": "Enables type class plugin"
144169 }]
145− }, {
170+ },
171+ {
146172 "title": "Retrie",
147173 "type": "section",
148− "children": [{
174+ "children": [
175+ {
149176 "key": "haskell.plugin.retrie.globalOn",
150177 "title": "Enable",
151178 "type": "boolean",
152179 "default": true,
153180 "description": "Enables retrie plugin"
154181 }]
155− }, {
182+ },
183+ {
156184 "title": "Wingman",
157185 "type": "section",
158− "children": [{
186+ "children": [
187+ {
159188 "key": "haskell.plugin.tactics.globalOn",
160189 "title": "Enable",
161190 "type": "boolean",
162191 "default": true,
163192 "description": "Enables Wingman (tactics) plugin"
164− }, {
193+ },
194+ {
165195 "title": "Configuration",
166196 "type": "section",
167− "children": [{
197+ "children": [
198+ {
168199 "key": "haskell.plugin.tactics.config.auto_gas",
169200 "title": "Gas",
170201 "description": "The depth of the search tree when performing \"Attempt to fill hole\". Bigger values will be able to derive more solutions, but will take exponentially more time.",
171202 "default": 4,
172203 "type": "number"
173− }, {
204+ },
205+ {
174206 "key": "haskell.plugin.tactics.config.hole_severity",
175207 "title": "Hole severity",
176208 "description": "The severity to use when showing hole diagnostics.",
@@ -183,19 +215,22 @@
183215 ],
184216 "default": null,
185217 "type": "enum"
186− }, {
218+ },
219+ {
187220 "key": "haskell.plugin.tactics.config.max_use_ctor_actions",
188221 "title": "Max number of constructors",
189222 "type": "number",
190223 "default": 5,
191224 "description": "Maximum number of `Use constructor <x>` code actions that can appear"
192− }, {
225+ },
226+ {
193227 "key": "haskell.plugin.tactics.config.timeout_duration",
194228 "title": "Timeout",
195229 "description": "The timeout for Wingman actions, in seconds",
196230 "default": 2,
197231 "type": "number"
198− }, {
232+ },
233+ {
199234 "key": "haskell.plugin.tactics.config.proofstate_styling",
200235 "title": "Proof states",
201236 "description": "Should Wingman emit styling markup when showing metaprogram proof states?",
@@ -203,35 +238,42 @@
203238 "type": "boolean"
204239 }]
205240 }]
206− }, {
241+ },
242+ {
207243 "title": "Pragmas",
208244 "type": "section",
209− "children": [{
245+ "children": [
246+ {
210247 "key": "haskell.plugin.pragmas.codeActionsOn",
211248 "title": "Enable code actions",
212249 "type": "boolean",
213250 "default": true,
214251 "description": "Enables pragmas code actions"
215− }, {
252+ },
253+ {
216254 "key": "haskell.plugin.pragmas.completionOn",
217255 "title": "Enable completions",
218256 "type": "boolean",
219257 "default": true,
220258 "description": "Enables pragmas completions"
221259 }]
222− }, {
260+ },
261+ {
223262 "title": "Completions",
224263 "type": "section",
225− "children": [{
264+ "children": [
265+ {
226266 "title": "Configuration",
227267 "type": "section",
228− "children": [{
268+ "children": [
269+ {
229270 "key": "haskell.plugin.ghcide-completions.config.autoExtendOn",
230271 "title": "Extend with out-of-scope identifiers",
231272 "description": "Extends the import list automatically when completing a out-of-scope identifier",
232273 "default": true,
233274 "type": "boolean"
234− }, {
275+ },
276+ {
235277 "key": "haskell.plugin.ghcide-completions.config.snippetsOn",
236278 "title": "Insert snippets",
237279 "description": "Inserts snippets when using code completions",
@@ -239,19 +281,23 @@
239281 "type": "boolean"
240282 }]
241283 }]
242− }, {
284+ },
285+ {
243286 "description": "Not currently implemented in Nova",
244287 "type": "section",
245− "children": [{
288+ "children": [
289+ {
246290 "key": "haskell.plugin.ghcide-type-lenses.globalOn",
247291 "title": "Enable",
248292 "type": "boolean",
249293 "default": true,
250294 "description": "Enables type lenses plugin"
251− }, {
295+ },
296+ {
252297 "title": "Configuration",
253298 "type": "section",
254− "children": [{
299+ "children": [
300+ {
255301 "key": "haskell.plugin.ghcide-type-lenses.config.mode",
256302 "title": "Mode",
257303 "type": "enum",
@@ -260,10 +306,12 @@
260306 "values": ["always", "exported", "diagnostics"]
261307 }]
262308 }]
263− }, {
309+ },
310+ {
264311 "title": "Refine imports",
265312 "type": "section",
266− "children": [{
313+ "children": [
314+ {
267315 "key": "haskell.plugin.refineImports.globalOn",
268316 "title": "Enable",
269317 "type": "boolean",
@@ -274,24 +322,30 @@
274322 }]
275323 }],
276324 "activationEvents": ["onLanguage:haskell", "onLanguage:hs"],
277− "commands": {
278− "editor": [{
325+ "commands":
326+ {
327+ "editor": [
328+ {
279329 "title": "Format file with Haskell Language Server",
280330 "command": "format",
281331 "when": "editorSyntax == 'haskell' && editorHasFocus",
282− "filters": {
332+ "filters":
333+ {
283334 "syntaxes": ["haskell"]
284335 }
285336 }],
286− "extensions": [{
337+ "extensions": [
338+ {
287339 "title": "Stop",
288340 "paletteTitle": "Stop Haskell Language Server",
289341 "command": "stop"
290− }, {
342+ },
343+ {
291344 "title": "Restart",
292345 "paletteTitle": "Restart Haskell Language Server",
293346 "command": "restart"
294− }, {
347+ },
348+ {
295349 "title": "Clear cached versions",
296350 "paletteTitle": "Clear cached versions of Haskell Language Server",
297351 "command": "clear-cache"