Skip to content

[functools] Use ParamSpec for single dispatch #15635

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

Draft
srittau wants to merge 14 commits into
base: main
Choose a base branch
from
Draft

[functools] Use ParamSpec for single dispatch #15635

Changes from 1 commit
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
b054f06
[functools] Use ParamSpec for single dispatch
srittau Apr 8, 2026
8d46a85
Use Concatenate
srittau Apr 8, 2026
a79bb75
Fix one overload
srittau Apr 8, 2026
b50ff5f
Ignore away all the errors
srittau Apr 8, 2026
7b3519a
Add tests
srittau Apr 8, 2026
d9eb0a0
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot] Apr 8, 2026
9ec49de
Add a type ignore????
srittau Apr 8, 2026
302109e
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot] Apr 8, 2026
e004de4
Remove assert type
srittau Apr 8, 2026
ca066fb
Remove unused import
srittau Apr 8, 2026
1bc06b1
Merge branch 'main' into singledispatch
srittau Apr 8, 2026
ba3c5da
Fix aiofiles problem
srittau Apr 8, 2026
5e23409
Use defaults for `_SingleDispatchCallable`
srittau Apr 8, 2026
3cfe03a
Fix default
srittau Apr 8, 2026
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
Use Concatenate
  • Loading branch information
@srittau
srittau committed Apr 8, 2026
commit 8d46a8598a6c5ea2456ccf5bfbc49ffc4911701e
56 changes: 43 additions & 13 deletions stdlib/functools.pyi
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ from _typeshed import SupportsAllComparisons, SupportsItems
from collections.abc import Callable, Hashable, Iterable, Sized
from types import GenericAlias
from typing import Any, Final, Generic, Literal, NamedTuple, TypedDict, TypeVar, final, overload, type_check_only
from typing_extensions import ParamSpec, Self, TypeAlias, disjoint_base
from typing_extensions import Concatenate, ParamSpec, Self, TypeAlias, disjoint_base

__all__ = [
"update_wrapper",
Expand Down Expand Up @@ -197,37 +197,67 @@ else:

@type_check_only
class _SingleDispatchCallable(Generic[_P, _T]):
registry: types.MappingProxyType[Any, Callable[_P, _T]]
def dispatch(self, cls: Any) -> Callable[_P, _T]: ...
# First argument pf the callables in the registry is the type to dispatch on.
registry: types.MappingProxyType[Any, Callable[Concatenate[Any, _P], _T]]
def dispatch(self, cls: type[_S]) -> Callable[Concatenate[_S, _P], _T]: ...
if sys.version_info >= (3, 11):
# @fun.register(complex | str)
# def _(arg, verbose=False): ...
@overload
def register(
self, cls: types.UnionType, func: None = None
) -> Callable[[Callable[Concatenate[_S, _P], _T]], Callable[Concatenate[_S, _P], _T]]: ...
# @fun.register(complex)
# def _(arg, verbose=False): ...
@overload
def register(self, cls: _RegType, func: None = None) -> Callable[[Callable[_P, _T]], Callable[_P, _T]]: ...
def register(
self, cls: type[_S], func: None = None
) -> Callable[[Callable[Concatenate[_S, _P], _T]], Callable[Concatenate[_S, _P], _T]]: ...
# @fun.register
# def _(arg: int, verbose=False):
@overload
def register(self, cls: Callable[_P, _T], func: None = None) -> Callable[_P, _T]: ...
def register(self, cls: Callable[Concatenate[_S, _P], _T], func: None = None) -> Callable[Concatenate[_S, _P], _T]: ...
if sys.version_info >= (3, 11):
# fun.register(int, lambda x: x)
@overload
def register(
self, cls: types.UnionType, func: Callable[Concatenate[_S, _P], _T]
) -> Callable[Concatenate[_S, _P], _T]: ...
# fun.register(int, lambda x: x)
@overload
def register(self, cls: _RegType, func: Callable[_P, _T]) -> Callable[_P, _T]: ...
def register(self, cls: _RegType, func: Callable[Concatenate[_S, _P], _T]) -> Callable[Concatenate[_S, _P], _T]: ...
def _clear_cache(self) -> None: ...
def __call__(self, /, *args: _P.args, **kwargs: _P.kwargs) -> _T: ...
def __call__(self, arg: object, /, *args: _P.args, **kwargs: _P.kwargs) -> _T: ...

def singledispatch(func: Callable[_P, _T]) -> _SingleDispatchCallable[_P, _T]: ...
def singledispatch(func: Callable[Concatenate[object, _P], _T]) -> _SingleDispatchCallable[_P, _T]: ...

class singledispatchmethod(Generic[_P, _T]):
dispatcher: _SingleDispatchCallable[_P, _T]
func: Callable[_P, _T]
def __init__(self, func: Callable[_P, _T]) -> None: ...
def __init__(self, func: Callable[Concatenate[object, _P], _T]) -> None: ...
@property
def __isabstractmethod__(self) -> bool: ...
if sys.version_info >= (3, 11):
@overload
def register(
self, cls: types.UnionType, method: None = None
) -> Callable[[Callable[Concatenate[_S, _P], _T]], Callable[Concatenate[_S, _P], _T]]: ...

@overload
def register(self, cls: _RegType, method: None = None) -> Callable[[Callable[_P, _T]], Callable[_P, _T]]: ...
def register(
self, cls: type[_S], method: None = None
) -> Callable[[Callable[Concatenate[_S, _P], _T]], Callable[Concatenate[_S, _P], _T]]: ...
@overload
def register(self, cls: Callable[_P, _T], method: None = None) -> Callable[_P, _T]: ...
def register(self, cls: Callable[Concatenate[_S, _P], _T], method: None = None) -> Callable[Concatenate[_S, _P], _T]: ...
if sys.version_info >= (3, 11):
@overload
def register(
self, cls: types.UnionType, method: Callable[Concatenate[_S, _P], _T]
) -> Callable[Concatenate[_S, _P], _T]: ...

@overload
def register(self, cls: _RegType, method: Callable[_P, _T]) -> Callable[_P, _T]: ...
def __get__(self, obj: _S, cls: type[_S] | None = None) -> Callable[_P, _T]: ...
def register(self, cls: type[_S], method: Callable[Concatenate[_S, _P], _T]) -> Callable[Concatenate[_S, _P], _T]: ...
def __get__(self, obj: _S, cls: type[_S] | None = None) -> Callable[Concatenate[_S, _P], _T]: ...

class cached_property(Generic[_T_co]):
func: Callable[[Any], _T_co]
Expand Down
Loading