├── .gitignore ├── Dockerfile ├── LICENSE ├── README.md ├── backend ├── .dockerignore ├── .flake8 ├── .gitignore ├── README.md ├── backend │ ├── __init__.py │ ├── app.py │ ├── better_middleware.py │ ├── download_code.py │ ├── download_code_handler.py │ ├── generate_download_link.py │ ├── github.py │ ├── run_pyright.py │ └── simple_error.py ├── lang-server │ ├── .gitignore │ ├── index.js │ ├── package-lock.json │ └── package.json ├── poetry.lock └── pyproject.toml ├── demo.gif └── frontend ├── .dockerignore ├── .gitignore ├── .prettierrc ├── README.md ├── package-lock.json ├── package.json ├── public ├── icons │ ├── severity-error.svg │ ├── severity-information.svg │ └── severity-warning.svg └── index.html ├── rollup.config.js ├── src ├── App.svelte ├── editor │ ├── CodeMirror.svelte │ ├── horizontal-offset.ts │ ├── index.ts │ ├── squiggly-lines.ts │ └── tooltip.ts ├── global.d.ts ├── main.ts └── pyrightTypes.ts └── tsconfig.json /.gitignore: -------------------------------------------------------------------------------- 1 | /.vscode/ -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/README.md -------------------------------------------------------------------------------- /backend/.dockerignore: -------------------------------------------------------------------------------- 1 | .venv 2 | **/__pycache__ 3 | -------------------------------------------------------------------------------- /backend/.flake8: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/backend/.flake8 -------------------------------------------------------------------------------- /backend/.gitignore: -------------------------------------------------------------------------------- 1 | /.venv/ 2 | /**/*.pyc 3 | /.vscode/ -------------------------------------------------------------------------------- /backend/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/backend/README.md -------------------------------------------------------------------------------- /backend/backend/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /backend/backend/app.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/backend/backend/app.py -------------------------------------------------------------------------------- /backend/backend/better_middleware.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/backend/backend/better_middleware.py -------------------------------------------------------------------------------- /backend/backend/download_code.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/backend/backend/download_code.py -------------------------------------------------------------------------------- /backend/backend/download_code_handler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/backend/backend/download_code_handler.py -------------------------------------------------------------------------------- /backend/backend/generate_download_link.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/backend/backend/generate_download_link.py -------------------------------------------------------------------------------- /backend/backend/github.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/backend/backend/github.py -------------------------------------------------------------------------------- /backend/backend/run_pyright.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/backend/backend/run_pyright.py -------------------------------------------------------------------------------- /backend/backend/simple_error.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/backend/backend/simple_error.py -------------------------------------------------------------------------------- /backend/lang-server/.gitignore: -------------------------------------------------------------------------------- 1 | /node_modules/ -------------------------------------------------------------------------------- /backend/lang-server/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/backend/lang-server/index.js -------------------------------------------------------------------------------- /backend/lang-server/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/backend/lang-server/package-lock.json -------------------------------------------------------------------------------- /backend/lang-server/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/backend/lang-server/package.json -------------------------------------------------------------------------------- /backend/poetry.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/backend/poetry.lock -------------------------------------------------------------------------------- /backend/pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/backend/pyproject.toml -------------------------------------------------------------------------------- /demo.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/demo.gif -------------------------------------------------------------------------------- /frontend/.dockerignore: -------------------------------------------------------------------------------- 1 | node_modules 2 | -------------------------------------------------------------------------------- /frontend/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/.gitignore -------------------------------------------------------------------------------- /frontend/.prettierrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/.prettierrc -------------------------------------------------------------------------------- /frontend/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/README.md -------------------------------------------------------------------------------- /frontend/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/package-lock.json -------------------------------------------------------------------------------- /frontend/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/package.json -------------------------------------------------------------------------------- /frontend/public/icons/severity-error.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/public/icons/severity-error.svg -------------------------------------------------------------------------------- /frontend/public/icons/severity-information.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/public/icons/severity-information.svg -------------------------------------------------------------------------------- /frontend/public/icons/severity-warning.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/public/icons/severity-warning.svg -------------------------------------------------------------------------------- /frontend/public/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/public/index.html -------------------------------------------------------------------------------- /frontend/rollup.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/rollup.config.js -------------------------------------------------------------------------------- /frontend/src/App.svelte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/src/App.svelte -------------------------------------------------------------------------------- /frontend/src/editor/CodeMirror.svelte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/src/editor/CodeMirror.svelte -------------------------------------------------------------------------------- /frontend/src/editor/horizontal-offset.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/src/editor/horizontal-offset.ts -------------------------------------------------------------------------------- /frontend/src/editor/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/src/editor/index.ts -------------------------------------------------------------------------------- /frontend/src/editor/squiggly-lines.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/src/editor/squiggly-lines.ts -------------------------------------------------------------------------------- /frontend/src/editor/tooltip.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/src/editor/tooltip.ts -------------------------------------------------------------------------------- /frontend/src/global.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/src/global.d.ts -------------------------------------------------------------------------------- /frontend/src/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/src/main.ts -------------------------------------------------------------------------------- /frontend/src/pyrightTypes.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/src/pyrightTypes.ts -------------------------------------------------------------------------------- /frontend/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/decorator-factory/pyright-playground/HEAD/frontend/tsconfig.json --------------------------------------------------------------------------------