mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-07 20:54:28 +08:00
84548f5bba
The fix caused regressions for mypy that are difficult to
fix. See https://github.com/python/mypy/issues/5492 for
context.
This reverts commit 1a42a2c3ea.
1120 lines
46 KiB
Python
1120 lines
46 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, Text
|
|
)
|
|
from abc import ABCMeta
|
|
from ast import mod
|
|
|
|
_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]
|
|
__dict__ = ... # type: Dict[str, Any]
|
|
__slots__ = ... # type: Union[str, unicode, Iterable[Union[str, unicode]]]
|
|
__module__ = ... # type: str
|
|
|
|
@property
|
|
def __class__(self: _T) -> Type[_T]: ...
|
|
@__class__.setter
|
|
def __class__(self, __type: Type[object]) -> None: ...
|
|
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: Callable
|
|
|
|
def __init__(self, f: Callable) -> None: ...
|
|
def __new__(cls: Type[_T], *args: Any, **kwargs: Any) -> _T: ...
|
|
def __get__(self, obj: _T, type: Optional[Type[_T]] = ...) -> Callable: ...
|
|
|
|
class classmethod(object): # Special, only valid as a decorator.
|
|
__func__ = ... # type: Callable
|
|
|
|
def __init__(self, f: Callable) -> None: ...
|
|
def __new__(cls: Type[_T], *args: Any, **kwargs: Any) -> _T: ...
|
|
def __get__(self, obj: _T, type: Optional[Type[_T]] = ...) -> Callable: ...
|
|
|
|
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: ...
|
|
|
|
@property
|
|
def real(self) -> int: ...
|
|
@property
|
|
def imag(self) -> int: ...
|
|
@property
|
|
def numerator(self) -> int: ...
|
|
@property
|
|
def denominator(self) -> int: ...
|
|
def conjugate(self) -> int: ...
|
|
|
|
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 __getnewargs__(self) -> Tuple[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: ...
|
|
def __index__(self) -> int: ...
|
|
|
|
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: ...
|
|
|
|
@property
|
|
def real(self) -> float: ...
|
|
@property
|
|
def imag(self) -> float: ...
|
|
def conjugate(self) -> 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 __getnewargs__(self) -> Tuple[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: ...
|
|
def __getnewargs__(self) -> Tuple[unicode]: ...
|
|
|
|
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: ...
|
|
def __getnewargs__(self) -> Tuple[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: ...
|
|
def __getnewargs__(self) -> Tuple[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 __new__(cls: Type[_T], iterable: Iterable[_T_co] = ...) -> _T: ...
|
|
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: Union[Text, mod], filename: Text,
|
|
mode: Text, 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[[AnyStr], Any], # type: ignore
|
|
__iterable: AnyStr) -> AnyStr: ...
|
|
@overload
|
|
def filter(__function: None, # type: ignore
|
|
__iterable: Tuple[Optional[_T], ...]) -> Tuple[_T, ...]: ...
|
|
@overload
|
|
def filter(__function: Callable[[_T], Any], # type: ignore
|
|
__iterable: Tuple[_T, ...]) -> Tuple[_T, ...]: ...
|
|
@overload
|
|
def filter(__function: None,
|
|
__iterable: Iterable[Optional[_T]]) -> List[_T]: ...
|
|
@overload
|
|
def filter(__function: Callable[[_T], Any],
|
|
__iterable: Iterable[_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: 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 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 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) -> 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: Optional[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 next(self) -> 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]: ...
|