1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
# --------------------------------------------------------------------------------------
# Copyright (c) 2021-2025, Nucleic Development Team.
#
# Distributed under the terms of the Modified BSD License.
#
# The full license is in the file LICENSE, distributed with this software.
# --------------------------------------------------------------------------------------
from typing import (
Any,
Optional,
Tuple as TTuple,
Type,
TypeVar,
Union,
overload,
)
from typing_extensions import Unpack
from .catom import Member
T = TypeVar("T")
T1 = TypeVar("T1")
T2 = TypeVar("T2")
class Tuple(Member[TTuple[T, ...], TTuple[T, ...]]):
@overload
def __new__(
cls, kind: None = None, default: Optional[TTuple[Any, ...]] = None
) -> Tuple[Any]: ...
@overload
def __new__(
cls, kind: Type[T], default: Optional[TTuple[T, ...]] = None
) -> Tuple[T]: ...
@overload
def __new__(
cls, kind: TTuple[Type[T]], default: Optional[TTuple[T, ...]] = None
) -> Tuple[T]: ...
@overload
def __new__(
cls,
kind: TTuple[Type[T], Type[T1]],
default: Optional[TTuple[Union[T, T1], ...]] = None,
) -> Tuple[Union[T, T1]]: ...
@overload
def __new__(
cls,
kind: TTuple[Type[T], Type[T1], Type[T2]],
default: Optional[TTuple[Union[T, T1, T2], ...]] = None,
) -> Tuple[Union[T, T1, T2]]: ...
@overload
def __new__(
cls, kind: Member[T, Any], default: Optional[TTuple[T]] = None
) -> Tuple[T]: ...
TT = TypeVar("TT", bound=tuple)
# FIXME technically we can allow tuple of types in place of just types but that
# is not expected to serve often.
class FixedTuple(Member[TT, TT]):
@overload
def __new__(
cls, *items: Unpack[TTuple[Member[T, Any]]], default: Optional[TTuple[T]] = None
) -> FixedTuple[TTuple[T]]: ...
@overload
def __new__(
cls,
*items: Unpack[TTuple[Member[T, Any], Member[T1, Any]]],
default: Optional[TTuple[T, T1]] = None,
) -> FixedTuple[TTuple[T, T1]]: ...
@overload
def __new__(
cls,
*items: Unpack[TTuple[Member[T, Any], Member[T1, Any], Member[T2, Any]]],
default: Optional[TTuple[T, T1, T2]] = None,
) -> FixedTuple[TTuple[T, T1, T2]]: ...
@overload
def __new__(
cls, *items: Unpack[TTuple[Type[T]]], default: Optional[TTuple[T]] = None
) -> FixedTuple[TTuple[T]]: ...
@overload
def __new__(
cls,
*items: Unpack[TTuple[Type[T], Type[T1]]],
default: Optional[TTuple[T, T1]] = None,
) -> FixedTuple[TTuple[T, T1]]: ...
@overload
def __new__(
cls,
*items: Unpack[TTuple[Type[T], Type[T1], Type[T2]]],
default: Optional[TTuple[T, T1, T2]] = None,
) -> FixedTuple[TTuple[T, T1, T2]]: ...
|
