mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-07 20:54:28 +08:00
d05a9d3d83
I realized while working on srittau/type-stub-pep#64 that a
few things we do in existing enum definitions in typeshed are
problematic:
- Using "= ..." doesn't allow type checkers to correctly type the
result of Enum.MEMBER.value. In fact, mypy at least infers
.value to be "Ellipsis" if you do this.
- Properties on the enum values themselves, like HTTPStatus.phrase,
should not be specified directly as attributes, because it makes
type checkers think that the properties themselves are enum
members.
I ended up doing a bit more cleanup to the signal module:
- Remove unnecessary ... initializers.
- Remove unnecessary _SIG = Signals alias.
- I don't have Windows to test, but the C code for _signal suggests
that CTRL_C_EVENT and CTRL_BREAK events are not Signals, but just ints:
1dbd084f1f/Modules/signalmodule.c (L1575)
156 lines
4.9 KiB
Python
156 lines
4.9 KiB
Python
# Stubs for re
|
|
# Ron Murawski <ron@horizonchess.com>
|
|
# 'bytes' support added by Jukka Lehtosalo
|
|
|
|
# based on: http://docs.python.org/3.2/library/re.html
|
|
# and http://hg.python.org/cpython/file/618ea5612e83/Lib/re.py
|
|
|
|
import sys
|
|
from typing import (
|
|
List, Iterator, overload, Callable, Tuple,
|
|
AnyStr, Match, Pattern, Any, Optional, Union
|
|
)
|
|
|
|
# ----- re variables and constants -----
|
|
if sys.version_info >= (3, 6):
|
|
import enum
|
|
class RegexFlag(enum.IntFlag):
|
|
A: int
|
|
ASCII: int
|
|
DEBUG: int
|
|
I: int
|
|
IGNORECASE: int
|
|
L: int
|
|
LOCALE: int
|
|
M: int
|
|
MULTILINE: int
|
|
S: int
|
|
DOTALL: int
|
|
X: int
|
|
VERBOSE: int
|
|
U: int
|
|
UNICODE: int
|
|
T: int
|
|
TEMPLATE: int
|
|
|
|
A = RegexFlag.A
|
|
ASCII = RegexFlag.ASCII
|
|
DEBUG = RegexFlag.DEBUG
|
|
I = RegexFlag.I
|
|
IGNORECASE = RegexFlag.IGNORECASE
|
|
L = RegexFlag.L
|
|
LOCALE = RegexFlag.LOCALE
|
|
M = RegexFlag.M
|
|
MULTILINE = RegexFlag.MULTILINE
|
|
S = RegexFlag.S
|
|
DOTALL = RegexFlag.DOTALL
|
|
X = RegexFlag.X
|
|
VERBOSE = RegexFlag.VERBOSE
|
|
U = RegexFlag.U
|
|
UNICODE = RegexFlag.UNICODE
|
|
T = RegexFlag.T
|
|
TEMPLATE = RegexFlag.TEMPLATE
|
|
_FlagsType = Union[int, RegexFlag]
|
|
else:
|
|
A: int
|
|
ASCII: int
|
|
DEBUG: int
|
|
I: int
|
|
IGNORECASE: int
|
|
L: int
|
|
LOCALE: int
|
|
M: int
|
|
MULTILINE: int
|
|
S: int
|
|
DOTALL: int
|
|
X: int
|
|
VERBOSE: int
|
|
U: int
|
|
UNICODE: int
|
|
T: int
|
|
TEMPLATE: int
|
|
_FlagsType = int
|
|
|
|
if sys.version_info < (3, 7):
|
|
# undocumented
|
|
_pattern_type: type
|
|
|
|
class error(Exception): ...
|
|
|
|
@overload
|
|
def compile(pattern: AnyStr, flags: _FlagsType = ...) -> Pattern[AnyStr]: ...
|
|
@overload
|
|
def compile(pattern: Pattern[AnyStr], flags: _FlagsType = ...) -> Pattern[AnyStr]: ...
|
|
|
|
@overload
|
|
def search(pattern: AnyStr, string: AnyStr, flags: _FlagsType = ...) -> Optional[Match[AnyStr]]: ...
|
|
@overload
|
|
def search(pattern: Pattern[AnyStr], string: AnyStr, flags: _FlagsType = ...) -> Optional[Match[AnyStr]]: ...
|
|
|
|
@overload
|
|
def match(pattern: AnyStr, string: AnyStr, flags: _FlagsType = ...) -> Optional[Match[AnyStr]]: ...
|
|
@overload
|
|
def match(pattern: Pattern[AnyStr], string: AnyStr, flags: _FlagsType = ...) -> Optional[Match[AnyStr]]: ...
|
|
|
|
# New in Python 3.4
|
|
@overload
|
|
def fullmatch(pattern: AnyStr, string: AnyStr, flags: _FlagsType = ...) -> Optional[Match[AnyStr]]: ...
|
|
@overload
|
|
def fullmatch(pattern: Pattern[AnyStr], string: AnyStr, flags: _FlagsType = ...) -> Optional[Match[AnyStr]]: ...
|
|
|
|
@overload
|
|
def split(pattern: AnyStr, string: AnyStr,
|
|
maxsplit: int = ..., flags: _FlagsType = ...) -> List[AnyStr]: ...
|
|
@overload
|
|
def split(pattern: Pattern[AnyStr], string: AnyStr,
|
|
maxsplit: int = ..., flags: _FlagsType = ...) -> List[AnyStr]: ...
|
|
|
|
@overload
|
|
def findall(pattern: AnyStr, string: AnyStr, flags: _FlagsType = ...) -> List[Any]: ...
|
|
@overload
|
|
def findall(pattern: Pattern[AnyStr], string: AnyStr, flags: _FlagsType = ...) -> List[Any]: ...
|
|
|
|
# Return an iterator yielding match objects over all non-overlapping matches
|
|
# for the RE pattern in string. The string is scanned left-to-right, and
|
|
# matches are returned in the order found. Empty matches are included in the
|
|
# result unless they touch the beginning of another match.
|
|
@overload
|
|
def finditer(pattern: AnyStr, string: AnyStr,
|
|
flags: _FlagsType = ...) -> Iterator[Match[AnyStr]]: ...
|
|
@overload
|
|
def finditer(pattern: Pattern[AnyStr], string: AnyStr,
|
|
flags: _FlagsType = ...) -> Iterator[Match[AnyStr]]: ...
|
|
|
|
@overload
|
|
def sub(pattern: AnyStr, repl: AnyStr, string: AnyStr, count: int = ...,
|
|
flags: _FlagsType = ...) -> AnyStr: ...
|
|
@overload
|
|
def sub(pattern: AnyStr, repl: Callable[[Match[AnyStr]], AnyStr],
|
|
string: AnyStr, count: int = ..., flags: _FlagsType = ...) -> AnyStr: ...
|
|
@overload
|
|
def sub(pattern: Pattern[AnyStr], repl: AnyStr, string: AnyStr, count: int = ...,
|
|
flags: _FlagsType = ...) -> AnyStr: ...
|
|
@overload
|
|
def sub(pattern: Pattern[AnyStr], repl: Callable[[Match[AnyStr]], AnyStr],
|
|
string: AnyStr, count: int = ..., flags: _FlagsType = ...) -> AnyStr: ...
|
|
|
|
@overload
|
|
def subn(pattern: AnyStr, repl: AnyStr, string: AnyStr, count: int = ...,
|
|
flags: _FlagsType = ...) -> Tuple[AnyStr, int]: ...
|
|
@overload
|
|
def subn(pattern: AnyStr, repl: Callable[[Match[AnyStr]], AnyStr],
|
|
string: AnyStr, count: int = ...,
|
|
flags: _FlagsType = ...) -> Tuple[AnyStr, int]: ...
|
|
@overload
|
|
def subn(pattern: Pattern[AnyStr], repl: AnyStr, string: AnyStr, count: int = ...,
|
|
flags: _FlagsType = ...) -> Tuple[AnyStr, int]: ...
|
|
@overload
|
|
def subn(pattern: Pattern[AnyStr], repl: Callable[[Match[AnyStr]], AnyStr],
|
|
string: AnyStr, count: int = ...,
|
|
flags: _FlagsType = ...) -> Tuple[AnyStr, int]: ...
|
|
|
|
def escape(string: AnyStr) -> AnyStr: ...
|
|
|
|
def purge() -> None: ...
|
|
def template(pattern: Union[AnyStr, Pattern[AnyStr]], flags: _FlagsType = ...) -> Pattern[AnyStr]: ...
|