_imT h d dl Z d dlZd dlZd dlZd dlZd dlZej dd dk\ ZereZ nd dlm Z m
Z
d Z d Z g dZ
ere
j g d eed r
ej Zn G d
d ej" d
Z ed
Z ej& d Z ej& d Z ej& d Z ej& dd Z ej& dd Zej2 Z eed r ej dd dk\ r
ej4 ZnTej dd dk\ r" G d dej6 d
Z e dd Zn G d d ej" d
Z e d
Z eed r
ej< Z nd Z d Z eed! r
ej@ Z nTej dd dk\ r" G d" d#ej6 d
Z! e!d!d$ Z n G d% d&ej" d
Z" e"d
Z ejF Z#ejH Z$ejJ Z% G d' d(e Z&ejN Z'ejP Z(ejR Z)ejT Z* eed) r
ejV Z+n0 G d* d)ejX ejZ e e&ejX + Z+ej\ Z. eed, r
ej^ Z/n d d-l0m1Z2 G d. d,ejf e Z/ejh Z4 eed/ r
ejj Z5nmdej dd cxk rd0k r#n n ejl ejj eef Z5n2 G d1 d/ejj ejn eef e&ejj + Z5 eed2 r
ejp Z8n2 G d3 d2ejp ejr ee:f e&ejp + Z8 eed4 r
ejv Z;n; eed4 r2 G d5 d4ejv ejn eef e&ejv + Z; eed6 r
ejx Zej~ Z?d8 Z@g d9ZAd: ZBd; ZC eed< r
ej ZDnOer+d d=lmEZE d> ZF G d? d@e j ZH G dA ddL ZOdM ZPdNeP_Q d dOdPZRdQeR_Q G dR dSe ZS eSdTeTfi ZNeUeN_V dUeN_W eedV r%ej ZXej ZYej ZZnOer) G dW dXej d
ZZ G dY dV ZXdZ Z\dd[ZYn$d\ Z] G d] d^ej Z^ G d_ dVe^B ZXej dd d`k\ rej Z_ej Z`ner d dalmaZa d dblmcZc dc Z_dd Z` eede r
ej Zdnej dd dfk\ r G dg dhej6 d
Zeeedi Zdnjej dd dk\ r" G dj dhej6 d
Ze eededk Zdn6 G dl dmej Zg G dn doej" egd p Zh ehd
Zd eedq rej Ziej Zjn G dr ds Zk G dt dqek Zi G du dvek Zj eedw r
ej Zln G dx dwem Zl eedy s G dz d{em Znej d| Zp eedy rej Zqej Znnej dd dfk\ r eed} Zqnjej dd dk\ r" G d~ dej6 d
Zr erdyd Zqn6 G d dej Zs G d dej" esd p Zt etd
Zq eed r
ej Zunej dd dfk\ r G d dej6 d
Zvevd ZunTej dd dk\ r" G d dej6 d
Zv evdd Zun G d dej" d
Zw ewd
Zu eed r
ej ZxnRej dd dk\ r G d dej: d
Zed Zxn G d dej" d
Zy eyd
Zx eed rej Zzej Z{yej dd dfk\ r( G d dej6 d
Z|e|d Zze|d Z{yej dd dk\ r, G d dej6 d
Z} e}dd Zz e}dd Z{y G d dej" d
Z~ G d de~d
Z G d de~d
Z ed
Zz ed
Z{y# eb$ r ej ZaY w xY w# eb$ r ej ZcY w xY w) N )r r ) GenericMeta
_type_varsc \ t | }d|v r |d D ] }|j |d |S )N __slots__)dictpop)dct dict_copyslots /builddir/build/BUILDROOT/alt-python312-setuptools-69.0.2-3.el8.x86_64/opt/alt/python312/lib/python3.12/site-packages/setuptools/_vendor/typing_extensions.py_no_slots_copyr s6 S Ii k*D MM$ % + c
| j st | d t | }t | j }||k7 r t d||kD rdnd d| d| d| y )Nz is not a generic classzToo manyfewz arguments for z ; actual z , expected )__parameters__ TypeErrorlen)cls
parametersalenelens r _check_genericr s| 3% 6788 z?D s!! "D t|$v% @PSu U##'& D6; < < r )!ClassVar ConcatenateFinal ParamSpecSelfType Awaitable
AsyncIterator
AsyncIterable CoroutineAsyncGeneratorAsyncContextManagerChainMapContextManagerCounterDeque DefaultDict OrderedDict TypedDict
SupportsIndex AnnotatedfinalIntVarLiteralNewTypeoverloadProtocolruntimeruntime_checkableText TypeAlias TypeGuard
TYPE_CHECKING)get_args
get_originget_type_hintsNoReturnc e Zd ZdZdZd Zd Zy) _NoReturna7 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.
c t d )Nz*NoReturn cannot be used with isinstance().r selfobjs r __instancecheck__z_NoReturn.__instancecheck__m HI Ir c t d )Nz*NoReturn cannot be used with issubclass().rE rG r s r __subclasscheck__z_NoReturn.__subclasscheck__p rJ r N__name__
__module__ __qualname____doc__r rI rM rC r r rB rB _ s
J Jr rB T_rootTKTVTT_co) covariantT_contra)
contravariantr )r r c e Zd Zd Zd Zy)
_FinalFormc d| j z S Nztyping_extensions._namerG s r __repr__z_FinalForm.__repr__ '$**4 4r c v t j || j d }t j | |f S )N accepts only single typetyping _type_checkrb
_GenericAliasrG r items r __getitem__z_FinalForm.__getitem__ s9 %%j)- 4M&NPD''tg6 6r NrO rP rQ rd rn rC r r r^ r^ 5 7r r^ aW A special typing construct to indicate that a 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.)docc F e Zd ZdZdZd dZd Zd Z fdZd Z d Z
xZ S )
_Finala A special typing construct to indicate that a 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.
__type__c || _ y Nrt rG tpkwdss r __init__z_Final.__init__ DMr c t | }| j . |t j ||j dd d d S t |j dd d )N accepts only single type.TrS cannot be further subscriptedtyperu ri rj rO r rG rm r s r rn z_Final.__getitem__ sm t*C}}$6--d !ll12 . //IJ L!%' ' s||AB / 00N OP Pr c t j | j || }|| j k( r| S t | |d S NTrS ri
_eval_typeru r rG globalnslocalnsnew_tps r r z_Final._eval_type > &&t}}hHF & 4:fD1 1r c t | }| j &|dt j | j dz
}|S N[]superrd ru ri
_type_reprrG r __class__s r rd z_Final.__repr__ B "A}}(q**4==9:!<<Hr c V t t | j | j f S rw hashr rO ru rc s r __hash__z_Final.__hash__ d,,dmm<= =r c t |t st S | j | j |j k( S | |u S rw )
isinstancers NotImplementedru rG others r __eq__z
_Final.__eq__ s9 eV,%%}}(}}665= r rw rO rP rQ rR r r{ rn r rd r r
__classcell__r s @r rs rs s.
" Q 2 > !r rs r1 c | S )au This decorator can be used to indicate to type checkers that
the decorated method cannot be overridden, and decorated class
cannot be subclassed. For example:
class Base:
@final
def done(self) -> None:
...
class Sub(Base):
def done(self) -> None: # Error reported by type checker
...
@final
class Leaf:
...
class Other(Leaf): # Error reported by type checker
...
There is no runtime checking of these properties.
rC )fs r r1 r1 s ( r c , t j | S rw )ri TypeVarnames r r2 r2 s >>$ r r3 c e Zd Zd Zd Zy) _LiteralFormc d| j z S r` ra rc s r rd z_LiteralForm.__repr__ re r c . t j | | S rw )ri rk rG r s r rn z_LiteralForm.__getitem__ s ''j9 9r Nro rC r r r r s 5 :r r ao A type that can be used to indicate to type checkers
that the corresponding value has a value literally equivalent
to the provided parameter. For example:
var: Literal[4] = 4
The type checker understands that 'var' is literally equal to
the value 4 and no other value.
Literal[...] cannot be subclassed. There is no runtime
checking verifying that the parameter is actually a value
instead of a type.c F e Zd ZdZdZd dZd Zd Z fdZd Z d Z
xZ S )
_Literala A type that can be used to indicate to type checkers that the
corresponding value has a value literally equivalent to the
provided parameter. For example:
var: Literal[4] = 4
The type checker understands that 'var' is literally equal to the
value 4 and no other value.
Literal[...] cannot be subclassed. There is no runtime checking
verifying that the parameter is actually a value instead of a type.
__values__c || _ y rw r )rG valuesrz s r r{ z_Literal.__init__! $DOr c t | }| j t |t s|f} ||d S t |j
dd d )NTrS r~ r )r r r tupler rO )rG r r s r rn z_Literal.__getitem__$ sR t*C&!&%0 $YF6..s||AB / 00N OP Pr c | S rw rC )rG r r s r r z_Literal._eval_type, Kr c t | }| j :|ddj t t
j | j dz
}|S )Nr , r )r rd r joinmapri r r s r rd z_Literal.__repr__/ sM "A*q3v'8'8$//#JKLANNHr c V t t | j | j f S rw )r r rO r rc s r r z_Literal.__hash__5 s d,,doo>? ?r c t |t st S | j | j |j k( S | |u S rw )r r r r r s r r z_Literal.__eq__8 s; eX.%%*%*:*:::5= r rw r r s @r r r s/ $ % Q @ !r r c e Zd Z fdZ xZS )_ExtensionsGenericMetac | j 0t j d j d dvr t d y| j
st | | S | j
j | }|t ur|S | j
|j v ry| j
j D ]! }t |t rt || s! y y)a* This mimics a more modern GenericMeta.__subclasscheck__() logic
(that does not have problems with recursion) to work around interactions
between collections, typing, and typing_extensions on older
versions of Python, see https://github.com/python/typing/issues/501.
r~ rO abc functoolsCParameterized generics cannot be used with class or instance checksFT)
__origin__sys _getframe f_globalsr __extra__r rM __subclasshook__r __mro____subclasses__r r
issubclass)rG subclassressclsr s r rM z(_ExtensionsGenericMeta.__subclasscheck__N s ?? &}}Q ))*5=QQ !5 6 6~~7,X6 6nn--h7 n $J >>X - - -NN113D$ ,(D) 4
r )rO rP rQ rM r r s @r r r M s
r r r+ c e Zd ZdZd Zy)r+ rC c | j t u rt j |i |S t j
t j | g|i |S rw )_gorgr+ collectionsdequeri _generic_newr argsrz s r __new__z
Deque.__new__w sG yyE!"(($7$77&&{'8'8#MMM Mr NrO rP rQ r r rC r r r+ r+ r s Nr ) metaclassextrar' )_check_methodsc J e Zd ZdZd Zej d Zed Z y)r' rC c K | S wrw rC rc s r
__aenter__z AsyncContextManager.__aenter__ s Ks c K y wrw rC )rG exc_type exc_value tracebacks r __aexit__z AsyncContextManager.__aexit__ s s c 8 | t u r
t |dd S t S )Nr r )r' _check_methods_in_mror )r Cs r r z$AsyncContextManager.__subclasshook__ s )),Q kJJ! !r N)
rO rP rQ r r r abstractmethodr classmethodr rC r r r' r' s:
"
"r r- )r r r\ c e Zd ZdZd Zy)r- rC c | j t u rt j |i |S t j t j | g|i |S rw )r r- r ri r r s r r zOrderedDict.__new__ sG yyK'"..===&&{'>'>SdSdS Sr Nr rC r r r- r- s Tr r* c e Zd ZdZd Zy)r* rC c | j t u rt j |i |S t j t j | g|i |S rw )r r* r ri r r s r r zCounter.__new__ sG yyG#"**D9D99&&{':':CO$O$O Or Nr rC r r r* r* s Pr r( c e Zd ZdZd Zy)r( rC c | j t u rt j |i |S t j t j | g|i |S rw )r r( r ri r r s r r zChainMap.__new__ sG yyH$"++T:T::&&{';';SP4P4P Pr Nr rC r r r( r( s Qr r& c e Zd ZdZy)r& rC N)rO rP rQ r rC r r r& r& s r c t | t sJ t | d r | j S | j | j } | j | S )z@This function exists for compatibility with old typing versions.r )r r hasattrr r r s r r r sJ c; '' 'sG yy
..
$nn ..
$ Jr )
Callabler" IterableIteratorr$ r# HashableSized Container
Collection
Reversibler) r' c N t }| j d d D ] }|j dv rt |di }t |j
j
t |j
z D ]* }|j d r|dvs|j | , |S )N)r6 Generic__annotations___abc_)__abstractmethods__r __weakref__ _is_protocol_is_runtime_protocol__dict____args__r __next_in_mro__r r __orig_bases__r
__tree_hash__rR r r{ r rP _MutableMapping__markerr ) setr rO getattrlistr
keys
startswithadd)r attrsbase annotationsattrs r _get_protocol_attrsr s EE CR == 3 3 d$5r: ++-.k6F6F6H1IIDOOG, >F 2F $ J ! Lr c > t fdt D S )Nc 3 J K | ] }t t |d y wrw )callabler ).0r r s r z,_is_callable_members_only.. s" W>VdxT401>V #)allr r s `r _is_callable_members_onlyr" s W>QRU>VW WWr r6 )_collect_type_varsc D t | j r t d y Nz Protocols cannot be instantiatedr r r rG r kwargss r _no_initr) : " " >? ? #r c e Zd Z fdZ xZS )
_ProtocolMetac t dd r t rt j ry j r t fdt
D ryt ! S )Nr FTc 3 K | ]9 }t | xr' t t |d xs t | d u ; y wrw r r r )r r r instances r r z2_ProtocolMeta.__instancecheck__.. sV = $<4 x. = $WS$%= >> < $/t;= $< ?A) r r" r r r r! r r rI )r r0 r s ``r rI z _ProtocolMeta.__instancecheck__ sf S.%8*3/ x 1 137 = $7s#;= = 7,X6 6r )rO rP rQ rI r r s @r r, r, s
7
7r r, c T e Zd ZdZdZdZ fdZej d Z d Z
xZ S )r6 a Base class for protocol classes. Protocol classes are defined as::
class Proto(Protocol):
def meth(self) -> int:
...
Such classes are primarily used with static type checkers that recognize
structural subtyping (static duck-typing), for example::
class C:
def meth(self) -> int:
return 0
def func(x: Proto) -> int:
return x.meth()
func(C()) # Passes static type check
See PEP 544 for details. Protocol classes decorated with
@typing_extensions.runtime act as simple-minded runtime protocol that checks
only the presence of given attributes, ignoring their type signatures.
Protocol classes can be generic, they are defined as::
class GenProto(Protocol[T]):
def meth(self) -> T:
...
rC Tc H | t u r t d t |
| S )NzIType Protocol cannot be instantiated; it can only be used as a base class)r6 r r r )r r rz r s r r zProtocol.__new__> s. h !F G G7?3' 'r c 0 t |t s|f}|s+| t j urt d| j
d dt fd|D }| t u rt d |D sYd}t || t j r#|dz
}t || t j r#t d|dz d || t t | t | k7 rt d
t | | t j | | S ) NParameter list to [...] cannot be empty*Parameters to generic types must be types.c 3 J K | ] }t j | y wrw ri rj r pmsgs r r z-Protocol.__class_getitem__..L s Fv!6--a5vr c 3 P K | ] }t |t j y wrw r ri r r r; s r r z-Protocol.__class_getitem__..O I&Q:a 8& $&r r~ zBParameters to Protocol[...] must all be type variables. Parameter z is z.Parameters to Protocol[...] must all be unique)
r r ri Tupler rQ r6 r! r r r r rk )r paramsir< s @r __class_getitem__zProtocol.__class_getitem__D s fe, c 5 ()9)9(::OPR R>CFvFFFhI&IIA$VAY?Q %VAY?#&&'!eWD => > s6{#s6{2#HJ J sF+''V4 4r c g }d j v r t j j v }n t j j v }|r t d d j v rt
j }d } j D ]o }t |t j s |j t j t fv sA|j j }| t d |j }q ||}ndt | }t | | k sGdj fd|D } dj d |D }
t d| d d |
d
|}t | _ j j! d d s!t# d j D _ fd
} d j vr| _ j$ sy j D ]p }|t( t j fv r |j* dk( r|j t, v r>t |t. r
|j$ r[t dt1 | t2 _ y )Nr
!Cannot inherit from plain GenericzECannot inherit from Generic[...] and/or Protocol[...] multiple types.r c 3 > K | ] }|vst | y wrw strr tgvarsets r r z-Protocol.__init_subclass__..~ *U5aAWDT3q65 c 3 2 K | ] }t | y wrw rI r gs r r z-Protocol.__init_subclass__.. *A5a3q65 Some type variables () are not listed in r r r c 3 , K | ] }|t u y wrw )r6 r bs r r z-Protocol.__init_subclass__.. s &LmqH}m c j j dd st S t dd s5t j
d j d dv rt S t d t s5t j
d j d dv rt S t d t | t s t d t D ] }| j D ]w }||j v r|j |
t c c S ;t |d
i }t |t j sT||v sYt | t sj| j sw t c S y ) Nr r Fr\ rO r BInstance and class checks can only be used with @runtime protocols._proto_hook s> ||''=)) s$:EB}}Q'11*=AUU --# %: ; ;05}}Q'11*=AUU --# %B C C!%.#$HII / 4D %
4==0 #}}T 2 :'5 5 !&-d4Er&J &{FNN C $ 3 *5- @ % 2 2 ! !. .- 5 r r collections.abc5Protocols can only inherit from other protocols, got )r
ri r r
__bases__r r# r rk r r6 rO r r r r r_ anyr r objectrP _PROTO_WHITELISTr, reprr) r{ )
r r r( tvarserrorgvarsr the_basetvarsets_varss_argsrb rM s
` @r __init_subclass__zProtocol.__init_subclass__^ s5 E 3<</ #*<*<< #--7 CDD 3<</*3+=+=> . .D"4)=)=> OO/I I#'??#;#; ,"+!H#I I !% 3 3 / = !E !%jG !%jG"g-!%*U5*U!U!%*A5*A!A '*?x H::B1VHA)O P P !E!&u C <<##ND9#&&Lcmm&L#L
> " 5'2$ ##
88 +<<
)99"4 7D )r rL s r r z(_ProtocolMeta.__new__.. s H%Q:a 8%rA rG zACannot inherit from Generic[...] or Protocol[...] multiple times.r c 3 > K | ] }|vst | y wrw rI rK s r r z(_ProtocolMeta.__new__.. rN rO c 3 2 K | ] }t | y wrw rI rQ s r r z(_ProtocolMeta.__new__.. rS rT c 3 T K | ] }|j t j u " y wrw )r ri r rX s r r z(_ProtocolMeta.__new__.. s& 4D=B 56LLFNN4R=Bs &(r r6 rU rV r r c 3 V K | ]! }t |t r t | n| # y wrw )r r r rX s r r z(_ProtocolMeta.__new__.. s* *#(a '1K&@%(aG#(s ')c 3 d K | ]( }t |t xr |t j u * y wrw )r r ri r rX s r r z(_ProtocolMeta.__new__.. s+ YSXa:a-I!6>>2IISXs .0c 3 F K | ] }|t j us| y wrw )ri r rX s r r z(_ProtocolMeta.__new__.. s JA!6>>2Ias !!)r r TrS r c 3 p K | ]. }|t j u rd n|t j u rdn| 0 yw).rC N)ri _TypingEllipsis _TypingEmptyr as r r z(_ProtocolMeta.__new__.. s= "3-1 *+f.D.D)D#()V-@-@(@""##$-1s 46
_subs_tree)!r! r ri r r r r r r6 r r r rf r r ABCMetar updater r __setattr__r r rs r r
_abc_registry
_abc_cacher r r r r )r r bases namespacerj r originr
orig_basesrl r rn ro rp cls_name
initial_basesrG rM r s @r r z_ProtocolMeta.__new__ s = = )))H%HHO%OH"5) !Dv~~- '(K LL"45 OO/I I ,"+!A#B B !% 3 3 " = !E !%jG !%jG"g-!%*U5*U!U!%*A5*A!A03 4D=B4D 1D9IS ! '*?x H::B1VHA)O P P !E !M!d5kS[[&@& 5( *#(* *EYSXYY J JJ F G Hc23eY9= 3 ?D +t 0=C16v
@ #(D 7; " "3-1"3 3@D
M $0#5D !&3##%+%9%9""("3"3t\*AGd4??+<&=&+K&G&I "Kr c v t |i | j j dd s!t d j
D _ j rĉ j dd D ] }|t t j fv r |j dk( r|j t v r>t |t j r
|j ret |t r |j" t j u rt% dt' | t( _ fd}d j vr| _ y y )Nr c 3 x K | ]2 }|t u xs$ t |t xr |j t u 4 y wrw )r6 r r, r rX s r r z)_ProtocolMeta.__init__..
sH '? 1>1 ()H} (@'1!]'C (@'(||x'?(@ 1>s 8:r~ rc rd c j j dd st S t | t s t d t
D ] }| j D ]w }||j v r|j |
t c c S ;t |di }t |t j sT||v sYt | t sj| j sw t c S y)Nr r^ r T)
r
r_ r r r r r r r ri r` r, r ra s r rb z+_ProtocolMeta.__init__.._proto_hook s ||''=))!%.#$HII / 4D %
4==0 #}}T 2 :'5 5 !&-d4Er&J &{FNN C $ 3 *5- @ % 2 2 ! !. .- 5 r r )r r{ r
r_ rf re r r rg ri r rP rO rh r
TypingMetar r r ri r) r )r r r( r rb r s ` r r{ z_ProtocolMeta.__init__ s G d -f -<<##ND9#& '? 14
'? $? KKOD VV^^$< < OO/@ @ MM-= = &tV->-> ?DDUDU &t[ 9 OOv~~ = ' +;;?:,)H I I , (
* " 5'2$ 6r c t dd r t rt j ry j r t fdt
D ryt t ' S )Nr FTc 3 K | ]9 }t | xr' t t |d xs t | d u ; y wrw r/ )r r r0 rG s r r z2_ProtocolMeta.__instancecheck__..; sV ? %>D x. > %gdD$&? @@ = 40<> %>r1 )
r r" r r r r! r r r rI )rG r0 r s ``r rI z _ProtocolMeta.__instancecheck__3 sh T>59-d3 x 1 148 ? %8$=? ? d=hG Gr c D | j 0t j d j d dvr t d y| j
j
dd rL| j
j
dd s0t j d j d dv ryt d | j
j
dd rMt | sBt j d j d dv rt t | + | S t d
t t | + | S ) Nr~ rO r r Fr r r r ri r\ r] ) r r r r r r
r_ r" r r rM )rG r r s r rM z _ProtocolMeta.__subclasscheck__B s *==#--j9AUU# %9 : :
!!.$7
))*@$G==#--j9 >H H ! !6 7 7
!!"8$?1$7==#--j9 >H H !dEcJJ !> ? ?d=cB Br c
t |t s|f}|s4t | t j urt d| j d dt fd|D }| t j t fv rgt d |D st dt | d t t | t | k7 rt dt | d |}|}n| t j t j fv rt | }|}nR| j t j t fv rt d t | t! | | t | }|}| j | fnd
}| j# | j$ || j& z t) | j* ||| | j, | j. S ) Nr5 r6 r7 c 3 6 K | ] }t | y wrw )rj r: s r r z,_ProtocolMeta.__getitem__..d s ?1;q#.s c 3 P K | ] }t |t j y wrw r> r? s r r z,_ProtocolMeta.__getitem__..f r@ rA zParameters to z [...] must all be type variablesz[...] must all be uniquez%Cannot subscript already-subscripted rC )rj r r r r )r r r ri rB r rQ r r6 r! ri r r r r r r r rO re r r
r r
)rG rC rj r prependr< s @r rn z_ProtocolMeta.__getitem__Z s fe, eDk = ():):(;;PQS S>C???F11I&II#(d 4TUW Ws6{#s6{2#(d 4LMO O &,,88"6* V^^X$>> "GT
| TUU tV,"6* !% !8tgbG>>$--")DNN":"0 "?(-'+)-(,-1-@-@ " B
Br )NNNNN) rO rP rQ rR r r{ rI rM ri rr rn r r s @r r, r, sC PT> @* 3X
H C0
% B
% Br c e Zd ZdZdZdZd Zy)r6 a Base class for protocol classes. Protocol classes are defined as::
class Proto(Protocol):
def meth(self) -> int:
...
Such classes are primarily used with static type checkers that recognize
structural subtyping (static duck-typing), for example::
class C:
def meth(self) -> int:
return 0
def func(x: Proto) -> int:
return x.meth()
func(C()) # Passes static type check
See PEP 544 for details. Protocol classes decorated with
@typing_extensions.runtime act as simple-minded runtime protocol that checks
only the presence of given attributes, ignoring their type signatures.
Protocol classes can be generic, they are defined as::
class GenProto(Protocol[T]):
def meth(self) -> T:
...
rC Tc t | t u r t d t j | j
| g|i |S )NzIType Protocol cannot be instantiated; it can be used only as a base class)r r6 r ri r r r s r r zProtocol.__new__ sF SzX% !F G G&&s':':CO$O$O Or N)rO rP rQ rR r r r rC r r r6 r6 s 8 Pr r8 c h t | t r | j st d| d| _ | S )a4 Mark a protocol class as a runtime protocol, so that it
can be used with isinstance() and issubclass(). Raise TypeError
if applied to a non-protocol class.
This allows a simple-minded structural check very similar to the
one-offs in collections.abc such as Hashable.
z@@runtime_checkable can be only applied to protocol classes, got T)r r, r r r r s r r8 r8 s? #}-S5E5E $$'7 , -
-#'
r r/ c : e Zd ZdZej
defd Zy)r/ rC returnc y rw rC rc s r __index__zSupportsIndex.__index__ s r N)rO rP rQ r r r intr rC r r r/ r/ s& s
r )r r\ c t j d j d dvr t d y# t t
f$ r Y yw xY w)Nr~ rO r z4TypedDict does not support instance and class checksF)r r r r AttributeError
ValueError)r r s r _check_failsr s_ }}Q ))*5 >H H VWW H
+ s /3 AAc F | s t d | d | dd } }t | i |S )N)TypedDict.__new__(): not enough argumentsr r~ )r r )r r( _s r _dict_newr s4 GH Hq'484T$V$$r z,($cls, _typename, _fields=None, /, **kwargs)totalc |s t d |d |dd }}|r |d |dd }}n=d|v r.|j d }dd l}|j dt d n t d |r |\ }nBd |v rF
, -
- f
. "}}Q / 9 9 = =j* UB| hBe<<3
. !<->? ?r c dt j | j ddj d | j D dS )Nz typing_extensions.Annotated[r c 3 2 K | ] }t | y wrw ri r s r r z+_AnnotatedAlias.__repr__.. s D2CQa2CrT r )ri r r r r rc s r rd z_AnnotatedAlias.__repr__ sE 263D3DT__3U2VVXyy D$2C2C DDEQH
Ir c b t j t | j f| j z ffS rw )operatorgetitemr0 r r rc s r
__reduce__z_AnnotatedAlias.__reduce__ s1 ##DOO-0A0AA&
r c t |t st S | j |j k7 ry| j |j k( S )NF)r r r r r r s r r z_AnnotatedAlias.__eq__ s> e_5%%%"2"22 $$(:(:: :r c D t | j | j f S rw )r r r rc s r r z_AnnotatedAlias.__hash__ s $*;*;<= =r ) rO rP rQ rR r{ r rd r r r r r s @r r r n s( ) @
I
; >r r c D e Zd ZdZdZd Zej d Zd Z y)r0 a Add context specific metadata to a type.
Example: Annotated[int, runtime_check.Unsigned] indicates to the
hypothetical runtime_check module that this type is an unsigned int.
Every other consumer of this type can ignore this metadata and treat
this type as int.
The first argument to Annotated must be a valid type (and will be in
the __origin__ field), the remaining arguments are kept as a tuple in
the __extra__ field.
Details:
- It's an error to call `Annotated` with less than two arguments.
- Nested Annotated are flattened::
Annotated[Annotated[T, Ann1, Ann2], Ann3] == Annotated[T, Ann1, Ann2, Ann3]
- Instantiating an annotated type is equivalent to instantiating the
underlying type::
Annotated[C, Ann1](5) == C(5)
- Annotated can be used as a generic type alias::
Optimized = Annotated[T, runtime.Optimize()]
Optimized[int] == Annotated[int, runtime.Optimize()]
OptimizedList = Annotated[List[T], runtime.Optimize()]
OptimizedList[int] == Annotated[List[int], runtime.Optimize()]
rC c t d )Nz&Type Annotated cannot be instantiated.rE r r r( s r r zAnnotated.__new__ s DE Er c t |t rt | dk r t d d}t j
|d | }t |dd }t
|| S )Nr\ zUAnnotated[...] should be used with at least two arguments (a type and an annotation).$Annotated[t, ...]: t must be a type.r r~ )r r r r ri rj r )r rC r< r r s r rE zAnnotated.__class_getitem__ sb fe,F a !/ 0 0 9C''q 37F VABZ(H"684 4r c 4 t d| j d )NCannot subclass z
.Annotated)r rP r s r rq zAnnotated.__init_subclass__ s "3>>"2*=
r N)
rO rP rQ rR r r ri rr rE rq rC r r r0 r0 s4 @ F
5
5 r c & t | t rt | j S t | t j
rQt
d | j D }|| j k( r| S | j | }| j |_ |S | S )z2Strips the annotations from a given type.
c 3 2 K | ] }t | y wrw )_strip_annotationsr s r r z%_strip_annotations.. s !LA"4Q"7rT )
r r r r ri rk r r r _special)rL
stripped_argsr s r r r su a )%all3 3 a-- . !!L!L LM
*++m,C ::CLJr c t j | || }|r|S |j D ci c] \ }}|t | c}}S c c}}w )a] Return type hints for an object.
This is often the same as obj.__annotations__, but it handles
forward references encoded as string literals, adds Optional[t] if a
default value equal to None is set and recursively replaces all
'Annotated[T, ...]' with 'T' (unless 'include_extras=True').
The argument may be a module, class, method, or function. The annotations
are returned as a dictionary. For classes, annotations include also
inherited members.
TypeError is raised if the argument is not of a type that can contain
annotations, and an empty dictionary is returned if no annotations are
present.
BEWARE -- the behavior of globalns and localns is counterintuitive
(unless you are familiar with how eval() and exec() work). The
search order is locals first, then globals.
- If no dict arguments are passed, an attempt is made to use the
globals from obj (or the respective module's globals for classes),
and these are also used as the locals. If the object does not appear
to have globals, an empty dictionary is used.
- If one dict argument is passed, it is used for both globals and
locals.
- If two dict arguments are passed, they specify globals and
locals, respectively.
)r r )ri r? r r )rH r r include_extrashintkrL s r r? r? sM > $$S8WM K59ZZ\B\TQ%a((\BBBs A
c j t | dkD xr$ | j d xr | j d S )z3Returns True if name is a __dunder_variable_name__. __)r r endswithr s r
_is_dunderr s, 4y1}N !6N4==;NNr c e Zd ZdZ fdZed Zd Zd
fd Zd Z e
j fd Z d Z
d Z fd
Zd Zd Z xZS )
AnnotatedMetazMetaclass for Annotatedc t d |D rt dt t z t | | |||fi |S )Nc 3 , K | ] }|t u y wrw )rg rX s r r z(AnnotatedMeta.__new__.. s 2Eq1F?ErZ r )rf r rJ r0 r r )r r r r r( r s r r zAnnotatedMeta.__new__
s@ 2E22 2S^ CDD7?3eYI&I Ir c ( | j d S )Nr\ )r rc s r r zAnnotatedMeta.__metadata__ s ??$Q' 'r c |\ }}}t |t st j | }n|d j | }dj d |D }| d| d| dS )Nr r c 3 2 K | ] }t | y wrw r )r args r r z+AnnotatedMeta._tree_repr.. s &EHStCyHrT r r )r r ri r
_tree_reprr )rG treer r r tp_reprmetadata_reprss r r zAnnotatedMeta._tree_repr sj $( !C fe, ++F3 )..v6 !YY&EH&E ENU!G9B~&6a8 8r c | t u rt S t | || }t |d t r-|d d t u r |d d }|d d }t |||d z fS |S )N)rj r r~ r r\ )r0 r r r r )rG rj r r sub_tp sub_annotr s r r zAnnotatedMeta._subs_tree sw y '$5t$>Jr c | j t d | j }t |t r,|d t
u r!|d }t |t r |d t
u r!t |t r|d S |S )z6Return the class used to create instance of this type.zCCannot get the underlying type of a non-specialized Annotated type.r r~ )r r r r r r0 )rG r s r _get_conszAnnotatedMeta._get_cons' sz & !B C C??$D T5)d1g.BAw T5)d1g.B$&Aw r c t |t s|f}| j t | | S t |t rt | dk r t
d d}t j |d | }t |dd }| j | j | j t | j t |f ||f| S )Nr\ z]Annotated[...] should be instantiated with at least two arguments (a type and an annotation).r r r~ )rj r r )r r r r rn r r ri rj r rO re r r
r )rG rC r< ry r r s r rn zAnnotatedMeta.__getitem__4 s fe, * w*622 .#f+/ !/ 0 0 =''q 37 ,>>
t}}- "'(^ "
r c f | j } ||i |} | |_ |S # t $ r Y |S w xY wrw )r __orig_class__r )rG r r( consresults r __call__zAnnotatedMeta.__call__L sJ >>#D4*6*F
(,% M "
M
s # 00c z | j %t | st | j | S t | rw )r r r r r )rG r s r __getattr__zAnnotatedMeta.__getattr__U s2 *:d3C t~~ /66 & &r c t | s|j d rt |
|| y | j t | t
| j || y )Nr )r r r r r r setattrr )rG r valuer s r r zAnnotatedMeta.__setattr__[ sM $ 4??7#;#D%0 ($T**($6r c t d )Nz+Annotated cannot be used with isinstance().rE rF s r rI z AnnotatedMeta.__instancecheck__c IJ Jr c t d )Nz+Annotated cannot be used with issubclass().rE rL s r rM z AnnotatedMeta.__subclasscheck__f r r )NN)rO rP rQ rR r propertyr r r r ri rr rn r r r rI rM r r s @r r r sd % J
(
( 9
. ' 7 K Kr r c e Zd ZdZy)r0 av Add context specific metadata to a type.
Example: Annotated[int, runtime_check.Unsigned] indicates to the
hypothetical runtime_check module that this type is an unsigned int.
Every other consumer of this type can ignore this metadata and treat
this type as int.
The first argument to Annotated must be a valid type, the remaining
arguments are kept as a tuple in the __metadata__ field.
Details:
- It's an error to call `Annotated` with less than two arguments.
- Nested Annotated are flattened::
Annotated[Annotated[T, Ann1, Ann2], Ann3] == Annotated[T, Ann1, Ann2, Ann3]
- Instantiating an annotated type is equivalent to instantiating the
underlying type::
Annotated[C, Ann1](5) == C(5)
- Annotated can be used as a generic type alias::
Optimized = Annotated[T, runtime.Optimize()]
Optimized[int] == Annotated[int, runtime.Optimize()]
OptimizedList = Annotated[List[T], runtime.Optimize()]
OptimizedList[int] == Annotated[List[int], runtime.Optimize()]
NrO rP rQ rR rC r r r0 r0 i s r )r
)_BaseGenericAlias) GenericAliasc t | t rt S t | t j t
t t t f r | j S | t j u rt j S y)a6 Get the unsubscripted version of a type.
This supports generic types, Callable, Tuple, Union, Literal, Final, ClassVar
and Annotated. Return None for unsupported types. Examples::
get_origin(Literal[42]) is Literal
get_origin(int) is None
get_origin(ClassVar[int]) is ClassVar
get_origin(Generic) is Generic
get_origin(Generic[T]) is Generic
get_origin(Union[T, int]) is Union
get_origin(List[Tuple[T, T]][int]) == list
get_origin(P.args) is P
N) r r r0 ri rk r r
ParamSpecArgsParamSpecKwargsr r )ry s r r> r> sX b/ * b6// ?P(/; <==
>> !r c V t | t r| j f| j z S t | t j
t f r_t | dd ry| j }t | t j j u r |d t urt |dd |d f}|S y)a Get type arguments with all substitutions performed.
For unions, basic simplifications used by Union constructor are performed.
Examples::
get_args(Dict[str, int]) == (str, int)
get_args(int) == ()
get_args(Union[int, Union[T, int], str][int]) == (int, str)
get_args(Union[int, Tuple[T, int]][str]) == (int, Tuple[str, int])
get_args(Callable[[], T][int]) == ([], int)
r FrC r Nr )r r r r ri rk r r r r> r r r Ellipsisr )ry r s r r= r= s b/ *MM#boo5 5 b6// > ?r:u-++C"~ !9!99c!fH>TCH~s2w/Jr r: )r r c e Zd Zd Zy)_TypeAliasFormc d| j z S r` ra rc s r rd z_TypeAliasForm.__repr__ re r NrO rP rQ rd rC r r r r 5r r c t | d )& Special marker indicating that an assignment should
be recognized as a proper type alias definition by type
checkers.
For example::
Predicate: TypeAlias = Callable[..., bool]
It's invalid when used anywhere except as in the example above.
is not subscriptablerE r s r r: r: s 4& 5677r c e Zd Zd Zy)r c d| j z S r` ra rc s r rd z_TypeAliasForm.__repr__ re r Nr rC r r r r r r a Special marker indicating that an assignment should
be recognized as a proper type alias definition by type
checkers.
For example::
Predicate: TypeAlias = Callable[..., bool]
It's invalid when used anywhere except as in the example
above.c e Zd ZdZd Zy)_TypeAliasMetazMetaclass for TypeAliasc yNztyping_extensions.TypeAliasrC rc s r rd z_TypeAliasMeta.__repr__ 0r NrO rP rQ rR rd rC r r r$ r$ s
% 1r r$ c & e Zd ZdZdZd Zd Zd Zy)_TypeAliasBaser rC c t d )Nz+TypeAlias cannot be used with isinstance().rE rF s r rI z _TypeAliasBase.__instancecheck__ r r c t d )Nz+TypeAlias cannot be used with issubclass().rE rL s r rM z _TypeAliasBase.__subclasscheck__
r r c yr& rC rc s r rd z_TypeAliasBase.__repr__
r' r N)rO rP rQ rR r rI rM rd rC r r r* r* s K K 1r r* )r rT r c e Zd ZdZdZd Zd Zy)
_Immutablez3Mixin to indicate that object should not be copied.rC c | S rw rC rc s r __copy__z_Immutable.__copy__ r r c | S rw rC )rG memos r __deepcopy__z_Immutable.__deepcopy__ r r N)rO rP rQ rR r r1 r4 rC r r r/ r/ s A r r/ c e Zd ZdZd Zd Zy)r aQ The args for a ParamSpec object.
Given a ParamSpec object P, P.args is an instance of ParamSpecArgs.
ParamSpecArgs objects have a reference back to their ParamSpec:
P.args.__origin__ is P
This type is meant for runtime introspection and has no special meaning to
static type checkers.
c || _ y rw r rG r s r r{ zParamSpecArgs.__init__/ r r c 4 | j j dS )Nz.argsr rO rc s r rd zParamSpecArgs.__repr__2 s oo../u5 5r NrO rP rQ rR r{ rd rC r r r r # s
% 6r c e Zd ZdZd Zd Zy)r a[ The kwargs for a ParamSpec object.
Given a ParamSpec object P, P.kwargs is an instance of ParamSpecKwargs.
ParamSpecKwargs objects have a reference back to their ParamSpec:
P.kwargs.__origin__ is P
This type is meant for runtime introspection and has no special meaning to
static type checkers.
c || _ y rw r7 r8 s r r{ zParamSpecKwargs.__init__A r r c 4 | j j dS )Nz.kwargsr: rc s r rd zParamSpecKwargs.__repr__D s oo../w7 7r Nr; rC r r r r 5 s
% 8r r r c e Zd ZdZej
Zed Zed Z dddd fd
Z
d Z d Z d
Z
d Zd Zesd
Z xZS xZS )r a' Parameter specification variable.
Usage::
P = ParamSpec('P')
Parameter specification variables exist primarily for the benefit of static
type checkers. They are used to forward the parameter types of one
callable to another callable, a pattern commonly found in higher order
functions and decorators. They are only valid when used in ``Concatenate``,
or s the first argument to ``Callable``. In Python 3.10 and higher,
they are also supported in user-defined Generics at runtime.
See class Generic for more information on generic types. An
example for annotating a decorator::
T = TypeVar('T')
P = ParamSpec('P')
def add_logging(f: Callable[P, T]) -> Callable[P, T]:
'''A type-safe decorator to add logging to a function.'''
def inner(*args: P.args, **kwargs: P.kwargs) -> T:
logging.info(f'{f.__name__} was called')
return f(*args, **kwargs)
return inner
@add_logging
def add_two(x: float, y: float) -> float:
'''Add two numbers together.'''
return x + y
Parameter specification variables defined with covariant=True or
contravariant=True can be used to declare covariant or contravariant
generic types. These keyword arguments are valid, but their actual semantics
are yet to be decided. See PEP 612 for details.
Parameter specification variables can be introspected. e.g.:
P.__name__ == 'T'
P.__bound__ == None
P.__covariant__ == False
P.__contravariant__ == False
Note that only parameter specification variables defined in global scope can
be pickled.
c t | S rw )r rc s r r zParamSpec.args s
& &r c t | S rw )r rc s r r( zParamSpec.kwargs s
"4( (r NF)boundrY r[ c f t | | g || _ t | | _ t | | _ |r t
j |d | _ nd | _ t j d j j dd }|dk7 r|| _ y y # t t f$ r d }Y !w xY w)NzBound must be a type.r~ rO r typing_extensions)r r{ rO bool
__covariant____contravariant__ri rj __bound__r r r r_ r r rP )rG r rB rY r[ def_modr s r r{ zParamSpec.__init__ s G dV $ DM!%i D %)-%8D "!'!3!3E;R!S!%
--*4488ZP --") . #J/
s /B B0/B0c ` | j rd}n| j rd}nd}|| j z S )N+-~)rF rG rO )rG prefixs r rd zParamSpec.__repr__ s2 !! '' DMM) )r c , t j | S rw )rg r rc s r r zParamSpec.__hash__ s ??4( (r c
| |u S rw rC r s r r zParamSpec.__eq__ s 5= r c | j S rw )rO rc s r r zParamSpec.__reduce__ s == r c y rw rC r' s r r zParamSpec.__call__ r c 0 | |vr|j | y y rw )appendrG rj s r _get_type_varszParamSpec._get_type_vars s u$LL& %r )rO rP rQ rR ri r r r r r( r{ rd r r r r PEP_560rW r r s @r r r N sp , ^ NN '
'
)
) +/%u *$ * ) ! !
' r r c e Zd Zer
ej
Zn ej ZdZej Z
fdZ d Z d Z
d Zed Zesd Z xZS xZS )_ConcatenateGenericAliasFc @ t | | || _ || _ y rw )r r{ r r )rG r r r s r r{ z!_ConcatenateGenericAlias.__init__ s G T " $DO DMr c t j | j ddj fd| j D dS )Nr r c 3 . K | ] } | y wrw rC )r r r s r r z4_ConcatenateGenericAlias.__repr__.. s !K]c*S/]s r )ri r r r r )rG r s @r rd z!_ConcatenateGenericAlias.__repr__ sF **J!$//23 !KT]]!KKLAO
Pr c D t | j | j f S rw )r r r rc s r r z!_ConcatenateGenericAlias.__hash__ s $--89 9r c y rw rC r' s r r z!_ConcatenateGenericAlias.__call__ rS r c : t d | j D S )Nc 3 b K | ]' }t |t j t f s$| ) y wrw )r ri r r )r ry s r r z:_ConcatenateGenericAlias.__parameters__.. s& *rjfnni=X.Y]s %//)r r rc s r r z'_ConcatenateGenericAlias.__parameters__ s !]]
r c x | j r.| j r!t j | j | y y y rw )r r ri rW rV s r rW z'_ConcatenateGenericAlias._get_type_vars s. ??t':':))$*=*=uE (;?r )rO rP rQ rX ri rk r _TypingBaser r r r{ rd r r r r rW r r s @r rZ rZ sg ,,I **I !
P
:
F r rZ c |dk( r t d t |t s|f}t |d t s t d dt fd|D }t | | S )NrC z&Cannot take a Concatenate of no types.r zAThe last parameter to Concatenate should be a ParamSpec variable.z/Concatenate[arg, ...]: each arg must be a type.c 3 J K | ] }t j | y wrw r9 r: s r r z'_concatenate_getitem.. s F:av))!S1:r )r r r r rZ )rG r r< s @r _concatenate_getitemrf sj R@AA j% ( ]
jni 0 . / /
;CF:FFJ #D* 55r c t | | S )& Used in conjunction with ``ParamSpec`` and ``Callable`` to represent a
higher order function which adds, removes or transforms parameters of a
callable.
For example::
Callable[Concatenate[int, P], int]
See PEP 612 for detailed information.
rf r s r r r s $D*55r c e Zd Zd Zd Zy)_ConcatenateFormc d| j z S r` ra rc s r rd z_ConcatenateForm.__repr__
re r c t | | S rw ri r s r rn z _ConcatenateForm.__getitem__
'j9 9r Nro rC r r rk rk s 5 :r rk rh c e Zd ZdZd Zy)_ConcatenateAliasMetazMetaclass for Concatenate.c yNz typing_extensions.ConcatenaterC rc s r rd z _ConcatenateAliasMeta.__repr__! 2r Nr( rC r r rp rp s
( 3r rp c , e Zd ZdZdZd Zd Zd Zd Zy)_ConcatenateAliasBaserh rC c t d )Nz-Concatenate cannot be used with isinstance().rE rF s r rI z'_ConcatenateAliasBase.__instancecheck__3 KL Lr c t d )Nz-Concatenate cannot be used with issubclass().rE rL s r rM z'_ConcatenateAliasBase.__subclasscheck__6 rw r c yrr rC rc s r rd z _ConcatenateAliasBase.__repr__9 rs r c t | | S rw ri r s r rn z!_ConcatenateAliasBase.__getitem__< rn r N) rO rP rQ rR r rI rM rd rn rC r r ru ru $ s$ M M 3 :r ru r; c e Zd Zd Zy)_TypeGuardFormc d| j z S r` ra rc s r rd z_TypeGuardForm.__repr__G re r Nr rC r r r| r| F r r r| c b t j || d }t j | |f S ) Special typing form used to annotate the return type of a user-defined
type guard function. ``TypeGuard`` only accepts a single type argument.
At runtime, functions marked this way should return a boolean.
``TypeGuard`` aims to benefit *type narrowing* -- a technique used by static
type checkers to determine a more precise type of an expression within a
program's code flow. Usually type narrowing is done by analyzing
conditional code flow and applying the narrowing to a block of code. The
conditional expression here is sometimes referred to as a "type guard".
Sometimes it would be convenient to use a user-defined boolean function
as a type guard. Such a function should use ``TypeGuard[...]`` as its
return type to alert static type checkers to this intention.
Using ``-> TypeGuard`` tells the static type checker that for a given
function:
1. The return value is a boolean.
2. If the return value is ``True``, the type of its argument
is the type inside ``TypeGuard``.
For example::
def is_str(val: Union[str, float]):
# "isinstance" type guard
if isinstance(val, str):
# Type of ``val`` is narrowed to ``str``
...
else:
# Else, type of ``val`` is narrowed to ``float``.
...
Strict type narrowing is not enforced -- ``TypeB`` need not be a narrower
form of ``TypeA`` (it can even be a wider form) and this may lead to
type-unsafe results. The main reason is to allow for things like
narrowing ``List[object]`` to ``List[str]`` even though the latter is not
a subtype of the former, since ``List`` is invariant. The responsibility of
writing type-safe type guards is left to the user.
``TypeGuard`` also works with type variables. For more information, see
PEP 647 (User-Defined Type Guards).
r )ri rj rk rl s r r; r; J s4 X !!*6P.QR##D4'22r c e Zd Zd Zd Zy)r| c d| j z S r` ra rc s r rd z_TypeGuardForm.__repr__| re r c v t j || j d }t j | |f S )Nz accepts only a single typerh rl s r rn z_TypeGuardForm.__getitem__ s9 %%j)- 4O&PRD''tg6 6r Nro rC r r r| r| z rp r r c F e Zd ZdZdZd dZd Zd Z fdZd Z d Z
xZ S )
_TypeGuardr rt c || _ y rw rt rx s r r{ z_TypeGuard.__init__ r| r c t | }| j . |t j ||j dd d d S t |j dd d )Nr~ z accepts only a single type.TrS r r r s r rn z_TypeGuard.__getitem__ sm t*C}}$6--d !ll12 . //KL N!%' ' s||AB / 00N OP Pr c t j | j || }|| j k( r| S t | |d S r r r s r r z_TypeGuard._eval_type r r c t | }| j &|dt j | j dz
}|S r r r s r rd z_TypeGuard.__repr__ r r c V t t | j | j f S rw r rc s r r z_TypeGuard.__hash__ r r c t |t st S | j | j |j k( S | |u S rw )r r r ru r s r r z_TypeGuard.__eq__ s9 eZ0%%}}(}}665= r rw r r s @r r r s/ ) V " Q 2 > !r r r c p e Zd ZdZd Zd Zd Zd Zd Zd Z d Z
d Z d
Z d Z
ej d Zy
) _SpecialForm)rb rR _getitemc V || _ |j | _ |j | _ y rw )r rO rb rR )rG r s r r{ z_SpecialForm.__init__
s! #DM ))DJ"??DLr c 8 |dv r | j S t | )N> rO rQ )rb r )rG rm s r r z_SpecialForm.__getattr__ s 33zz! & &r c t d| )Nr rE )rG r s r __mro_entries__z _SpecialForm.__mro_entries__ s .th 78 8r c d| j S r` ra rc s r rd z_SpecialForm.__repr__ s '
|4 4r c | j S rw ra rc s r r z_SpecialForm.__reduce__ s :: r c t d| )NzCannot instantiate rE )rG r rz s r r z_SpecialForm.__call__ s 1$ :; ;r c , t j | |f S rw ri Unionr s r __or__z_SpecialForm.__or__! s <<e , ,r c , t j || f S rw r r s r __ror__z_SpecialForm.__ror__$ s <<t , ,r c t | d )Nz! cannot be used with isinstance()rE rF s r rI z _SpecialForm.__instancecheck__' tf$E FG Gr c t | d )Nz! cannot be used with issubclass()rE rL s r rM z _SpecialForm.__subclasscheck__* r r c & | j | | S rw )r r s r rn z_SpecialForm.__getitem__- s ==z2 2r N)rO rP rQ r r{ r r rd r r r r rI rM ri rr rn rC r r r r sU 4 +
' 9 5 < - - H H
3
3r r c t | d )Used to spell the type of "self" in classes.
Example::
from typing import Self
class ReturnsSelf:
def parse(self, data: bytes) -> Self:
...
return self
r rE )rG rC s r r r 1 s 4& 5677r c e Zd ZdZdZd Zd Zy)_Selfr rC c t | d )Nz" cannot be used with isinstance().rE rF s r rI z_Self.__instancecheck__R tf$F GH Hr c t | d )Nz" cannot be used with issubclass().rE rL s r rM z_Self.__subclasscheck__U r r NrN rC r r r r B s I Ir r Requiredc e Zd Zd Zy)_ExtensionsSpecialFormc d| j z S r` ra rc s r rd z _ExtensionsSpecialForm.__repr__` re r Nr rC r r r r _ r r r c v t j || j d }t j | |f S ) A special typing construct to mark a key of a total=False TypedDict
as required. For example:
class Movie(TypedDict, total=False):
title: Required[str]
year: int
m = Movie(
title='The Matrix', # typechecker error if key is omitted
year=1999,
)
There is no runtime checking that a required key is actually provided
when instantiating a related TypedDict.
rg rh rl s r r r c s7 " !!* #VCLL$4 57
7r c t j | j || }|| j k( r| S t | |d S r r r s r r z_MaybeRequired._eval_type r r c t | }| j 1|dj t j
| j z
}|S )Nz[{}])r rd ru r ri r r s r rd z_MaybeRequired.__repr__ sA "A}}(V]]6#4#4T]]#CDDHr c V t t | j | j f S rw r rc s r r z_MaybeRequired.__hash__ r r c t |t | st S | j | j |j k( S | |u S rw )r r r ru r s r r z_MaybeRequired.__eq__ s= eT$Z0%%}}(}}665= r rw ) rO rP rQ r r{ rn r rd r r r r s @r r r s& ! 7 2 > !r r c e Zd ZdZy) _Requiredr Nr rC r r r r s r r c e Zd ZdZy) _NotRequiredr Nr rC r r r r s r r )NNF)r r collections.abcr r ri version_inforX r r r r r __all__extendr r@ _FinalTypingBaserB r rU rV rW rX rZ r r r r^ rs r1 r2 r3 r r _overload_dummyr5 r! r r" r% r$ r# r+ r MutableSequencer) r' _collections_abcr r r r, r- _aliasMutableMappingr* Dictr r( r& r4 r9 r< r rh r r" r6 r# r) r r, rs rj r8 r7 r/ r. r r __text_signature__r r r rO rP rR r0 r? r rk r r r r> r= r ImportErrorr r: r r r$ r* r r r/ r r rZ rr rf r rk rp ru r; r| r r r r r r r r r r rC r r r s)
2A
)
+
K / <+ Z NN?@ 6: HJF++4 J( t$H FNN3V^^DV^^Dv~~f- 6>>*D 9 ?? 67 0 0! 4 > LLEbqV#7V(( 7
w L
ME 1!(( 1!f
E 67 LLE.
69 nnGbqV#:v**$ : 9 1 2G ,!6**$ ,!\ T"G (( ?? {{ [ 6
$$
$$
67 LLEN !!6#9#9!#<0!''N &&
6() 44 I"fnnT 2 " 6=!$$K#""2A&22 &-- 7 7"bBK Tk--v/D/DRV/L 6 ' 3 3 T 69 nnG P+%%++af% 2+:M:M P 6: H [*% Q;'')>)>r2v)F 3$-- Q 6#$**N t,fnnT8^.L#9 * = =
..
{{$$
= &X
6: H )@7 7$]$] ]$@ 1@B BB$P] $PP 6&' 00 6?#((M y
I % $RI $( *=X*HN%*= *=X {TGR8I#I @ 6; I**N ,,O %>&..d %>N4 4l "CLO`K** `KD m F BQ7"""JH 1,,'00 6; IbqV#5,,D 5 8 8 bqV#5,,D 5 { $)
*I1** 1 100NRV 1, T*I 6?#((M ,,O 6
6$8* 8& 6; I
f'D f'T v}%(F4 (FX
6
6 6=!$$K % > > bqV# 6 6 bqV#:6..d : #
K 3 1 1 3 : 7 7*?&*:6 (d3K 6; IbqV#5,,D 5 ,3 ,3\ bqV#7,,D 7 )
+
I\M!V,,D M!^ &I
66 ;;DbqV#(3v}}D (3T 8 8 I''t I, t D 6: H$$KbqV#5!4!4D 5 3 3& 3 3 bqV#7++4 7
H"
K #!00 #!J N$ " ~T t$H T*KI 1 " 0 01
, ++ ,s$ -h 4h hh h10h1