mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-17 01:07:11 +08:00
f0bf6eebbd
* Replace all uses of StrPath, BytesPath, and AnyPath in Python 2 stubs. * Add StrOrBytesPath as preferred alias for AnyPath. * Replace all remaining AnyPath instances with StrOrBytesPath. * Mark AnyPath as obsolete. Part of #5470
26 lines
1.1 KiB
Python
26 lines
1.1 KiB
Python
from _typeshed import SupportsLessThanT
|
|
from typing import List, Sequence, Text, Tuple, Union, overload
|
|
from typing_extensions import Literal
|
|
|
|
# All overloads can return empty string. Ideally, Literal[""] would be a valid
|
|
# Iterable[T], so that Union[List[T], Literal[""]] could be used as a return
|
|
# type. But because this only works when T is str, we need Sequence[T] instead.
|
|
@overload
|
|
def commonprefix(m: Sequence[Text]) -> str: ... # type: ignore
|
|
@overload
|
|
def commonprefix(m: Sequence[str]) -> Union[str, Literal[""]]: ... # type: ignore
|
|
@overload
|
|
def commonprefix(m: Sequence[List[SupportsLessThanT]]) -> Sequence[SupportsLessThanT]: ...
|
|
@overload
|
|
def commonprefix(m: Sequence[Tuple[SupportsLessThanT, ...]]) -> Sequence[SupportsLessThanT]: ...
|
|
def exists(path: Text) -> bool: ...
|
|
def getsize(filename: Text) -> int: ...
|
|
def isfile(path: Text) -> bool: ...
|
|
def isdir(s: Text) -> bool: ...
|
|
|
|
# These return float if os.stat_float_times() == True,
|
|
# but int is a subclass of float.
|
|
def getatime(filename: Text) -> float: ...
|
|
def getmtime(filename: Text) -> float: ...
|
|
def getctime(filename: Text) -> float: ...
|