typeshed
typeshed copied to clipboard
python
Collection of library stubs for Python, with static types
While tkinter is technically stdlib, it feels like a third-party package in a couple ways: - It's not always distributed with Python. The default Python installation on most linux distros...
This code is only to illustrate the problem: ``` from mypy.typeshed.stdlib.tkinter import _Image tk.Button(image=cast(_Image, 3)) ``` The first line raises this Mypy error: `error: Module "mypy.typeshed.stdlib.tkinter" has no attribute "_Image"`...
I have some code that does: ``` self._canvas.create_rectangle( event.x, event.y, self._initial_drag_x, self._initial_drag_y, dash=5, outline="black", tags="selection_displayer_rect", ) ``` It fails to type check, unless I comment out `dash=5`, but it works...
In addition to mypy-primer, it would be useful to have a pyright-primer to see how changes we make affect pyright's type checking. @erictraut do you agree? Would your team be...
```py class A: @property def foo(self): return 'a' A.foo.fget(A()) ``` pyright reports error `error: Expected 0 positional arguments (reportGeneralTypeIssues)`
It could be something like: ```python P = ParamSpec('P') class classmethod(Generic[P, _R_co]): @property def __func__(self) -> Callable[P, _R_co]: ... @property def __isabstractmethod__(self) -> bool: ... def __init__(self: classmethod[_R_co], __f: Callable[P,...
This script lists all third-party package versions in typeshed and on PyPI and the latest release date of the upstream package. This allows us to quickly spot outdated packages. By...
* [ ] mypy (python/mypy#731), supported using a flag * [x] pytype * [x] pyright * [x] pyre * [x] PyCharm Test case: ```python from typing import TypeAlias Recursive: TypeAlias...