8000 More precise type hints for `slice` constructor by randolf-scholz · Pull Request #12899 · python/typeshed · GitHub
[go: up one dir, main page]
Skip to content

More precise type hints for slice constructor #12899

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 11 commits into from
Closed

More precise type hints for slice constructor #12899

Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
48b9293
slice.__new__ pin start/step to None if not given
randolf-scholz Oct 24, 2024
b491e4d
generic slice initialization
randolf-scholz Oct 24, 2024
3010eda
None-overloads
randolf-scholz Oct 24, 2024
d0f3325
Merge branch 'main' into slice_generic_defaults
randolf-scholz Oct 24, 2024
b4bcf86
explicit overloads
randolf-scholz Oct 24, 2024
e838b8f
removed accidental copy pasta
randolf-scholz Oct 25, 2024
0104927
simplify overloads
randolf-scholz Oct 25, 2024
0d4a4cf
Merge branch 'main' into slice_generic_defaults
randolf-scholz Oct 25, 2024
72e94b7
more simplification
randolf-scholz Oct 25, 2024
c73c28c
Update stdlib/builtins.pyi
randolf-scholz Oct 25, 2024
2be2aa0
always specify all generic parameters
randolf-scholz Oct 25, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
simplify overloads
  • Loading branch information
@randolf-scholz
randolf-scholz committed Oct 25, 2024
commit 0104927b7f53e0a8942940f307b0cf5dd52c54f8
16 changes: 4 additions & 12 deletions stdlib/builtins.pyi
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -953,28 +953,20 @@ class slice(Generic[_StartT_co, _StopT_co, _StepT_co]):
def __new__(cls, stop: _T2, /) -> slice[_T2 | None]: ...
# binary overloads -----------------------------------------------------------------
@overload # 2x None
def __new__(cls, start: None, stop: None, /) -> slice: ...
def __new__(cls, start: None, stop: None, step: None = ..., /) -> slice: ...
@overload # 1x None
def __new__(cls, start: _T1, stop: None, /) -> slice[_T1 | None]: ...
def __new__(cls, start: _T1, stop: None, step: None = ..., /) -> slice[_T1 | None]: ...
@overload # 1x None
def __new__(cls, start: None, stop: _T2, /) -> slice[_T2 | None]: ...
def __new__(cls, start: None, stop: _T2, step: None = ..., /) -> slice[_T2 | None]: ...
@overload # 0x None
def __new__(cls, start: _T1, stop: _T2, /) -> slice[_T1, _T2]: ...
def __new__(cls, start: _T1, stop: _T2, step: None = ..., /) -> slice[_T1, _T2]: ...
# tenary overloads -----------------------------------------------------------------
@overload # 3x None
def __new__(cls, start: None, stop: None, step: None, /) -> slice: ...
@overload # 2x None
def __new__(cls, start: None, stop: None, step: _T3, /) -> slice[Any, Any, _T3]: ...
@overload # 2x None
def __new__(cls, start: _T1, stop: None, step: None, /) -> slice[_T1 | None, _T1 | None]: ...
@overload # 2x None
def __new__(cls, start: None, stop: _T2, step: None, /) -> slice[_T2 | None, _T2 | None]: ...
@overload # 1x None
def __new__(cls, start: _T1, stop: None, step: _T3, /) -> slice[_T1 | None, _T1 | None, _T3]: ...
@overload # 1x None
def __new__(cls, start: None, stop: _T2, step: _T3, /) -> slice[_T2 | None, _T2 | None, _T3]: ...
@overload # 1x None
def __new__(cls, start: _T1, stop: _T2, step: None, /) -> slice[_T1, _T2]: ...
@overload # 0x None
def __new__(cls, start: _T1, stop: _T2, step: _T3, /) -> slice[_T1, _T2, _T3]: ...
def __eq__(self, value: object, /) -> bool: ...
Expand Down
Loading
0