From d4a2cf3da45080f7292872f2721897c4e2053d4f Mon Sep 17 00:00:00 2001 From: Vishal Kuo Date: Fri, 26 Jun 2020 15:14:42 -0700 Subject: [PATCH] [redis] adds additional sorted set type information (#4278) --- third_party/2and3/redis/client.pyi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/third_party/2and3/redis/client.pyi b/third_party/2and3/redis/client.pyi index f75ef686e..d6dab2cf9 100644 --- a/third_party/2and3/redis/client.pyi +++ b/third_party/2and3/redis/client.pyi @@ -242,14 +242,14 @@ class Redis(object): self, name: _Key, mapping: Mapping[_Key, _Str], nx: bool = ..., xx: bool = ..., ch: bool = ..., incr: bool = ... ) -> int: ... def zcard(self, name): ... - def zcount(self, name, min, max): ... + def zcount(self, name: _Key, min: _Str, max: _Str) -> int: ... def zincrby(self, name, value, amount=...): ... def zinterstore(self, dest, keys, aggregate=...): ... def zlexcount(self, name, min, max): ... def zrange(self, name, start, end, desc=..., withscores=..., score_cast_func=...): ... def zrangebylex(self, name, min, max, start=..., num=...): ... def zrangebyscore(self, name, min, max, start=..., num=..., withscores=..., score_cast_func=...): ... - def zrank(self, name, value): ... + def zrank(self, name: _Key, value: _Key) -> Optional[int]: ... def zrem(self, name, *values): ... def zremrangebylex(self, name, min, max): ... def zremrangebyrank(self, name, min, max): ...