|
207 | 207 | "type": "integer",
|
208 | 208 | "description": "Maximum number of completions sent to the editor."
|
209 | 209 | },
|
210 |
| - "haskell.plugin.importLens.codeActionsOn": { |
211 |
| - "scope": "resource", |
212 |
| - "type": "boolean", |
| 210 | + "haskell.plugin.alternateNumberFormat.globalOn": { |
213 | 211 | "default": true,
|
214 |
| - "description": "Enables explicit imports code actions" |
| 212 | + "description": "Enables alternateNumberFormat plugin", |
| 213 | + "scope": "resource", |
| 214 | + "type": "boolean" |
215 | 215 | },
|
216 |
| - "haskell.plugin.importLens.codeLensOn": { |
| 216 | + "haskell.plugin.callHierarchy.globalOn": { |
| 217 | + "default": true, |
| 218 | + "description": "Enables callHierarchy plugin", |
217 | 219 | "scope": "resource",
|
218 |
| - "type": "boolean", |
| 220 | + "type": "boolean" |
| 221 | + }, |
| 222 | + "haskell.plugin.changeTypeSignature.globalOn": { |
219 | 223 | "default": true,
|
220 |
| - "description": "Enables explicit imports code lenses" |
| 224 | + "description": "Enables changeTypeSignature plugin", |
| 225 | + "scope": "resource", |
| 226 | + "type": "boolean" |
221 | 227 | },
|
222 |
| - "haskell.plugin.hlint.codeActionsOn": { |
| 228 | + "haskell.plugin.class.globalOn": { |
| 229 | + "default": true, |
| 230 | + "description": "Enables class plugin", |
223 | 231 | "scope": "resource",
|
224 |
| - "type": "boolean", |
| 232 | + "type": "boolean" |
| 233 | + }, |
| 234 | + "haskell.plugin.eval.config.diff": { |
225 | 235 | "default": true,
|
226 |
| - "description": "Enables hlint code actions (apply hints)" |
| 236 | + "markdownDescription": "Enable the diff output (WAS/NOW) of eval lenses", |
| 237 | + "scope": "resource", |
| 238 | + "type": "boolean" |
227 | 239 | },
|
228 |
| - "haskell.plugin.hlint.diagnosticsOn": { |
| 240 | + "haskell.plugin.eval.config.exception": { |
| 241 | + "default": false, |
| 242 | + "markdownDescription": "Enable marking exceptions with `*** Exception:` similarly to doctest and GHCi.", |
229 | 243 | "scope": "resource",
|
230 |
| - "type": "boolean", |
| 244 | + "type": "boolean" |
| 245 | + }, |
| 246 | + "haskell.plugin.eval.globalOn": { |
231 | 247 | "default": true,
|
232 |
| - "description": "Enables hlint diagnostics" |
| 248 | + "description": "Enables eval plugin", |
| 249 | + "scope": "resource", |
| 250 | + "type": "boolean" |
233 | 251 | },
|
234 |
| - "haskell.plugin.hlint.config.flags": { |
235 |
| - "markdownDescription": "Flags used by hlint", |
| 252 | + "haskell.plugin.ghcide-code-actions-bindings.globalOn": { |
| 253 | + "default": true, |
| 254 | + "description": "Enables ghcide-code-actions-bindings plugin", |
236 | 255 | "scope": "resource",
|
237 |
| - "default": [], |
238 |
| - "type": "array" |
| 256 | + "type": "boolean" |
239 | 257 | },
|
240 |
| - "haskell.plugin.eval.globalOn": { |
| 258 | + "haskell.plugin.ghcide-code-actions-fill-holes.globalOn": { |
| 259 | + "default": true, |
| 260 | + "description": "Enables ghcide-code-actions-fill-holes plugin", |
241 | 261 | "scope": "resource",
|
242 |
| - "type": "boolean", |
| 262 | + "type": "boolean" |
| 263 | + }, |
| 264 | + "haskell.plugin.ghcide-code-actions-imports-exports.globalOn": { |
243 | 265 | "default": true,
|
244 |
| - "description": "Enables eval plugin" |
| 266 | + "description": "Enables ghcide-code-actions-imports-exports plugin", |
| 267 | + "scope": "resource", |
| 268 | + "type": "boolean" |
245 | 269 | },
|
246 |
| - "haskell.plugin.eval.config.diff": { |
247 |
| - "markdownDescription": "When reloading haddock test results in changes, mark it with WAS/NOW.", |
| 270 | + "haskell.plugin.ghcide-code-actions-type-signatures.globalOn": { |
| 271 | + "default": true, |
| 272 | + "description": "Enables ghcide-code-actions-type-signatures plugin", |
248 | 273 | "scope": "resource",
|
| 274 | + "type": "boolean" |
| 275 | + }, |
| 276 | + "haskell.plugin.ghcide-completions.config.autoExtendOn": { |
249 | 277 | "default": true,
|
| 278 | + "markdownDescription": "Extends the import list automatically when completing a out-of-scope identifier", |
| 279 | + "scope": "resource", |
250 | 280 | "type": "boolean"
|
251 | 281 | },
|
252 |
| - "haskell.plugin.eval.config.exception": { |
253 |
| - "markdownDescription": "When the command results in an exception, mark it with `*** Exception:`.", |
| 282 | + "haskell.plugin.ghcide-completions.config.snippetsOn": { |
| 283 | + "default": true, |
| 284 | + "markdownDescription": "Inserts snippets when using code completions", |
254 | 285 | "scope": "resource",
|
255 |
| - "default": false, |
256 | 286 | "type": "boolean"
|
257 | 287 | },
|
258 |
| - "haskell.plugin.moduleName.globalOn": { |
| 288 | + "haskell.plugin.ghcide-completions.globalOn": { |
| 289 | + "default": true, |
| 290 | + "description": "Enables ghcide-completions plugin", |
259 | 291 | "scope": "resource",
|
260 |
| - "type": "boolean", |
| 292 | + "type": "boolean" |
| 293 | + }, |
| 294 | + "haskell.plugin.ghcide-hover-and-symbols.hoverOn": { |
261 | 295 | "default": true,
|
262 |
| - "description": "Enables module name plugin" |
| 296 | + "description": "Enables ghcide-hover-and-symbols hover", |
| 297 | + "scope": "resource", |
| 298 | + "type": "boolean" |
263 | 299 | },
|
264 |
| - "haskell.plugin.splice.globalOn": { |
| 300 | + "haskell.plugin.ghcide-hover-and-symbols.symbolsOn": { |
| 301 | + "default": true, |
| 302 | + "description": "Enables ghcide-hover-and-symbols symbols", |
265 | 303 | "scope": "resource",
|
266 |
| - "type": "boolean", |
| 304 | + "type": "boolean" |
| 305 | + }, |
| 306 | + "haskell.plugin.ghcide-type-lenses.config.mode": { |
| 307 | + "default": "always", |
| 308 | + "description": "Control how type lenses are shown", |
| 309 | + "enum": [ |
| 310 | + "always", |
| 311 | + "exported", |
| 312 | + "diagnostics" |
| 313 | + ], |
| 314 | + "enumDescriptions": [ |
| 315 | + "Always displays type lenses of global bindings", |
| 316 | + "Only display type lenses of exported global bindings", |
| 317 | + "Follows error messages produced by GHC about missing signatures" |
| 318 | + ], |
| 319 | + "scope": "resource", |
| 320 | + "type": "string" |
| 321 | + }, |
| 322 | + "haskell.plugin.ghcide-type-lenses.globalOn": { |
267 | 323 | "default": true,
|
268 |
| - "description": "Enables splice plugin (expand template haskell definitions)" |
| 324 | + "description": "Enables ghcide-type-lenses plugin", |
| 325 | + "scope": "resource", |
| 326 | + "type": "boolean" |
269 | 327 | },
|
270 | 328 | "haskell.plugin.haddockComments.globalOn": {
|
| 329 | + "default": true, |
| 330 | + "description": "Enables haddockComments plugin", |
271 | 331 | "scope": "resource",
|
272 |
| - "type": "boolean", |
| 332 | + "type": "boolean" |
| 333 | + }, |
| 334 | + "haskell.plugin.hlint.codeActionsOn": { |
273 | 335 | "default": true,
|
274 |
| - "description": "Enables haddock comments plugin" |
| 336 | + "description": "Enables hlint code actions", |
| 337 | + "scope": "resource", |
| 338 | + "type": "boolean" |
275 | 339 | },
|
276 |
| - "haskell.plugin.class.globalOn": { |
| 340 | + "haskell.plugin.hlint.config.flags": { |
| 341 | + "default": [], |
| 342 | + "markdownDescription": "Flags used by hlint", |
277 | 343 | "scope": "resource",
|
278 |
| - "type": "boolean", |
| 344 | + "type": "array" |
| 345 | + }, |
| 346 | + "haskell.plugin.hlint.diagnosticsOn": { |
279 | 347 | "default": true,
|
280 |
| - "description": "Enables type class plugin" |
| 348 | + "description": "Enables hlint diagnostics", |
| 349 | + "scope": "resource", |
| 350 | + "type": "boolean" |
281 | 351 | },
|
282 |
| - "haskell.plugin.rename.globalOn": { |
| 352 | + "haskell.plugin.importLens.codeActionsOn": { |
| 353 | + "default": true, |
| 354 | + "description": "Enables importLens code actions", |
283 | 355 | "scope": "resource",
|
284 |
| - "type": "boolean", |
| 356 | + "type": "boolean" |
| 357 | + }, |
| 358 | + "haskell.plugin.importLens.codeLensOn": { |
285 | 359 | "default": true,
|
286 |
| - "description": "Enables rename plugin" |
| 360 | + "description": "Enables importLens code lenses", |
| 361 | + "scope": "resource", |
| 362 | + "type": "boolean" |
287 | 363 | },
|
288 |
| - "haskell.plugin.rename.config.crossModule": { |
| 364 | + "haskell.plugin.moduleName.globalOn": { |
| 365 | + "default": true, |
| 366 | + "description": "Enables moduleName plugin", |
289 | 367 | "scope": "resource",
|
290 |
| - "type": "boolean", |
| 368 | + "type": "boolean" |
| 369 | + }, |
| 370 | + "haskell.plugin.pragmas.codeActionsOn": { |
| 371 | + "default": true, |
| 372 | + "description": "Enables pragmas code actions", |
| 373 | + "scope": "resource", |
| 374 | + "type": "boolean" |
| 375 | + }, |
| 376 | + "haskell.plugin.pragmas.completionOn": { |
| 377 | + "default": true, |
| 378 | + "description": "Enables pragmas completions", |
| 379 | + "scope": "resource", |
| 380 | + "type": "boolean" |
| 381 | + }, |
| 382 | + "haskell.plugin.qualifyImportedNames.globalOn": { |
| 383 | + "default": true, |
| 384 | + "description": "Enables qualifyImportedNames plugin", |
| 385 | + "scope": "resource", |
| 386 | + "type": "boolean" |
| 387 | + }, |
| 388 | + "haskell.plugin.refineImports.codeActionsOn": { |
| 389 | + "default": true, |
| 390 | + "description": "Enables refineImports code actions", |
| 391 | + "scope": "resource", |
| 392 | + "type": "boolean" |
| 393 | + }, |
| 394 | + "haskell.plugin.refineImports.codeLensOn": { |
| 395 | + "default": true, |
| 396 | + "description": "Enables refineImports code lenses", |
| 397 | + "scope": "resource", |
| 398 | + "type": "boolean" |
| 399 | + }, |
| 400 | + "haskell.plugin.rename.config.crossModule": { |
291 | 401 | "default": false,
|
292 |
| - "description": "Enables renaming across modules (experimental)" |
| 402 | + "markdownDescription": "Enable experimental cross-module renaming", |
| 403 | + "scope": "resource", |
| 404 | + "type": "boolean" |
| 405 | + }, |
| 406 | + "haskell.plugin.rename.globalOn": { |
| 407 | + "default": true, |
| 408 | + "description": "Enables rename plugin", |
| 409 | + "scope": "resource", |
| 410 | + "type": "boolean" |
293 | 411 | },
|
294 | 412 | "haskell.plugin.retrie.globalOn": {
|
| 413 | + "default": true, |
| 414 | + "description": "Enables retrie plugin", |
295 | 415 | "scope": "resource",
|
296 |
| - "type": "boolean", |
| 416 | + "type": "boolean" |
| 417 | + }, |
| 418 | + "haskell.plugin.splice.globalOn": { |
297 | 419 | "default": true,
|
298 |
| - "description": "Enables retrie plugin" |
| 420 | + "description": "Enables splice plugin", |
| 421 | + "scope": "resource", |
| 422 | + "type": "boolean" |
299 | 423 | },
|
300 |
| - "haskell.plugin.tactics.globalOn": { |
| 424 | + "haskell.plugin.tactics.codeActionsOn": { |
| 425 | + "default": true, |
| 426 | + "description": "Enables tactics code actions", |
301 | 427 | "scope": "resource",
|
302 |
| - "type": "boolean", |
| 428 | + "type": "boolean" |
| 429 | + }, |
| 430 | + "haskell.plugin.tactics.codeLensOn": { |
303 | 431 | "default": true,
|
304 |
| - "description": "Enables Wingman (tactics) plugin" |
| 432 | + "description": "Enables tactics code lenses", |
| 433 | + "scope": "resource", |
| 434 | + "type": "boolean" |
305 | 435 | },
|
306 | 436 | "haskell.plugin.tactics.config.auto_gas": {
|
| 437 | + "default": 4, |
307 | 438 | "markdownDescription": "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.",
|
308 | 439 | "scope": "resource",
|
309 |
| - "default": 4, |
310 | 440 | "type": "integer"
|
311 | 441 | },
|
312 | 442 | "haskell.plugin.tactics.config.hole_severity": {
|
| 443 | + "default": null, |
| 444 | + "description": "The severity to use when showing hole diagnostics. These are noisy, but some editors don't allow jumping to all severities.", |
| 445 | + "enum": [ |
| 446 | + 1, |
| 447 | + 2, |
| 448 | + 3, |
| 449 | + 4, |
| 450 | + null |
| 451 | + ], |
313 | 452 | "enumDescriptions": [
|
314 | 453 | "error",
|
315 | 454 | "warning",
|
|
318 | 457 | "none"
|
319 | 458 | ],
|
320 | 459 | "scope": "resource",
|
321 |
| - "description": "The severity to use when showing hole diagnostics.", |
322 |
| - "enum": [ |
323 |
| - 1, |
324 |
| - 2, |
325 |
| - 3, |
326 |
| - 4, |
327 |
| - null |
328 |
| - ], |
329 |
| - "default": null, |
330 |
| - "type": "integer" |
| 460 | + "type": "string" |
331 | 461 | },
|
332 | 462 | "haskell.plugin.tactics.config.max_use_ctor_actions": {
|
333 |
| - "title": "Max number of constructors", |
334 |
| - "scope": "resource", |
335 |
| - "type": "integer", |
336 | 463 | "default": 5,
|
337 |
| - "markdownDescription": "Maximum number of `Use constructor <x>` code actions that can appear" |
338 |
| - }, |
339 |
| - "haskell.plugin.tactics.config.timeout_duration": { |
340 |
| - "markdownDescription": "The timeout for Wingman actions, in seconds", |
| 464 | + "markdownDescription": "Maximum number of `Use constructor <x>` code actions that can appear", |
341 | 465 | "scope": "resource",
|
342 |
| - "default": 2, |
343 | 466 | "type": "integer"
|
344 | 467 | },
|
345 | 468 | "haskell.plugin.tactics.config.proofstate_styling": {
|
| 469 | + "default": true, |
346 | 470 | "markdownDescription": "Should Wingman emit styling markup when showing metaprogram proof states?",
|
347 | 471 | "scope": "resource",
|
348 |
| - "default": true, |
349 | 472 | "type": "boolean"
|
350 | 473 | },
|
351 |
| - "haskell.plugin.pragmas.codeActionsOn": { |
| 474 | + "haskell.plugin.tactics.config.timeout_duration": { |
| 475 | + "default": 2, |
| 476 | + "markdownDescription": "The timeout for Wingman actions, in seconds", |
352 | 477 | "scope": "resource",
|
353 |
| - "type": "boolean", |
354 |
| - "default": true, |
355 |
| - "description": "Enables pragmas code actions" |
| 478 | + "type": "integer" |
356 | 479 | },
|
357 |
| - "haskell.plugin.pragmas.completionOn": { |
358 |
| - "scope": "resource", |
359 |
| - "type": "boolean", |
| 480 | + "haskell.plugin.tactics.hoverOn": { |
360 | 481 | "default": true,
|
361 |
| - "description": "Enables pragmas completions" |
362 |
| - }, |
363 |
| - "haskell.plugin.ghcide-completions.config.autoExtendOn": { |
364 |
| - "markdownDescription": "Extends the import list automatically when completing a out-of-scope identifier", |
| 482 | + "description": "Enables tactics hover", |
365 | 483 | "scope": "resource",
|
366 |
| - "default": true, |
367 | 484 | "type": "boolean"
|
368 |
| - }, |
369 |
| - "haskell.plugin.ghcide-completions.config.snippetsOn": { |
370 |
| - "markdownDescription": "Inserts snippets when using code completions", |
371 |
| - "scope": "resource", |
372 |
| - "default": true, |
373 |
| - "type": "boolean" |
374 |
| - }, |
375 |
| - "haskell.plugin.ghcide-type-lenses.globalOn": { |
376 |
| - "scope": "resource", |
377 |
| - "type": "boolean", |
378 |
| - "default": true, |
379 |
| - "description": "Enables type lenses plugin" |
380 |
| - }, |
381 |
| - "haskell.plugin.ghcide-type-lenses.config.mode": { |
382 |
| - "scope": "resource", |
383 |
| - "type": "string", |
384 |
| - "default": true, |
385 |
| - "description": "Control how type lenses are shown", |
386 |
| - "enum": [ |
387 |
| - "always", |
388 |
| - "exported", |
389 |
| - "diagnostics" |
390 |
| - ], |
391 |
| - "enumDescriptions": [ |
392 |
| - "Always displays type lenses of global bindings", |
393 |
| - "Only display type lenses of exported global bindings", |
394 |
| - "Follows error messages produced by GHC about missing signatures" |
395 |
| - ] |
396 |
| - }, |
397 |
| - "haskell.plugin.refineImports.globalOn": { |
398 |
| - "scope": "resource", |
399 |
| - "type": "boolean", |
400 |
| - "default": true, |
401 |
| - "description": "Enables refine imports plugin" |
402 | 485 | }
|
403 | 486 | }
|
404 | 487 | },
|
|
0 commit comments