Fix Redis.zpopmin and zpopmax (#6642)

Co-authored-by: Sebastian Rittau <srittau@rittau.biz>
This commit is contained in:
Jelle Zijlstra
2021-12-21 07:57:46 -08:00
committed by GitHub
parent 0cecceed90
commit 5205efcaa4

View File

@@ -137,8 +137,8 @@ class CoreCommands(Generic[_StrType]):
def zincrby(self, name: _Key, amount: float, value: _Value) -> float: ...
def zinterstore(self, dest: _Key, keys: Iterable[_Key], aggregate: Literal["SUM", "MIN", "MAX"] | None = ...) -> int: ...
def zlexcount(self, name: _Key, min: _Value, max: _Value) -> int: ...
def zpopmax(self, name: _Key, count: int | None = ...) -> list[_StrType]: ...
def zpopmin(self, name: _Key, count: int | None = ...) -> list[_StrType]: ...
def zpopmax(self, name: _Key, count: int | None = ...) -> list[tuple[_StrType, float]]: ...
def zpopmin(self, name: _Key, count: int | None = ...) -> list[tuple[_StrType, float]]: ...
@overload
def bzpopmax(self, keys: _Key | Iterable[_Key], timeout: Literal[0] = ...) -> tuple[_StrType, _StrType, float]: ...
@overload