관리-도구
편집 파일: typing.cpython-37.opt-2.pyc
B YI~dv� � > @ s� d dl Z 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;d<d=d>d?d@dAg>Zd�dCdD�ZdEdF� ZdGdH� ZdIdJ� ZdKdL� ZdMdN� Zg ZdOdP� ZdQdR� ZG dSdT� dT�ZG dUdV� dV�ZG dWdX� dXeedBdY�ZeddZd[�Z ed>d\d[�Z edd]d[�Z ed d^d[�Z ed d_d[�Z G d`d� dedBdY�Z!G dad � d eedBdY�Z"d2d d0d4d5d/d1d ddb� Z#dcdd� Z$G dedf� dfedBdY�Z%G dgdh� dhe%dBdY�Z&G did� d�Z'G djdk� dk�Z(G dldm� dm�Z)dnd9� Z*dodp� Z+e j,e j-e j.e j/e e efZ0d�dqd:�Z1drd<� Z2dsd=� Z3dtdu� Z4dvd?� Z5G dwdx� dxe6�Z7G dydz� dze'e7d{�Z8e"d|�Z9e"d}�Z:e"d~�Z;e"ddBd��Z<e"d�dBd��Z=e"d�dBd��Z>e"d�dBd��Z?e"d�dBe6d��Z@e"d8eAeB�ZCd�d�d��ZDeDej jEd��ZEeDej jFe<�ZFeDej jGe<e?e=f�ZGeDej jHe<�ZHeDej jIe<�ZIeDej jJe<�ZJeDej jKe<�ZKeDej jLe<�ZLeDej jMd��ZMeDej jNe<�ZNeDej jOe<�ZOe&ej jPd�dBd��ZPd�eP_QeDej jRe<�ZSeDej jTe9�ZTeDej jUe:e>f�ZUeDej jVe:e;f�ZVeDej jWe<�ZWeDej jXe9�ZXeDej jYd��ZYe&eZd�d�dBd��Z[d�e[_QeDe\e9d�d��Z]eDej^e9�Z_eDe`e9d�d��ZReDeae<d�d��ZbeDej jce<�ZceDej jde:�ZdeDej jee:e>f�ZeeDej jfe>�ZfeDejge<�ZheDejie<�ZjeDeke:e;fd�d��ZleDejme:e;f�ZneDejoe:e;f�ZoeDejpe9�ZpeDejqe:e;f�ZqeDej jre<e?e=f�ZreDej jse<e?f�ZseDe6e@d�d��Ztd�et_QG d�d+� d+e8�ZuG d�d*� d*e8�ZvG d�d)� d)e8�ZwG d�d(� d(e8�ZxG d�d'� d'e8e< �ZyG d�d,� d,e8e< �Zzd�d�� Z{d�Z|d�Z}G d�d�� d�e6�Z~G d�d6� d6e~d{�Zd�d;� Z�eBZ�d�Z�G d�d�� d�e'eC �Z�G d�d�� d�e�eA �Z�G d�d�� d�e�eB �Z�G d�d�� d��Z�e�d� e�_�e�e j�e�j�< eDe j�eC�Z�eDe j�eC�Z�G d�d�� d��Ze�d� e_�ee j�ej�< dS )�� N)�abstractmethod�abstractproperty)�WrapperDescriptorType�MethodWrapperType�MethodDescriptorType�Any�Callable�ClassVar� ForwardRef�Generic�Optional�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� SupportsInt� SupportsRound�ChainMap�Counter�Deque�Dict� DefaultDict�List� OrderedDict�Set� FrozenSet� NamedTuple� Generator�AnyStr�cast�get_type_hints�NewType� no_type_check�no_type_check_decorator�NoReturn�overload�Text� TYPE_CHECKINGTc C s� t tf}|r|tf }| d kr&td �S t| t�r8t| �S t| t�rZ| j|krZt | � d���t| t �rp| t t fks|| t tfkr�t d| � d���t| tt tf�r�| S t| �s�t |� d| d�d���| S )Nz is not valid as type argumentzPlain z Got z.100�.)r � _Protocolr �type� isinstance�strr � _GenericAlias� __origin__� TypeError� _SpecialFormr rA r �callable)�arg�msg� is_argumentZinvalid_generic_forms� rR �+/opt/alt/python37/lib64/python3.7/typing.py� _type_checkq s$ rT c C sR t | t�r,| jdkr| jS | j� d| j� �S | dkr8dS t | tj�rJ| jS t| �S )N�builtinsrE .z...)rH rG � __module__� __qualname__�types� FunctionType�__name__�repr)�objrR rR rS � _type_repr� s r] c s` g � xR| D ]J}t |t�r*|� kr*� �|� t |t�r |js � �� fdd�|jD �� q W t� �S )Nc s g | ]}|� kr|�qS rR rR )�.0�t)�tvarsrR rS � <listcomp>� s z&_collect_type_vars.<locals>.<listcomp>)rH r �appendrJ �_special�extend�__parameters__�tuple)rX r_ rR )r` rS �_collect_type_vars� s rg c C s� t | t�s| S t| j�}x\t| j�D ]N\}}t |t�rbx:t|�D ] \}}||kr@|| ||< q@W q$t|||�||< q$W | jtkr�tt |� S | � t |��S )N) rH rJ �list�__args__� enumerater � _subs_tvarsrK r rf � copy_with)�tpr` ZsubsZnew_args�arO �iZtvarrR rR rS rk � s rk c C s^ | j st| � d���t|�}t| j �}||krZtd||kr>dnd� d| � d|� d|� ���d S )Nz is not a generic classzToo ZmanyZfewz parameters for z ; actual z , expected )re rL �len)�cls� parametersZalenZelenrR rR rS �_check_generic� s rs c C s� g }xn| D ]f}t |t�r0|jtkr0|�|j� q t |t�rft|�dkrf|d tkrf|�|dd � � q |�|� q W t |�}t|�t|�k r�g }x(|D ] }||kr�|�|� |� |� q�W |}t|�S )Nr � ) rH rJ rK r rd ri rf rp rb �set�remove)rr �params�pZ all_paramsZ new_paramsr_ rR rR rS �_remove_dups_flatten� s " ry c s4 t �� ��� t�� j� t ���� �fdd��}|S )Nc s* y � | |�S t k r Y nX �| |�S )N)rL )�args�kwds)�cached�funcrR rS �inner� s z_tp_cache.<locals>.inner)� functools� lru_cache� _cleanupsrb � cache_clear�wraps)r} r~ rR )r| r} rS � _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 )N)� _eval_type)r^ rn )�globalns�localnsrR rS � <genexpr> s z _eval_type.<locals>.<genexpr>)rH r � _evaluaterJ rf ri rl rc )r_ r� r� Zev_args�resrR )r� r� rS 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 classes)rL )�selfrz r{ rR rR rS �__init_subclass__ s z_Final.__init_subclass__N)rZ rV rW � __slots__r� rR rR rR rS r� s r� c @ s e Zd Zdd� Zdd� ZdS )� _Immutablec C s | S )NrR )r� rR rR rS �__copy__ s z_Immutable.__copy__c C s | S )NrR )r� ZmemorR rR rS � __deepcopy__! s z_Immutable.__deepcopy__N)rZ rV rW r� r� rR rR rR rS 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 )rM )�_name�_docc sB t |�dkr6t|d t�r6t|d t�r6td| ����t� �| �S )N� r rt zCannot subclass )rp rH rI rf rL �super�__new__)rq rz r{ )� __class__rR rS r� , s z_SpecialForm.__new__c C s || _ || _d S )N)r� r� )r� �name�docrR rR rS �__init__9 s z_SpecialForm.__init__c C s t |t�stS | j|jkS )N)rH rM �NotImplementedr� )r� �otherrR rR rS �__eq__= s z_SpecialForm.__eq__c C s t | jf�S )N)�hashr� )r� rR rR rS �__hash__B s z_SpecialForm.__hash__c C s d| j S )Nztyping.)r� )r� rR rR rS �__repr__E s z_SpecialForm.__repr__c C s | j S )N)r� )r� rR rR rS � __reduce__H s z_SpecialForm.__reduce__c O s t d| ����d S )NzCannot instantiate )rL )r� rz r{ rR rR rS �__call__K s z_SpecialForm.__call__c C s t | � d���d S )Nz! cannot be used with isinstance())rL )r� r\ rR rR rS �__instancecheck__N s z _SpecialForm.__instancecheck__c C s t | � d���d S )Nz! cannot be used with issubclass())rL )r� rq rR rR rS �__subclasscheck__Q s z _SpecialForm.__subclasscheck__c s� | j dkr t|d�}t| |f�S | j dkr�|dkr:td��t|t�sJ|f}d� t� fdd�|D ��}t|�}t|�d kr�|d S t| |�S | j d kr�t|d �}t|t d �f S t| � d ���d S )Nr z"ClassVar accepts only single type.r rR z Cannot take a Union of no types.z)Union[arg, ...]: each arg must be a type.c 3 s | ]}t |� �V qd S )N)rT )r^ rx )rP rR rS r� _ s z+_SpecialForm.__getitem__.<locals>.<genexpr>rt r r z#Optional[t] requires a single type.z is not subscriptable) r� rT rJ rL rH rf ry rp r rG )r� rr �itemrO rR )rP rS � __getitem__T s$ z_SpecialForm.__getitem__)rZ rV rW r� r� r� r� r� r� r� r� r� r� r� r� � __classcell__rR rR )r� rS rM % s rM )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' 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]. 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|����yt|dd�}W n" tk rJ td|����Y nX || _|| _d| _d | _|| _ d S )Nz*Forward reference must be a string -- got z<string>�evalz/Forward reference must be an expression -- got F) rH rI rL �compile� SyntaxErrorr� r� r� r� r� )r� rO rQ �coderR rR rS 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.)rQ T)r� rT r� r� r� r� )r� r� r� rR rR rS r� � s zForwardRef._evaluatec C s> t |t�stS | jr2|jr2| j|jko0| j|jkS | j|jkS )N)rH r r� r� r� r� )r� r� rR rR rS r� � s zForwardRef.__eq__c C s t | j�S )N)r� r� )r� rR rR rS r� � s zForwardRef.__hash__c C s d| j �d�S )Nz ForwardRef(�))r� )r� rR rR rS r� � s zForwardRef.__repr__N)T) rZ rV rW r� r� r� r� r� r� rR rR rR rS r � s c @ s2 e Zd ZdZdddd�dd�Zdd� Zd d � ZdS ) r )rZ � __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 | _ yt � 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=...rt z"A single constraint is not allowedz:TypeVar(name, constraint, ...): constraints must be types.c 3 s | ]}t |� �V qd S )N)rT )r^ r_ )rP rR rS r� # s z#TypeVar.__init__.<locals>.<genexpr>zBound must be a type.rZ �__main__�typing)rZ � ValueError�boolr� r� rL rp rf r� rT r� �sys� _getframe� f_globals�get�AttributeErrorrV )r� r� r� r� r� Z constraintsZdef_modrR )rP rS r� s( zTypeVar.__init__c C s& | j r d}n| jrd}nd}|| j S )N�+�-�~)r� r� rZ )r� �prefixrR rR rS r� / s zTypeVar.__repr__c C s | j S )N)rZ )r� rR rR rS r� 8 s zTypeVar.__reduce__)rZ rV rW r� r� r� r� rR rR rR rS r � s , ) rh rf �dictru � frozenset�deque� defaultdictrG r7 c C s | � d�o| �d�S )N�__)� startswith�endswith)�attrrR rR rS � _is_dunderS 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 ) rJ 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 ).rR N)�_TypingEllipsis� _TypingEmpty)r^ rn rR rR rS r� j s z)_GenericAlias.__init__.<locals>.<genexpr>)�_instrc rZ �_normalize_aliasr� r� rH rf rK ri rg re r� rV )r� �originrw r� r� r� Z orig_namerR rR rS 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 z*Parameters to generic types must be types.c 3 s | ]}t |� �V qd S )N)rT )r^ rx )rP rR rS r� z s z,_GenericAlias.__getitem__.<locals>.<genexpr>) rK r rF rL rH rf rs rk re )r� rw rR )rP rS r� r s z_GenericAlias.__getitem__c C s t | j|| j| jd�S )N)r� r� )rJ rK r� r� )r� rw rR rR rS rl ~ 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 ztyping.�[z, c S s g | ] }t |��qS rR )r] )r^ rn rR rR rS ra � s z*_GenericAlias.__repr__.<locals>.<listcomp>�]� ztyping.Callableztyping.Callable[[c S s g | ] }t |��qS rR )r] )r^ rn rR rR rS ra � s ���z], )r� rp ri �Ellipsisr] rK rc �join)r� r� rz rR rR rS r� � s z_GenericAlias.__repr__c C sR t |t�stS | j|jkr dS | jtkrF|jtkrFt| j�t|j�kS | j|jkS )NF)rH rJ r� rK r r� ri )r� r� rR rR rS r� � s z_GenericAlias.__eq__c C s, | j tkr ttt| j�f�S t| j | jf�S )N)rK r r� r� ri )r� rR rR rS r� � s z_GenericAlias.__hash__c O sT | j s$td| j� d| j�� � d���| j||�}y | |_W n tk rN Y nX |S )NzType z cannot be instantiated; use z () instead)r� rL r� �lowerrK Z__orig_class__r� )r� rz �kwargs�resultrR rR rS r� � s z_GenericAlias.__call__c C s� | j rZg }| j|kr |�| j� |�| �}tdd� ||d d � D ��sR|�t� t|�S | jtkr�|�| �}x.||d d � D ]}t|t�r�|| k r�dS q�W | jfS )Nc s s" | ]}t |t�pt|t�V qd S )N)rH rJ � issubclassr )r^ �brR rR rS r� � s z0_GenericAlias.__mro_entries__.<locals>.<genexpr>rt rR ) r� rK rb �index�anyr rf rH rJ )r� �basesr� ro r� rR rR rS �__mro_entries__� s z _GenericAlias.__mro_entries__c C s* d| j kr t|�s t| j|�S t|��d S )NrK )�__dict__r� �getattrrK r� )r� r� rR rR rS � __getattr__� s z_GenericAlias.__getattr__c s2 t |�s|dkr t� �||� nt| j||� d S )N)r� r� rc )r� r� � __setattr__�setattrrK )r� r� �val)r� rR rS r� � s z_GenericAlias.__setattr__c C s | � t|��S )N)r� rG )r� r\ rR rR rS 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)rc rH rJ r� rK rL )r� rq rR rR rS 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� rt ) rc r� �globalsrK r rp ri r� rh rf rH �operator�getitem)r� r� rz rR rR rS r� � s z_GenericAlias.__reduce__)rZ rV rW r� r� r� rl r� r� r� r� r� r� r� r� r� r� r� rR rR )r� rS rJ W s rJ 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� rc �__getitem_inner__rH rf rp rL r� rh )r� rw rz r� rR rR rS 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 ) NrR r� rt .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 )N)rT )r^ rx )rP rR rS r� s z:_VariadicGenericAlias.__getitem_inner__.<locals>.<genexpr>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 )N)rT )r^ rO )rP rR rS r� s )rK rf rc rl r� rH rp rT r� � collections�abcr r� r� r� )r� rw rx rz r� )r� )rP rS r� � s. z'_VariadicGenericAlias.__getitem_inner__)rZ rV rW r� r� r� r� rR rR )r� rS r� � s r� c s8 e Zd ZdZ� fdd�Zedd� �Z� fdd�Z� ZS )r rR c sP | t krtd��t� jtjkr8| jtjk r8t� �| �}nt� j| f|�|�}|S )NzHType Generic cannot be instantiated; it can be used only as a base class)r rL r� r� �objectr� )rq rz r{ r\ )r� rR rS r� . s zGeneric.__new__c s� t |t�s|f}|s.| tk r.td| j� d���d� t� fdd�|D ��}| tkr�tdd� |D ��sjtd��tt|��t|�kr�td��n| t kr�n t | |� t | |�S ) NzParameter list to z[...] cannot be emptyz*Parameters to generic types must be types.c 3 s | ]}t |� �V qd S )N)rT )r^ rx )rP rR rS r� @ s z,Generic.__class_getitem__.<locals>.<genexpr>c s s | ]}t |t�V qd S )N)rH r )r^ rx rR rR rS r� C s z5Parameters to Generic[...] must all be type variablesz-Parameters to Generic[...] must all be unique) rH rf r rL rW r �allrp ru rF rs rJ )rq rw rR )rP rS �__class_getitem__8 s$ zGeneric.__class_getitem__c s t � j||� g }d| jkr(t| jk}nt| jko:| jdk}|rHtd��d| jk�r t| j�}d }x8| jD ].}t |t �rj|j tkrj|d k r�td��|j }qjW |d kr�|}n`t |�}t |�� |� k�sd�� fdd�|D ��}d�dd� |D ��} td |� d | � d ���|}t|�| _ d S ) N�__orig_bases__rF z!Cannot inherit from plain Genericz0Cannot inherit from Generic[...] multiple types.z, c 3 s | ]}|� krt |�V qd S )N)rI )r^ r_ )�gvarsetrR rS r� o s z,Generic.__init_subclass__.<locals>.<genexpr>c s s | ]}t |�V qd S )N)rI )r^ �grR rR rS r� p s zSome type variables (z ) are not listed in Generic[r� )r� r� r� r r� � __bases__rZ rL rg rH rJ rK re ru r� rf ) rq rz r� r` �errorZgvars�baseZtvarsetZs_varsZs_args)r� )r� rS r� Q s6 zGeneric.__init_subclass__) rZ rV rW r� r� r� r� r� r� rR rR )r� rS r s c @ s e Zd ZdS )r� N)rZ rV rW rR rR rR rS r� w s r� c @ s e Zd ZdS )r� N)rZ rV rW rR rR rR rS r� ~ s r� c C s |S )NrR )�typr� rR rR rS r< � s c C s� y | j }W n tk r i S X |j}|j}|d |� }| jp@d}| j}|rTt|�ni }|t|� }x&t||d � |�D ]\}} | ||< qxW |S )NrR ) �__code__r� � co_argcount� co_varnames� __defaults__�__kwdefaults__r� rp �zip) r} r� Z pos_countZ arg_names�defaultsZ kwdefaultsr� Z pos_offsetr� �valuerR rR rS � _get_defaults� s r c C s� t | dd �ri S t| t�r�i }x�t| j�D ]~}|d krFtj|j j}n|}|j� di �}xN|� � D ]B\}}|d krztd �}t|t �r�t |dd�}t |||�}|||< qbW q*W |S |d k�rt| tj�r�| j}n&| } xt| d�r�| j} q�W t | di �}|d k�r|}n|d k�r|}t | dd �}|d k�rFt| t��r8i S td�| ���t| �} t|�}xp|� � D ]d\}}|d k�rztd �}t|t ��r�t |�}t |||�}|| k�r�| | d k�r�t| }|||< �q`W |S )N�__no_type_check__�__annotations__F)rQ � __wrapped__� __globals__z1{!r} is not a module, class, method, or function.)r� rH rG �reversed�__mro__r� �modulesrV r� r� �itemsrI r r� rX � ModuleType�hasattrr �_allowed_typesrL �formatr r� r ) r\ r� r� Zhintsr� Z base_globals�annr� r Znsobjr rR rR rS r= � s\ c C s� t | t�r|| j�� }x0| j�� D ]"\}}|| j| f kr |�|� q W x4|�� D ](}t |tj �rfd|_ t |t�rPt |� qPW y d| _ W n t k r� Y nX | S )NT) rH rG r� �copyr r� �pop�valuesrX rY r r? rL )rO Z arg_attrsr� r� r\ rR rR rS r? � s c s t �� �� fdd��}|S )Nc s � | |�}t |�}|S )N)r? )rz r{ r} )� decoratorrR rS �wrapped_decorator s z2no_type_check_decorator.<locals>.wrapped_decorator)r r� )r r rR )r rS r@ 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.)�NotImplementedError)rz r{ rR rR rS �_overload_dummy& s r c C s t S )N)r )r} rR rR rS rB / s c s, e Zd Z� fdd�Zdd� Zdd� Z� ZS )� _ProtocolMetac s" t | jkrt� �|�S td��d S )Nz+Protocols cannot be used with isinstance().)rF r� r� r� rL )r� r\ )r� rR rS r� S s z _ProtocolMeta.__instancecheck__c sL | j s tS | tkrdS | �� }x(|D ] � t� fdd�|jD ��s$dS q$W dS )NTc 3 s | ]}� |j kV qd S )N)r� )r^ �d)r� rR rS r� e s z2_ProtocolMeta.__subclasscheck__.<locals>.<genexpr>F)� _is_protocolr� rF �_get_protocol_attrsr� r )r� rq �attrsrR )r� rS r� X s z _ProtocolMeta.__subclasscheck__c C s& g }x.| j D ]$}t|dd�r |jdkr |�|� q W t� }� x�|D ]�}x�|j�� D ]�}x�| j D ]$}||k r^||jkr^t|dd�s^P q^W |�d�sR|dkrR|dkrR|dkrR|dkrR|dkrR|d krR|d krR|d krR|d krR|d krR|dkrR|dkrR|dkrR|dkrR|dkrR|dkrR|�|� qRW qBW |S )Nr FrF Z_abc_�__abstractmethods__r r� Z_gorgr� ri r� r Z__next_in_mro__re rK r� Z __extra__Z __tree_hash__rV ) r r� rZ rb ru r� �keysr� �add)r� Zprotocol_bases�cr r� r� rR rR rS r i s< z!_ProtocolMeta._get_protocol_attrs)rZ rV rW r� r� r r� rR rR )r� rS r L s r c s$ e Zd ZdZdZ� fdd�Z� ZS )rF rR Tc s t � �|�S )N)r� r� )rq rw )r� rR rS r� � s z_Protocol.__class_getitem__)rZ rV rW r� r r� r� rR rR )r� rS rF � s rF )� metaclass�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� )rJ )r� rw r� rR rR rS �_alias� s r. rR )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 )r. rR )�returnc C s d S )NrR )r� rR rR rS �__int__ s zSupportsInt.__int__N)rZ rV rW r� r �intr0 rR rR rR rS r. s c @ s" e Zd ZdZeed�dd��ZdS )r- rR )r/ c C s d S )NrR )r� rR rR rS � __float__ s zSupportsFloat.__float__N)rZ rV rW r� r �floatr2 rR rR rR rS r- s c @ s" e Zd ZdZeed�dd��ZdS )r, rR )r/ c C s d S )NrR )r� rR rR rS � __complex__ s zSupportsComplex.__complex__N)rZ rV rW r� r �complexr4 rR rR rR rS r, s c @ s" e Zd ZdZeed�dd��ZdS )r+ rR )r/ c C s d S )NrR )r� rR rR rS � __bytes__' s zSupportsBytes.__bytes__N)rZ rV rW r� r �bytesr6 rR rR rR rS r+ # s c @ s" e Zd ZdZeed�dd��ZdS )r* rR )r/ c C s d S )NrR )r� rR rR rS �__abs__0 s zSupportsAbs.__abs__N)rZ rV rW r� r r) r8 rR rR rR rS r* , s c @ s& e Zd ZdZedeed�dd��ZdS )r/ rR r )�ndigitsr/ c C s d S )NrR )r� r9 rR rR rS � __round__9 s zSupportsRound.__round__N)r )rZ rV rW r� r r1 r) r: rR rR rR rS r/ 5 s c sv d� � fdd�|D �}t �| dd� |D ��}t �|� |_|_yt�d�j�dd�|_ W n t t fk rp Y nX |S )NzDNamedTuple('Name', [(f0, t0), (f1, t1), ...]); each t must be a typec s g | ]\}}|t |� �f�qS rR )rT )r^ �nr_ )rP rR rS ra @ s z!_make_nmtuple.<locals>.<listcomp>c S s g | ] \}}|�qS rR rR )r^ r; r_ rR rR rS ra A s r� rZ r� ) r� � namedtupler6 r � _field_typesr� r� r� r� rV r� r� )r� rX �nm_tplrR )rP rS � _make_nmtuple> s r? ) r� r� r� �__getnewargs__�_fields�_field_defaultsr= �_make�_replace�_asdictZ_source)rV rZ r c s e Zd Z� fdd�Z� ZS )�NamedTupleMetac s� |� dd�r t� �| |||�S |� di �}t||�� �}g }i }xP|D ]H}||krn|| } |�| � | ||< qF|rFtdj|d�|� � �d���qFW t � |�|j_ t |�|j_||_xD|D ]<} | tkr�td| ��q�| tkr�| |jkr�t|| || � q�W |S )Nr� Fr zXNon-default namedtuple field {field_name} cannot follow default field(s) {default_names}z, )� field_nameZ default_namesz&Cannot overwrite NamedTuple attribute )r� r� r� r? r rb rL r r� r" r� r6 r rf r rB � _prohibitedr� rc rA r� ) rq �typenamer� �nsrX r> r Z defaults_dictrG Z default_value�key)r� rR rS r� V s0 zNamedTupleMeta.__new__)rZ rV rW r� r� rR rR )r� rS rF T s rF c @ s e Zd ZdZdd� Zde_dS )r9 Tc O s� | s t d��| ^}} | r"| ^}} n d|kr6|�d�}nt d��| r~y | \}W q� tk rz t dt| �d � d��d �Y q�X n$d|kr�t|�dkr�|�d�}nd }|d kr�|�� }n |r�t d ��t||�S ) Nz*NamedTuple.__new__(): not enough argumentsrI zGNamedTuple.__new__() missing 1 required positional argument: 'typename'z@NamedTuple.__new__() takes from 2 to 3 positional arguments but r� z were given�fieldsrt zIEither list of fields or keywords can be provided to NamedTuple, not both)rL r r� rp r r? )rz r� rq rI rL rR rR rS r� � s, zNamedTuple.__new__z*($cls, typename, fields=None, /, **kwargs)N)rZ rV rW r� r� �__text_signature__rR rR rR rS r9 s s c C s dd� }| |_ ||_|S )Nc S s | S )NrR )�xrR rR rS �new_type� s zNewType.<locals>.new_type)rZ Z __supertype__)r� rm rO rR rR rS r> � s c @ s� e Zd ZdZeed�dd��Zeed�dd��Zedd�dd ��Z ee 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 );�IOrR )r/ c C s d S )NrR )r� rR rR rS �mode� s zIO.modec C s d S )NrR )r� rR rR rS r� � s zIO.nameNc C s d S )NrR )r� rR rR rS �close� s zIO.closec C s d S )NrR )r� rR rR rS �closed� s z IO.closedc C s d S )NrR )r� rR rR rS �fileno� s z IO.filenoc C s d S )NrR )r� rR rR rS �flush� s zIO.flushc C s d S )NrR )r� rR rR rS �isatty� s z IO.isattyr� )r; r/ c C s d S )NrR )r� r; rR rR rS �read� s zIO.readc C s d S )NrR )r� rR rR rS �readable s z IO.readable)�limitr/ c C s d S )NrR )r� rY rR rR rS �readline s z IO.readline)�hintr/ c C s d S )NrR )r� r[ rR rR rS � readlines s z IO.readlinesr )�offset�whencer/ c C s d S )NrR )r� r] r^ rR rR rS �seek s zIO.seekc C s d S )NrR )r� rR rR rS �seekable s z IO.seekablec C s d S )NrR )r� rR rR rS �tell s zIO.tell)�sizer/ c C s d S )NrR )r� rb rR rR rS �truncate s z IO.truncatec C s d S )NrR )r� rR rR rS �writable s z IO.writable)�sr/ c C s d S )NrR )r� re rR rR rS �write! s zIO.write)�linesr/ c C s d S )NrR )r� rg rR rR rS � writelines% s z IO.writelinesz IO[AnyStr]c C s d S )NrR )r� rR rR rS � __enter__) s z IO.__enter__c C s d S )NrR )r� rG r � tracebackrR rR rS �__exit__- s z IO.__exit__)r� )r� )r� )r )N) rZ rV rW r� r rI rQ r� r rR r� rS r1 rT rU rV r; rW rX rZ r5 r\ r_ r` ra rc rd rf rh ri rk rR rR rR rS rP � sR rP c @ s> e Zd ZdZeeeef ed�dd��Z ed d�dd��Z dS ) �BinaryIOrR )re r/ c C s d S )NrR )r� re rR rR rS rf 7 s zBinaryIO.write)r/ c C s d S )NrR )r� rR rR rS ri ; s zBinaryIO.__enter__N) rZ rV rW r� r r r7 � bytearrayr1 rf ri rR rR rR rS rl 2 s rl c @ s� e Zd ZdZeed�dd��Zeed�dd��Zee e d�dd��Z ee d�d d ��Z ee d�d d ��Zed d�d d��ZdS )�TextIOrR )r/ c C s d S )NrR )r� rR rR rS �bufferE s z TextIO.bufferc C s d S )NrR )r� rR rR rS �encodingI s zTextIO.encodingc C s d S )NrR )r� rR rR rS �errorsM s z TextIO.errorsc C s d S )NrR )r� rR rR rS �line_bufferingQ s zTextIO.line_bufferingc C s d S )NrR )r� rR rR rS �newlinesU s zTextIO.newlinesc C s d S )NrR )r� rR rR rS ri Y s zTextIO.__enter__N)rZ rV rW r� r rl ro rI rp r rq r� rr r rs r ri rR rR rR rS rn @ s rn c @ s" e Zd ZdddgZeZeZeZdS )�iorP rn rl N)rZ rV rW �__all__rP rn rl rR rR rR rS rt ^ s rt z.ioc @ s e Zd ZddgZeZeZdS )�re�Pattern�MatchN)rZ rV rW ru rw rx rR rR rR rS rv m s rv z.re)T)NN)T)�r� r r r� Zcollections.abc� contextlibr r� rv Z stdlib_rer� rX r r r ru rT r] rg rk rs ry r� r� r� r� r� rM r rA r r r r r r� r� rJ r� r r� r� r< r rY �BuiltinFunctionType� MethodTyper r r= r? r@ r rB rG r rF r& r' r( r) r* r+ r, r- r7 rI r; r. r r" r% r$ r# r r r) r r r& r �__doc__r7 r r r r r r r rf r rh r5 r� r2 ru r� r8 r r r r! �AbstractContextManagerr �AbstractAsyncContextManagerr( r� r3 r� r4 r6 r1 r0 r: r' r r. r- r, r+ r* r/ r? rH rc rF r9 r> rC rD rP rl rn rt rZ r rw rx rR rR rR rS �<module> s� ! E 2a /_ V D < `