mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-08 13:04:46 +08:00
Fixed: Argument for Werkzeug's Headers.pop method. (#5335)
* Fixed: Argument for Werkzeug's Headers.pop method * Changed: Overloaded Headers.pop function to support different argument types
This commit is contained in:
@@ -191,7 +191,14 @@ class Headers(object):
|
||||
def extend(self, iterable): ...
|
||||
def __delitem__(self, key: Any) -> None: ...
|
||||
def remove(self, key): ...
|
||||
def pop(self, **kwargs): ...
|
||||
@overload
|
||||
def pop(self, key: Optional[int] = ...) -> str: ... # default is ignored, using it is an error
|
||||
@overload
|
||||
def pop(self, key: str) -> str: ...
|
||||
@overload
|
||||
def pop(self, key: str, default: str) -> str: ...
|
||||
@overload
|
||||
def pop(self, key: str, default: None) -> Optional[str]: ...
|
||||
def popitem(self): ...
|
||||
def __contains__(self, key): ...
|
||||
has_key: Any
|
||||
@@ -217,7 +224,14 @@ class ImmutableHeadersMixin:
|
||||
add_header: Any
|
||||
def extend(self, iterable): ...
|
||||
def insert(self, pos, value): ...
|
||||
def pop(self, **kwargs): ...
|
||||
@overload
|
||||
def pop(self, key: Optional[int] = ...) -> str: ... # default is ignored, using it is an error
|
||||
@overload
|
||||
def pop(self, key: str) -> str: ...
|
||||
@overload
|
||||
def pop(self, key: str, default: str) -> str: ...
|
||||
@overload
|
||||
def pop(self, key: str, default: None) -> Optional[str]: ...
|
||||
def popitem(self): ...
|
||||
def setdefault(self, key, default): ...
|
||||
|
||||
|
||||
Reference in New Issue
Block a user