|
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