pyrefly.schema.json 755 B

12345678910111213141516171819
  1. {
  2. "$schema": "http://json-schema.org/draft-07/schema#",
  3. "title": "Pyrefly Language Server Configuration",
  4. "type": "object",
  5. "properties": {
  6. "python.pyrefly.disableTypeErrors": {
  7. "type": "boolean",
  8. "default": false,
  9. "description": "If true, pyrefly will not provide typecheck squiggles in the IDE. To control other IDE services, see `python.pyrefly.disableLanguageServices`",
  10. "scope": "resource"
  11. },
  12. "python.pyrefly.disableLanguageServices": {
  13. "type": "boolean",
  14. "default": false,
  15. "description": "If true, pyrefly will not provide other IDE services like completions, hover, definition, etc. To control type errors, see `python.pyrefly.disableTypeErrors`",
  16. "scope": "resource"
  17. }
  18. }
  19. }