mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-09 05:24:52 +08:00
97d9f2eb2c
This commit reorders any overloads where the first overload was
"shadowing" the second, preventing it from ever being matched by type
checkers that work by selecting the first matching overload alternative.
For example, the first overload alternative below is strictly broader
then the second, preventing it from ever being selected:
class Parent: pass
class Child(Parent): pass
@overload
def foo(x: *int) -> Parent: ...
@overload
def foo(x: int, y: int) -> Child: ...
The correct thing to do is to either delete the second overload or
rearrange them to look like this:
@overload
def foo(x: int, y: int) -> Child: ...
@overload
def foo(x: *int) -> Parent: ...
Rationale: I'm currently [working on a proposal][0] that would amend
PEP 484 to (a) mandate type checkers check overloads in order and
(b) prohibit overloads where an earlier alternative completely shadows
a later one.
[0]: https://github.com/python/typing/issues/253#issuecomment-389262904
This would prohibit overloads that look like the example below, where
the first alternative completely shadows the second.
I figured it would be a good idea to make these changes ahead of time:
if my proposal is accepted, it'd make the transition smoother. If not,
this is hopefully a relatively harmless change.
Note: I think some of these overloads could be simplified (e.g.
`reversed(...)`), but I mostly stuck with rearranging them in case I was
wrong. The only overload I actually changed was `hmac.compare_digest` --
I believe the Python 2 version actually accepts unicode.
1086 lines
44 KiB
Python
1086 lines
44 KiB
Python
# NB: __builtin__.pyi and builtins.pyi must remain consistent!
|
|
# Stubs for builtins (Python 2.7)
|
|
|
|
# True and False are deliberately omitted because they are keywords in
|
|
# Python 3, and stub files conform to Python 3 syntax.
|
|
|
|
from typing import (
|
|
TypeVar, Iterator, Iterable, NoReturn, overload,
|
|
Sequence, Mapping, Tuple, List, Any, Dict, Callable, Generic, Set,
|
|
AbstractSet, FrozenSet, Sized, Reversible, SupportsInt, SupportsFloat, SupportsAbs,
|
|
SupportsComplex, SupportsRound, IO, BinaryIO, Union, AnyStr, MutableSequence, MutableMapping,
|
|
MutableSet, ItemsView, KeysView, ValuesView, Optional, Container, Type
|
|
)
|
|
from abc import abstractmethod, ABCMeta
|
|
|
|
_T = TypeVar('_T')
|
|
_T_co = TypeVar('_T_co', covariant=True)
|
|
_KT = TypeVar('_KT')
|
|
_VT = TypeVar('_VT')
|
|
_S = TypeVar('_S')
|
|
_T1 = TypeVar('_T1')
|
|
_T2 = TypeVar('_T2')
|
|
_T3 = TypeVar('_T3')
|
|
_T4 = TypeVar('_T4')
|
|
_T5 = TypeVar('_T5')
|
|
_TT = TypeVar('_TT', bound='type')
|
|
|
|
class object:
|
|
__doc__ = ... # type: Optional[str]
|
|
__class__ = ... # type: type
|
|
__dict__ = ... # type: Dict[str, Any]
|
|
__slots__ = ... # type: Optional[Union[str, unicode, Iterable[Union[str, unicode]]]]
|
|
__module__ = ... # type: str
|
|
|
|
def __init__(self) -> None: ...
|
|
def __new__(cls) -> Any: ...
|
|
def __setattr__(self, name: str, value: Any) -> None: ...
|
|
def __eq__(self, o: object) -> bool: ...
|
|
def __ne__(self, o: object) -> bool: ...
|
|
def __str__(self) -> str: ...
|
|
def __repr__(self) -> str: ...
|
|
def __hash__(self) -> int: ...
|
|
def __format__(self, format_spec: str) -> str: ...
|
|
def __getattribute__(self, name: str) -> Any: ...
|
|
def __delattr__(self, name: str) -> None: ...
|
|
def __sizeof__(self) -> int: ...
|
|
def __reduce__(self) -> tuple: ...
|
|
def __reduce_ex__(self, protocol: int) -> tuple: ...
|
|
|
|
class staticmethod(object): # Special, only valid as a decorator.
|
|
__func__ = ... # type: function
|
|
|
|
def __init__(self, f: function) -> None: ...
|
|
def __new__(cls: Type[_T], *args: Any, **kwargs: Any) -> _T: ...
|
|
def __get__(self, obj: _T, type: Optional[Type[_T]]=...) -> function: ...
|
|
|
|
class classmethod(object): # Special, only valid as a decorator.
|
|
__func__ = ... # type: function
|
|
|
|
def __init__(self, f: function) -> None: ...
|
|
def __new__(cls: Type[_T], *args: Any, **kwargs: Any) -> _T: ...
|
|
def __get__(self, obj: _T, type: Optional[Type[_T]]=...) -> function: ...
|
|
|
|
class type(object):
|
|
__bases__ = ... # type: Tuple[type, ...]
|
|
__name__ = ... # type: str
|
|
__module__ = ... # type: str
|
|
|
|
@overload
|
|
def __init__(self, o: object) -> None: ...
|
|
@overload
|
|
def __init__(self, name: str, bases: Tuple[type, ...], dict: Dict[str, Any]) -> None: ...
|
|
# TODO: __new__ may have to be special and not a static method.
|
|
@overload
|
|
def __new__(cls, o: object) -> type: ...
|
|
@overload
|
|
def __new__(cls, name: str, bases: Tuple[type, ...], namespace: Dict[str, Any]) -> type: ...
|
|
def __call__(self, *args: Any, **kwds: Any) -> Any: ...
|
|
|
|
# Only new-style classes
|
|
__mro__ = ... # type: Tuple[type, ...]
|
|
# Note: the documentation doesnt specify what the return type is, the standard
|
|
# implementation seems to be returning a list.
|
|
def mro(self) -> List[type]: ...
|
|
def __subclasses__(self: _TT) -> List[_TT]: ...
|
|
def __instancecheck__(self, instance: Any) -> bool: ...
|
|
def __subclasscheck__(self, subclass: type) -> bool: ...
|
|
|
|
class int:
|
|
@overload
|
|
def __init__(self, x: SupportsInt = ...) -> None: ...
|
|
@overload
|
|
def __init__(self, x: Union[str, unicode, bytearray], base: int = ...) -> None: ...
|
|
|
|
def bit_length(self) -> int: ...
|
|
|
|
def __add__(self, x: int) -> int: ...
|
|
def __sub__(self, x: int) -> int: ...
|
|
def __mul__(self, x: int) -> int: ...
|
|
def __floordiv__(self, x: int) -> int: ...
|
|
def __div__(self, x: int) -> int: ...
|
|
def __truediv__(self, x: int) -> float: ...
|
|
def __mod__(self, x: int) -> int: ...
|
|
def __divmod__(self, x: int) -> Tuple[int, int]: ...
|
|
def __radd__(self, x: int) -> int: ...
|
|
def __rsub__(self, x: int) -> int: ...
|
|
def __rmul__(self, x: int) -> int: ...
|
|
def __rfloordiv__(self, x: int) -> int: ...
|
|
def __rdiv__(self, x: int) -> int: ...
|
|
def __rtruediv__(self, x: int) -> float: ...
|
|
def __rmod__(self, x: int) -> int: ...
|
|
def __rdivmod__(self, x: int) -> Tuple[int, int]: ...
|
|
def __pow__(self, x: int) -> Any: ... # Return type can be int or float, depending on x.
|
|
def __rpow__(self, x: int) -> Any: ...
|
|
def __and__(self, n: int) -> int: ...
|
|
def __or__(self, n: int) -> int: ...
|
|
def __xor__(self, n: int) -> int: ...
|
|
def __lshift__(self, n: int) -> int: ...
|
|
def __rshift__(self, n: int) -> int: ...
|
|
def __rand__(self, n: int) -> int: ...
|
|
def __ror__(self, n: int) -> int: ...
|
|
def __rxor__(self, n: int) -> int: ...
|
|
def __rlshift__(self, n: int) -> int: ...
|
|
def __rrshift__(self, n: int) -> int: ...
|
|
def __neg__(self) -> int: ...
|
|
def __pos__(self) -> int: ...
|
|
def __invert__(self) -> int: ...
|
|
|
|
def __eq__(self, x: object) -> bool: ...
|
|
def __ne__(self, x: object) -> bool: ...
|
|
def __lt__(self, x: int) -> bool: ...
|
|
def __le__(self, x: int) -> bool: ...
|
|
def __gt__(self, x: int) -> bool: ...
|
|
def __ge__(self, x: int) -> bool: ...
|
|
|
|
def __str__(self) -> str: ...
|
|
def __float__(self) -> float: ...
|
|
def __int__(self) -> int: ...
|
|
def __abs__(self) -> int: ...
|
|
def __hash__(self) -> int: ...
|
|
def __nonzero__(self) -> bool: ...
|
|
|
|
class float:
|
|
def __init__(self, x: Union[SupportsFloat, str, unicode, bytearray] = ...) -> None: ...
|
|
def as_integer_ratio(self) -> Tuple[int, int]: ...
|
|
def hex(self) -> str: ...
|
|
def is_integer(self) -> bool: ...
|
|
@classmethod
|
|
def fromhex(cls, s: str) -> float: ...
|
|
|
|
def __add__(self, x: float) -> float: ...
|
|
def __sub__(self, x: float) -> float: ...
|
|
def __mul__(self, x: float) -> float: ...
|
|
def __floordiv__(self, x: float) -> float: ...
|
|
def __div__(self, x: float) -> float: ...
|
|
def __truediv__(self, x: float) -> float: ...
|
|
def __mod__(self, x: float) -> float: ...
|
|
def __divmod__(self, x: float) -> Tuple[float, float]: ...
|
|
def __pow__(self, x: float) -> float: ...
|
|
def __radd__(self, x: float) -> float: ...
|
|
def __rsub__(self, x: float) -> float: ...
|
|
def __rmul__(self, x: float) -> float: ...
|
|
def __rfloordiv__(self, x: float) -> float: ...
|
|
def __rdiv__(self, x: float) -> float: ...
|
|
def __rtruediv__(self, x: float) -> float: ...
|
|
def __rmod__(self, x: float) -> float: ...
|
|
def __rdivmod__(self, x: float) -> Tuple[float, float]: ...
|
|
def __rpow__(self, x: float) -> float: ...
|
|
|
|
def __eq__(self, x: object) -> bool: ...
|
|
def __ne__(self, x: object) -> bool: ...
|
|
def __lt__(self, x: float) -> bool: ...
|
|
def __le__(self, x: float) -> bool: ...
|
|
def __gt__(self, x: float) -> bool: ...
|
|
def __ge__(self, x: float) -> bool: ...
|
|
def __neg__(self) -> float: ...
|
|
def __pos__(self) -> float: ...
|
|
|
|
def __str__(self) -> str: ...
|
|
def __int__(self) -> int: ...
|
|
def __float__(self) -> float: ...
|
|
def __abs__(self) -> float: ...
|
|
def __hash__(self) -> int: ...
|
|
def __nonzero__(self) -> bool: ...
|
|
|
|
class complex:
|
|
@overload
|
|
def __init__(self, re: float = ..., im: float = ...) -> None: ...
|
|
@overload
|
|
def __init__(self, s: str) -> None: ...
|
|
@overload
|
|
def __init__(self, s: SupportsComplex) -> None: ...
|
|
|
|
@property
|
|
def real(self) -> float: ...
|
|
@property
|
|
def imag(self) -> float: ...
|
|
|
|
def conjugate(self) -> complex: ...
|
|
|
|
def __add__(self, x: complex) -> complex: ...
|
|
def __sub__(self, x: complex) -> complex: ...
|
|
def __mul__(self, x: complex) -> complex: ...
|
|
def __pow__(self, x: complex) -> complex: ...
|
|
def __div__(self, x: complex) -> complex: ...
|
|
def __truediv__(self, x: complex) -> complex: ...
|
|
def __radd__(self, x: complex) -> complex: ...
|
|
def __rsub__(self, x: complex) -> complex: ...
|
|
def __rmul__(self, x: complex) -> complex: ...
|
|
def __rpow__(self, x: complex) -> complex: ...
|
|
def __rdiv__(self, x: complex) -> complex: ...
|
|
def __rtruediv__(self, x: complex) -> complex: ...
|
|
|
|
def __eq__(self, x: object) -> bool: ...
|
|
def __ne__(self, x: object) -> bool: ...
|
|
def __neg__(self) -> complex: ...
|
|
def __pos__(self) -> complex: ...
|
|
|
|
def __complex__(self) -> complex: ...
|
|
def __str__(self) -> str: ...
|
|
def __abs__(self) -> float: ...
|
|
def __hash__(self) -> int: ...
|
|
def __nonzero__(self) -> bool: ...
|
|
|
|
class super(object):
|
|
@overload
|
|
def __init__(self, t: Any, obj: Any) -> None: ...
|
|
@overload
|
|
def __init__(self, t: Any) -> None: ...
|
|
|
|
class basestring(metaclass=ABCMeta): ...
|
|
|
|
class unicode(basestring, Sequence[unicode]):
|
|
@overload
|
|
def __init__(self) -> None: ...
|
|
@overload
|
|
def __init__(self, o: object) -> None: ...
|
|
@overload
|
|
def __init__(self, o: str, encoding: unicode = ..., errors: unicode = ...) -> None: ...
|
|
def capitalize(self) -> unicode: ...
|
|
def center(self, width: int, fillchar: unicode = ...) -> unicode: ...
|
|
def count(self, x: unicode) -> int: ...
|
|
def decode(self, encoding: unicode = ..., errors: unicode = ...) -> unicode: ...
|
|
def encode(self, encoding: unicode = ..., errors: unicode = ...) -> str: ...
|
|
def endswith(self, suffix: Union[unicode, Tuple[unicode, ...]], start: int = ...,
|
|
end: int = ...) -> bool: ...
|
|
def expandtabs(self, tabsize: int = ...) -> unicode: ...
|
|
def find(self, sub: unicode, start: int = ..., end: int = ...) -> int: ...
|
|
def format(self, *args: Any, **kwargs: Any) -> unicode: ...
|
|
def format_map(self, map: Mapping[unicode, Any]) -> unicode: ...
|
|
def index(self, sub: unicode, start: int = ..., end: int = ...) -> int: ...
|
|
def isalnum(self) -> bool: ...
|
|
def isalpha(self) -> bool: ...
|
|
def isdecimal(self) -> bool: ...
|
|
def isdigit(self) -> bool: ...
|
|
def isidentifier(self) -> bool: ...
|
|
def islower(self) -> bool: ...
|
|
def isnumeric(self) -> bool: ...
|
|
def isprintable(self) -> bool: ...
|
|
def isspace(self) -> bool: ...
|
|
def istitle(self) -> bool: ...
|
|
def isupper(self) -> bool: ...
|
|
def join(self, iterable: Iterable[unicode]) -> unicode: ...
|
|
def ljust(self, width: int, fillchar: unicode = ...) -> unicode: ...
|
|
def lower(self) -> unicode: ...
|
|
def lstrip(self, chars: unicode = ...) -> unicode: ...
|
|
def partition(self, sep: unicode) -> Tuple[unicode, unicode, unicode]: ...
|
|
def replace(self, old: unicode, new: unicode, count: int = ...) -> unicode: ...
|
|
def rfind(self, sub: unicode, start: int = ..., end: int = ...) -> int: ...
|
|
def rindex(self, sub: unicode, start: int = ..., end: int = ...) -> int: ...
|
|
def rjust(self, width: int, fillchar: unicode = ...) -> unicode: ...
|
|
def rpartition(self, sep: unicode) -> Tuple[unicode, unicode, unicode]: ...
|
|
def rsplit(self, sep: Optional[unicode] = ..., maxsplit: int = ...) -> List[unicode]: ...
|
|
def rstrip(self, chars: unicode = ...) -> unicode: ...
|
|
def split(self, sep: Optional[unicode] = ..., maxsplit: int = ...) -> List[unicode]: ...
|
|
def splitlines(self, keepends: bool = ...) -> List[unicode]: ...
|
|
def startswith(self, prefix: Union[unicode, Tuple[unicode, ...]], start: int = ...,
|
|
end: int = ...) -> bool: ...
|
|
def strip(self, chars: unicode = ...) -> unicode: ...
|
|
def swapcase(self) -> unicode: ...
|
|
def title(self) -> unicode: ...
|
|
def translate(self, table: Union[Dict[int, Any], unicode]) -> unicode: ...
|
|
def upper(self) -> unicode: ...
|
|
def zfill(self, width: int) -> unicode: ...
|
|
|
|
@overload
|
|
def __getitem__(self, i: int) -> unicode: ...
|
|
@overload
|
|
def __getitem__(self, s: slice) -> unicode: ...
|
|
def __getslice__(self, start: int, stop: int) -> unicode: ...
|
|
def __add__(self, s: unicode) -> unicode: ...
|
|
def __mul__(self, n: int) -> unicode: ...
|
|
def __rmul__(self, n: int) -> unicode: ...
|
|
def __mod__(self, x: Any) -> unicode: ...
|
|
def __eq__(self, x: object) -> bool: ...
|
|
def __ne__(self, x: object) -> bool: ...
|
|
def __lt__(self, x: unicode) -> bool: ...
|
|
def __le__(self, x: unicode) -> bool: ...
|
|
def __gt__(self, x: unicode) -> bool: ...
|
|
def __ge__(self, x: unicode) -> bool: ...
|
|
|
|
def __len__(self) -> int: ...
|
|
def __contains__(self, s: object) -> bool: ...
|
|
def __iter__(self) -> Iterator[unicode]: ...
|
|
def __str__(self) -> str: ...
|
|
def __repr__(self) -> str: ...
|
|
def __int__(self) -> int: ...
|
|
def __float__(self) -> float: ...
|
|
def __hash__(self) -> int: ...
|
|
|
|
class str(basestring, Sequence[str]):
|
|
def __init__(self, object: object = ...) -> None: ...
|
|
def capitalize(self) -> str: ...
|
|
def center(self, width: int, fillchar: str = ...) -> str: ...
|
|
def count(self, x: unicode, __start: Optional[int] = ..., __end: Optional[int] = ...) -> int: ...
|
|
def decode(self, encoding: unicode = ..., errors: unicode = ...) -> unicode: ...
|
|
def encode(self, encoding: unicode = ..., errors: unicode = ...) -> str: ...
|
|
def endswith(self, suffix: Union[unicode, Tuple[unicode, ...]]) -> bool: ...
|
|
def expandtabs(self, tabsize: int = ...) -> str: ...
|
|
def find(self, sub: unicode, __start: Optional[int] = ..., __end: Optional[int] = ...) -> int: ...
|
|
def format(self, *args: Any, **kwargs: Any) -> str: ...
|
|
def index(self, sub: unicode, __start: Optional[int] = ..., __end: Optional[int] = ...) -> int: ...
|
|
def isalnum(self) -> bool: ...
|
|
def isalpha(self) -> bool: ...
|
|
def isdigit(self) -> bool: ...
|
|
def islower(self) -> bool: ...
|
|
def isspace(self) -> bool: ...
|
|
def istitle(self) -> bool: ...
|
|
def isupper(self) -> bool: ...
|
|
def join(self, iterable: Iterable[AnyStr]) -> AnyStr: ...
|
|
def ljust(self, width: int, fillchar: str = ...) -> str: ...
|
|
def lower(self) -> str: ...
|
|
@overload
|
|
def lstrip(self, chars: str = ...) -> str: ...
|
|
@overload
|
|
def lstrip(self, chars: unicode) -> unicode: ...
|
|
@overload
|
|
def partition(self, sep: bytearray) -> Tuple[str, bytearray, str]: ...
|
|
@overload
|
|
def partition(self, sep: str) -> Tuple[str, str, str]: ...
|
|
@overload
|
|
def partition(self, sep: unicode) -> Tuple[unicode, unicode, unicode]: ...
|
|
def replace(self, old: AnyStr, new: AnyStr, count: int = ...) -> AnyStr: ...
|
|
def rfind(self, sub: unicode, __start: Optional[int] = ..., __end: Optional[int] = ...) -> int: ...
|
|
def rindex(self, sub: unicode, __start: Optional[int] = ..., __end: Optional[int] = ...) -> int: ...
|
|
def rjust(self, width: int, fillchar: str = ...) -> str: ...
|
|
@overload
|
|
def rpartition(self, sep: bytearray) -> Tuple[str, bytearray, str]: ...
|
|
@overload
|
|
def rpartition(self, sep: str) -> Tuple[str, str, str]: ...
|
|
@overload
|
|
def rpartition(self, sep: unicode) -> Tuple[unicode, unicode, unicode]: ...
|
|
@overload
|
|
def rsplit(self, sep: Optional[str] = ..., maxsplit: int = ...) -> List[str]: ...
|
|
@overload
|
|
def rsplit(self, sep: unicode, maxsplit: int = ...) -> List[unicode]: ...
|
|
@overload
|
|
def rstrip(self, chars: str = ...) -> str: ...
|
|
@overload
|
|
def rstrip(self, chars: unicode) -> unicode: ...
|
|
@overload
|
|
def split(self, sep: Optional[str] = ..., maxsplit: int = ...) -> List[str]: ...
|
|
@overload
|
|
def split(self, sep: unicode, maxsplit: int = ...) -> List[unicode]: ...
|
|
def splitlines(self, keepends: bool = ...) -> List[str]: ...
|
|
def startswith(self, prefix: Union[unicode, Tuple[unicode, ...]]) -> bool: ...
|
|
@overload
|
|
def strip(self, chars: str = ...) -> str: ...
|
|
@overload
|
|
def strip(self, chars: unicode) -> unicode: ...
|
|
def swapcase(self) -> str: ...
|
|
def title(self) -> str: ...
|
|
def translate(self, table: Optional[AnyStr], deletechars: AnyStr = ...) -> AnyStr: ...
|
|
def upper(self) -> str: ...
|
|
def zfill(self, width: int) -> str: ...
|
|
|
|
def __len__(self) -> int: ...
|
|
def __iter__(self) -> Iterator[str]: ...
|
|
def __str__(self) -> str: ...
|
|
def __repr__(self) -> str: ...
|
|
def __int__(self) -> int: ...
|
|
def __float__(self) -> float: ...
|
|
def __hash__(self) -> int: ...
|
|
@overload
|
|
def __getitem__(self, i: int) -> str: ...
|
|
@overload
|
|
def __getitem__(self, s: slice) -> str: ...
|
|
def __getslice__(self, start: int, stop: int) -> str: ...
|
|
def __add__(self, s: AnyStr) -> AnyStr: ...
|
|
def __mul__(self, n: int) -> str: ...
|
|
def __rmul__(self, n: int) -> str: ...
|
|
def __contains__(self, o: object) -> bool: ...
|
|
def __eq__(self, x: object) -> bool: ...
|
|
def __ne__(self, x: object) -> bool: ...
|
|
def __lt__(self, x: unicode) -> bool: ...
|
|
def __le__(self, x: unicode) -> bool: ...
|
|
def __gt__(self, x: unicode) -> bool: ...
|
|
def __ge__(self, x: unicode) -> bool: ...
|
|
def __mod__(self, x: Any) -> str: ...
|
|
|
|
class bytearray(MutableSequence[int]):
|
|
@overload
|
|
def __init__(self) -> None: ...
|
|
@overload
|
|
def __init__(self, x: Union[Iterable[int], str]) -> None: ...
|
|
@overload
|
|
def __init__(self, x: unicode, encoding: unicode,
|
|
errors: unicode = ...) -> None: ...
|
|
@overload
|
|
def __init__(self, length: int) -> None: ...
|
|
def capitalize(self) -> bytearray: ...
|
|
def center(self, width: int, fillchar: str = ...) -> bytearray: ...
|
|
def count(self, x: str) -> int: ...
|
|
def decode(self, encoding: unicode = ..., errors: unicode = ...) -> str: ...
|
|
def endswith(self, suffix: Union[str, Tuple[str, ...]]) -> bool: ...
|
|
def expandtabs(self, tabsize: int = ...) -> bytearray: ...
|
|
def find(self, sub: str, start: int = ..., end: int = ...) -> int: ...
|
|
def index(self, sub: str, start: int = ..., end: int = ...) -> int: ...
|
|
def insert(self, index: int, object: int) -> None: ...
|
|
def isalnum(self) -> bool: ...
|
|
def isalpha(self) -> bool: ...
|
|
def isdigit(self) -> bool: ...
|
|
def islower(self) -> bool: ...
|
|
def isspace(self) -> bool: ...
|
|
def istitle(self) -> bool: ...
|
|
def isupper(self) -> bool: ...
|
|
def join(self, iterable: Iterable[str]) -> bytearray: ...
|
|
def ljust(self, width: int, fillchar: str = ...) -> bytearray: ...
|
|
def lower(self) -> bytearray: ...
|
|
def lstrip(self, chars: str = ...) -> bytearray: ...
|
|
def partition(self, sep: str) -> Tuple[bytearray, bytearray, bytearray]: ...
|
|
def replace(self, old: str, new: str, count: int = ...) -> bytearray: ...
|
|
def rfind(self, sub: str, start: int = ..., end: int = ...) -> int: ...
|
|
def rindex(self, sub: str, start: int = ..., end: int = ...) -> int: ...
|
|
def rjust(self, width: int, fillchar: str = ...) -> bytearray: ...
|
|
def rpartition(self, sep: str) -> Tuple[bytearray, bytearray, bytearray]: ...
|
|
def rsplit(self, sep: Optional[str] = ..., maxsplit: int = ...) -> List[bytearray]: ...
|
|
def rstrip(self, chars: str = ...) -> bytearray: ...
|
|
def split(self, sep: Optional[str] = ..., maxsplit: int = ...) -> List[bytearray]: ...
|
|
def splitlines(self, keepends: bool = ...) -> List[bytearray]: ...
|
|
def startswith(self, prefix: Union[str, Tuple[str, ...]]) -> bool: ...
|
|
def strip(self, chars: str = ...) -> bytearray: ...
|
|
def swapcase(self) -> bytearray: ...
|
|
def title(self) -> bytearray: ...
|
|
def translate(self, table: str) -> bytearray: ...
|
|
def upper(self) -> bytearray: ...
|
|
def zfill(self, width: int) -> bytearray: ...
|
|
@staticmethod
|
|
def fromhex(x: str) -> bytearray: ...
|
|
|
|
def __len__(self) -> int: ...
|
|
def __iter__(self) -> Iterator[int]: ...
|
|
def __str__(self) -> str: ...
|
|
def __repr__(self) -> str: ...
|
|
def __int__(self) -> int: ...
|
|
def __float__(self) -> float: ...
|
|
def __hash__(self) -> int: ...
|
|
@overload
|
|
def __getitem__(self, i: int) -> int: ...
|
|
@overload
|
|
def __getitem__(self, s: slice) -> bytearray: ...
|
|
def __getslice__(self, start: int, stop: int) -> bytearray: ...
|
|
@overload
|
|
def __setitem__(self, i: int, x: int) -> None: ...
|
|
@overload
|
|
def __setitem__(self, s: slice, x: Union[Iterable[int], str]) -> None: ...
|
|
def __setslice__(self, start: int, stop: int, x: Union[Sequence[int], str]) -> None: ...
|
|
def __delitem__(self, i: Union[int, slice]) -> None: ...
|
|
def __delslice__(self, start: int, stop: int) -> None: ...
|
|
def __add__(self, s: str) -> bytearray: ...
|
|
def __mul__(self, n: int) -> bytearray: ...
|
|
def __contains__(self, o: object) -> bool: ...
|
|
def __eq__(self, x: object) -> bool: ...
|
|
def __ne__(self, x: object) -> bool: ...
|
|
def __lt__(self, x: str) -> bool: ...
|
|
def __le__(self, x: str) -> bool: ...
|
|
def __gt__(self, x: str) -> bool: ...
|
|
def __ge__(self, x: str) -> bool: ...
|
|
|
|
class bool(int):
|
|
def __init__(self, o: object = ...) -> None: ...
|
|
@overload # type: ignore
|
|
def __and__(self, x: bool) -> bool: ...
|
|
@overload # type: ignore
|
|
def __and__(self, x: int) -> int: ...
|
|
@overload # type: ignore
|
|
def __or__(self, x: bool) -> bool: ...
|
|
@overload # type: ignore
|
|
def __or__(self, x: int) -> int: ...
|
|
@overload # type: ignore
|
|
def __xor__(self, x: bool) -> bool: ...
|
|
@overload # type: ignore
|
|
def __xor__(self, x: int) -> int: ...
|
|
@overload # type: ignore
|
|
def __rand__(self, x: bool) -> bool: ...
|
|
@overload # type: ignore
|
|
def __rand__(self, x: int) -> int: ...
|
|
@overload # type: ignore
|
|
def __ror__(self, x: bool) -> bool: ...
|
|
@overload # type: ignore
|
|
def __ror__(self, x: int) -> int: ...
|
|
@overload # type: ignore
|
|
def __rxor__(self, x: bool) -> bool: ...
|
|
@overload # type: ignore
|
|
def __rxor__(self, x: int) -> int: ...
|
|
|
|
class slice(object):
|
|
start = ... # type: Optional[int]
|
|
step = ... # type: Optional[int]
|
|
stop = ... # type: Optional[int]
|
|
@overload
|
|
def __init__(self, stop: Optional[int]) -> None: ...
|
|
@overload
|
|
def __init__(self, start: Optional[int], stop: Optional[int], step: Optional[int] = ...) -> None: ...
|
|
def indices(self, len: int) -> Tuple[int, int, int]: ...
|
|
|
|
class tuple(Sequence[_T_co], Generic[_T_co]):
|
|
def __init__(self, iterable: Iterable[_T_co] = ...) -> None: ...
|
|
def __len__(self) -> int: ...
|
|
def __contains__(self, x: object) -> bool: ...
|
|
@overload
|
|
def __getitem__(self, x: int) -> _T_co: ...
|
|
@overload
|
|
def __getitem__(self, x: slice) -> Tuple[_T_co, ...]: ...
|
|
def __iter__(self) -> Iterator[_T_co]: ...
|
|
def __lt__(self, x: Tuple[_T_co, ...]) -> bool: ...
|
|
def __le__(self, x: Tuple[_T_co, ...]) -> bool: ...
|
|
def __gt__(self, x: Tuple[_T_co, ...]) -> bool: ...
|
|
def __ge__(self, x: Tuple[_T_co, ...]) -> bool: ...
|
|
def __add__(self, x: Tuple[_T_co, ...]) -> Tuple[_T_co, ...]: ...
|
|
def __mul__(self, n: int) -> Tuple[_T_co, ...]: ...
|
|
def __rmul__(self, n: int) -> Tuple[_T_co, ...]: ...
|
|
def count(self, x: Any) -> int: ...
|
|
def index(self, x: Any) -> int: ...
|
|
|
|
class function:
|
|
# TODO name of the class (corresponds to Python 'function' class)
|
|
__name__ = ... # type: str
|
|
__module__ = ... # type: str
|
|
|
|
class list(MutableSequence[_T], Generic[_T]):
|
|
@overload
|
|
def __init__(self) -> None: ...
|
|
@overload
|
|
def __init__(self, iterable: Iterable[_T]) -> None: ...
|
|
def append(self, object: _T) -> None: ...
|
|
def extend(self, iterable: Iterable[_T]) -> None: ...
|
|
def pop(self, index: int = ...) -> _T: ...
|
|
def index(self, object: _T, start: int = ..., stop: int = ...) -> int: ...
|
|
def count(self, object: _T) -> int: ...
|
|
def insert(self, index: int, object: _T) -> None: ...
|
|
def remove(self, object: _T) -> None: ...
|
|
def reverse(self) -> None: ...
|
|
def sort(self, cmp: Callable[[_T, _T], Any] = ..., key: Callable[[_T], Any] = ..., reverse: bool = ...) -> None: ...
|
|
|
|
def __len__(self) -> int: ...
|
|
def __iter__(self) -> Iterator[_T]: ...
|
|
def __str__(self) -> str: ...
|
|
def __hash__(self) -> int: ...
|
|
@overload
|
|
def __getitem__(self, i: int) -> _T: ...
|
|
@overload
|
|
def __getitem__(self, s: slice) -> List[_T]: ...
|
|
def __getslice__(self, start: int, stop: int) -> List[_T]: ...
|
|
@overload
|
|
def __setitem__(self, i: int, o: _T) -> None: ...
|
|
@overload
|
|
def __setitem__(self, s: slice, o: Iterable[_T]) -> None: ...
|
|
def __setslice__(self, start: int, stop: int, o: Sequence[_T]) -> None: ...
|
|
def __delitem__(self, i: Union[int, slice]) -> None: ...
|
|
def __delslice__(self, start: int, stop: int) -> None: ...
|
|
def __add__(self, x: List[_T]) -> List[_T]: ...
|
|
def __iadd__(self, x: Iterable[_T]) -> List[_T]: ...
|
|
def __mul__(self, n: int) -> List[_T]: ...
|
|
def __rmul__(self, n: int) -> List[_T]: ...
|
|
def __contains__(self, o: object) -> bool: ...
|
|
def __reversed__(self) -> Iterator[_T]: ...
|
|
def __gt__(self, x: List[_T]) -> bool: ...
|
|
def __ge__(self, x: List[_T]) -> bool: ...
|
|
def __lt__(self, x: List[_T]) -> bool: ...
|
|
def __le__(self, x: List[_T]) -> bool: ...
|
|
|
|
class dict(MutableMapping[_KT, _VT], Generic[_KT, _VT]):
|
|
# NOTE: Keyword arguments are special. If they are used, _KT must include
|
|
# str, but we have no way of enforcing it here.
|
|
@overload
|
|
def __init__(self, **kwargs: _VT) -> None: ...
|
|
@overload
|
|
def __init__(self, map: Mapping[_KT, _VT], **kwargs: _VT) -> None: ...
|
|
@overload
|
|
def __init__(self, iterable: Iterable[Tuple[_KT, _VT]], **kwargs: _VT) -> None: ...
|
|
|
|
def __new__(cls: Type[_T1], *args: Any, **kwargs: Any) -> _T1: ...
|
|
|
|
def has_key(self, k: _KT) -> bool: ...
|
|
def clear(self) -> None: ...
|
|
def copy(self) -> Dict[_KT, _VT]: ...
|
|
def popitem(self) -> Tuple[_KT, _VT]: ...
|
|
def setdefault(self, k: _KT, default: _VT = ...) -> _VT: ...
|
|
@overload
|
|
def update(self, __m: Mapping[_KT, _VT], **kwargs: _VT) -> None: ...
|
|
@overload
|
|
def update(self, __m: Iterable[Tuple[_KT, _VT]], **kwargs: _VT) -> None: ...
|
|
@overload
|
|
def update(self, **kwargs: _VT) -> None: ...
|
|
def iterkeys(self) -> Iterator[_KT]: ...
|
|
def itervalues(self) -> Iterator[_VT]: ...
|
|
def iteritems(self) -> Iterator[Tuple[_KT, _VT]]: ...
|
|
def viewkeys(self) -> KeysView[_KT]: ...
|
|
def viewvalues(self) -> ValuesView[_VT]: ...
|
|
def viewitems(self) -> ItemsView[_KT, _VT]: ...
|
|
@staticmethod
|
|
@overload
|
|
def fromkeys(seq: Sequence[_T]) -> Dict[_T, Any]: ... # TODO: Actually a class method (mypy/issues#328)
|
|
@staticmethod
|
|
@overload
|
|
def fromkeys(seq: Sequence[_T], value: _S) -> Dict[_T, _S]: ...
|
|
def __len__(self) -> int: ...
|
|
def __getitem__(self, k: _KT) -> _VT: ...
|
|
def __setitem__(self, k: _KT, v: _VT) -> None: ...
|
|
def __delitem__(self, v: _KT) -> None: ...
|
|
def __iter__(self) -> Iterator[_KT]: ...
|
|
def __str__(self) -> str: ...
|
|
|
|
class set(MutableSet[_T], Generic[_T]):
|
|
def __init__(self, iterable: Iterable[_T] = ...) -> None: ...
|
|
def add(self, element: _T) -> None: ...
|
|
def clear(self) -> None: ...
|
|
def copy(self) -> Set[_T]: ...
|
|
def difference(self, *s: Iterable[Any]) -> Set[_T]: ...
|
|
def difference_update(self, *s: Iterable[Any]) -> None: ...
|
|
def discard(self, element: _T) -> None: ...
|
|
def intersection(self, *s: Iterable[Any]) -> Set[_T]: ...
|
|
def intersection_update(self, *s: Iterable[Any]) -> None: ...
|
|
def isdisjoint(self, s: Iterable[object]) -> bool: ...
|
|
def issubset(self, s: Iterable[object]) -> bool: ...
|
|
def issuperset(self, s: Iterable[object]) -> bool: ...
|
|
def pop(self) -> _T: ...
|
|
def remove(self, element: _T) -> None: ...
|
|
def symmetric_difference(self, s: Iterable[_T]) -> Set[_T]: ...
|
|
def symmetric_difference_update(self, s: Iterable[_T]) -> None: ...
|
|
def union(self, *s: Iterable[_T]) -> Set[_T]: ...
|
|
def update(self, *s: Iterable[_T]) -> None: ...
|
|
def __len__(self) -> int: ...
|
|
def __contains__(self, o: object) -> bool: ...
|
|
def __iter__(self) -> Iterator[_T]: ...
|
|
def __str__(self) -> str: ...
|
|
def __and__(self, s: AbstractSet[object]) -> Set[_T]: ...
|
|
def __iand__(self, s: AbstractSet[object]) -> Set[_T]: ...
|
|
def __or__(self, s: AbstractSet[_S]) -> Set[Union[_T, _S]]: ...
|
|
def __ior__(self, s: AbstractSet[_S]) -> Set[Union[_T, _S]]: ...
|
|
def __sub__(self, s: AbstractSet[object]) -> Set[_T]: ...
|
|
def __isub__(self, s: AbstractSet[object]) -> Set[_T]: ...
|
|
def __xor__(self, s: AbstractSet[_S]) -> Set[Union[_T, _S]]: ...
|
|
def __ixor__(self, s: AbstractSet[_S]) -> Set[Union[_T, _S]]: ...
|
|
def __le__(self, s: AbstractSet[object]) -> bool: ...
|
|
def __lt__(self, s: AbstractSet[object]) -> bool: ...
|
|
def __ge__(self, s: AbstractSet[object]) -> bool: ...
|
|
def __gt__(self, s: AbstractSet[object]) -> bool: ...
|
|
|
|
class frozenset(AbstractSet[_T], Generic[_T]):
|
|
@overload
|
|
def __init__(self) -> None: ...
|
|
@overload
|
|
def __init__(self, iterable: Iterable[_T]) -> None: ...
|
|
def copy(self) -> FrozenSet[_T]: ...
|
|
def difference(self, *s: Iterable[object]) -> FrozenSet[_T]: ...
|
|
def intersection(self, *s: Iterable[object]) -> FrozenSet[_T]: ...
|
|
def isdisjoint(self, s: Iterable[_T]) -> bool: ...
|
|
def issubset(self, s: Iterable[object]) -> bool: ...
|
|
def issuperset(self, s: Iterable[object]) -> bool: ...
|
|
def symmetric_difference(self, s: Iterable[_T]) -> FrozenSet[_T]: ...
|
|
def union(self, *s: Iterable[_T]) -> FrozenSet[_T]: ...
|
|
def __len__(self) -> int: ...
|
|
def __contains__(self, o: object) -> bool: ...
|
|
def __iter__(self) -> Iterator[_T]: ...
|
|
def __str__(self) -> str: ...
|
|
def __and__(self, s: AbstractSet[_T]) -> FrozenSet[_T]: ...
|
|
def __or__(self, s: AbstractSet[_S]) -> FrozenSet[Union[_T, _S]]: ...
|
|
def __sub__(self, s: AbstractSet[_T]) -> FrozenSet[_T]: ...
|
|
def __xor__(self, s: AbstractSet[_S]) -> FrozenSet[Union[_T, _S]]: ...
|
|
def __le__(self, s: AbstractSet[object]) -> bool: ...
|
|
def __lt__(self, s: AbstractSet[object]) -> bool: ...
|
|
def __ge__(self, s: AbstractSet[object]) -> bool: ...
|
|
def __gt__(self, s: AbstractSet[object]) -> bool: ...
|
|
|
|
class enumerate(Iterator[Tuple[int, _T]], Generic[_T]):
|
|
def __init__(self, iterable: Iterable[_T], start: int = ...) -> None: ...
|
|
def __iter__(self) -> Iterator[Tuple[int, _T]]: ...
|
|
def next(self) -> Tuple[int, _T]: ...
|
|
# TODO __getattribute__
|
|
|
|
class xrange(Sized, Iterable[int], Reversible[int]):
|
|
@overload
|
|
def __init__(self, stop: int) -> None: ...
|
|
@overload
|
|
def __init__(self, start: int, stop: int, step: int = ...) -> None: ...
|
|
def __len__(self) -> int: ...
|
|
def __iter__(self) -> Iterator[int]: ...
|
|
def __getitem__(self, i: int) -> int: ...
|
|
def __reversed__(self) -> Iterator[int]: ...
|
|
|
|
class property(object):
|
|
def __init__(self, fget: Optional[Callable[[Any], Any]] = ...,
|
|
fset: Optional[Callable[[Any, Any], None]] = ...,
|
|
fdel: Optional[Callable[[Any], None]] = ..., doc: Optional[str] = ...) -> None: ...
|
|
def getter(self, fget: Callable[[Any], Any]) -> property: ...
|
|
def setter(self, fset: Callable[[Any, Any], None]) -> property: ...
|
|
def deleter(self, fdel: Callable[[Any], None]) -> property: ...
|
|
def __get__(self, obj: Any, type: Optional[type] = ...) -> Any: ...
|
|
def __set__(self, obj: Any, value: Any) -> None: ...
|
|
def __delete__(self, obj: Any) -> None: ...
|
|
def fget(self) -> Any: ...
|
|
def fset(self, value: Any) -> None: ...
|
|
def fdel(self) -> None: ...
|
|
|
|
long = int
|
|
bytes = str
|
|
|
|
NotImplemented = ... # type: Any
|
|
|
|
def abs(n: SupportsAbs[_T]) -> _T: ...
|
|
def all(i: Iterable[object]) -> bool: ...
|
|
def any(i: Iterable[object]) -> bool: ...
|
|
def bin(number: int) -> str: ...
|
|
def callable(o: object) -> bool: ...
|
|
def chr(code: int) -> str: ...
|
|
def compile(source: Any, filename: unicode, mode: str, flags: int = ...,
|
|
dont_inherit: int = ...) -> Any: ...
|
|
def delattr(o: Any, name: unicode) -> None: ...
|
|
def dir(o: object = ...) -> List[str]: ...
|
|
@overload
|
|
def divmod(a: int, b: int) -> Tuple[int, int]: ...
|
|
@overload
|
|
def divmod(a: float, b: float) -> Tuple[float, float]: ...
|
|
def exit(code: Any = ...) -> NoReturn: ...
|
|
@overload
|
|
def filter(function: Callable[[_T], Any],
|
|
iterable: Iterable[_T]) -> List[_T]: ...
|
|
@overload
|
|
def filter(function: None,
|
|
iterable: Iterable[Optional[_T]]) -> List[_T]: ...
|
|
def format(o: object, format_spec: str = ...) -> str: ... # TODO unicode
|
|
def getattr(o: Any, name: unicode, default: Optional[Any] = ...) -> Any: ...
|
|
def hasattr(o: Any, name: unicode) -> bool: ...
|
|
def hash(o: object) -> int: ...
|
|
def hex(i: int) -> str: ... # TODO __index__
|
|
def id(o: object) -> int: ...
|
|
def input(prompt: Any = ...) -> Any: ...
|
|
def intern(string: str) -> str: ...
|
|
@overload
|
|
def iter(iterable: Iterable[_T]) -> Iterator[_T]: ...
|
|
@overload
|
|
def iter(function: Callable[[], _T], sentinel: _T) -> Iterator[_T]: ...
|
|
def isinstance(o: object, t: Union[type, Tuple[Union[type, Tuple], ...]]) -> bool: ...
|
|
def issubclass(cls: type, classinfo: Union[type, Tuple[Union[type, Tuple], ...]]) -> bool: ...
|
|
def len(o: Sized) -> int: ...
|
|
@overload
|
|
def map(func: Callable[[_T1], _S], iter1: Iterable[_T1]) -> List[_S]: ...
|
|
@overload
|
|
def map(func: Callable[[_T1, _T2], _S],
|
|
iter1: Iterable[_T1],
|
|
iter2: Iterable[_T2]) -> List[_S]: ...
|
|
@overload
|
|
def map(func: Callable[[_T1, _T2, _T3], _S],
|
|
iter1: Iterable[_T1],
|
|
iter2: Iterable[_T2],
|
|
iter3: Iterable[_T3]) -> List[_S]: ...
|
|
@overload
|
|
def map(func: Callable[[_T1, _T2, _T3, _T4], _S],
|
|
iter1: Iterable[_T1],
|
|
iter2: Iterable[_T2],
|
|
iter3: Iterable[_T3],
|
|
iter4: Iterable[_T4]) -> List[_S]: ...
|
|
@overload
|
|
def map(func: Callable[[_T1, _T2, _T3, _T4, _T5], _S],
|
|
iter1: Iterable[_T1],
|
|
iter2: Iterable[_T2],
|
|
iter3: Iterable[_T3],
|
|
iter4: Iterable[_T4],
|
|
iter5: Iterable[_T5]) -> List[_S]: ...
|
|
@overload
|
|
def map(func: Callable[..., _S],
|
|
iter1: Iterable[Any],
|
|
iter2: Iterable[Any],
|
|
iter3: Iterable[Any],
|
|
iter4: Iterable[Any],
|
|
iter5: Iterable[Any],
|
|
iter6: Iterable[Any],
|
|
*iterables: Iterable[Any]) -> List[_S]: ...
|
|
@overload
|
|
def map(func: None, iter1: Iterable[_T1]) -> List[_T1]: ...
|
|
@overload
|
|
def map(func: None,
|
|
iter1: Iterable[_T1],
|
|
iter2: Iterable[_T2]) -> List[Tuple[_T1, _T2]]: ...
|
|
@overload
|
|
def map(func: None,
|
|
iter1: Iterable[_T1],
|
|
iter2: Iterable[_T2],
|
|
iter3: Iterable[_T3]) -> List[Tuple[_T1, _T2, _T3]]: ...
|
|
@overload
|
|
def map(func: None,
|
|
iter1: Iterable[_T1],
|
|
iter2: Iterable[_T2],
|
|
iter3: Iterable[_T3],
|
|
iter4: Iterable[_T4]) -> List[Tuple[_T1, _T2, _T3, _T4]]: ...
|
|
@overload
|
|
def map(func: None,
|
|
iter1: Iterable[_T1],
|
|
iter2: Iterable[_T2],
|
|
iter3: Iterable[_T3],
|
|
iter4: Iterable[_T4],
|
|
iter5: Iterable[_T5]) -> List[Tuple[_T1, _T2, _T3, _T4, _T5]]: ...
|
|
@overload
|
|
def map(func: None,
|
|
iter1: Iterable[Any],
|
|
iter2: Iterable[Any],
|
|
iter3: Iterable[Any],
|
|
iter4: Iterable[Any],
|
|
iter5: Iterable[Any],
|
|
iter6: Iterable[Any],
|
|
*iterables: Iterable[Any]) -> List[Tuple[Any, ...]]: ...
|
|
@overload
|
|
def max(arg1: _T, arg2: _T, *args: _T, key: Callable[[_T], Any] = ...) -> _T: ...
|
|
@overload
|
|
def max(iterable: Iterable[_T], key: Callable[[_T], Any] = ...) -> _T: ...
|
|
@overload
|
|
def min(arg1: _T, arg2: _T, *args: _T, key: Callable[[_T], Any] = ...) -> _T: ...
|
|
@overload
|
|
def min(iterable: Iterable[_T], key: Callable[[_T], Any] = ...) -> _T: ...
|
|
@overload
|
|
def next(i: Iterator[_T]) -> _T: ...
|
|
@overload
|
|
def next(i: Iterator[_T], default: _VT) -> Union[_T, _VT]: ...
|
|
def oct(i: int) -> str: ... # TODO __index__
|
|
@overload
|
|
def open(file: str, mode: unicode = ..., buffering: int = ...) -> BinaryIO: ...
|
|
@overload
|
|
def open(file: unicode, mode: unicode = ..., buffering: int = ...) -> BinaryIO: ...
|
|
@overload
|
|
def open(file: int, mode: unicode = ..., buffering: int = ...) -> BinaryIO: ...
|
|
def ord(c: unicode) -> int: ...
|
|
# This is only available after from __future__ import print_function.
|
|
def print(*values: Any, sep: unicode = ..., end: unicode = ...,
|
|
file: IO[Any] = ...) -> None: ...
|
|
@overload
|
|
def pow(x: int, y: int) -> Any: ... # The return type can be int or float, depending on y.
|
|
@overload
|
|
def pow(x: int, y: int, z: int) -> Any: ...
|
|
@overload
|
|
def pow(x: float, y: float) -> float: ...
|
|
@overload
|
|
def pow(x: float, y: float, z: float) -> float: ...
|
|
def quit(code: int = ...) -> None: ...
|
|
def range(x: int, y: int = ..., step: int = ...) -> List[int]: ...
|
|
def raw_input(prompt: Any = ...) -> str: ...
|
|
|
|
@overload
|
|
def reduce(function: Callable[[_T, _S], _T], iterable: Iterable[_S], initializer: _T) -> _T: ...
|
|
@overload
|
|
def reduce(function: Callable[[_T, _T], _T], iterable: Iterable[_T]) -> _T: ...
|
|
|
|
def reload(module: Any) -> Any: ...
|
|
@overload
|
|
def reversed(object: Sequence[_T]) -> Iterator[_T]: ...
|
|
@overload
|
|
def reversed(object: Reversible[_T]) -> Iterator[_T]: ...
|
|
def repr(o: object) -> str: ...
|
|
@overload
|
|
def round(number: float) -> float: ...
|
|
@overload
|
|
def round(number: float, ndigits: int) -> float: ... # Always return a float if given ndigits.
|
|
@overload
|
|
def round(number: SupportsRound[_T]) -> _T: ...
|
|
@overload
|
|
def round(number: SupportsRound[_T], ndigits: int) -> _T: ...
|
|
def setattr(object: Any, name: unicode, value: Any) -> None: ...
|
|
def sorted(iterable: Iterable[_T], *,
|
|
cmp: Callable[[_T, _T], int] = ...,
|
|
key: Callable[[_T], Any] = ...,
|
|
reverse: bool = ...) -> List[_T]: ...
|
|
@overload
|
|
def sum(iterable: Iterable[_T]) -> Union[_T, int]: ...
|
|
@overload
|
|
def sum(iterable: Iterable[_T], start: _S) -> Union[_T, _S]: ...
|
|
def unichr(i: int) -> unicode: ...
|
|
def vars(object: Any = ...) -> Dict[str, Any]: ...
|
|
@overload
|
|
def zip(iter1: Iterable[_T1]) -> List[Tuple[_T1]]: ...
|
|
@overload
|
|
def zip(iter1: Iterable[_T1],
|
|
iter2: Iterable[_T2]) -> List[Tuple[_T1, _T2]]: ...
|
|
@overload
|
|
def zip(iter1: Iterable[_T1], iter2: Iterable[_T2],
|
|
iter3: Iterable[_T3]) -> List[Tuple[_T1, _T2, _T3]]: ...
|
|
@overload
|
|
def zip(iter1: Iterable[_T1], iter2: Iterable[_T2], iter3: Iterable[_T3],
|
|
iter4: Iterable[_T4]) -> List[Tuple[_T1, _T2,
|
|
_T3, _T4]]: ...
|
|
@overload
|
|
def zip(iter1: Iterable[_T1], iter2: Iterable[_T2], iter3: Iterable[_T3],
|
|
iter4: Iterable[_T4], iter5: Iterable[_T5]) -> List[Tuple[_T1, _T2,
|
|
_T3, _T4, _T5]]: ...
|
|
@overload
|
|
def zip(iter1: Iterable[Any], iter2: Iterable[Any], iter3: Iterable[Any],
|
|
iter4: Iterable[Any], iter5: Iterable[Any], iter6: Iterable[Any],
|
|
*iterables: Iterable[Any]) -> List[Tuple[Any, ...]]: ...
|
|
def __import__(name: unicode,
|
|
globals: Dict[str, Any] = ...,
|
|
locals: Dict[str, Any] = ...,
|
|
fromlist: List[str] = ..., level: int = ...) -> Any: ...
|
|
|
|
def globals() -> Dict[str, Any]: ...
|
|
def locals() -> Dict[str, Any]: ...
|
|
|
|
# Actually the type of Ellipsis is <type 'ellipsis'>, but since it's
|
|
# not exposed anywhere under that name, we make it private here.
|
|
class ellipsis: ...
|
|
Ellipsis = ... # type: ellipsis
|
|
|
|
# TODO: buffer support is incomplete; e.g. some_string.startswith(some_buffer) doesn't type check.
|
|
_AnyBuffer = TypeVar('_AnyBuffer', str, unicode, bytearray, buffer)
|
|
|
|
class buffer(Sized):
|
|
def __init__(self, object: _AnyBuffer, offset: int = ..., size: int = ...) -> None: ...
|
|
def __add__(self, other: _AnyBuffer) -> str: ...
|
|
def __cmp__(self, other: _AnyBuffer) -> bool: ...
|
|
def __getitem__(self, key: Union[int, slice]) -> str: ...
|
|
def __getslice__(self, i: int, j: int) -> str: ...
|
|
def __len__(self) -> int: ...
|
|
def __mul__(self, x: int) -> str: ...
|
|
|
|
class memoryview(Sized, Container[bytes]):
|
|
format = ... # type: str
|
|
itemsize = ... # type: int
|
|
shape = ... # type: Optional[Tuple[int, ...]]
|
|
strides = ... # type: Optional[Tuple[int, ...]]
|
|
suboffsets = ... # type: Optional[Tuple[int, ...]]
|
|
readonly = ... # type: bool
|
|
ndim = ... # type: int
|
|
|
|
def __init__(self, obj: Union[str, bytearray, buffer, memoryview]) -> None: ...
|
|
|
|
@overload
|
|
def __getitem__(self, i: int) -> bytes: ...
|
|
@overload
|
|
def __getitem__(self, s: slice) -> memoryview: ...
|
|
|
|
def __contains__(self, x: object) -> bool: ...
|
|
def __iter__(self) -> Iterator[bytes]: ...
|
|
def __len__(self) -> int: ...
|
|
|
|
@overload
|
|
def __setitem__(self, i: int, o: bytes) -> None: ...
|
|
@overload
|
|
def __setitem__(self, s: slice, o: Sequence[bytes]) -> None: ...
|
|
@overload
|
|
def __setitem__(self, s: slice, o: memoryview) -> None: ...
|
|
|
|
def tobytes(self) -> bytes: ...
|
|
def tolist(self) -> List[int]: ...
|
|
|
|
class BaseException(object):
|
|
args = ... # type: Tuple[Any, ...]
|
|
message = ... # type: Any
|
|
def __init__(self, *args: object, **kwargs: object) -> None: ...
|
|
def __getitem__(self, i: int) -> Any: ...
|
|
def __getslice__(self, start: int, stop: int) -> Tuple[Any, ...]: ...
|
|
|
|
class GeneratorExit(BaseException): ...
|
|
class KeyboardInterrupt(BaseException): ...
|
|
class SystemExit(BaseException):
|
|
code = 0
|
|
class Exception(BaseException): ...
|
|
class StopIteration(Exception): ...
|
|
class StandardError(Exception): ...
|
|
class ArithmeticError(StandardError): ...
|
|
class BufferError(StandardError): ...
|
|
class EnvironmentError(StandardError):
|
|
errno = 0
|
|
strerror = ... # type: str
|
|
# TODO can this be unicode?
|
|
filename = ... # type: str
|
|
class LookupError(StandardError): ...
|
|
class RuntimeError(StandardError): ...
|
|
class ValueError(StandardError): ...
|
|
class AssertionError(StandardError): ...
|
|
class AttributeError(StandardError): ...
|
|
class EOFError(StandardError): ...
|
|
class FloatingPointError(ArithmeticError): ...
|
|
class IOError(EnvironmentError): ...
|
|
class ImportError(StandardError): ...
|
|
class IndexError(LookupError): ...
|
|
class KeyError(LookupError): ...
|
|
class MemoryError(StandardError): ...
|
|
class NameError(StandardError): ...
|
|
class NotImplementedError(RuntimeError): ...
|
|
class OSError(EnvironmentError): ...
|
|
class WindowsError(OSError):
|
|
winerror = ... # type: int
|
|
class OverflowError(ArithmeticError): ...
|
|
class ReferenceError(StandardError): ...
|
|
class SyntaxError(StandardError):
|
|
msg = ... # type: str
|
|
lineno = ... # type: int
|
|
offset = ... # type: int
|
|
text = ... # type: str
|
|
filename = ... # type: str
|
|
class IndentationError(SyntaxError): ...
|
|
class TabError(IndentationError): ...
|
|
class SystemError(StandardError): ...
|
|
class TypeError(StandardError): ...
|
|
class UnboundLocalError(NameError): ...
|
|
class UnicodeError(ValueError): ...
|
|
class UnicodeDecodeError(UnicodeError):
|
|
encoding: bytes
|
|
object: bytes
|
|
start: int
|
|
end: int
|
|
reason: bytes
|
|
def __init__(self, __encoding: bytes, __object: bytes, __start: int, __end: int,
|
|
__reason: bytes) -> None: ...
|
|
class UnicodeEncodeError(UnicodeError):
|
|
encoding: bytes
|
|
object: unicode
|
|
start: int
|
|
end: int
|
|
reason: bytes
|
|
def __init__(self, __encoding: bytes, __object: unicode, __start: int, __end: int,
|
|
__reason: bytes) -> None: ...
|
|
class UnicodeTranslateError(UnicodeError): ...
|
|
class ZeroDivisionError(ArithmeticError): ...
|
|
|
|
class Warning(Exception): ...
|
|
class UserWarning(Warning): ...
|
|
class DeprecationWarning(Warning): ...
|
|
class SyntaxWarning(Warning): ...
|
|
class RuntimeWarning(Warning): ...
|
|
class FutureWarning(Warning): ...
|
|
class PendingDeprecationWarning(Warning): ...
|
|
class ImportWarning(Warning): ...
|
|
class UnicodeWarning(Warning): ...
|
|
class BytesWarning(Warning): ...
|
|
|
|
def eval(s: Union[str, unicode], globals: Dict[str, Any] = ..., locals: Dict[str, Any] = ...) -> Any: ...
|
|
def exec(object: str,
|
|
globals: Optional[Dict[str, Any]] = ...,
|
|
locals: Optional[Dict[str, Any]] = ...) -> Any: ... # TODO code object as source
|
|
|
|
def cmp(x: Any, y: Any) -> int: ...
|
|
|
|
def execfile(filename: str, globals: Optional[Dict[str, Any]] = ..., locals: Optional[Dict[str, Any]] = ...) -> None: ...
|
|
|
|
class file(BinaryIO):
|
|
@overload
|
|
def __init__(self, file: str, mode: str = ..., buffering: int = ...) -> None: ...
|
|
@overload
|
|
def __init__(self, file: unicode, mode: str = ..., buffering: int = ...) -> None: ...
|
|
@overload
|
|
def __init__(self, file: int, mode: str = ..., buffering: int = ...) -> None: ...
|
|
def __iter__(self) -> Iterator[str]: ...
|
|
def read(self, n: int = ...) -> str: ...
|
|
def __enter__(self) -> BinaryIO: ...
|
|
def __exit__(self, t: Optional[type] = ..., exc: Optional[BaseException] = ..., tb: Optional[Any] = ...) -> bool: ...
|
|
def flush(self) -> None: ...
|
|
def fileno(self) -> int: ...
|
|
def isatty(self) -> bool: ...
|
|
def close(self) -> None: ...
|
|
|
|
def readable(self) -> bool: ...
|
|
def writable(self) -> bool: ...
|
|
def seekable(self) -> bool: ...
|
|
def seek(self, offset: int, whence: int = ...) -> int: ...
|
|
def tell(self) -> int: ...
|
|
def readline(self, limit: int = ...) -> str: ...
|
|
def readlines(self, hint: int = ...) -> List[str]: ...
|
|
def write(self, data: str) -> int: ...
|
|
def writelines(self, data: Iterable[str]) -> None: ...
|
|
def truncate(self, pos: Optional[int] = ...) -> int: ...
|
|
|
|
# Very old builtins
|
|
def apply(func: Callable[..., _T], args: Optional[Sequence[Any]] = ..., kwds: Optional[Mapping[str, Any]] = ...) -> _T: ...
|
|
_N = TypeVar('_N', bool, int, float, complex)
|
|
def coerce(x: _N, y: _N) -> Tuple[_N, _N]: ...
|