a
XC?h�, � @ s d dl mZmZ d dlZd dlZd dlZd dlZd dlZd dlZ d dl
Z
d dl Z d dl m Z m
Z
mZmZ g d�Zd�dd�dd�Zd�dd�d
d �Zd d
� Zdd� Zdd� Zdd� Zdd� Zdd� Zg Zd�dd�dd�Ze� fdd �Z G d d � d �Z G d d � d �Z G d!d"� d"e d d#�Z G d$d%� d%e d d#�Z e d&d'� �Z!e d(d)� �Z"e d*d+� �Z#e d,d-� �Z$e d.d/� �Z%e d0d1� �Z&e ed d�d2d3� ��Z'G d4d5� d5e d d#�Z(G d6d7� d7e e d d#�Z)d8d9� Z*G d:d;� d;e d d#�Z+G dd?� d?e+d d#�Z-G d@dA� dAe,d d#�Z.G dBdC� dCe-d d#�Z/G dDdE� dEe-d d#�Z0G dFdG� dGe,d d#�Z1dHdI� Z2G dJdK� dKe,d d#�Z3G dLdM� dM�Z4G dNdO� dO�Z5G dPdQ� dQ�Z6g dR�Z7g dS�Z8e7e8 dTg Z9dUdV� Z:dWdX� Z;dYdZ� ZG dadb� dbe�Z?G dcdd� dde4e?de�Z@G dfdg� dge,d d#�ZAG dhdi� di�ZBdjdk� ZCdldm� ZDdndo� ZEe jFe jGe jHe jIe e
efZJd�dpdq�ZKdrds� ZLdtdu� ZMdvdw� ZNdxdy� ZOdzd{� ZPd|d}� ZQd~d� ZRd�d�� ZSe)d��ZTe)d��ZUe)d��ZVe)d�d d��ZWe)d�d d��ZXe)d�d d��ZYe)d�d d��ZZe)d�d e[d��Z\e)d�e]e^�Z_e-Z`e`ej jad �Zae`ej jbd��Zbe`ej jcd��Zce`ej jdd��Zde`ej jed��Zee`ej jfd��Zfe`ej jgd��Zge`ej jhd��Zhe`ej jid �Zie`ej jjd��Zje`ej jkd��Zke/ej jld��Zld�el_me`ej jnd�d�d��Zoe`ej jpd��Zpe`ej jqd��Zqe`ej jrd��Zre`ej jsd��Zse`ej jtd��Zte`ej jud �Zue0evd�dd�d��Zwd�ew_me`exd�dd�d��Zye`ejzd�d�d��Z{e`e|d�dd�d��Zne`ed�dd�d��Z}e`ej j~d��Z~e`ej jd��Ze`ej j�d��Z�e`ej j�d��Z�e`ej�d�d�d��Z�e`ej�d�d�d��Z�e`e�d�dd�d��Z�e`ej�d�d�d��Z�e`ej�d��Z�e`ej�d��Z�e`ej�d��Z�e`ej j�d��Z�e`ej j�d��Z�e`e[d�dd�d��Z�d�e�_meCG d�d�� d�e@��Z�eCG d�d�� d�e@��Z�eCG d�d�� d�e@��Z�eCG d�d�� d�e@��Z�eCG d�d�� d�e@��Z�eCG d�d�� d�e@eW ��Z�eCG d�d�� d�e@eW ��Z�d�d�d��Z�eh d���Z�eh d���Z�G d�d�� d�e[�Z�d�d�d��Z�e[��e�d�d�i �Z�d�d�� Z�e�e�_�G d�d�� d�e[�Z�d�d d��d�d��Z�e[��e�d�d�i �Z�d�d�� e�_�d�dÄ Z�e^Z�dZ�G d�dń d�e4e_ �Z�G d�dDŽ d�e�e] �Z�G d�dɄ d�e�e^ �Z�G d�d˄ d˃Z�e�d� e�_�e�e
j�e�j�< e`e j�d��Z�e`e j�d��Z�G d�d΄ dZe�d� e_�ee
j�ej�< dS )�� )�abstractmethod�ABCMetaN)�WrapperDescriptorType�MethodWrapperType�MethodDescriptorType� GenericAlias)M� Annotated�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�BinaryIO�IO�Match�Pattern�TextIO�AnyStr�cast�final�get_args�
get_origin�get_type_hints�NewType�
no_type_check�no_type_check_decorator�NoReturn�overload�runtime_checkable�Text�
TYPE_CHECKINGF��allow_special_formsc C s, | d u rt d �S t| t�r(t| ||d�S | S )N)�module�is_class)�type�
isinstance�strr
)�argrW rV � r] �+/opt/alt/python39/lib64/python3.9/typing.py�
_type_convert� s
r_ Tc C s� t tf}|s$|tf7 }|r$|tf7 }t| ||d�} t| t�rT| j|v rTt| � d���| t t
tfv rf| S t| t �s|| t tfv r�td| � d���t| t t
tf�r�| S t| �s�t|� d| d�d���| S )N)rW rV z is not valid as type argumentzPlain z Got z.100�.)r r r r r_ rZ �
_GenericAlias�
__origin__� TypeErrorr rP � _SpecialFormrY r r
�callable)r\ �msg� is_argumentrW rV �invalid_generic_formsr] r] r^ � _type_check� s&
�ri c C sf t | tj�rt| �S t | t�r@| jdkr.| jS | j� d| j� �S | du rLdS t | tj�r^| jS t| �S )N�builtinsr` .z...) rZ �typesr �reprrY �
__module__� __qualname__� FunctionType�__name__)�objr] r] r^ �
_type_repr� s
rr c sZ g � | D ]H}t |t�r(|� vr(� �|� t |ttf�r� �� fdd�|jD �� qt� �S )Nc s g | ]}|� vr|�qS r] r] ��.0�t��tvarsr] r^ �
� � z&_collect_type_vars..)rZ r �appendra r �extend�__parameters__�tuple)rk ru r] rv r^ �_collect_type_vars� s
r~ c C sR |st | � d���t|�}||krNt d||kr2dnd� d| � d|� d|� ���d S )Nz is not a generic classzToo �many�fewz parameters for z ; actual z , expected )rc �len)�cls�
parameters�elen�alenr] r] r^ �_check_generic� s ��r� c C sJ t | �}t|�t| �k rFg }| D ] }||v r |�|� |�|� q |} | S �N)�setr� rz �remove)�params�
all_params�
new_paramsru r] r] r^ � _deduplicate� s
r� c C sr g }| D ]\}t |t�r$|�|j� qt |t�rZt|�dkrZ|d tu rZ|�|dd � � q|�|� qtt|��S )Nr � ) rZ �_UnionGenericAliasr{ �__args__r} r� r rz r� �r� r� �pr] r] r^ �_remove_dups_flatten� s
" r� c C s8 g }| D ]&}t |t�r$|�|j� q|�|� qt|�S r� )rZ �_LiteralGenericAliasr{ r� rz r} r� r] r] r^ �_flatten_literal_params� s
r� ��typedc s � fdd�}| d ur || �S |S )Nc s8 t j�d���� t�� j� t ���� �fdd��}|S )Nr� c s2 z� | i |��W S t y" Y n0 �| i |��S r� �rc ��args�kwds��cached�funcr] r^ �inner s
z+_tp_cache..decorator..inner)� functools� lru_cache� _cleanupsrz � cache_clear�wraps)r� r� r� r� r^ � decorator s
z _tp_cache..decoratorr] )r� r� r� r] r� r^ � _tp_cache s
r� c st t | t�r| �� ���S t | ttf�rpt� ��fdd�| jD ��}|| jkrP| S t | t�rft| j|�S | �|�S | S )Nc 3 s | ]}t |� ���V qd S r� )�
_eval_type�rt �a��globalns�localns�recursive_guardr] r^ � & ry z _eval_type..) rZ r
� _evaluatera r r} r� rb � copy_with)ru r� r� r� �ev_argsr] r� r^ r� s
r� c @ s e Zd ZdZdd� ZdS )�_Final)� __weakref__c O s d|vrt d��d S )N�_rootz&Cannot subclass special typing classesr� ��selfr� r� r] r] r^ �__init_subclass__5 s z_Final.__init_subclass__N)rp rm rn � __slots__r� r] r] r] r^ r� 0 s r� c @ s e Zd ZdZdd� Zdd� ZdS )�
_Immutabler] c C s | S r� r] �r� r] r] r^ �__copy__= s z_Immutable.__copy__c C s | S r� r] )r� �memor] r] r^ � __deepcopy__@ s z_Immutable.__deepcopy__N)rp rm rn r� r� r� r] r] r] r^ r� 9 s r� c @ sT e Zd ZdZdd� Zdd� Zdd� Zdd � Zd
d � Zd d
� Z dd� Z
e dd� �Z dS )rd )�_name�__doc__�_getitemc C s || _ |j| _|j| _d S r� )r� rp r� r� )r� �getitemr] r] r^ �__init__I s z_SpecialForm.__init__c C s t d| ����d S )NzCannot subclass r� )r� �basesr] r] r^ �__mro_entries__N s z _SpecialForm.__mro_entries__c C s
d| j S �N�typing.�r� r� r] r] r^ �__repr__Q s z_SpecialForm.__repr__c C s | j S r� r� r� r] r] r^ �
__reduce__T s z_SpecialForm.__reduce__c O s t d| ����d S )NzCannot instantiate r� r� r] r] r^ �__call__W s z_SpecialForm.__call__c C s t | � d���d S )Nz! cannot be used with isinstance()r� �r� rq r] r] r^ �__instancecheck__Z s z _SpecialForm.__instancecheck__c C s t | � d���d S )Nz! cannot be used with issubclass()r� �r� r� r] r] r^ �__subclasscheck__] s z _SpecialForm.__subclasscheck__c C s | � | |�S r� )r� �r� r� r] r] r^ � __getitem__` s z_SpecialForm.__getitem__N)
rp rm rn r� r� r� r� r� r� r� r� r� r� r] r] r] r^ rd F s rd )r� c @ s e Zd Zdd� ZdS )�_LiteralSpecialFormc C s" t |t�s|f}| j| g|�R � S r� )rZ r} r� r� r] r] r^ r� f s
z _LiteralSpecialForm.__getitem__N)rp rm rn r� r] r] r] r^ r� e s r� c C s t | � d���d S �Nz is not subscriptabler� r� r] r] r^ r l s r c C s t | � d���d S r� r� r� r] r] r^ rP z s
rP c C s t || � d��}t| |f�S �Nz accepts only single type.�ri ra �r� r� �itemr] r] r^ r � s r c C s t || � d��}t| |f�S r� r� r� r] r] r^ r � s r c s` |dkrt d��t|t�s |f}d� t� fdd�|D ��}t|�}t|�dkrV|d S t| |�S )Nr] z Cannot take a Union of no types.z)Union[arg, ...]: each arg must be a type.c 3 s | ]}t |� �V qd S r� �ri �rt r� �rf r] r^ r� � ry zUnion..r� r )rc rZ r} r� r� r� r� r] r� r^ r � s
r c C s t || � d��}t|td �f S )Nz requires a single type.)ri r rY )r� r� r\ r] r] r^ r � s r c G sH t |�}z"tdd� ttt|���D ��}W n ty< Y n0 t| |�S )Nc s s | ]\}}|V qd S r� r] )rt r� �_r] r] r^ r� � ry zLiteral..)r� r} r� �list�_value_and_type_iterrc r� r� r] r] r^ r � s " r c @ s@ e Zd ZdZddd�dd�Zdd � Zd
d � Zd d
� Zdd� ZdS )r
)�__forward_arg__�__forward_code__�__forward_evaluated__�__forward_value__�__forward_is_argument__�__forward_is_class__�__forward_module__TNF)rX c C sx t |t�std|����zt|dd�}W n tyH td|����Y n0 || _|| _d| _d | _|| _ || _
|| _ d S )Nz*Forward reference must be a string -- got z�evalz/Forward reference must be an expression -- got F) rZ r[ rc �compile� SyntaxErrorr� r� r� r� r� r� r� )r� r\ rg rW rX �coder] r] r^ r� s
zForwardRef.__init__c C s� | j |v r| S | jr ||ur�|d u r6|d u r6i }}n|d u rD|}n |d u rP|}| jd urrttj�| jd �d|�}tt| j ||�d| j
| j d�}t ||||| j hB �| _
d| _| j
S )N�__dict__z*Forward references must evaluate to types.)rg rV T)r� r� r� �getattr�sys�modules�getri r� r� r� r� r� r� )r� r� r� r� �type_r] r] r^ r� s0
� ��zForwardRef._evaluatec C sJ t |t�stS | jr2|jr2| j|jko0| j|jkS | j|jkoH| j|jkS r� )rZ r
�NotImplementedr� r� r� r� �r� �otherr] r] r^ �__eq__5 s
�
�zForwardRef.__eq__c C s t | j| jf�S r� )�hashr� r� r� r] r] r^ �__hash__> s zForwardRef.__hash__c C s d| j �d�S )Nz ForwardRef(�))r� r� r] r] r^ r� A s zForwardRef.__repr__)TN) rp rm rn r� r� r� r� r� r� r] r] r] r^ r
s r
c @ s2 e Zd ZdZdddd�dd�Zdd� Zd d
� ZdS ) r )rp � __bound__�__constraints__�
__covariant__�__contravariant__r� NF)�bound� covariant�
contravariantc s� || _ |r|rtd��t|�| _t|�| _|r>|d ur>td��|rVt|�dkrVtd��d� t� fdd�|D ��| _|r�t |d�| _
nd | _
zt � d�j
�d d
�}W n ttfy� d }Y n0 |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 r� r� rs r� r] r^ r� � ry z#TypeVar.__init__..zBound must be a type.rp �__main__�typing)rp �
ValueError�boolr� r� rc r� r} r� ri r� r� � _getframe� f_globalsr� �AttributeErrorrm )r� �namer� r� r� � constraints�def_modr] r� r^ r� t s(
zTypeVar.__init__c C s& | j r d}n| jrd}nd}|| j S )N�+�-�~)r� r� rp )r� �prefixr] r] r^ r� � s zTypeVar.__repr__c C s | j S r� )rp r� r] r] r^ r� � s zTypeVar.__reduce__)rp rm rn r� r� r� r� r] r] r] r^ r E s ,� r c C s | � d�o| �d�S )N�__)�
startswith�endswith)�attrr] r] r^ �
_is_dunder� s r c sT e Zd Zddd�dd�Zdd� Zdd � Zd
d � Z� fd d
�Zdd� Zdd� Z � Z
S )�_BaseGenericAliasTN��instr c C s || _ || _|| _d | _d S r� )�_instr� rb r� )r� �originr r r] r] r^ r� � s z_BaseGenericAlias.__init__c O sT | j s"td| j� d| jj� d���| j|i |��}z
| |_W n tyN Y n0 |S )NzType z cannot be instantiated; use z
() instead)r rc r� rb rp �__orig_class__r )r� r� �kwargs�resultr] r] r^ r� � s �
z_BaseGenericAlias.__call__c C sd g }| j |vr|�| j � |�| �}||d d � D ] }t|t�sLt|t�r4 q\q4|�t� t|�S )Nr� )rb rz �indexrZ r �
issubclassr r} )r� r� �res�i�br] r] r^ r� � s
z!_BaseGenericAlias.__mro_entries__c C s* d| j v r t|�s t| j|�S t|��d S )Nrb )r� r r� rb r )r� r
r] r] r^ � __getattr__� s z _BaseGenericAlias.__getattr__c s2 t |�s|dv r t� �||� nt| j||� d S )N)r� r �_nparams)r �super� __setattr__�setattrrb )r� r
�val�� __class__r] r^ r � s z _BaseGenericAlias.__setattr__c C s | � t|��S r� )r� rY r� r] r] r^ r� � s z#_BaseGenericAlias.__instancecheck__c C s t d��d S )NzBSubscripted generics cannot be used with class and instance checksr� r� r] r] r^ r� � s z#_BaseGenericAlias.__subclasscheck__) rp rm rn r� r� r� r r r� r� �
__classcell__r] r] r" r^ r � s r c sd e Zd Zddd�� fdd�
Zdd� Zdd � Zed
d � �Zd d
� Zdd� Z dd� Z
� fdd�Z � Z S )ra TNr c sP t � j|||d� t|t�s"|f}tdd� |D ��| _t|�| _|sL|j| _d S )Nr c s s* | ]"}|t u rd n|tu r dn|V qdS ).r] N)�_TypingEllipsis� _TypingEmptyr� r] r] r^ r� � s � z)_GenericAlias.__init__..)r r� rZ r} r� r~ r| rm )r� r r� r r r" r] r^ r� � s
�
z_GenericAlias.__init__c C s& t |t�stS | j|jko$| j|jkS r� )rZ ra r� rb r� r� r] r] r^ r� � s
�z_GenericAlias.__eq__c C s t | j| jf�S r� )r� rb r� r� r] r] r^ r� � s z_GenericAlias.__hash__c s� | j ttfv r td| � ���t|t�s,|f}d� t� fdd�|D ��}t| |t| j�� t t
| j|���g }| j D ]X}t|t �r��| }n6t|t
tf�r�|j}|r�t�fdd�|D ��}|| }|�|� qr| �t|��S )Nz%Cannot subscript already-subscripted �*Parameters to generic types must be types.c 3 s | ]}t |� �V qd S r� r� r� r� r] r^ r� � ry z,_GenericAlias.__getitem__..c 3 s | ]}� | V qd S r� r] )rt �x)�substr] r^ r�
ry )rb r r rc rZ r} r� r� r| �dict�zipr� r ra r rz r� )r� r� �new_argsr\ � subparams�subargsr] )rf r) r^ r� � s&
z_GenericAlias.__getitem__c C s | j | j|| j| jd�S �N)r r )r# rb r� r �r� r� r] r] r^ r� s z_GenericAlias.copy_withc C sB | j rd| j }n
t| j�}d�dd� | jD ��}|� d|� d�S )Nr� �, c S s g | ] }t |��qS r] �rr r� r] r] r^ rx ry z*_GenericAlias.__repr__..�[�])r� rr rb �joinr� )r� r r� r] r] r^ r� s
z_GenericAlias.__repr__c C sR | j rt� | j }n| j}t| j�}t|�dkrDt|d t�sD|\}tj||ffS )Nr� r ) r� �globalsrb r} r� r� rZ �operatorr� )r� r r� r] r] r^ r� s
z_GenericAlias.__reduce__c sh | j rt� �|�S | jtu r`t|v r(dS |�| �}||d d � D ] }t|t�rB|| urB dS qB| jfS )Nr] r� ) r� r r� rb r r r rZ r )r� r� r r r" r] r^ r� $ s
z _GenericAlias.__mro_entries__)
rp rm rn r� r� r� r� r� r� r� r� r� r$ r] r] r" r^ ra � s
ra c sT e Zd Zddd�� fdd�
Zedd� �Zdd � Zd
d � Z� fd d
�Zdd� Z � Z
S )�_SpecialGenericAliasTNr c s^ |d u r|j }t� j|||d� || _|jdkrBd|j� d�| _nd|j� d|j� d�| _d S )Nr rj zA generic version of r` )rp r r� r rm rn r� )r� r �nparamsr r r" r] r^ r� 6 s
z _SpecialGenericAlias.__init__c sB t |t�s|f}d� t� fdd�|D ��}t| || j� | �|�S )Nr' c 3 s | ]}t |� �V qd S r� r� r� r� r] r^ r� E ry z3_SpecialGenericAlias.__getitem__..)rZ r} r� r r� r0 r] r� r^ r� @ s
z _SpecialGenericAlias.__getitem__c C s t | j|| j| jd�S r/ )ra rb r� r r0 r] r] r^ r� I s �z _SpecialGenericAlias.copy_withc C s
d| j S r� r� r� r] r] r^ r� M s z _SpecialGenericAlias.__repr__c s: t |t�rt|j| j�S t |t�s.t|| j�S t� �|�S r� )rZ r8 r rb ra r r� r� r" r] r^ r� P s
z&_SpecialGenericAlias.__subclasscheck__c C s | j S r� r� r� r] r] r^ r� W s z _SpecialGenericAlias.__reduce__) rp rm rn r� r� r� r� r� r� r� r$ r] r] r" r^ r8 5 s
r8 c s$ e Zd Z� fdd�Zdd� Z� ZS )�_CallableGenericAliasc s\ t | j�dkr&| jd tu r&t� �� S dd�dd� | jd d� D ��� dt| jd �� d �S )
N� r ztyping.Callable[[r1 c S s g | ] }t |��qS r] r2 r� r] r] r^ rx a ry z2_CallableGenericAlias.__repr__..�����z], r4 )r� r� �Ellipsisr r� r5 rr r� r" r] r^ r� \ s
� �z _CallableGenericAlias.__repr__c C sD | j }t|�dkr |d du s6t|d d� �|d f}tjt|ffS )Nr; r .r< )r� r� r� r7 r� r
�r� r� r] r] r^ r� d s z _CallableGenericAlias.__reduce__)rp rm rn r� r� r$ r] r] r" r^ r: [ s r: c @ s( e Zd Zdd� Zdd� Zedd� �ZdS )�
_CallableTypec C s t | j|| j| jd�S r/ )r: rb r� r r0 r] r] r^ r� l s �z_CallableType.copy_withc C sP t |t�rt|�dkr td��|\}}t |t�r>t|�|f}n||f}| �|�S )Nr; z6Callable must be used as Callable[[arg, ...], result].)rZ r} r� rc r� �__getitem_inner__)r� r� r� r r] r] r^ r� p s
z_CallableType.__getitem__c C sb |\}}d}t ||�}|tu r,| �t|f�S t|t�s<|f}tdd� |D ��}||f }| �|�S )Nz.Callable[args, result]: result must be a type.c s s | ]}t |�V qd S r� )r_ )rt r\ r] r] r^ r� � ry z2_CallableType.__getitem_inner__..)ri r= r� r% rZ r} )r� r� r� r rf r] r] r^ r@ ~ s
z _CallableType.__getitem_inner__N)rp rm rn r� r� r� r@ r] r] r] r^ r? k s r? c @ s e Zd Zedd� �ZdS )�
_TupleTypec s� |dkr| � tf�S t|t�s$|f}t|�dkr\|d du r\d� t|d � �}| � |tf�S d� t� fdd �|D ��}| � |�S )
Nr] 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 r� r� r� r� r] r^ r� � ry z)_TupleType.__getitem__..)r� r& rZ r} r� ri r% )r� r� r� r] r� r^ r� � s
z_TupleType.__getitem__N)rp rm rn r� r� r] r] r] r^ rA � s rA c s4 e Zd Zdd� Zdd� Zdd� Z� fdd�Z� ZS ) r� c C s t | S r� )r r0 r] r] r^ r� � s z _UnionGenericAlias.copy_withc C s" t |t�stS t| j�t|j�kS r� )rZ r� r� r� r� r� r] r] r^ r� � s
z_UnionGenericAlias.__eq__c C s t t| j��S r� )r� � frozensetr� r� r] r] r^ r� � s z_UnionGenericAlias.__hash__c sd | j }t|�dkrZ|d td �u r6dt|d �� d�S |d td �u rZdt|d �� d�S t� �� S )Nr; r ztyping.Optional[r� r4 )r� r� rY rr r r� r> r" r] r^ r� � s z_UnionGenericAlias.__repr__)rp rm rn r� r� r� r� r$ r] r] r" r^ r� � s r� c C s dd� | D �S )Nc s s | ]}|t |�fV qd S r� )rY r� r] r] r^ r� � ry z'_value_and_type_iter..r] )r� r] r] r^ r� � s r� c @ s e Zd Zdd� Zdd� ZdS )r� c C s* t |t�stS tt| j��tt|j��kS r� )rZ r� r� r� r� r� r� r] r] r^ r� � s
z_LiteralGenericAlias.__eq__c C s t tt| j���S r� )r� rB r� r� r� r] r] r^ r� � s z _LiteralGenericAlias.__hash__N)rp rm rn r� r� r] r] r] r^ r� � s r� c s0 e Zd ZdZdZedd� �Z� fdd�Z� ZS )r r] Fc s� t |t�s|f}|s.| tur.td| j� d���d� t� fdd�|D ��}| ttfv r�tdd� |D ��sxtd| j� d���t t
|��t |�kr�td| j� d ���nt | |t | j �� t
| |�S )
NzParameter list to z[...] cannot be emptyr' c 3 s | ]}t |� �V qd S r� r� r� r� r] r^ r� � ry z,Generic.__class_getitem__..c s s | ]}t |t�V qd S r� )rZ r r� r] r] r^ r� � ry zParameters to z [...] must all be type variablesz[...] must all be unique)rZ r} r rc rn r r �allrp r� r� r� r| ra )r� r� r] r� r^ �__class_getitem__� s&
� � �zGeneric.__class_getitem__c
s t � j|i |�� g }d| jv r,t| jv }nt| jv o>| jdk}|rLtd��d| jv �rt| j�}d }| jD ].}t |t
�rl|j tu rl|d ur�td��|j }ql|d u�rt
|�}t
|�� |� k�sd�� 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.r1 c 3 s | ]}|� vrt |�V qd S r� �r[ rs ��gvarsetr] r^ r� ry z,Generic.__init_subclass__..c s s | ]}t |�V qd S r� rF )rt �gr] r] r^ r� ry zSome type variables (z ) are not listed in Generic[r4 )r r� r� r rE � __bases__rp rc r~ rZ ra rb r| r� r5 r} )
r� r� r rw �error�gvars�base�tvarset�s_vars�s_argsr" rG r^ r� � s<
��
�
zGeneric.__init_subclass__) rp rm rn r� � _is_protocolr� rD r� r$ r] r] r" r^ r � s
r c @ s e Zd ZdS )r& N�rp rm rn r] r] r] r^ r& s r& c @ s e Zd ZdS )r% NrR r] r] r] r^ r% s r% )r| rE r rQ �_is_runtime_protocol) �__abstractmethods__�__annotations__r� r� r� rm �__new__r� �__subclasshook__r� rD �_MutableMapping__markerc C sr t � }| jd d� D ]X}|jdv r$qt|di �}t|j�� �t|�� � D ] }|�d�sJ|tvrJ|� |� qJq|S )Nr< )r r rU �_abc_)
r� �__mro__rp r� r� r� �keysr �EXCLUDED_ATTRIBUTES�add)r� �attrsrM � annotationsr
r] r] r^ �_get_protocol_attrs) s
r` c s t � fdd�t� �D ��S )Nc 3 s | ]}t t� |d ��V qd S r� )re r� �rt r
�r� r] r^ r� < ry z,_is_callable_members_only..)rC r` rb r] rb r^ �_is_callable_members_only: s rc c O st t | �}|jrtd��|jtur$d S |jD ]$}|j�dt�}|tur*||_ qXq*tj|_|j| g|�R i |�� d S )Nz Protocols cannot be instantiatedr� ) rY rQ rc r� �_no_init_or_replace_initrZ r� r� �object)r� r� r r� rM �initr] r] r^ rd ? s
rd c C s4 zt �d�jd dv W S ttfy. Y dS 0 d S )N� rp )�abcr� T)r� r r r r� r] r] r] r^ �_allow_reckless_class_cheks] s ri )
r
r' r r r) r r% r r+ r. �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 )NrQ FTc 3 s8 | ]0}t �|�o.tt� |d �� p.t�|�d uV qd S r� )�hasattrre r� ra �r� �instancer] r^ r� } s �
z2_ProtocolMeta.__instancecheck__..) r� rc r r# rQ rC r` r r� ro r" ro r^ r� u s �
��z _ProtocolMeta.__instancecheck__)rp rm rn r� r$ r] r] r" r^ rm r s rm c s( e Zd ZdZdZdZ� fdd�Z� ZS )r r] TFc s� t � j|i |�� � j�dd�s6tdd� � jD ��� _� fdd�}d� jvrR|� _� js\d S � jD ]F}|tt fv sb|j
t v r�|j t |j
v sbt
|t �r�|jsbtd| ��qbt� _d S ) NrQ Fc s s | ]}|t u V qd S r� )r )rt r r] r] r^ r� � ry 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 v r�|j | d u r�t S qdt|di �}t|t j j
�rn||v rnt| t�rn| jrn qdqnt S qddS ) NrQ FrS zLInstance and class checks can only be used with @runtime_checkable protocolsz._proto_hookrW z7Protocols can only inherit from other protocols, got %r)r r� r� r� �anyrJ rQ rW re r rm �_PROTO_WHITELISTrp r rc rd r� )r� r� r rr rM r" rb r^ r� � s, &
�����zProtocol.__init_subclass__)rp rm rn r� rQ rS r� r$ r] r] r" r^ r � s r )� metaclassc sD e Zd Z� fdd�Zdd� Zdd� Zdd� Zd d
� Zd d � Z� Z S )
�_AnnotatedAliasc s2 t |t�r|j| }|j}t� �||� || _d S r� )rZ rv � __metadata__rb r r� )r� r �metadatar" r] r^ r� � s
z_AnnotatedAlias.__init__c C s |d }t || j�S )Nr )rv rw )r� r� �new_typer] r] r^ r� � s z_AnnotatedAlias.copy_withc C s$ d� t| j�d�dd� | jD ���S )Nztyping.Annotated[{}, {}]r1 c s s | ]}t |�V qd S r� )rl r� r] r] r^ r� � ry z+_AnnotatedAlias.__repr__..)�formatrr rb r5 rw r� r] r] r^ r� � s �z_AnnotatedAlias.__repr__c C s t jt| jf| j ffS r� )r7 r� r rb rw r� r] r] r^ r� s �z_AnnotatedAlias.__reduce__c C s& t |t�stS | j|jko$| j|jkS r� )rZ rv r� rb rw r� r] r] r^ r� s
�z_AnnotatedAlias.__eq__c C s t | j| jf�S r� )r� rb rw r� r] r] r^ r�
s z_AnnotatedAlias.__hash__)
rp rm rn r� r� r� r� r� r� r$ r] r] r" r^ rv � s rv c @ s, e Zd ZdZdd� Zedd� �Zdd� ZdS ) r r] c O s t d��d S )Nz&Type Annotated cannot be instantiated.r� �r� r� r r] r] r^ rV 2 s zAnnotated.__new__c C sN t |t�rt|�dk r td��d}t|d |dd�}t|dd � �}t||�S )Nr; zUAnnotated[...] should be used with at least two arguments (a type and an annotation).z$Annotated[t, ...]: t must be a type.r TrU r� )rZ r} r� rc ri rv )r� r� rf r rx r] r] r^ rD 5 s zAnnotated.__class_getitem__c O s t d�| j���d S )Nz Cannot subclass {}.Annotated)rc rz rm r{ r] r] r^ r� @ s
�zAnnotated.__init_subclass__N)rp rm rn r� rV r� rD r� r] r] r] r^ r s
r c C s& t | t�r| js td| ��d| _| S )NzB@runtime_checkable can be only applied to protocol classes, got %rT)r r rQ rc rS rb r] r] r^ rR F s �rR c C s |S r� r] )�typr! r] r] r^ rH _ s rH c
C s� z
| j }W n ty i Y S 0 |j}|j}|d |� }| jpBd}| j}|rVt|�ni }|t|� }t||d � |�D ]\}} | ||< qx|S )Nr] ) �__code__r � co_argcount� co_varnames� __defaults__�__kwdefaults__r* r� r+ )
r� r� � pos_count� arg_names�defaults�
kwdefaultsr �
pos_offsetr �valuer] r] r^ �
_get_defaultsj s
r� c C s� t | dd �ri S t| t�r�i }t| j�D ]|}|d u rDtj|j j}n|}|j� di �}|�
� D ]D\}} | d u rvtd �} t| t �r�t | ddd�} t
| ||�} | ||< q^q(|r�|S dd� |�
� D �S |d u �rt| tj�r�| j}n"| }
t|
d�r�|
j}
q�t |
d i �}|d u �r |}n|d u �r |}t | dd �}|d u �rRt| t��rDi S td
�| ���t| �} t|�}|�
� D ]t\}} | d u �r�td �} t| t ��r�t | t| tj� dd�} t
| ||�} || v �r�| | d u �r�t| } | ||< �qj|�r�|S d d� |�
� D �S ) N�__no_type_check__rU FT)rg rX c S s i | ]\}}|t |��qS r] ��_strip_annotations�rt �kru r] r] r^ �
� ry z"get_type_hints..� __wrapped__� __globals__z1{!r} is not a module, class, method, or function.c S s i | ]\}}|t |��qS r] r� r� r] r] r^ r� � ry )r� rZ rY �reversedrZ r� r� rm r� r� �itemsr[ r
r� rk �
ModuleTypern r� �_allowed_typesrc rz r� r* r ) rq r� r� �include_extras�hintsrM � base_globals�annr r� �nsobjr� r] r] r^ rL � sf
�
� rL c C s� t | t�rt| j�S t | t�rJtdd� | jD ��}|| jkr@| S | �|�S t | t�r�tdd� | jD ��}|| jkrv| S t| j|�S | S )Nc s s | ]}t |�V qd S r� r� r� r] r] r^ r� � ry z%_strip_annotations..c s s | ]}t |�V qd S r� r� r� r] r] r^ r� � ry ) rZ rv r� rb ra r} r� r� r )ru �
stripped_argsr] r] r^ r� � s
r� c C s2 t | t�rtS t | ttf�r"| jS | tu r.tS d S r� )rZ rv r r r rb r )�tpr] r] r^ rK � s
rK c C sf t | t�r| jf| j S t | ttf�rb| j}| jtjj u r^|d t
ur^t |d d� �|d f}|S dS )Nr r< r] ) rZ rv rb rw ra r r� rq rh r
r= r� )r� r r] r] r^ rJ s
rJ c C s� t | t�rt| j�� }| j�� D ]"\}}|| j| f v r |�|� q |�� D ](}t |tj �r`d|_
t |t�rJt |� qJz
d| _
W n t y� Y n0 | S )NT)
rZ rY r� �copyr� rJ �pop�valuesrk ro r� rN rc )r\ � arg_attrsr
r! rq r] r] r^ rN s
rN c s t �� �� fdd��}|S )Nc s � | i |��}t |�}|S r� )rN )r� r� r� �r� r] r^ �wrapped_decorator? s z2no_type_check_decorator..wrapped_decorator)r� r� )r� r� r] r� r^ rO 8 s rO 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� r] r] r^ �_overload_dummyH s �r� c C s t S r� )r� )r� r] r] r^ rQ Q s rQ c C s | S r� r] )�fr] r] r^ rI n s rI �T�KT�VT�T_co)r� �V_co�VT_co�T_contra)r� �CT_co)r� r� rG r� rg 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.
r )r r< 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; r8 r= r> r r- r9 r: 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 )r4 r] ��returnc C s d S r� r] r� r] r] r^ �__int__� s zSupportsInt.__int__N)rp rm rn r� r �intr� r] r] r] r^ r4 � s r4 c @ s" e Zd ZdZeed�dd��ZdS )r2 r] r� c C s d S r� r] r� r] r] r^ � __float__� s zSupportsFloat.__float__N)rp rm rn r� r �floatr� r] r] r] r^ r2 � s r2 c @ s" e Zd ZdZeed�dd��ZdS )r1 r] r� c C s d S r� r] r� r] r] r^ � __complex__ s zSupportsComplex.__complex__N)rp rm rn r� r �complexr� r] r] r] r^ r1 s r1 c @ s" e Zd ZdZeed�dd��ZdS )r0 r] r� c C s d S r� r] r� r] r] r^ � __bytes__ s zSupportsBytes.__bytes__N)rp rm rn r� r �bytesr� r] r] r] r^ r0 s r0 c @ s" e Zd ZdZeed�dd��ZdS )r3 r] r� c C s d S r� r] r� r] r] r^ � __index__ s zSupportsIndex.__index__N)rp rm rn r� r r� r� r] r] r] r^ r3 s r3 c @ s" e Zd ZdZeed�dd��ZdS )r/ r] r� c C s d S r� r] r� r] r] r^ �__abs__' s zSupportsAbs.__abs__N)rp rm rn r� r r� r� r] r] r] r^ r/ " s r/ c @ s& e Zd ZdZedeed�dd��ZdS )r5 r] r )�ndigitsr� c C s d S r� r] )r� r� r] r] r^ � __round__1 s zSupportsRound.__round__N)r )rp rm rn r� r r� r� r� r] r] r] r^ r5 , s r5 r] c C s@ dd� |D �}dd� |D �}t j| |||d�}| |_|j_|S )Nc S s g | ] \}}|�qS r] r] �rt �nru r] r] r^ rx 7 ry z!_make_nmtuple..c S s$ i | ] \}}|t |d |� d���qS )zfield z annotation must be a typer� r� r] r] r^ r� 8 s �z!_make_nmtuple..�r� rW )rq �
namedtuplerU rV )r rk rW r� �fields�nm_tplr] r] r^ �
_make_nmtuple6 s ��r� >
�_field_defaultsr� �_replacer� rV �__getnewargs__�_source�_asdict�_fields�_make> rU rm rp c @ s e Zd Zdd� ZdS )�NamedTupleMetac
s� � � di �}g }|D ]L}|� v r,|�|� q|rtd|� dt|�dkrJdnd� dd�|�� ���qt||�� � fd d
�|D �� d d �}� D ]<}|tv r�td
| ��q�|t vr�||j
vr�t ||� | � q�|S )NrU z Non-default namedtuple field z cannot follow default fieldr� �s� � r1 c s g | ] }� | �qS r] r] )rt r� ��nsr] r^ rx W ry z*NamedTupleMeta.__new__..rm r� z&Cannot overwrite NamedTuple attribute ) r� rz rc r� r5 r� r� � _prohibitedr �_specialr� r ) r� �typenamer� r� rk �
default_names�
field_namer� �keyr] r� r^ rV J s*
��
�zNamedTupleMeta.__new__N)rp rm rn rV r] r] r] r^ r� H s r� c K s` |d u r|� � }n |r td��zt�d�j�dd�}W n ttfyP d }Y n0 t| ||d�S )NzIEither list of fields or keywords can be provided to NamedTuple, not bothr� rp r� �rW ) r� rc r� r r r� r r� r� )r� r� r rW r] r] r^ r? b s
r? c C s t | �dkrtd��tfS )Nr� z5Multiple inheritance with NamedTuple is not supported)r� rc � _NamedTuple�r� r] r] r^ �_namedtuple_mro_entries� s r� c @ s& e Zd Zddd�ZeZdd� ZeZdS )�_TypedDictMetaTc s |D ]}t |�turtd��qt �t|tf|��i }|�di �}t|�� �}d� � �fdd�|�� D �}t� } t� }
|D ]@}|� |j
�di �� | � |j
�dd�� |
� |j
�dd�� qx|� |� |r�| � |� n
|
� |� |�_ t | ��_
t |
��_t�d ��s
|�_�S )
NzHcannot inherit from both a TypedDict type and a non-TypedDict base classrU z?TypedDict('Name', {f0: t0, f1: t1, ...}); each t must be a typec s" i | ]\}}|t |� �jd ��qS )r� )ri rm )rt r� r� �rf �tp_dictr] r^ r� � s �z*_TypedDictMeta.__new__..�__required_keys__r] �__optional_keys__� __total__)rY r� rc rV r* r� r� r[ r� �updater� rU rB r� r� rn r� ) r� r r� r� �totalrM r_ �own_annotations�own_annotation_keys�
required_keys�
optional_keysr] r� r^ rV � s6
�
z_TypedDictMeta.__new__c C s t d��d S )Nz4TypedDict does not support instance and class checksr� )r� r� r] r] r^ r� � s z _TypedDictMeta.__subclasscheck__N)T)rp rm rn rV r* r� r� r� r] r] r] r^ r� � s
+r� �r� c K sj |d u r|}n |rt d��dt|�i}z t�d�j�dd�|d< W n ttfyX Y n0 t| d||d�S ) Nz@TypedDict takes either a dict or keyword arguments, but not bothrU r� rp r� rm r] r� ) rc r* r� r r r� r r� r� )r� r� r� r r� r] r] r^ r@ � s * r@ c C s t fS r� )�
_TypedDictr� r] r] r^ �� ry r� c C s dd� }| |_ ||_|S )Nc S s | S r� r] )r( r] r] r^ ry s zNewType..new_type)rp �
__supertype__)r r� ry r] r] r^ rM s rM 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 );rC r] r� c C s d S r� r] r� r] r] r^ �mode4 s zIO.modec C s d S r� r] r� r] r] r^ r 9 s zIO.nameNc C s d S r� r] r� r] r] r^ �close> s zIO.closec C s d S r� r] r� r] r] r^ �closedB s z IO.closedc C s d S r� r] r� r] r] r^ �filenoG s z IO.filenoc C s d S r� r] r� r] r] r^ �flushK s zIO.flushc C s d S r� r] r� r] r] r^ �isattyO s z IO.isattyr< )r� r� c C s d S r� r] )r� r� r] r] r^ �readS s zIO.readc C s d S r� r] r� r] r] r^ �readableW s z IO.readable)�limitr� c C s d S r� r] )r� r� r] r] r^ �readline[ s z IO.readline)�hintr� c C s d S r� r] )r� r� r] r] r^ � readlines_ s z IO.readlinesr )�offset�whencer� c C s d S r� r] )r� r� r� r] r] r^ �seekc s zIO.seekc C s d S r� r] r� r] r] r^ �seekableg s z IO.seekablec C s d S r� r] r� r] r] r^ �tellk s zIO.tell)�sizer� c C s d S r� r] )r� r� r] r] r^ �truncateo s z IO.truncatec C s d S r� r] r� r] r] r^ �writables s z IO.writable�r� r� c C s d S r� r] �r� r� r] r] r^ �writew s zIO.write)�linesr� c C s d S r� r] )r� r r] r] r^ �
writelines{ s z
IO.writelinesz
IO[AnyStr]c C s d S r� r] r� r] r] r^ � __enter__ s z IO.__enter__c C s d S r� r] )r� rY r� � tracebackr] r] r^ �__exit__� s z IO.__exit__)r< )r< )r< )r )N) rp rm rn r� �propertyr r[ r� r r� r� r� r� r� r� r� rG r� r� r� r; r� r� r� r� r� r� r� r r r r] r] r] r^ rC % sX
rC c @ s> e Zd ZdZeeeef ed�dd��Z ed d�dd��Z
dS ) rB r] r� c C s d S r� r] r� r] r] r^ r� � s zBinaryIO.writer� c C s d S r� r] r� r] r] r^ r � s zBinaryIO.__enter__N) rp rm rn r� r r r� � bytearrayr� r� r r] r] r] r^ rB � s
rB 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 )rF r] r� c C s d S r� r] r� r] r] r^ �buffer� s z
TextIO.bufferc C s d S r� r] r� r] r] r^ �encoding� s zTextIO.encodingc C s d S r� r] r� r] r] r^ �errors� s z
TextIO.errorsc C s d S r� r] r� r] r] r^ �line_buffering� s zTextIO.line_bufferingc C s d S r� r] r� r] r] r^ �newlines� s zTextIO.newlinesc C s d S r� r] r� r] r] r^ r � s zTextIO.__enter__N)rp rm rn r� r r rB r r[ r r r r� r
r r r r] r] r] r^ rF � s$ rF c @ s e Zd Zg d�ZeZeZeZdS )�io)rC rF rB N)rp rm rn �__all__rC rF rB r] r] r] r^ r � s r z.ioc @ s e Zd ZddgZeZeZdS )�rerE rD N)rp rm rn r
rE rD r] r] r] r^ r � s r z.re)N)TN)N)NNF)r] )N)N)�rh r r rq �collections.abcrl r� r7 r � stdlib_rer� rk r r r r r
r_ ri rr r~ r� r� r� r� r� r� rB r� r� r� rd r� r rP r r r r r r
r r r ra r8 r: r? rA r� r� r� r r& r% �_TYPING_INTERNALS�_SPECIAL_NAMESr\ r` rc rd ri rt rm r rv r rR rH r� ro �BuiltinFunctionType�
MethodTyper� r� rL r� rK rJ rN rO r� rQ rI r� r� r� r� r� r� r� rY r� r� r[ rG �_aliasr r' r* r) r( r r r. r% r r+ r
r� r= r r# r r! r$ r" r r} r r� r; �dequer8 r� r> r r r r& rj r rk r- r* r9 � defaultdictr: r< r7 r6 rA r, r r4 r2 r1 r0 r3 r/ r5 r� r� r� r� r? rV r� r� r� r� r@ r� rM rS rT rC rB rF r rp r� rE rD r] r] r] r^ � sf ` !
%
!ATFS&! Q
� b)5 �
] �
� �
#59
c#