VimPlug/typeshed
1
0
Fork 0
mirror of https://github.com/davidhalter/typeshed.git synced 2026-07-12 03:10:52 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Allow any sliceable sequence as getopt args (#13116)

Browse Source
This commit is contained in:
Avasam
2025-03-03 09:52:57 -05:00
committed by GitHub
parent b834c88016
commit 1e71351016
2 changed files with 30 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
stdlib/getopt.pyi
+15 -3
View File
@@ -1,10 +1,22 @@
from collections.abc import Iterable
from collections.abc import Iterable, Sequence
from typing import Protocol, TypeVar, overload, type_check_only
_StrSequenceT_co = TypeVar("_StrSequenceT_co", covariant=True, bound=Sequence[str])
@type_check_only
class _SliceableT(Protocol[_StrSequenceT_co]):
@overload
def __getitem__(self, key: int, /) -> str: ...
@overload
def __getitem__(self, key: slice, /) -> _StrSequenceT_co: ...
__all__ = ["GetoptError", "error", "getopt", "gnu_getopt"]
def getopt(args: list[str], shortopts: str, longopts: Iterable[str] | str = []) -> tuple[list[tuple[str, str]], list[str]]: ...
def getopt(
args: _SliceableT[_StrSequenceT_co], shortopts: str, longopts: Iterable[str] | str = []
) -> tuple[list[tuple[str, str]], _StrSequenceT_co]: ...
def gnu_getopt(
args: list[str], shortopts: str, longopts: Iterable[str] | str = []
args: Sequence[str], shortopts: str, longopts: Iterable[str] | str = []
) -> tuple[list[tuple[str, str]], list[str]]: ...
class GetoptError(Exception):