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 dZdddddZdddd
d Zd d
Zdd Zdd Zdd Zdd Zdd Zg ZdddddZe 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 dd2d3 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 dMZ4G dNdO dOZ5G dPdQ dQZ6g dRZ7g dSZ8e7e8 dTg Z9dUdV Z:dWdX Z;dYdZ ZG dadb dbeZ?G dcdd dde4e?deZ@G dfdg dge,d d#ZAG dhdi diZBdjdk ZCdldm ZDdndo ZEe jFe jGe jHe jIe e
efZJddpdqZKdrds ZLdtdu ZMdvdw ZNdxdy ZOdzd{ ZPd|d} ZQd~d ZRdd ZSe)dZTe)dZUe)dZVe)dd dZWe)dd dZXe)dd dZYe)dd dZZe)dd e[dZ\e)de]e^Z_e-Z`e`ej jad Zae`ej jbdZbe`ej jcdZce`ej jddZde`ej jedZee`ej jfdZfe`ej jgdZge`ej jhdZhe`ej jid Zie`ej jjdZje`ej jkdZke/ej jldZldel_me`ej jndddZoe`ej jpdZpe`ej jqdZqe`ej jrdZre`ej jsdZse`ej jtdZte`ej jud Zue0evddddZwdew_me`exddddZye`ejzdddZ{e`e|ddddZne`eddddZ}e`ej j~dZ~e`ej jdZe`ej jdZe`ej jdZe`ejdddZe`ejdddZe`eddddZe`ejdddZe`ejdZe`ejdZe`ejdZe`ej jdZe`ej jdZe`e[ddddZde_meCG dd de@ZeCG dd de@ZeCG dd de@ZeCG dd de@ZeCG dd de@ZeCG dd de@eW ZeCG dd de@eW ZdddZeh dZeh dZG dd de[ZdddZe[eddi Zdd Zee_G dd de[Zdd dddZe[eddi Zdd e_ddÄ Ze^ZdZG ddń de4e_ ZG ddDŽ dee] ZG ddɄ dee^ ZG dd˄ d˃Zed e_ee
jej< e`e jdZe`e jdZG dd΄ dZed e_ee
jej< dS ) )abstractmethodABCMetaN)WrapperDescriptorTypeMethodWrapperTypeMethodDescriptorType GenericAlias)M AnnotatedAnyCallableClassVarFinal
ForwardRefGenericLiteralOptionalProtocolTupleTypeTypeVarUnion AbstractSet
ByteString ContainerContextManagerHashable ItemsViewIterableIteratorKeysViewMapping MappingViewMutableMappingMutableSequence
MutableSetSequenceSized
ValuesView Awaitable
AsyncIterator
AsyncIterable Coroutine
CollectionAsyncGeneratorAsyncContextManager
Reversible SupportsAbs
SupportsBytesSupportsComplex
SupportsFloat
SupportsIndex SupportsInt
SupportsRoundChainMapCounterDequeDict DefaultDictList OrderedDictSet FrozenSet
NamedTuple TypedDict GeneratorBinaryIOIOMatchPatternTextIOAnyStrcastfinalget_args
get_originget_type_hintsNewType
no_type_checkno_type_check_decoratorNoReturnoverloadruntime_checkableText
TYPE_CHECKINGFallow_special_formsc C s, | d u rt d S t| tr(t| ||dS | S )N)moduleis_class)type
isinstancestrr
)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| trT| j|v rTt| d| t t
tfv rf| S t| t s|| t tfv rtd| dt| t t
tfr| S t| st| d| dd| 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 | tjrt| S t | tr@| jdkr.| jS | j d| j S | du rLdS t | tjr^| jS t| S )Nbuiltinsr` .z...) rZ typesr reprrY
__module__ __qualname__ FunctionType__name__)objr] r] r^
_type_repr s
rr c sZ g | D ]H}t |tr(| vr( | t |ttfr fdd|jD qt S )Nc s g | ]}| vr|qS r] r] .0ttvarsr] 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 | dt|}||krNt d||kr2dnd d| d| d| d S )Nz is not a generic classzToo manyfewz parameters for z ; actual z , expected )rc len)cls
parameterselenalenr] 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 |tr$||j qt |trZt|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 |tr$||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 jd t j t fdd}|S )Nr c s2 z | i |W S t y" Y n0 | i |S r rc argskwdscachedfuncr] r^ inner s
z+_tp_cache..decorator..inner) functools lru_cache _cleanupsrz cache_clearwraps)r r r r r^ decorator s
z _tp_cache..decoratorr] )r r r r] r r^ _tp_cache s
r c st t | tr| S t | ttfrpt fdd| jD }|| jkrP| S t | trft| j|S | |S | S )Nc 3 s | ]}t | V qd S r )
_eval_typert aglobalnslocalnsrecursive_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 dd 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 Ntyping.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 | dd S )Nz! cannot be used with isinstance()r r rq r] r] r^ __instancecheck__Z s z _SpecialForm.__instancecheck__c C s t | dd 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 |ts|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 | dd S Nz is not subscriptabler r r] r] r^ r l s r c C s t | dd S r r r r] r] r^ rP z s
rP c C s t || d}t| |fS Nz accepts only single type.ri ra r r itemr] r] r^ r s r c C s t || d}t| |fS r r r r] r] r^ r s r c s` |dkrt dt|ts |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 ZdZdddddZdd 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 |tstd|zt|dd}W n tyH td|Y n0 || _|| _d| _d | _|| _ || _
|| _ d S )Nz*Forward reference must be a string -- got zevalz/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 getattrsysmodulesgetri r r r r r r )r r r r type_r] r] r^ r s0
zForwardRef._evaluatec C sJ t |tstS | 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| jfS r )hashr r r r] r] r^ __hash__> s zForwardRef.__hash__c C s d| j dS )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 ZdZddddddZdd Zd d
ZdS ) r )rp __bound____constraints__
__covariant____contravariant__r NF)bound covariant
contravariantc s || _ |r|rtdt|| _t|| _|r>|d ur>td|rVt|dkrVtdd t fdd|D | _|rt |d| _
nd | _
zt dj
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
ValueErrorboolr r rc r r} r ri r r _getframe f_globalsr AttributeErrorrm )r namer r r constraintsdef_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 | do| dS )N__)
startswithendswith)attrr] r] r^
_is_dunder s r c sT e Zd ZdddddZdd Zdd Zd
d Z fd d
Zdd Zdd Z Z
S )_BaseGenericAliasTNinstr 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 kwargsresultr] r] r^ r s
z_BaseGenericAlias.__call__c C sd g }| j |vr|| j || }||d d D ] }t|tsLt|tr4 q\q4|t t|S )Nr )rb rz indexrZ r
issubclassr r} )r r resibr] 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 dd 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
fddZ Z S )ra TNr c sP t j|||d t|ts"|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 |tstS | j|jko$| j|jkS r )rZ ra r rb r r r] r] r^ r s
z_GenericAlias.__eq__c C s t | j| jfS r )r rb r r r] r] r^ r s z_GenericAlias.__hash__c s | j ttfv r td| t|ts,|f}d t fdd|D }t| |t| j t t
| j|g }| j D ]X}t|t r| }n6t|t
tfr|j}|rtfdd|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| dictzipr r ra r rz r )r r new_argsr\ subparamssubargsr] )rf r) r^ r s&
z_GenericAlias.__getitem__c C s | j | j|| j| jdS 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}ddd | jD }| d| dS )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 tsD|\}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|trB|| 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 |ts|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| jdS 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 |trt|j| jS t |ts.t|| jS 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 fddZdd Z ZS )_CallableGenericAliasc s\ t | jdkr&| jd tu r&t S dddd | 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| jdS r/ )r: rb r r r0 r] r] r^ r l s z_CallableType.copy_withc C sP t |trt|dkr td|\}}t |tr>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|fS t|ts<|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| tfS t|ts$|f}t|dkr\|d du r\d t|d }| |tfS 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 fddZ ZS ) r c C s t | S r )r r0 r] r] r^ r s z _UnionGenericAlias.copy_withc C s" t |tstS t| jt|jkS r )rZ r r r r r r] r] r^ r s
z_UnionGenericAlias.__eq__c C s t t| jS r )r frozensetr r r] r] r^ r s z_UnionGenericAlias.__hash__c sd | j }t|dkrZ|d td u r6dt|d dS |d td u rZdt|d dS 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 |tstS tt| jtt|jkS r )rZ r r r r r r r] r] r^ r s
z_LiteralGenericAlias.__eq__c C s t tt| jS 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 fddZ ZS )r r] Fc s t |ts|f}|s.| tur.td| j dd t fdd|D }| ttfv rtdd |D sxtd| j dt t
|t |krtd| 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 |tV 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}|rLtdd| jv rt| j}d }| jD ].}t |t
rl|j tu rl|d urtd|j }ql|d urt
|}t
| | ksd fdd|D }ddd |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 errorgvarsbasetvarsets_varss_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& Nrp 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 ] }|dsJ|tvrJ| | qJq|S )Nr< )r r rU _abc_)
r __mro__rp r r r keysr EXCLUDED_ATTRIBUTESadd)r attrsrM annotationsr
r] r] r^ _get_protocol_attrs) s
r` c s t fddt 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 ]$}|jdt}|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 djd 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. AbstractContextManagerAbstractAsyncContextManager)zcollections.abc
contextlibc s e Zd Z fddZ ZS )
_ProtocolMetac sV t ddrt r$tj r$dS jrJt fddt 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 fddZ ZS )r r] TFc s t j|i | jdds6tdd 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 ddstS t dds0t r(tS tdt sJt rBtS tdt| ts\tdt D ]v}| j
D ]b}||j v r|j | d u rt S qdt|di }t|t j j
rn||v rnt| trn| 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 fddZdd Zdd Zdd Zd d
Zd d Z Z S )
_AnnotatedAliasc s2 t |tr|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 || jS )Nr )rv rw )r r new_typer] r] r^ r s z_AnnotatedAlias.copy_withc C s$ d t| jddd | 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 |tstS | j|jko$| j|jkS r )rZ rv r rb rw r r] r] r^ r s
z_AnnotatedAlias.__eq__c C s t | j| jfS 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 dd S )Nz&Type Annotated cannot be instantiated.r r r r r] r] r^ rV 2 s zAnnotated.__new__c C sN t |trt|dk r tdd}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| jd 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 | tr| 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_namesdefaults
kwdefaultsr
pos_offsetr valuer] r] r^
_get_defaultsj s
r c C s t | dd ri S t| tri }t| jD ]|}|d u rDtj|j j}n|}|j di }|
D ]D\}} | d u rvtd } t| t rt | ddd} t
| ||} | ||< q^q(|r|S dd |
D S |d u rt| tjr| j}n"| }
t|
dr|
j}
qt |
d i }|d u r |}n|d u r |}t | dd }|d u rRt| trDi S td
| t| } t|}|
D ]t\}} | d u rtd } t| t rt | t| tj dd} t
| ||} || v r| | d u rt| } | ||< qj|r|S d d |
D S ) N__no_type_check__rU FT)rg rX c S s i | ]\}}|t |qS r] _strip_annotationsrt 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_extrashintsrM base_globalsannr r nsobjr r] r] r^ rL sf
rL c C s t | trt| jS t | trJtdd | jD }|| jkr@| S | |S t | trtdd | 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 | trtS t | ttfr"| jS | tu r.tS d S r )rZ rv r r r rb r )tpr] r] r^ rK s
rK c C sf t | tr| jf| j S t | ttfrb| 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 | trt| j }| j D ]"\}}|| j| f v r || q | D ](}t |tj r`d|_
t |trJt | qJz
d| _
W n t y Y n0 | S )NT)
rZ rY r copyr rJ popvaluesrk 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 dd S )NzYou 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 TKTVTT_co)r V_coVT_coT_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 ZdZeedddZdS )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 ZdZeedddZdS )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 ZdZeedddZdS )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 ZdZeedddZdS )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 ZdZeedddZdS )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 ZdZeedddZdS )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 ZdZedeedddZdS )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 | dqS )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 fieldsnm_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 rtd
| q|t vr||j
vrt || | 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 tdztdjdd}W n ttfyP d }Y n0 t| ||dS )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 | dkrtdtfS )Nr z5Multiple inheritance with NamedTuple is not supported)r rc _NamedTupler r] r] r^ _namedtuple_mro_entries s r c @ s& e Zd ZdddZeZdd ZeZdS )_TypedDictMetaTc s |D ]}t |turtdqt t|tf|i }|di }t| }d fdd| D }t } t }
|D ]@}| |j
di | |j
dd |
|j
dd qx| | |r| | n
|
| |_ t | _
t |
_td 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_annotationsown_annotation_keys
required_keys
optional_keysr] r r^ rV s6
z_TypedDictMeta.__new__c C s t dd 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 ddt|i}z tdjdd|d< W n ttfyX Y n0 t| d||dS ) 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 ZdZeeedddZeeedddZedddd Z eee
dd
d Z ee dd d
Z
eddddZee
dddZed6e edddZee
dddZed7e edddZed8e ee dd d Zed9e e e d d d!Zee
dd"d#Zee dd$d%Zed:e e d&d'd(Zee
dd)d*Zeee d+d,d-Zeee dd.d/d0Z ed1dd2d3Z eddd4d5Z 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 )offsetwhencer 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.writabler 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 edddZ ed dddZ
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 ZdZeeedddZeeedddZ eee
e dddZ eee dd d
Z
eeedd d Zed dd
dZdS )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 dZeZeZeZdS )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#