mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-05-07 14:00:12 +08:00
Sebastian Rittau
37 lines
1.3 KiB
Python
37 lines
1.3 KiB
Python
from collections.abc import Iterator
|
|
from types import GenericAlias
|
|
from typing import Any, Literal, TypeVar, final, overload
|
|
|
|
_T = TypeVar("_T")
|
|
|
|
@final
|
|
class Template: # TODO: consider making `Template` generic on `TypeVarTuple`
|
|
strings: tuple[str, ...]
|
|
interpolations: tuple[Interpolation, ...]
|
|
|
|
def __new__(cls, *args: str | Interpolation) -> Template: ...
|
|
def __iter__(self) -> Iterator[str | Interpolation]: ...
|
|
def __add__(self, other: Template | str) -> Template: ...
|
|
def __class_getitem__(cls, item: Any, /) -> GenericAlias: ...
|
|
@property
|
|
def values(self) -> tuple[Any, ...]: ... # Tuple of interpolation values, which can have any type
|
|
|
|
@final
|
|
class Interpolation:
|
|
value: Any # TODO: consider making `Interpolation` generic in runtime
|
|
expression: str
|
|
conversion: Literal["a", "r", "s"] | None
|
|
format_spec: str
|
|
|
|
__match_args__ = ("value", "expression", "conversion", "format_spec")
|
|
|
|
def __new__(
|
|
cls, value: Any, expression: str = "", conversion: Literal["a", "r", "s"] | None = None, format_spec: str = ""
|
|
) -> Interpolation: ...
|
|
def __class_getitem__(cls, item: Any, /) -> GenericAlias: ...
|
|
|
|
@overload
|
|
def convert(obj: _T, /, conversion: None) -> _T: ...
|
|
@overload
|
|
def convert(obj: object, /, conversion: Literal["r", "s", "a"]) -> str: ...
|