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
|
# --------------------------------------------------------------------------------------
# Copyright (c) 2021-2024, 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 Callable, Tuple, Type, TypeVar, Union, overload
from .catom import Member
T = TypeVar("T")
T1 = TypeVar("T1")
T2 = TypeVar("T2")
class Subclass(Member[T, T]):
# No default
@overload
def __new__(cls, kind: Type[T], default: None = None) -> Subclass[Type[T]]: ...
@overload
def __new__(
cls, kind: Tuple[Type[T]], default: None = None
) -> Subclass[Type[T]]: ...
@overload
def __new__(
cls, kind: Tuple[Type[T], Type[T1]], default: None = None
) -> Subclass[Union[Type[T], Type[T1]]]: ...
@overload
def __new__(
cls, kind: Tuple[Type[T], Type[T1], Type[T2]], default: None = None
) -> Subclass[Union[Type[T], Type[T1], Type[T2]]]: ...
# With default
@overload
def __new__(cls, kind: Type[T], default: Type[T]) -> Subclass[Type[T]]: ...
@overload
def __new__(cls, kind: Tuple[Type[T]], default: Type[T]) -> Subclass[Type[T]]: ...
@overload
def __new__(
cls, kind: Tuple[Type[T], Type[T1]], default: Union[Type[T], Type[T1]]
) -> Subclass[Union[Type[T], Type[T1]]]: ...
@overload
def __new__(
cls,
kind: Tuple[Type[T], Type[T1], Type[T2]],
default: Union[Type[T], Type[T1], Type[T2]],
) -> Subclass[Union[Type[T], Type[T1], Type[T2]]]: ...
class ForwardSubclass(Subclass[T]):
@overload
def __new__(cls, resolve: Callable[[], Type[T]]) -> ForwardSubclass[Type[T]]: ...
@overload
def __new__(
cls, resolve: Callable[[], Tuple[Type[T]]]
) -> ForwardSubclass[Type[T]]: ...
@overload
def __new__(
cls, resolve: Callable[[], Tuple[Type[T], Type[T1]]]
) -> ForwardSubclass[Union[Type[T], Type[T1]]]: ...
@overload
def __new__(
cls, resolve: Callable[[], Tuple[Type[T], Type[T1], Type[T2]]]
) -> ForwardSubclass[Union[Type[T], Type[T1], Type[T2]]]: ...
|
