mirror of
https://mau.dev/maunium/synapse.git
synced 2024-12-15 10:43:53 +01:00
6463244375
Over time we've begun to use newer versions of mypy, typeshed, stub packages---and of course we've improved our own annotations. This makes some type ignore comments no longer necessary. I have removed them. There was one exception: a module that imports `select.epoll`. The ignore is redundant on Linux, but I've kept it ignored for those of us who work on the source tree using not-Linux. (#11771) I'm more interested in the config line which enforces this. I want unused ignores to be reported, because I think it's useful feedback when annotating to know when you've fixed a problem you had to previously ignore. * Installing extras before typechecking Lacking an easy way to install all extras generically, let's bite the bullet and make install the hand-maintained `all` extra before typechecking. Now that https://github.com/matrix-org/backend-meta/pull/6 is merged to the release/v1 branch.
131 lines
4.6 KiB
Python
131 lines
4.6 KiB
Python
# stub for SortedDict. This is a lightly edited copy of
|
|
# https://github.com/grantjenks/python-sortedcontainers/blob/eea42df1f7bad2792e8da77335ff888f04b9e5ae/sortedcontainers/sorteddict.pyi
|
|
# (from https://github.com/grantjenks/python-sortedcontainers/pull/107)
|
|
|
|
from typing import (
|
|
Any,
|
|
Callable,
|
|
Dict,
|
|
Hashable,
|
|
ItemsView,
|
|
Iterable,
|
|
Iterator,
|
|
KeysView,
|
|
List,
|
|
Mapping,
|
|
Optional,
|
|
Sequence,
|
|
Tuple,
|
|
Type,
|
|
TypeVar,
|
|
Union,
|
|
ValuesView,
|
|
overload,
|
|
)
|
|
|
|
_T = TypeVar("_T")
|
|
_S = TypeVar("_S")
|
|
_T_h = TypeVar("_T_h", bound=Hashable)
|
|
_KT = TypeVar("_KT", bound=Hashable) # Key type.
|
|
_VT = TypeVar("_VT") # Value type.
|
|
_KT_co = TypeVar("_KT_co", covariant=True, bound=Hashable)
|
|
_VT_co = TypeVar("_VT_co", covariant=True)
|
|
_SD = TypeVar("_SD", bound=SortedDict)
|
|
_Key = Callable[[_T], Any]
|
|
|
|
class SortedDict(Dict[_KT, _VT]):
|
|
@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: ...
|
|
@overload
|
|
def __init__(self, __key: _Key[_KT], **kwargs: _VT) -> None: ...
|
|
@overload
|
|
def __init__(
|
|
self, __key: _Key[_KT], __map: Mapping[_KT, _VT], **kwargs: _VT
|
|
) -> None: ...
|
|
@overload
|
|
def __init__(
|
|
self, __key: _Key[_KT], __iterable: Iterable[Tuple[_KT, _VT]], **kwargs: _VT
|
|
) -> None: ...
|
|
@property
|
|
def key(self) -> Optional[_Key[_KT]]: ...
|
|
@property
|
|
def iloc(self) -> SortedKeysView[_KT]: ...
|
|
def clear(self) -> None: ...
|
|
def __delitem__(self, key: _KT) -> None: ...
|
|
def __iter__(self) -> Iterator[_KT]: ...
|
|
def __reversed__(self) -> Iterator[_KT]: ...
|
|
def __setitem__(self, key: _KT, value: _VT) -> None: ...
|
|
def _setitem(self, key: _KT, value: _VT) -> None: ...
|
|
def copy(self: _SD) -> _SD: ...
|
|
def __copy__(self: _SD) -> _SD: ...
|
|
@classmethod
|
|
@overload
|
|
def fromkeys(
|
|
cls, seq: Iterable[_T_h], value: None = ...
|
|
) -> SortedDict[_T_h, None]: ...
|
|
@classmethod
|
|
@overload
|
|
def fromkeys(cls, seq: Iterable[_T_h], value: _S) -> SortedDict[_T_h, _S]: ...
|
|
# As of Python 3.10, `dict_{keys,items,values}` have an extra `mapping` attribute and so
|
|
# `Sorted{Keys,Items,Values}View` are no longer compatible with them.
|
|
# See https://github.com/python/typeshed/issues/6837
|
|
def keys(self) -> SortedKeysView[_KT]: ... # type: ignore[override]
|
|
def items(self) -> SortedItemsView[_KT, _VT]: ... # type: ignore[override]
|
|
def values(self) -> SortedValuesView[_VT]: ... # type: ignore[override]
|
|
@overload
|
|
def pop(self, key: _KT) -> _VT: ...
|
|
@overload
|
|
def pop(self, key: _KT, default: _T = ...) -> Union[_VT, _T]: ...
|
|
def popitem(self, index: int = ...) -> Tuple[_KT, _VT]: ...
|
|
def peekitem(self, index: int = ...) -> Tuple[_KT, _VT]: ...
|
|
def setdefault(self, key: _KT, default: Optional[_VT] = ...) -> _VT: ...
|
|
@overload
|
|
def update(self, __map: Mapping[_KT, _VT], **kwargs: _VT) -> None: ...
|
|
@overload
|
|
def update(self, __iterable: Iterable[Tuple[_KT, _VT]], **kwargs: _VT) -> None: ...
|
|
@overload
|
|
def update(self, **kwargs: _VT) -> None: ...
|
|
def __reduce__(
|
|
self,
|
|
) -> Tuple[
|
|
Type[SortedDict[_KT, _VT]],
|
|
Tuple[Callable[[_KT], Any], List[Tuple[_KT, _VT]]],
|
|
]: ...
|
|
def __repr__(self) -> str: ...
|
|
def _check(self) -> None: ...
|
|
def islice(
|
|
self,
|
|
start: Optional[int] = ...,
|
|
stop: Optional[int] = ...,
|
|
reverse: bool = ...,
|
|
) -> Iterator[_KT]: ...
|
|
def bisect_left(self, value: _KT) -> int: ...
|
|
def bisect_right(self, value: _KT) -> int: ...
|
|
|
|
class SortedKeysView(KeysView[_KT_co], Sequence[_KT_co]):
|
|
@overload
|
|
def __getitem__(self, index: int) -> _KT_co: ...
|
|
@overload
|
|
def __getitem__(self, index: slice) -> List[_KT_co]: ...
|
|
def __delitem__(self, index: Union[int, slice]) -> None: ...
|
|
|
|
class SortedItemsView(ItemsView[_KT_co, _VT_co], Sequence[Tuple[_KT_co, _VT_co]]):
|
|
def __iter__(self) -> Iterator[Tuple[_KT_co, _VT_co]]: ...
|
|
@overload
|
|
def __getitem__(self, index: int) -> Tuple[_KT_co, _VT_co]: ...
|
|
@overload
|
|
def __getitem__(self, index: slice) -> List[Tuple[_KT_co, _VT_co]]: ...
|
|
def __delitem__(self, index: Union[int, slice]) -> None: ...
|
|
|
|
class SortedValuesView(ValuesView[_VT_co], Sequence[_VT_co]):
|
|
@overload
|
|
def __getitem__(self, index: int) -> _VT_co: ...
|
|
@overload
|
|
def __getitem__(self, index: slice) -> List[_VT_co]: ...
|
|
def __delitem__(self, index: Union[int, slice]) -> None: ...
|