U
e5db
� G @ s� d dl mZmZ d dlZd dlZd dlZd dlZd dlZd dlZ d dl
Z
d dl Z d dl m Z m
Z
mZ dddddd d
d d d
ddddddddddddddd d d d d d!d"d#d$d%d&d'd(d)d*d+d,d-d.d/d0d1d2d3d4d5d6d7d8d9d:d;dd?d@dAdBdCdDdEdFdGdHdIdJgGZd�dLdM�ZdNdO� ZdPdQ� ZdRdS� ZdTdU� ZdVdW� Zg ZdXdY� ZdZd[� ZG d\d]� d]�ZG d^d_� d_�ZG d`da� daeedKdb�Zeddcdd�Z edFdedd�Z eddfdd�Z eddgdd�Z eddhdd�Z ed didd�Z!ed
djdd�Z"G dkd� dedKdb�Z#G dld� deedKdb�Z$d6d
d4d8d9d3d5dddm� Z%dndo� Z&G dpdq� dqedKdb�Z'G drds� dse'dKdb�Z(G dtd � d �Z)G dudv� dv�Z*G dwdx� dx�Z+dydzd{d|d}gZ,d~dd�d�d�d�d�d�d�d�g
Z-e,e- d�g Z.d�d�� Z/d�d�� Z0d�d�� Z1d�d�� Z2dd"ddd$dd dd&d)g
d�d�gd��Z3G d�d�� d�e�Z4G d�d � d e)e4d��Z5d�dH� Z6d�d>� Z7d�d�� Z8e j9e j:e j;e jd�dA� Z?d�d@� Z@d�dD� ZAd�dE� ZBd�d�� ZCd�dG� ZDd�d?� ZEe$d��ZFe$d��ZGe$d��ZHe$d�dKd��ZIe$d�dKd��ZJe$d�dKd��ZKe$d�dKd��ZLe$d�dKeMd��ZNe$d=eOeP�ZQd�d�d��ZReRej jSd��ZSeRej jTeI�ZTeRej jUeIeLeJf�ZUeRej jVeI�ZVeRej jWeI�ZWeRej jXeI�ZXeRej jYeI�ZYeRej jZeI�ZZeRej j[d��Z[eRej j\eI�Z\eRej j]eI�Z]e(ej j^d�dKd��Z^d�e^__eRej j`eI�ZaeRej jbeF�ZbeRej jceGeKf�ZceRej jdeGeHf�ZdeRej jeeI�ZeeRej jfeF�ZfeRej jgd��Zge(ehd�d�dKd��Zid�ei__eRejeFd�d��ZkeRejleF�ZmeReneFd�d��Z`eReoeId�d��ZpeRej jqeI�ZqeRej jreG�ZreRej jseGeKf�ZseRej jteK�ZteRejueI�ZveRejweI�ZxeReyeGeHfd�d��ZzeRej{eGeHf�Z|eRej}eGeHf�Z}eRej~eF�Z~eRejeGeHf�ZeRej j�eIeLeJf�Z�eRej j�eIeLf�Z�eReMeNd�d��Z�d�e�__e6G d�d/� d/e5��Z�e6G d�d-� d-e5��Z�e6G d�d,� d,e5��Z�e6G d�d+� d+e5��Z�e6G d�d.� d.e5��Z�e6G d�d*� d*e5eI ��Z�e6G d�d0� d0e5eI ��Z�d�d Z�d�Z�d�Z�G d�dƄ d�eM�Z�G d�d:� d:e�d��Z�d�dɄ Z�d�dKdʜd�d̄Z�d�d΄ Z�G d�dЄ d�eM�Z�G d�d;� d;eye�d��Z�d�dC� Z�ePZ�d�Z�G d�dԄ d�e)eQ �Z�G d�dք d�e�eO �Z�G d�d d�e�eP �Z�G d�dڄ dڃZ�e�d� e�_�e�e
j�e�j�< eRe j�eQ�Z�eRe j�eQ�Z�G d�d݄ d݃Ze�d� e_�ee
j�ej�< dS )�� )�abstractmethod�ABCMetaN)�WrapperDescriptorType�MethodWrapperType�MethodDescriptorType�Any�Callable�ClassVar�Final�
ForwardRef�Generic�Literal�Optional�Protocol�Tuple�Type�TypeVar�Union� AbstractSet�
ByteString� Container�ContextManager�Hashable� ItemsView�Iterable�Iterator�KeysView�Mapping� MappingView�MutableMapping�MutableSequence�
MutableSet�Sequence�Sized�
ValuesView� Awaitable�
AsyncIterator�
AsyncIterable� Coroutine�
Collection�AsyncGenerator�AsyncContextManager�
Reversible� SupportsAbs�
SupportsBytes�SupportsComplex�
SupportsFloat�
SupportsIndex� SupportsInt�
SupportsRound�ChainMap�Counter�Deque�Dict� DefaultDict�List� OrderedDict�Set� FrozenSet�
NamedTuple� TypedDict� Generator�AnyStr�cast�final�get_args�
get_origin�get_type_hints�NewType�
no_type_check�no_type_check_decorator�NoReturn�overload�runtime_checkable�Text�
TYPE_CHECKINGTc C s� t tf}|r|ttf }| d kr(td �S t| t�r:t| �S t| t�r\| j |kr\t
| � d���t| t �rr| t t
fks~| t tfkr�t
d| � d���t| tttf�r�| S t| �s�t
|� d| d�d���| S )Nz is not valid as type argumentzPlain z Got z.100�.)r r r r
�type�
isinstance�strr �
_GenericAlias�
__origin__� TypeError� _SpecialFormr rI r �callable)�arg�msg� is_argumentZinvalid_generic_forms� rZ � /usr/lib64/python3.8/typing.py� _type_checkx s(
�
�r\ c C sR t | t�r,| jdkr| jS | j� d| j� �S | dkr8dS t | tj�rJ| jS t| �S )N�builtinsrN .z...)rP rO �
__module__� __qualname__�types� FunctionType�__name__�repr)�objrZ rZ r[ �
_type_repr� s
re c s\ g � | D ]J}t |t�r(|� kr(� �|� t |t�r|js� �� fdd�|jD �� qt� �S )Nc s g | ]}|� kr|�qS rZ rZ ��.0�t��tvarsrZ r[ �
� s z&_collect_type_vars..)rP r �appendrR �_special�extend�__parameters__�tuple)r` rh rZ ri r[ �_collect_type_vars� s
rq c C s� t | t�s| S t| j�}t| j�D ]J\}}t |t�r\t|�D ] \}}||kr<|| ||< qdnd� d| � d|� d|� ���d S )Nz is not a generic classzToo ZmanyZfewz parameters for z ; actual z , expected )ro rT �len)�cls�
parametersZalenZelenrZ rZ r[ �_check_generic� s
r~ c C s� g }| D ]f}t |t�r.|jtkr.|�|j� qt |t�rdt|�dkrd|d tkrd|�|dd � � q|�|� qt |�}t|�t|�k r�g }|D ] }||kr�|�|� |�
|� q�|}t|�S )Nr � ) rP rR rS r rn rt rp r{ rl �set�remove)r} �params�pZ
all_paramsZ
new_paramsrh rZ rZ r[ �_remove_dups_flatten� s "
r� c s4 t �� ��� t�� j� t ���� �fdd��}|S )Nc s, z � | |�W S t k
r Y nX �| |�S rr �rT ��args�kwds��cached�funcrZ r[ �inner� s
z_tp_cache..inner)� functools� lru_cache� _cleanupsrl � cache_clear�wraps)r� r� rZ r� r[ � _tp_cache� s
r� c sb t | t�r| �� ��S t | t�r^t� �fdd�| jD ��}|| jkrH| S | �|�}| j|_|S | S )Nc 3 s | ]}t |� ��V qd S rr )�
_eval_type�rg ry ��globalns�localnsrZ r[ � s z _eval_type..)rP r � _evaluaterR rp rt rw rm )rh r� r� Zev_args�resrZ r� r[ r� s
r� c @ s e Zd ZdZdd� ZdS )�_Final)� __weakref__c O s d|krt d��d S )N�_rootz&Cannot subclass special typing classesr� ��selfr� r� rZ rZ r[ �__init_subclass__ s z_Final.__init_subclass__N)rb r^ r_ � __slots__r� rZ rZ rZ r[ r� s r� c @ s e Zd Zdd� Zdd� ZdS )�
_Immutablec C s | S rr rZ �r� rZ rZ r[ �__copy__% s z_Immutable.__copy__c C s | S rr rZ )r� ZmemorZ rZ r[ � __deepcopy__( s z_Immutable.__deepcopy__N)rb r^ r_ r� r� rZ rZ rZ r[ r� " s r� c sl e Zd ZdZ� fdd�Zdd� Zdd� Zdd � Zd
d � Zd d
� Z dd� Z
dd� Z dd� Z e
dd� �Z� ZS )rU ��_nameZ_docc sB t |�dkr6t|d t�r6t|d t�r6td| ����t� �| �S )N� r r zCannot subclass )r{ rP rQ rp rT �super�__new__)r| r� r� �� __class__rZ r[ r� 3 s � �z_SpecialForm.__new__c C s || _ || _d S rr r� )r� �name�docrZ rZ r[ �__init__@ s z_SpecialForm.__init__c C s t |t�stS | j|jkS rr )rP rU �NotImplementedr� �r� �otherrZ rZ r[ �__eq__D s
z_SpecialForm.__eq__c C s t | jf�S rr )�hashr� r� rZ rZ r[ �__hash__I s z_SpecialForm.__hash__c C s
d| j S )N�typing.�r� r� rZ rZ r[ �__repr__L s z_SpecialForm.__repr__c C s | j S rr r� r� rZ rZ r[ �
__reduce__O s z_SpecialForm.__reduce__c O s t d| ����d S )NzCannot instantiate r� r� rZ rZ r[ �__call__R s z_SpecialForm.__call__c C s t | � d���d S )Nz! cannot be used with isinstance()r� �r� rd rZ rZ r[ �__instancecheck__U s z _SpecialForm.__instancecheck__c C s t | � d���d S )Nz! cannot be used with issubclass()r� �r� r| rZ rZ r[ �__subclasscheck__X s z _SpecialForm.__subclasscheck__c s� | j dkr(t|| j � d��}t| |f�S | j dkr�|dkrBtd��t|t�sR|f}d� t� fdd�|D ��}t|�}t|�d kr�|d
S t| |�S | j d kr�t|d �}t|t d �f S | j d
kr�t| |�S t| � d���d S )N)r r
z accepts only single type.r rZ z Cannot take a Union of no types.z)Union[arg, ...]: each arg must be a type.c 3 s | ]}t |� �V qd S rr �r\ �rg r� �rX rZ r[ r� f s z+_SpecialForm.__getitem__..r r r z#Optional[t] requires a single type.r
z is not subscriptable)
r� r\ rR rT rP rp r� r{ r rO )r� r} �itemrW rZ r� r[ � __getitem__[ s(
z_SpecialForm.__getitem__)rb r^ r_ r� r� r� r� r� r� r� r� r� r� r� r� �
__classcell__rZ rZ r� r[ rU , s
rU )r� a` Special type indicating an unconstrained type.
- Any is compatible with every type.
- Any assumed to have all methods.
- All values assumed to be instances of Any.
Note that all the above statements are true from the point of view of
static type checkers. At runtime, Any should not be used with instance
or class checks.
)r� a Special type indicating functions that never return.
Example::
from typing import NoReturn
def stop() -> NoReturn:
raise Exception('no way')
This type is invalid in other positions, e.g., ``List[NoReturn]``
will fail in static type checkers.
a3 Special type construct to mark class variables.
An annotation wrapped in ClassVar indicates that a given
attribute is intended to be used as a class variable and
should not be set on instances of that class. Usage::
class Starship:
stats: ClassVar[Dict[str, int]] = {} # class variable
damage: int = 10 # instance variable
ClassVar accepts only types and cannot be further subscribed.
Note that ClassVar is not a class itself, and should not
be used with isinstance() or issubclass().
a� Special typing construct to indicate final names to type checkers.
A final name cannot be re-assigned or overridden in a subclass.
For example:
MAX_SIZE: Final = 9000
MAX_SIZE += 1 # Error reported by type checker
class Connection:
TIMEOUT: Final[int] = 10
class FastConnector(Connection):
TIMEOUT = 1 # Error reported by type checker
There is no runtime checking of these properties.
a' Union type; Union[X, Y] means either X or Y.
To define a union, use e.g. Union[int, str]. Details:
- The arguments must be types and there must be at least one.
- None as an argument is a special case and is replaced by
type(None).
- Unions of unions are flattened, e.g.::
Union[Union[int, str], float] == Union[int, str, float]
- Unions of a single argument vanish, e.g.::
Union[int] == int # The constructor actually returns int
- Redundant arguments are skipped, e.g.::
Union[int, str, int] == Union[int, str]
- When comparing unions, the argument order is ignored, e.g.::
Union[int, str] == Union[str, int]
- You cannot subclass or instantiate a union.
- You can use Optional[X] as a shorthand for Union[X, None].
zEOptional type.
Optional[X] is equivalent to Union[X, None].
a� Special typing form to define literal types (a.k.a. value types).
This form can be used to indicate to type checkers that the corresponding
variable or function parameter has a value equivalent to the provided
literal (or one of several literals):
def validate_simple(data: Any) -> Literal[True]: # always returns True
...
MODE = Literal['r', 'rb', 'w', 'wb']
def open_helper(file: str, mode: MODE) -> str:
...
open_helper('/some/path', 'r') # Passes type check
open_helper('/other/path', 'typo') # Error in type checker
Literal[...] cannot be subclassed. At runtime, an arbitrary value
is allowed as type argument to Literal[...], but type checkers may
impose restrictions.
c @ s: e Zd ZdZddd�Zdd� Zdd� Zd d
� Zd d � Zd
S )r )�__forward_arg__�__forward_code__�__forward_evaluated__�__forward_value__�__forward_is_argument__Tc C sn t |t�std|����zt|dd�}W n" tk
rJ td|����Y nX || _|| _d| _d | _|| _ d S )Nz*Forward reference must be a string -- got z�evalz/Forward reference must be an expression -- got F)
rP rQ rT �compile� SyntaxErrorr� r� r� r� r� )r� rW rY �coderZ rZ r[ r� � s
zForwardRef.__init__c C sj | j r||k rd|d kr(|d kr(i }}n|d kr6|}n |d krB|}tt| j||�d| jd�| _d| _ | jS )Nz*Forward references must evaluate to types.�rY T)r� r\ r� r� r� r� )r� r� r� rZ rZ r[ r� � s
�zForwardRef._evaluatec C s> t |t�stS | jr2|jr2| j|jko0| j|jkS | j|jkS rr )rP r r� r� r� r� r� rZ rZ r[ r� s
�zForwardRef.__eq__c C s
t | j�S rr )r� r� r� rZ rZ r[ r� s zForwardRef.__hash__c C s d| j �d�S )Nz ForwardRef(�))r� r� rZ rZ r[ r� s zForwardRef.__repr__N)T) rb r^ r_ r� r� r� r� r� r� rZ rZ rZ r[ r � s
c @ s2 e Zd ZdZdddd�dd�Zdd� Zd d
� ZdS ) r )rb � __bound__�__constraints__�
__covariant__�__contravariant__NF)�bound� covariant�
contravariantc s� || _ |r|rtd��t|�| _t|�| _|r>|d k r>td��|rVt|�dkrVtd��d� t� fdd�|D ��| _|r�t |d�| _
nd | _
zt � d�j
�d d
�}W n ttfk
r� d }Y nX |d kr�|| _d S ) Nz"Bivariant types are not supported.z-Constraints cannot be combined with bound=...r z"A single constraint is not allowedz:TypeVar(name, constraint, ...): constraints must be types.c 3 s | ]}t |� �V qd S rr r� rf r� rZ r[ r� V s z#TypeVar.__init__..zBound must be a type.rb �__main__�typing)rb �
ValueError�boolr� r� rT r{ rp r� r\ r� �sys� _getframe� f_globals�get�AttributeErrorr^ )r� r� r� r� r� Z constraintsZdef_modrZ r� r[ r� J s(
zTypeVar.__init__c C s& | j r d}n| jrd}nd}|| j S )N�+�-�~)r� r� rb )r� �prefixrZ rZ r[ r� b s zTypeVar.__repr__c C s | j S rr )rb r� rZ rZ r[ r� k s zTypeVar.__reduce__)rb r^ r_ r� r� r� r� rZ rZ rZ r[ r s , � ) rs rp �dictr� � frozenset�deque� defaultdictrO r; c C s | � d�o| �d�S )N�__)�
startswith�endswith)�attrrZ rZ r[ �
_is_dunder� s r� c s� e Zd Zdddd�dd�Zedd� �Zd d
� Zd d � Zd
d� Zdd� Z dd� Z
dd� Z dd� Z � fdd�Z
dd� Zdd � Zd d � Z� ZS ) rR TFN)�inst�specialr� c C sz || _ || _|r*|d kr*|j}t�||�}|| _t|t�s@|f}|| _tdd� |D ��| _ t
|�| _ d | _ |sv|j
| _
d S )Nc s s* | ]"}|t krd n|tkr dn|V qdS ).rZ N)�_TypingEllipsis� _TypingEmptyr� rZ rZ r[ r� � s � z)_GenericAlias.__init__..)�_instrm rb �_normalize_aliasr� r� rP rp rS rt rq ro r� r^ )r� �originr� r� r� r� Z orig_namerZ rZ r[ r� � s
�
z_GenericAlias.__init__c s^ | j ttfkr td| � ���t|t�s,|f}d� t� fdd�|D ��}t| |� t| | j|�S )Nz%Cannot subscript already-subscripted �*Parameters to generic types must be types.c 3 s | ]}t |� �V qd S rr r� r� r� rZ r[ r� � s z,_GenericAlias.__getitem__..) rS r r rT rP rp r~ rv ro �r� r� rZ r� r[ r� � s
z_GenericAlias.__getitem__c C s t | j|| j| jd�S )N)r� r� )rR rS r� r� r� rZ rZ r[ rw � s z_GenericAlias.copy_withc C s� | j dks&t| j�dkrx| jd tkrx| j r8d| j }n
t| j�}| jshdd�dd� | jD ��� d �}nd
}|� |� �S | jr�d S d d�d
d� | jd d� D ��� dt| jd �� d �S )Nr � r r� �[�, c S s g | ] }t |��qS rZ �re r� rZ rZ r[ rk � s z*_GenericAlias.__repr__..�]� ztyping.Callableztyping.Callable[[c S s g | ] }t |��qS rZ r� r� rZ rZ r[ rk � s �����z], )r� r{ rt �Ellipsisre rS rm �join)r� r� r� rZ rZ r[ r� � s
� �
z_GenericAlias.__repr__c C sR t |t�stS | j|jkr dS | jtkrF|jtkrFt| j�t|j�kS | j|jkS )NF)rP rR r� rS r r� rt r� rZ rZ r[ r� � s
z_GenericAlias.__eq__c C s, | j tkr ttt| j�f�S t| j | jf�S rr )rS r r� r� rt r� rZ rZ r[ r� � s
z_GenericAlias.__hash__c O sT | j s$td| j� d| j�� � d���| j||�}z
| |_W n tk
rN Y nX |S )N�Type z cannot be instantiated; use z
() instead)r� rT r� �lowerrS �__orig_class__r� )r� r� �kwargs�resultrZ rZ r[ r� � s
z_GenericAlias.__call__c C s� | j rZg }| j|kr |�| j� |�| �}tdd� ||d d � D ��sR|�t� t|�S | jtkr�t|krpdS |�| �}||d d � D ] }t|t �r�|| k r� dS q�| jfS )Nc s s" | ]}t |t�pt|t�V qd S rr )rP rR �
issubclassr �rg �brZ rZ r[ r� � s �z0_GenericAlias.__mro_entries__..r rZ )
r� rS rl �index�anyr rp r rP rR )r� �basesr� rz r rZ rZ r[ �__mro_entries__� s$
�
z _GenericAlias.__mro_entries__c C s* d| j kr t|�s t| j|�S t|��d S )NrS )�__dict__r� �getattrrS r� )r� r� rZ rZ r[ � __getattr__� s z_GenericAlias.__getattr__c s2 t |�s|dkr t� �||� nt| j||� d S )N)r� r� rm )r� r� � __setattr__�setattrrS )r� r� �valr� rZ r[ r � s z_GenericAlias.__setattr__c C s | � t|��S rr )r� rO r� rZ rZ r[ r� s z _GenericAlias.__instancecheck__c C s< | j r0t|t�s t|| j�S |j r0t|j| j�S td��d S )NzBSubscripted generics cannot be used with class and instance checks)rm rP rR r rS rT r� rZ rZ r[ r� s
z _GenericAlias.__subclasscheck__c C s� | j r | jS | jr t� | j }n| j}|tkrht| j�dkrJ| jd tksht| jd d� �| jd f}n*t | j�}t|�dkr�t
|d t �s�|\}t j ||ffS )Nr� r r� r )
rm r� �globalsrS r r{ rt r� rs rp rP �operator�getitem)r� r� r� rZ rZ r[ r� s � �
z_GenericAlias.__reduce__)rb r^ r_ r� r� r� rw r� r� r� r� r
r
r r� r� r� r� rZ rZ r� r[ rR � s
rR c s( e Zd Zdd� Ze� fdd��Z� ZS )�_VariadicGenericAliasc C s� | j dks| js| �|�S t|t�r0t|�dkr8td��|\}}|tkrRt|f}n$t|t�sjtd|� ���t|�|f}| �|�S )Nr r� z6Callable must be used as Callable[[arg, ...], result].z1Callable[args, result]: args must be a list. Got ) r� rm �__getitem_inner__rP rp r{ rT r� rs )r� r� r� r rZ rZ r[ r� " s
z!_VariadicGenericAlias.__getitem__c s
| j tkr�| jr�|dkr$| �tf�S t|t�s4|f}t|�dkrl|d dkrld� t|d � �}| �|tf�S d� t� fdd �|D ��}| �|�S | j t j
j kr�| jr�|\}}d
� t|� �}|t kr�| �t|f�S d � t� fd d �|D ��}||f }| �|�S t
� �|�S )
NrZ r� r .z Tuple[t, ...]: t must be a type.r z*Tuple[t0, t1, ...]: each t must be a type.c 3 s | ]}t |� �V qd S rr r� r� r� rZ r[ r� > s z:_VariadicGenericAlias.__getitem_inner__..z.Callable[args, result]: result must be a type.z6Callable[[arg, ...], result]: each arg must be a type.c 3 s | ]}t |� �V qd S rr r� )rg rW r� rZ r[ r� G s )rS rp rm rw r� rP r{ r\ r� � collections�abcr r� r� r� )r� r� r� r� r r� r� r[ r 2 s.
z'_VariadicGenericAlias.__getitem_inner__)rb r^ r_ r� r� r r� rZ rZ r� r[ r s r c s< e Zd ZdZdZ� fdd�Zedd� �Z� fdd�Z� Z S ) r rZ Fc s^ | t tfkr td| j� d���t� jtjkrF| jtjk rFt� �| �}nt� j| f|�|�}|S )Nr� z< cannot be instantiated; it can be used only as a base class)r r rT rb r� r� �objectr� )r| r� r� rd r� rZ r[ r� d s zGeneric.__new__c s� t |t�s|f}|s.| tk r.td| j� d���d� t� fdd�|D ��}| ttfkr�tdd� |D ��sxtd| j� d���t t
|��t |�kr�td| j� d ���n
t | |� t | |�S )
NzParameter list to z[...] cannot be emptyr� c 3 s | ]}t |� �V qd S rr r� r� r� rZ r[ r� v s z,Generic.__class_getitem__..c s s | ]}t |t�V qd S rr )rP r r� rZ rZ r[ r� y s zParameters to z [...] must all be type variablesz[...] must all be unique)
rP rp r rT r_ r r �allrb r{ r� r~ rR )r| r� rZ r� r[ �__class_getitem__n s&
� � �
zGeneric.__class_getitem__c
s
t � j||� g }d| jkr(t| jk}nt| jko:| jdk}|rHtd��d| jkr�t| j�}d }| jD ].}t |t
�rf|j tkrf|d k r�td��|j }qf|d k r�t
|�}t
|�� |� ks�d�� fdd�|D ��}d�dd� |D ��} td |� d
| � d ���|}t|�| _ d S ) N�__orig_bases__r z!Cannot inherit from plain Genericz0Cannot inherit from Generic[...] multiple types.r� c 3 s | ]}|� krt |�V qd S rr �rQ rf �ZgvarsetrZ r[ r� � s z,Generic.__init_subclass__..c s s | ]}t |�V qd S rr r )rg �grZ rZ r[ r� � s zSome type variables (z ) are not listed in Generic[r� )r� r� r r r � __bases__rb rT rq rP rR rS ro r� r� rp )
r| r� r rj �errorZgvars�baseZtvarsetZs_varsZs_argsr� r r[ r� � s8
��zGeneric.__init_subclass__)
rb r^ r_ r� � _is_protocolr� r� r r� r� rZ rZ r� r[ r M s
c @ s e Zd ZdS )r� N�rb r^ r_ rZ rZ rZ r[ r� � s r� c @ s e Zd ZdS )r� Nr# rZ rZ rZ r[ r� � s r� ro r r r" �_is_runtime_protocol�__abstractmethods__�__annotations__r �__doc__r� r^ r� r� �__subclasshook__r� �_MutableMapping__markerc C sr t � }| jd d� D ]X}|jdkr$qt|di �}t|j�� �t|�� � D ] }|�d�sJ|tkrJ|� |� qJq|S )Nr� )r r r& Z_abc_)
r� �__mro__rb r rs r �keysr� �EXCLUDED_ATTRIBUTES�add)r| �attrsr! � annotationsr� rZ rZ r[ �_get_protocol_attrs� s
r0 c s t � fdd�t� �D ��S )Nc 3 s | ]}t t� |d ��V qd S rr )rV r �rg r� �r| rZ r[ r� � s z,_is_callable_members_only..)r r0 r2 rZ r2 r[ �_is_callable_members_only� s r3 c O s t | �jrtd��d S )Nz Protocols cannot be instantiated)rO r" rT )r� r� r rZ rZ r[ �_no_init� s
r4 c C s6 zt �d�jd dkW S ttfk
r0 Y dS X d S )Nr� rb )r r� T)r� r� r� r� r� rZ rZ rZ r[ �_allow_reckless_class_cheks� s r5 �AbstractContextManager�AbstractAsyncContextManager)zcollections.abc�
contextlibc s e Zd Z� fdd�Z� ZS )�
_ProtocolMetac sV t � dd�rt� �r$t�j� �r$dS � jrJt� �fdd�t� �D ��rJdS t� ���S )Nr" FTc 3 s8 | ]0}t �|�o.tt� |d �� p.t�|�d k V qd S rr )�hasattrrV r r1 �r| �instancerZ r[ r� � s �
z2_ProtocolMeta.__instancecheck__..) r r3 r r� r" r r0 r� r� r; r� r; r[ r� � s �
��z _ProtocolMeta.__instancecheck__)rb r^ r_ r� r� rZ rZ r� r[ r9 � s r9 c s( e Zd ZdZdZdZ� fdd�Z� ZS )r rZ TFc s� t � j||� � j�dd�s2tdd� � jD ��� _� fdd�}d� jkrN|� _� jsXd S � jD ]F}|tt fks^|j
t kr�|j t |j
ks^t
|t �r�|js^td| ��q^t� _d S ) Nr" Fc s s | ]}|t kV qd S rr )r r rZ rZ r[ r� ) s z-Protocol.__init_subclass__..c s� � j �dd�stS t� dd�s0t� r(tS td��t� �sJt� rBtS td��t| t�s\td��t � �D ]v}| j
D ]b}||j kr�|j | d kr�t S qdt|di �}t|t j j
�rn||krnt| t�rn| jrn qdqnt S qddS ) Nr" Fr$ zLInstance and class checks can only be used with @runtime_checkable protocolsz._proto_hookr( z7Protocols can only inherit from other protocols, got %r)r� r� r r� r r r" r( r r r^ �_PROTO_WHITELISTrb r rT r4 r� )r| r� r r= r! r� r2 r[ r� $ s, &
�����zProtocol.__init_subclass__)rb r^ r_ r� r" r$ r� r� rZ rZ r� r[ r s )� metaclassc C s& t | t�r| js td| ��d| _| S )NzB@runtime_checkable can be only applied to protocol classes, got %rT)r r r" rT r$ r2 rZ rZ r[ rK d s �c C s |S rr rZ )�typr rZ rZ r[ rA } s c
C s� z
| j }W n tk
r" i Y S X |j}|j}|d |� }| jpDd}| j}|rXt|�ni }|t|� }t||d � |�D ]\}} | ||< qz|S )NrZ ) �__code__r� � co_argcount� co_varnames� __defaults__�__kwdefaults__r� r{ �zip)
r� r� Z pos_countZ arg_names�defaultsZ
kwdefaultsr� Z
pos_offsetr� �valuerZ rZ r[ �
_get_defaults� s
rI c C s� t | dd �ri S t| t�r�i }t| j�D ]z}|d krDtj|j j}n|}|j� di �}|�
� D ]B\}}|d krvtd �}t|t �r�t |dd�}t
|||�}|||< q^q(|S |d kr�t| tj�r�| j}n"| } t| d�r�| j} q�t | di �}|d kr�|}n|d k�r|}t | dd �}|d k�r6t| t��r(i S td�| ���t| �}
t|�}|�
� D ]d\}}|d k�rhtd �}t|t ��r|t |�}t
|||�}||
k�r�|
| d k�r�t| }|||< �qN|S )N�__no_type_check__r& Fr� � __wrapped__� __globals__z1{!r} is not a module, class, method, or function.)r rP rO �reversedr* r� �modulesr^ r r� �itemsrQ r r� r` �
ModuleTyper: rK �_allowed_typesrT �formatrI r� r ) rd r� r� Zhintsr! Z base_globals�annr� rH ZnsobjrG rZ rZ r[ rE � s^
�
c C s t | t�r| jS | tkr tS d S rr )rP rR rS r )rx rZ rZ r[ rD � s
c C sR t | t�rN| jsN| j}t| �tjjkrJ|d tk rJt |d d� �|d f}|S dS )Nr r� rZ )
rP rR rm rt rD r r r r� rs )rx r� rZ rZ r[ rC s c C s� t | t�rt| j�� }| j�� D ]"\}}|| j| f kr |�|� q |�� D ](}t |tj �r`d|_
t |t�rJt |� qJz
d| _
W n t k
r� Y nX | S )NT)
rP rO r �copyrO r �pop�valuesr` ra rJ rG rT )rW Z arg_attrsr� r rd rZ rZ r[ rG s
c s t �� �� fdd��}|S )Nc s � | |�}t |�}|S rr )rG )r� r� r� �� decoratorrZ r[ �wrapped_decorator@ s
z2no_type_check_decorator..wrapped_decorator)r� r� )rX rY rZ rW r[ rH 9 s c O s t d��d S )Nz�You should not call an overloaded function. A series of @overload-decorated functions outside a stub module should always be followed by an implementation that is not @overload-ed.)�NotImplementedErrorr� rZ rZ r[ �_overload_dummyI s �r[ c C s t S rr )r[ )r� rZ rZ r[ rJ R s c C s | S rr rZ )�frZ rZ r[ rB o s �T�KT�VT�T_co)r� �V_co�VT_co�T_contra)r� �CT_co)r� r� c C s t | |d|d�S )NT)r� r� )rR )r� r� r� rZ rZ r[ �_alias� s re rZ )r� a� Callable type; Callable[[int], str] is a function of (int) -> str.
The subscription syntax must always be used with exactly two
values: the argument list and the return type. The argument list
must be a list of types or ellipsis; the return type must be a single type.
There is no syntax to indicate optional or keyword arguments,
such function types are rarely used as callback types.
F)r� r� a@ Tuple type; Tuple[X, Y] is the cross-product type of X and Y.
Example: Tuple[T1, T2] is a tuple of two elements corresponding
to type variables T1 and T2. Tuple[int, float, str] is a tuple
of an int, a float and a string.
To specify a variable-length tuple of homogeneous type, use Tuple[T, ...].
)r� a� A special construct usable to annotate class objects.
For example, suppose we have the following classes::
class User: ... # Abstract base for User classes
class BasicUser(User): ...
class ProUser(User): ...
class TeamUser(User): ...
And a function that takes a class argument that's a subclass of
User and returns an instance of the corresponding class::
U = TypeVar('U', bound=User)
def new_user(user_class: Type[U]) -> U:
user = user_class()
# (Here we could write the user object to a database)
return user
joe = new_user(BasicUser)
At this point the type checker knows that joe has type BasicUser.
c @ s" e Zd ZdZeed�dd��ZdS )r2 rZ ��returnc C s d S rr rZ r� rZ rZ r[ �__int__� s zSupportsInt.__int__N)rb r^ r_ r� r �intrh rZ rZ rZ r[ r2 � s c @ s" e Zd ZdZeed�dd��ZdS )r0 rZ rf c C s d S rr rZ r� rZ rZ r[ � __float__ s zSupportsFloat.__float__N)rb r^ r_ r� r �floatrj rZ rZ rZ r[ r0 � s c @ s" e Zd ZdZeed�dd��ZdS )r/ rZ rf c C s d S rr rZ r� rZ rZ r[ � __complex__
s zSupportsComplex.__complex__N)rb r^ r_ r� r �complexrl rZ rZ rZ r[ r/ s c @ s" e Zd ZdZeed�dd��ZdS )r. rZ rf c C s d S rr rZ r� rZ rZ r[ � __bytes__ s zSupportsBytes.__bytes__N)rb r^ r_ r� r �bytesrn rZ rZ rZ r[ r. s c @ s" e Zd ZdZeed�dd��ZdS )r1 rZ rf c C s d S rr rZ r� rZ rZ r[ � __index__ s zSupportsIndex.__index__N)rb r^ r_ r� r ri rp rZ rZ rZ r[ r1 s c @ s" e Zd ZdZeed�dd��ZdS )r- rZ rf c C s d S rr rZ r� rZ rZ r[ �__abs__( s zSupportsAbs.__abs__N)rb r^ r_ r� r r` rq rZ rZ rZ r[ r- # s c @ s& e Zd ZdZedeed�dd��ZdS )r3 rZ r )�ndigitsrg c C s d S rr rZ )r� rr rZ rZ r[ � __round__2 s zSupportsRound.__round__N)r )rb r^ r_ r� r ri r` rs rZ rZ rZ r[ r3 - s c st d� � fdd�|D �}t �| dd� |D ��}t|� |_|_zt�d�j�dd�|_ W n t
t fk
rn Y nX |S )NzDNamedTuple('Name', [(f0, t0), (f1, t1), ...]); each t must be a typec s g | ]\}}|t |� �f�qS rZ r� �rg �nrh r� rZ r[ rk 9 s z!_make_nmtuple..c S s g | ] \}}|�qS rZ rZ rt rZ rZ r[ rk : s r� rb r� ) r �
namedtupler� r& � _field_typesr� r� r� r� r^ r� r� )r� r` �nm_tplrZ r� r[ �
_make_nmtuple7 s ry ) r� r� r� �__getnewargs__�_fields�_field_defaultsrw �_make�_replace�_asdictZ_source)r^ rb r& c s e Zd Z� fdd�Z� ZS )�NamedTupleMetac s� |� dd�r t� �| |||�S |� di �}t||�� �}g }i }|D ]H}||krl|| } |�| � | ||< qD|rDtdj|d�|� � �d���qDt
|�|j_ t |�|j_
||_|D ]<}
|
tkr�td|
��q�|
tkr�|
|jkr�t||
||
� q�|S )Nr� Fr& zXNon-default namedtuple field {field_name} cannot follow default field(s) {default_names}r� )�
field_nameZ
default_namesz&Cannot overwrite NamedTuple attribute )r� r� r� ry rO rl rT rR r� r+ r� r& rp rD r| � _prohibitedr� rm r{ r ) r| �typenamer �nsr` rx rG Z
defaults_dictr� Z
default_value�keyr� rZ r[ r� O s2
�
zNamedTupleMeta.__new__)rb r^ r_ r� r� rZ rZ r� r[ r� M s r� c @ s e Zd ZdZdd� Zde_dS )r= Tc O s� | s t d��| ^}} | r"| ^}} n4d|krN|�d�}dd l}|jdtdd� nt d��| r�z
| \}W q� tk
r� t dt| �d � d ��d �Y q�X n r� r& z?TypedDict('Name', {f0: t0, f1: t1, ...}); each t must be a typec s i | ]\}}|t |� ��qS rZ r� )rg ru rx r� rZ r[ �
� s z*_TypedDictMeta.__new__..r� )
r� r� r� r� r� r� r� rO �updater r& r: r� )r| r� r r� r� Ztp_dictZannsr! r� r� r[ r� � s
z_TypedDictMeta.__new__)T)rb r^ r_ r� r� r� r� r� rZ rZ r� r[ r� � s r� c @ s e Zd ZdS )r> Nr# rZ rZ rZ r[ r> � s c C s dd� }| |_ ||_|S )Nc S s | S rr rZ )�xrZ rZ r[ �new_type s zNewType..new_type)rb Z
__supertype__)r� rx r� rZ rZ r[ rF s c @ s� e Zd ZdZeeed�dd���Zeeed�dd���Zedd�dd ��Z eee
d�d
d ���Z ee d�d d
��Z
edd�dd��Zee
d�dd��Zed6e ed�dd��Zee
d�dd��Zed7e ed�dd��Zed8e ee d�d d ��Zed9e e e d �d d!��Zee
d�d"d#��Zee d�d$d%��Zed:e e d&�d'd(��Zee
d�d)d*��Zeee d+�d,d-��Zeee dd.�d/d0��Z ed1d�d2d3��Z edd�d4d5��Z dS );�IOrZ rf c C s d S rr rZ r� rZ rZ r[ �mode= s zIO.modec C s d S rr rZ r� rZ rZ r[ r� B s zIO.nameNc C s d S rr rZ r� rZ rZ r[ �closeG s zIO.closec C s d S rr rZ r� rZ rZ r[ �closedK s z IO.closedc C s d S rr rZ r� rZ rZ r[ �filenoP s z IO.filenoc C s d S rr rZ r� rZ rZ r[ �flushT s zIO.flushc C s d S rr rZ r� rZ rZ r[ �isattyX s z IO.isattyr� )ru rg c C s d S rr rZ )r� ru rZ rZ r[ �read\ s zIO.readc C s d S rr rZ r� rZ rZ r[ �readable` s z IO.readable)�limitrg c C s d S rr rZ )r� r� rZ rZ r[ �readlined s z IO.readline)�hintrg c C s d S rr rZ )r� r� rZ rZ r[ � readlinesh s z IO.readlinesr )�offset�whencerg c C s d S rr rZ )r� r� r� rZ rZ r[ �seekl s zIO.seekc C s d S rr rZ r� rZ rZ r[ �seekablep s z IO.seekablec C s d S rr rZ r� rZ rZ r[ �tellt s zIO.tell)�sizerg c C s d S rr rZ )r� r� rZ rZ r[ �truncatex s z IO.truncatec C s d S rr rZ r� rZ rZ r[ �writable| s z IO.writable��srg c C s d S rr rZ �r� r� rZ rZ r[ �write� s zIO.write)�linesrg c C s d S rr rZ )r� r� rZ rZ r[ �
writelines� s z
IO.writelinesz
IO[AnyStr]c C s d S rr rZ r� rZ rZ r[ � __enter__� s z IO.__enter__c C s d S rr rZ )r� rO rH � tracebackrZ rZ r[ �__exit__� s z IO.__exit__)r� )r� )r� )r )N) rb r^ r_ r� �propertyr rQ r� r� r� r� r� ri r� r� r� r@ r� r� r� r9 r� r� r� r� r� r� r� r� r� r� rZ rZ rZ r[ r� . sX
r� c @ s> e Zd ZdZeeeef ed�dd��Z ed d�dd��Z
dS ) �BinaryIOrZ r� c C s d S rr rZ r� rZ rZ r[ r� � s zBinaryIO.writerf c C s d S rr rZ r� rZ rZ r[ r� � s zBinaryIO.__enter__N) rb r^ r_ r� r r ro � bytearrayri r� r� rZ rZ rZ r[ r� � s
r� c @ s� e Zd ZdZeeed�dd���Zeeed�dd���Z eee
e d�dd���Z eee d�d d
���Z
eeed�d d ���Zed d�d
d��ZdS )�TextIOrZ rf c C s d S rr rZ r� rZ rZ r[ �buffer� s z
TextIO.bufferc C s d S rr rZ r� rZ rZ r[ �encoding� s zTextIO.encodingc C s d S rr rZ r� rZ rZ r[ �errors� s z
TextIO.errorsc C s d S rr rZ r� rZ rZ r[ �line_buffering� s zTextIO.line_bufferingc C s d S rr rZ r� rZ rZ r[ �newlines� s zTextIO.newlinesc C s d S rr rZ r� rZ rZ r[ r� � s zTextIO.__enter__N)rb r^ r_ r� r� r r� r� rQ r� r r� r� r� r r� r� rZ rZ rZ r[ r� � s$ r� c @ s" e Zd ZdddgZeZeZeZdS )�ior� r� r� N)rb r^ r_ �__all__r� r� r� rZ rZ rZ r[ r� � s
r� z.ioc @ s e Zd ZddgZeZeZdS )�re�Pattern�MatchN)rb r^ r_ r� r� r� rZ rZ rZ r[ r� � s r� z.re)T)NN)T)N)�r r r r Zcollections.abcr8 r� r r� Z stdlib_rer� r` r r r r� r\ re rq rv r~ r� r� r� r� r� r� rU r rI r r
r r r
r r r� r� rR r r r� r� Z_TYPING_INTERNALSZ_SPECIAL_NAMESr, r0 r3 r4 r5 r> r9 r rK rA rI ra �BuiltinFunctionType�
MethodTyperP rQ rE rD rC rG rH r[ rJ rB r] r^ r_ r` ra rb rc rO rd ro rQ r@ re r r% r( r' r& r r r, r# r r) r r' r; r r! r r r" r r rp r rs r9 r� r6 r� r� r< r r r r$ r6 r r7 r+ r� r7 r� r8 r: r5 r4 r? r* r r2 r0 r/ r. r1 r- r3 ry r� rm r� r= r� r� r� r� r> rF rL rM r� r� r� r� rb rN r� r� rZ rZ rZ r[ � s& �X
!
I� �
�����2a�
/[ � � �� b �
V
�
� � @+ c#