@@ -23,58 +23,54 @@
2323 {
2424 "type": "section",
2525 "title": "Haskell Language Server settings",
26+ "description":"Some of the features are not supported in Nova. Some of them are explicitly marked as not supported, but it is not exhaustive.",
2627 "children": [
27− {
28− "key": "haskell.formattingProvider",
29− "title": "Code formatter",
30− "type": "enum",
31− "values": [
32− "brittany",
33− "floskell",
34− "fourmolu",
35− "ormolu",
36− "stylish-haskell",
37− "none"
38− ],
39− "default": "ormolu",
40− "description": "The formatter to use when formatting a document or range. Ensure the plugin is enabled."
41− },
42− {
43− "key": "haskell.checkProject",
44− "title": "Check whole project",
45− "type": "boolean",
46− "default": false,
47− "description": "Whether to typecheck the entire project on load. It could lead to bad perfomance in large projects."
48− },
49− {
50− "key": "haskell.maxCompletions",
51− "type": "number",
52− "title": "Maximum number of completions",
53− "description": "Maximum number of completions sent to the editor.",
54− "default": 40
55− },
56− {
57− "type": "section",
58− "title": "Plugin settings",
59− "children": [
6028 {
29+ "key": "haskell.formattingProvider",
30+ "title": "Code formatter",
31+ "type": "enum",
32+ "values": [
33+ "brittany",
34+ "floskell",
35+ "fourmolu",
36+ "ormolu",
37+ "stylish-haskell",
38+ "none"
39+ ],
40+ "default": "ormolu",
41+ "description": "The formatter to use when formatting a document or range. Ensure the plugin is enabled."
42+ },
43+ {
44+ "key": "haskell.checkProject",
45+ "title": "Check whole project",
46+ "type": "boolean",
47+ "default": false,
48+ "description": "Whether to typecheck the entire project on load. It could lead to bad perfomance in large projects."
49+ },
50+ {
51+ "title": "Completions",
6152 "type": "section",
62− "title": "Import lens",
63− "description": "Not currently implemented in Nova",
6453 "children": [
6554 {
66− "key": "haskell.plugin.importLens.codeActionsOn",
67− "title": "Enable code actions",
68− "type": "boolean",
55+ "key": "haskell.plugin.ghcide-completions.config.autoExtendOn",
56+ "title": "Extend with out-of-scope identifiers",
57+ "description": "Extends the import list automatically when completing a out-of-scope identifier",
6958 "default": true,
70− "description": "Enables explicit imports code actions"
59+ "type": "boolean"
7160 },
7261 {
73− "key": "haskell.plugin.importLens.codeLensOn",
74− "title": "Enable code lens",
75− "type": "boolean",
62+ "key": "haskell.plugin.ghcide-completions.config.snippetsOn",
63+ "title": "Insert snippets",
64+ "description": "Inserts snippets when using code completions",
7665 "default": true,
77− "description": "Enables explicit imports code lenses"
66+ "type": "boolean"
67+ },
68+ {
69+ "key": "haskell.maxCompletions",
70+ "type": "number",
71+ "title": "Maximum number of completions",
72+ "description": "Maximum number of completions sent to the editor.",
73+ "default": 40
7874 }]
7975 },
8076 {
@@ -96,18 +92,34 @@
9692 "description": "Enables hlint diagnostics"
9793 },
9894 {
99− "title": "Configuration",
100− "type": "section",
101− "children": [
102− {
103− "key": "haskell.plugin.hlint.config.flags",
104− "title": "Flags",
105− "description": "Flags used by hlint",
106− "default": [],
107− "type": "stringArray"
108− }]
95+ "key": "haskell.plugin.hlint.config.flags",
96+ "title": "Flags",
97+ "description": "Flags used by hlint",
98+ "default": [],
99+ "type": "stringArray"
109100 }]
110101 },
102+ {
103+ "type": "section",
104+ "title": "Import lens",
105+ "description": "Not currently implemented in Nova",
106+ "children": [
107+ {
108+ "key": "haskell.plugin.importLens.codeActionsOn",
109+ "title": "Enable code actions",
110+ "type": "boolean",
111+ "default": true,
112+ "description": "Enables explicit imports code actions"
113+ },
114+ {
115+ "key": "haskell.plugin.importLens.codeLensOn",
116+ "title": "Enable code lens",
117+ "type": "boolean",
118+ "default": true,
119+ "description": "Enables explicit imports code lenses"
120+ }]
121+ },
122+
111123 {
112124 "title": "Eval",
113125 "type": "section",
@@ -192,51 +204,46 @@
192204 "description": "Enables Wingman (tactics) plugin"
193205 },
194206 {
195− "title": "Configuration",
196− "type": "section",
197− "children": [
198− {
199− "key": "haskell.plugin.tactics.config.auto_gas",
200− "title": "Gas",
201− "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.",
202− "default": 4,
203− "type": "number"
204− },
205− {
206− "key": "haskell.plugin.tactics.config.hole_severity",
207− "title": "Hole severity",
208− "description": "The severity to use when showing hole diagnostics.",
209− "values": [
210− 1,
211− 2,
212− 3,
213− 4,
214− null
215− ],
216− "default": null,
217− "type": "enum"
218− },
219− {
220− "key": "haskell.plugin.tactics.config.max_use_ctor_actions",
221− "title": "Max number of constructors",
222− "type": "number",
223− "default": 5,
224− "description": "Maximum number of `Use constructor <x>` code actions that can appear"
225− },
226− {
227− "key": "haskell.plugin.tactics.config.timeout_duration",
228− "title": "Timeout",
229− "description": "The timeout for Wingman actions, in seconds",
230− "default": 2,
231− "type": "number"
232− },
233− {
234− "key": "haskell.plugin.tactics.config.proofstate_styling",
235− "title": "Proof states",
236− "description": "Should Wingman emit styling markup when showing metaprogram proof states?",
237− "default": true,
238− "type": "boolean"
239− }]
207+ "key": "haskell.plugin.tactics.config.auto_gas",
208+ "title": "Gas",
209+ "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.",
210+ "default": 4,
211+ "type": "number"
212+ },
213+ {
214+ "key": "haskell.plugin.tactics.config.hole_severity",
215+ "title": "Hole severity",
216+ "description": "The severity to use when showing hole diagnostics.",
217+ "values": [
218+ 1,
219+ 2,
220+ 3,
221+ 4,
222+ null
223+ ],
224+ "default": null,
225+ "type": "enum"
226+ },
227+ {
228+ "key": "haskell.plugin.tactics.config.max_use_ctor_actions",
229+ "title": "Max number of constructors",
230+ "type": "number",
231+ "default": 5,
232+ "description": "Maximum number of `Use constructor <x>` code actions that can appear"
233+ },
234+ {
235+ "key": "haskell.plugin.tactics.config.timeout_duration",
236+ "title": "Timeout",
237+ "description": "The timeout for Wingman actions, in seconds",
238+ "default": 2,
239+ "type": "number"
240+ },
241+ {
242+ "key": "haskell.plugin.tactics.config.proofstate_styling",
243+ "title": "Proof states",
244+ "description": "Should Wingman emit styling markup when showing metaprogram proof states?",
245+ "default": true,
246+ "type": "boolean"
240247 }]
241248 },
242249 {
@@ -259,30 +266,7 @@
259266 }]
260267 },
261268 {
262− "title": "Completions",
263− "type": "section",
264− "children": [
265− {
266− "title": "Configuration",
267− "type": "section",
268− "children": [
269− {
270− "key": "haskell.plugin.ghcide-completions.config.autoExtendOn",
271− "title": "Extend with out-of-scope identifiers",
272− "description": "Extends the import list automatically when completing a out-of-scope identifier",
273− "default": true,
274− "type": "boolean"
275− },
276− {
277− "key": "haskell.plugin.ghcide-completions.config.snippetsOn",
278− "title": "Insert snippets",
279− "description": "Inserts snippets when using code completions",
280− "default": true,
281− "type": "boolean"
282− }]
283− }]
284− },
285− {
269+ "title": "Type lenses",
286270 "description": "Not currently implemented in Nova",
287271 "type": "section",
288272 "children": [
@@ -294,17 +278,12 @@
294278 "description": "Enables type lenses plugin"
295279 },
296280 {
297− "title": "Configuration",
298− "type": "section",
299− "children": [
300− {
301− "key": "haskell.plugin.ghcide-type-lenses.config.mode",
302− "title": "Mode",
303− "type": "enum",
304− "default": true,
305− "description": "Control how type lenses are shown",
306− "values": ["always", "exported", "diagnostics"]
307− }]
281+ "key": "haskell.plugin.ghcide-type-lenses.config.mode",
282+ "title": "Mode",
283+ "type": "enum",
284+ "default": true,
285+ "description": "Control how type lenses are shown",
286+ "values": ["always", "exported", "diagnostics"]
308287 }]
309288 },
310289 {
@@ -318,8 +297,8 @@
318297 "default": true,
319298 "description": "Enables refine imports plugin"
320299 }]
321− }]
322− }]
300+ }
301+ ]
323302 }],
324303 "activationEvents": ["onLanguage:haskell", "onLanguage:hs"],
325304 "commands":