VimPlug/typeshed
1
0
Fork 0
mirror of https://github.com/davidhalter/typeshed.git synced 2025-12-20 19:01:15 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Make typing.IO inherit Iterator, not Iterable (#502)

Browse Source 
In Python, it's possible to use the `next` builtin method on file
objects produced by `open`. This change modifies `typing.IO` so this
usage will successfully typecheck.
This commit is contained in:
Michael Lee
2016-08-27 23:31:16 -07:00
committed by Guido van Rossum
parent 5e5b3726f2
commit 97bc450acd
2 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
stdlib/3/typing.pyi
View File

@@ -267,7 +267,7 @@ Text = str
TYPE_CHECKING = True
class IO(Iterable[AnyStr], Generic[AnyStr]):
class IO(Iterator[AnyStr], Generic[AnyStr]):
# TODO detach
# TODO use abstract properties
@property
@@ -310,6 +310,8 @@ class IO(Iterable[AnyStr], Generic[AnyStr]):
@abstractmethod
def writelines(self, lines: Iterable[AnyStr]) -> None: ...
@abstractmethod
def __next__(self) -> AnyStr: ...
@abstractmethod
def __iter__(self) -> Iterator[AnyStr]: ...
@abstractmethod