Ë
|
¶^ir ã óÒ d dl Z d dlZd dlZd dlZd dlZd dlZd dlZd dlZd dlZd dl Z d dl
|
Z
|
d dl Z d dl Z d dlZd dlZe j dk\ rd dlZg d¢ZdZeZe j dk\ Zdej. j0 v Z G d d« Z e« Ze j d k\ rd
|
Z nd Z ej: Z ej< d « Z ej< d « Z ej< d« Z! ej< dd¬« Z" ej< dd¬« Z#e j dk\ rd dlm$Z$ n G d de« Z% G d de%¬« Z$ejL Z& G d dejN d¬ « Z( G d d ejP d¬ « Z)ejT Z*e j dk\ r ejV Z+nd Z+ e,ed « r ejZ Z-nd! Z-d" Z.e j d#k\ r ej^ Z/n3d$ Z0d% Z1 G d& d'ejd d¬ « Z3 G d( d)e)d¬ « Z4 e4d*¬+« Z/ejj Z5 e,ed,« r%ejl Z6ejn Z7ejp Z8n6 ejr ejt ejr e;« « Z<d- Z6d. Z7d/ Z8ejz Z=ej| Z>ej~ Z?ej Z@ej ZAej ZBej ZCej ZDej ZEej ZFej ZGej ZHe j dk\ r d d0lmIZImJZJmKZKmLZL n«d1 ZM G d2 d3ej d¬ « ZN ed« ZO eNej j d4eOeOf¬5« ZL eNej j d6eOf¬5« ZJ eNej d6d7ej¢ eR f¬8« ZK eNej¦ d6d9ej¢ eR f¬8« ZIg d:¢d;d<gd=gd>ZT eUej¬ « h d?£z ZWd@ ZXd dAZYe j dBk\ r ej´ ZZnEd
|
dCZ[dD Z\dE Z] G dF dG eej´ « « Z^e_dH « Z` G dI dJej e^¬« ZZe j dBk\ r ejÄ ZbndK ZbebZce j dLk\ rUejÈ ZdejÊ ZeejÌ ZfejÎ ZgejÐ ZhejÒ ZiejÔ Zjnveb G dM dNeZ« « Zdeb G dO dPeZ« « Zeeb G dQ dReZ« « Zfeb G dS dTeZ« « Zgeb G dU dVeZ« « Zheb G dW dXeZe" « « Zieb G dY dZeZe" « « Zj e,ed[« r" e,ed\« rejÖ ZkejØ Zln&eb G d] d[eZe" « « Zkeb G d^ d\eZe# « « Zl e,ed_« xs
|
e,ed`« Zmemr G da dbe« Zn e,ed_« r ejÞ Zon G dc dden¬« Zp ep« Zo[p e,ed`« r ejâ Zqn G de dfen¬« Zr er« Zq[remr[ndgZsesr%ejè Ztejê Zuejì Zvnsdh ejî ejð « jò v Zzdi Z{ G dj dke« Zuejù eudldmi « Z}dn Z~ G do dpe(d¬ « Zedq « Ztejê eufZdr Zv e,eds« rej Zndt Z e,edu« rej Zndv Zd dwZ ed« ZOdx Zd dyZ
e j d k\ rej Zej Zndz Zd{ Z e,ed|« rej Zne)d} « Zd~ Zd Z G d d« Z G d de« Zerd dlm Z n G d
de¬« Z e,ed« rej Zej Zn G d d« Z G d de« Z G d de« Zerd dlmZ n" e,ed« r G d de¬« Zn G d dee« Z e,ed« s+ e,ed« s d dgddZn ej$ Z G d de« Zn4ej& Ze j dk r G d dej& d¬ « Z G d d« Zd Zej, d « Ze j dk\ rej0 Zne)d « Z e,ed« rej2 Zne)d « Z e,ed« rej4 Zne)d « Z e,ed¡« rej6 Zn G d¢ d£e)d¬ « Zed¤ « Z e,ed¥« rej: Zne(d¦ « Z e,ed§« rej< Zne(d¨ « Z e,ed©« rej> Zne(dª « Z e,ed«« rej@ Z ejB Z¡ne)d¬ « Z e)d « Z¡ e,edu« rejD Z¢ne)d® « Z¢d¯Z£e j dLk\ rejH Z¤d° Z¥n/ G d± d²e)d¬ « Z¦ G d³ d´ejd d¬ « Z§e¦dµ « Z¤d¶ Z¥d· Z¨erd d¸lm©Z© n! e,ed¹« r G dº d¹e¬« Z©n G d» d¹e« Z© e,ed¼« rejT Zªnd½e d¾e fd¿Zª e,edÀ« rejV Z«ndÁZ« e,ed« rejX Z¬ndÃed¾efdÄZ¬e j dLk\ rejZ Zn
ddgdgdgdmdÅdÆeRdÇeRdÈeRdÉeRdÊej\ ej^ ejz ejH ej` dËejH f f dËf dÌejH d¾ej` e ge f fdÍZ e,edΫ rejb Z±n6 ej< dÏej` dËejH f ¬Ð« Z²dÃe²d¾e²fdÑZ±e j dÒk\ rejf Z³n ej< dÓ« Z´ G dÔ dÕ« Z³e j d k rdÖ Zµnd× Zµ e,ed¹« sefdØZ¶ndÙ Z¶ese¶e_¶ d¾eRfdÚZ·e© e¸ed¹d« hZ¹d¾eRfdÛZº e,edÜ« r d dÝZ»e»e_» n dÞ Z¼ese¼e_¼ e j dBk\ rejz Z½nJddßZ¾ej~ ZÀ eUh d࣫ ZÁ G dá dâe« ZÂejù eÂdãdmi « ZÃdä ZÄefdåZ½eÄe½_Å e,ej d=« rej j ZÆnL G dæ d=e j « ZÆeÆj eÉ« eÆj eÊ« eÆj eË« e,e dç« re j ZÌndè ZÌe j dk\ rej ZÍn
|
G dé dê« ZÍe j dk\ rej ZÎnPe j dLk\ rdë ZÏndì ZÏe j d k r! eUh dí£« ZÐ G dî dïejd d¬ « ZÑ G dð dñ« ZÎ e,edò« rej¤ ZÒej¦ ZÓn dóed¾eRfdôZÒdóed¾ej¨ eÕ fdõZÓ e,edö« rej¬ ZÖn
|
G d÷ dö« ZÖ e¸e død« Z×e× d dlØZØ e¸eØdùd« ZÙeÙ eeÙ« Z× e×e×ZÛej¹ dø« e j dk\ r d dúlmÝZÝmÞZÞ n* G dû düej¾ « ZÝdddgeÝjÀ dýdþZÞ e,edÿ« rej Zán ddddd dZâddddd eU« ddZá G d d« Zãe j dk\ rejÈ Zänd Zäg d¢Zå eæ« jÏ eåD ci c] } e,e| « s | e¸e| « c} « ej Zaej. ZejÐ Zèy# eÚ$ r Y $w xY wc c} w ( é N©é é )wÚAnyÚClassVarÚ ConcatenateÚFinalÚ LiteralStringÚ ParamSpecÚ ParamSpecArgsÚParamSpecKwargsÚSelfÚTypeÚTypeVarÚ TypeVarTupleÚUnpackÚ AwaitableÚ AsyncIteratorÚ AsyncIterableÚ CoroutineÚAsyncGeneratorÚAsyncContextManagerÚBufferÚChainMapÚContextManagerÚCounterÚDequeÚ DefaultDictÚ
|
NamedTupleÚ OrderedDictÚ TypedDictÚ SupportsAbsÚ SupportsBytesÚSupportsComplexÚ SupportsFloatÚ SupportsIndexÚ SupportsIntÚ SupportsRoundÚReaderÚWriterÚ AnnotatedÚ assert_neverÚ assert_typeÚclear_overloadsÚdataclass_transformÚ
|
deprecatedÚ disjoint_baseÚDocÚevaluate_forward_refÚ get_overloadsÚfinalÚFormatÚget_annotationsÚget_argsÚ
|
get_originÚget_original_basesÚget_protocol_membersÚget_type_hintsÚIntVarÚ is_protocolÚ is_typeddictÚLiteralÚNewTypeÚoverloadÚoverrideÚProtocolÚSentinelÚ reveal_typeÚruntimeÚruntime_checkableÚTextÚ TypeAliasÚ TypeAliasTypeÚTypeFormÚ TypeGuardÚTypeIsÚ TYPE_CHECKINGÚ type_reprÚNeverÚNoReturnÚReadOnlyÚRequiredÚ NotRequiredÚ NoDefaultÚ NoExtraItemsÚ AbstractSetÚAnyStrÚBinaryIOÚCallableÚ
|
CollectionÚ ContainerÚDictÚ
|
ForwardRefÚ FrozenSetÚ GeneratorÚGenericÚHashableÚIOÚ ItemsViewÚIterableÚIteratorÚKeysViewÚListÚMappingÚ MappingViewÚMatchÚMutableMappingÚMutableSequenceÚ
|
MutableSetÚOptionalÚPatternÚ
|
ReversibleÚSequenceÚSetÚSizedÚTextIOÚTupleÚUnionÚ
|
ValuesViewÚcastÚ no_type_checkÚno_type_check_decoratorT)r é r ÚbetaÚ__forward_is_class__c ó e Zd Zd Zy)Ú _Sentinelc ó y)Nz
|
<sentinel>© ©Úselfs õd H:\项ç®\archive\æµè¯ç»\èæ¬\Change_password\venv_build\Lib\site-packages\typing_extensions.pyÚ__repr__z_Sentinel.__repr__¨ s Øó N©Ú__name__Ú
|
__module__Ú __qualname__r r r r r r § s ó r r ©r é
|
c ót t | t j t j t j
|
f« S ©N)Ú
|
isinstanceÚtypingÚ _GenericAliasÚ_typesÚ GenericAliasÚ UnionType©Úts r Ú _should_collect_from_parametersr ± s- ÜØ ×$Ñ$¤f×&9Ñ&9¼6×;KÑ;KÐLó
|
ð
|
r c óV t | t j t j f« S r )r r r r r r s r r r ¶ s Ü!f× 2Ñ 2´F×4GÑ4GÐ HÓIÐIr ÚTÚKTÚVTÚT_co)Ú covariantÚT_contra)Ú contravariant©r é )r c ó( e Zd Z fdZ fdZ xZS )Ú_AnyMetac óH | t u r t d« t | |« S )Nz6typing_extensions.Any cannot be used with isinstance())r Ú TypeErrorÚsuperÚ__instancecheck__)r
ÚobjÚ __class__s r r© z_AnyMeta.__instancecheck__Ë s& ø Øs{Ü Ð XÓYÐYÜ7Ñ,¨SÓ1Ð 1r c ó2 | t u ryt | « S )Nztyping_extensions.Any)r r¨ r )r
r« s r r z_AnyMeta.__repr__Ð s ø Øs{Ø.Ü7Ñ#Ó%Ð %r )r r r r© r Ú __classcell__©r« s @r r¥ r¥ Ê s ø ô 2÷
|
&ð &r r¥ c ó" e Zd ZdZ fdZ xZS )r aq 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
|
checks.
|
c óP | t u r t d« t | | g|¢i |¤S )NzAny cannot be instantiated)r r§ r¨ Ú__new__©ÚclsÚargsÚkwargsr« s r r± z Any.__new__Þ s/ ø ØczÜ Ð <Ó=Ð=Ü7? 3Ð8¨Ò8°Ñ8Ð 8r )r r r Ú__doc__r± r r® s @r r r Õ s ø ñ ÷ 9ð 9r r )Ú metaclassc óp e Zd ZdZd Zd Zd Zd Zd Zd Z d Z
|
d Z d
|
Z d Z ej d « Zy )Ú _SpecialForm)Ú_namer¶ Ú_getitemc óV || _ |j | _ |j | _ y r )r» r rº r¶ )r
Úgetitems r Ú__init__z_SpecialForm.__init__ì s! Ø Ø ×%Ñ%
|
Ø r c ó8 |dv r | j S t |« )N> r r )rº ÚAttributeError)r
Úitems r Ú __getattr__z_SpecialForm.__getattr__ñ s Ø Ð/Ñ /Ø::Ð ä TÓ"Ð"r c ó t d| « )NzCannot subclass ©r§ ©r
Úbasess r Ú__mro_entries__z _SpecialForm.__mro_entries__÷ s ÜÐ*¨4¨(Ð3Ó4Ð4r c ó d| j S ©Nztyping_extensions.©rº r s r r z_SpecialForm.__repr__ú s Ø# D§J¡J <Ð0Ð0r c ó | j S r rÊ r s r Ú
|
__reduce__z_SpecialForm.__reduce__ý ó ØzzÐr c ó t d| « )NzCannot instantiate rÄ ©r
r´ Úkwdss r Ú__call__z_SpecialForm.__call__ s ÜÐ-¨d¨XÐ6Ó7Ð7r c ó, t j | |f S r ©r rx ©r
Úothers r Ú__or__z_SpecialForm.__or__ s Ü||D %KÑ(Ð(r c ó, t j || f S r rÓ rÔ s r Ú__ror__z_SpecialForm.__ror__ s Ü||E 4KÑ(Ð(r c ó t | d« )Nz! cannot be used with isinstance()rÄ ©r
rª s r r© z _SpecialForm.__instancecheck__ ó Ü4&Ð AÐBÓCÐCr c ó t | d« )Nz! cannot be used with issubclass()rÄ )r
r³ s r Ú__subclasscheck__z _SpecialForm.__subclasscheck__ rÛ r c ó& | j | |« S r )r» ©r
Ú
|
parameterss r Ú __getitem__z_SpecialForm.__getitem__ s à}}T :Ó.Ð.r N)r r r Ú __slots__r¾ r rÇ r rÌ rÑ rÖ rØ r© rÝ r Ú _tp_cacherá r r r r¹ r¹ é sU Ø0Iò'ò
|
#ò 5ò1òò8ò)ò)òDòDð ×Ññ/ó ñ/r r¹ )Ú_rootc ó e Zd Zd Zy)Ú_ExtensionsSpecialFormc ó d| j z S rÉ rÊ r s r r z _ExtensionsSpecialForm.__repr__ s Ø# d§j¡jÑ0Ð0r Nr r r r ræ ræ s ó1r ræ c óB d| _ | S # t t f$ r Y | S w xY w)aø 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. The decorator
|
sets the ``__final__`` attribute to ``True`` on the decorated object
|
to allow runtime introspection.
|
T)Ú __final__rÀ r§ )Úfs r r5 r5 % s5 ð, Ø AKð øô ¤ Ð*ò ð Øð úó r1 c ó d| _ | S )a< This decorator marks a class as a disjoint base.
|
|
Child classes of a disjoint base cannot inherit from other disjoint bases that are
|
not parent classes of the disjoint base.
|
|
For example:
|
|
@disjoint_base
|
class Disjoint1: pass
|
|
@disjoint_base
|
class Disjoint2: pass
|
|
class Disjoint3(Disjoint1, Disjoint2): pass # Type checker error
|
|
Type checkers can use knowledge of disjoint bases to detect unreachable code
|
and determine when two types can overlap.
|
|
See PEP 800.T)Ú__disjoint_base__©r³ s r r1 r1 H s ð( !%Ô Ø
|
r c ó, t j | « S r )r r ©Únames r r= r= ` s Ü >>$Ó Ð r )r r é c ó¤ g }| D ]? }t |t « r |j |j « /|j |« A t |« S )zJAn internal helper for Literal creation: flatten Literals among parameters)r Ú_LiteralGenericAliasÚextendÚ__args__ÚappendÚtuple)rà ÚparamsÚps r Ú_flatten_literal_paramsrû i sI àØò !AÜ!Ô 1Ô2Ø ajjÕ)à aÕ ð !ô
|
V}Ð r c # ó8 K | D ] }|t |« f y wr )Útype)rù rú s r Ú_value_and_type_iterrþ s s# è ø Øò AØT!W*Ó ñ ùs c ó e Zd Zd Zd Zy)rô c ó° t |t « st S t t | j
|
« « }t t |j
|
« « }||k( S r )r rô ÚNotImplementedÚsetrþ rö )r
rÕ Úthese_args_dedupedÚother_args_dedupeds r Ú__eq__z_LiteralGenericAlias.__eq__x sI Ü eÔ%9Ô:Ü%Ð%Ü!$Ô%9¸$¿-¹-Ó%HÓ!IÐ Ü!$Ô%9¸%¿.¹.Ó%IÓ!JÐ Ø%Ð);Ñ;Ð ;r c óP t t t | j « « « S r )ÚhashÚ frozensetrþ rö r s r Ú__hash__z _LiteralGenericAlias.__hash__ s Ü Ô"6°t·}±}Ó"EÓFÓGÐ Gr N)r r r r r r r r rô rô w s ò <ó Hr rô c ó e Zd ZdefdZd Zy)Ú _LiteralFormÚdocc ó. d| _ |x| _ | _ y )Nr@ )rº Ú_docr¶ )r
r s r r¾ z_LiteralForm.__init__ s Ø"DJØ'*Ð *DI r c ór t |t « s|f}t |« }t t |« « } t |« }t |« t |« k rHg }|D ], }||v s|j |d « |j |« . |rJ |« t |« } t | |« S # t $ r Y w xY w©Nr ) r rø rû Úlistrþ r Úlenr÷ Úremover§ rô )r
rà Úval_type_pairsÚ deduped_pairsÚnew_parametersÚpairs r rá z_LiteralForm.__getitem__ sÇ Ü j¬%Ô0Ø (]
|
ä0°Ó<Jä !Ô"6°zÓ"BÓ CNð 7Ü # NÓ 3 ô }Ó%¬¨NÓ(;Ò;Ø%'NØ .ò 7Ø =Ò0Ø *× 1Ñ 1°$°q±'Ô :Ø )× 0Ñ 0°Õ 6ð7ñ -Ð;¨mÓ;Ð,Ü!& ~Ó!6Jä'¨¨jÓ9Ð 9øô ò áð ús ´ B* Â* B6Â5B6N)r r r Ústrr¾ rá r r r r r s ð + ó +ó :r r a 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.)r r4 c óÀ t | d| « } | t |j |j |j j
|
< t S # t $ r Y t S w xY w)a¬ Decorator for overloaded functions/methods.
|
|
In a stub file, place two or more stub definitions for the same
|
function in a row, each decorated with @overload. For example:
|
|
@overload
|
def utf8(value: None) -> None: ...
|
@overload
|
def utf8(value: bytes) -> bytes: ...
|
@overload
|
def utf8(value: str) -> bytes: ...
|
|
In a non-stub file (i.e. a regular .py file), do the same but
|
follow it with an implementation. The implementation should *not*
|
be decorated with @overload. For example:
|
|
@overload
|
def utf8(value: None) -> None: ...
|
@overload
|
def utf8(value: bytes) -> bytes: ...
|
@overload
|
def utf8(value: str) -> bytes: ...
|
def utf8(value):
|
# implementation goes here
|
|
The overloads for a function can be retrieved at runtime using the
|
get_overloads() function.
|
Ú__func__)ÚgetattrÚ_overload_registryr r Ú__code__Úco_firstlinenorÀ Ú_overload_dummy)Úfuncrê s r rB rB ¼ sg ô< D* dÓ +ð ð ô q||Ñ ,¨Q¯^©^Ñ <Ø
|
|
×)Ñ)ñ ô Ð øô ò à Ü Ð ð ús 7A Á A Á A c óÖ t | d| « }|j t vrg S t |j }|j |vrg S t ||j j « « S )z6Return all defined overloads for *func* as a sequence.r )r r r r r Úvalues)r rê Úmod_dicts r r4 r4 ä s` ô D* dÓ +Ø <<Ô 1Ñ 1ØIÜ% a§l¡lÑ3Ø >> Ñ )ØIÜHQ^^Ñ,×3Ñ3Ó5Ó6Ð6r c ó, t j « y)z$Clear all overloads in the registry.N)r Úclearr r r r. r. ï s ä× Ñ Õ"r )r r r ra c óJ | j d« xr | j d« S )NÚ__)Ú
|
startswithÚendswith)Úattrs r Ú
|
_is_dunderr+
|
s ØtÓ$Ò<¨¯ © °tÓ)<Ð<r c óR e Zd Zdddd fd
|
Zd Zej d « Z xZS )Ú_SpecialGenericAliasTNr )Úinstrñ Údefaultsc ó: t | ||||¬« || _ y )N)r. rñ )r¨ r¾ Ú _defaults)r
ÚoriginÚnparamsr. rñ r/ r« s r r¾ z _SpecialGenericAlias.__init__ s ø Ü GÑ V W°4¸dÐ Ô CØ %DNr c ó h d£}t |« s||v rt j | ||« y t | j ||« y )N> Ú_instrº Ú_nparamsr1 )r+ ÚobjectÚ __setattr__ÚsetattrÚ
|
__origin__)r
r* ÚvalÚ allowed_attrss r r8 z _SpecialGenericAlias.__setattr__ s8 Ú GMÜ$Ô 4¨=Ñ#8Ü×"Ñ" 4¨¨sÕ3䨨sÕ3r c
|
ó¶ t |t « s|f}dt fd|D « « }| j rpt |« | j k rXt |« t | j « z | j k\ r*g |¢| j t |« | j z
|
d ¢}t |« }|| j k7 r| j r&d| j t | j « z
|
}nt | j « }| j st | d« t d|| j kD rdnd d| d | d
|
| « | j |« S ) Nz*Parameters to generic types must be types.c 3 óJ K | ] }t j |« y wr ©r Ú _type_check©Ú.0rú Úmsgs r ú <genexpr>z3_SpecialGenericAlias.__getitem__.<locals>.<genexpr> s øè ø ÒF¸!6×-Ñ-¨a°×5ÑFùó #ú at least ú is not a generic classúToo ÚmanyÚfewú arguments for ú ; actual ú , expected )r rø r1 r r6 r r§ Ú copy_with)r
rù Ú
|
actual_lenÚexpectedrC s @r rá z _SpecialGenericAlias.__getitem__ s9 ø ä f¤eÔ,Ø Ø>CÜÓF¸vÔFÓFFàÜK $§-¡-Ò/ÜK¤# d§n¡nÓ"5Ñ5¸¿ ¹ ÒFàQ6ÐQ D§N¡N´3°v³;ÀÇ Á Ñ3NÐ3OÐ$PÑQÜ VJàT]]Ò*Ø>>Ø!*¨4¯=©=¼3¸t¿~¹~Ó;NÑ+NÐ*OÐ PHä " 4§=¡=Ó 1HØ}}Ü# t fÐ,CÐ$DÓEÐEÜ Ø Z°$·-±-Ò%?6ÀUÐKØ% d Vð , Ø )l¨+°h°ZðAóð ð
|
>> &Ó)Ð )r ) r r r r¾ r8 r rã rá r r® s @r r- r- s. ø Ø48¸tÈbö &ò 4ð
|
× Ñ ñ *ó
|
ô *r r- r )r/ é r )rñ r/ r ) r[ r rf rg r rc ru r] r\ rr r ÚAbstractContextManagerÚAbstractAsyncContextManagerr )zcollections.abcÚ
|
contextlibÚtyping_extensions> ré Ú__match_args__Ú__protocol_attrs__Ú __non_callable_proto_members__c óþ t « }| j d d D ]` }|j dv rt |di « }g |j ¢|¢D ]. }|j d« r|t vs |j |« 0 b |S )Néÿÿÿÿ> rb rD Ú__annotations__Ú_abc_)r Ú__mro__r r Ú__dict__r( Ú_EXCLUDED_ATTRSÚadd)r³ ÚattrsÚbaseÚ annotationsr* s r Ú_get_protocol_attrsrd [ s Ü EEØ CRÐ ò Ø ==Ð 3Ñ 3Ø Ü dÐ$5°rÓ: Ø2dmmÐ2 kÑ2ò DØOO GÕ,°¼_Ò1LØ $ñ ð ð Lr c óê t j | dz « xs |S # t $ r Y nw xY w t j | dz « j j d|« S # t t f$ r Y y w xY w)Nrò r )ÚsysÚ_getframemodulenamerÀ Ú _getframeÚ f_globalsÚgetÚ
|
ValueError)ÚdepthÚdefaults r Ú_callerrn g sx ð Ü×&Ñ& u¨q¡yÓ1Ò<°WÐ<øÜ ò Ù ð úð Ü}}U QYÓ'×1Ñ1×5Ñ5°jÀ'ÓJÐJøÜ JÐ 'ò Ø Ø ð ús *©*®1A Á A2Á1A2©r r} c ó t | « dv S )zåAllow instance and class checks for special stdlib modules.
|
The abc and functools modules indiscriminately call isinstance() and
|
issubclass() on the whole MRO of a user class, which may contain protocols.
|
> NÚabcÚ functools)rn ©rl s r Ú _allow_reckless_class_checksrt y s ô
|
u~Ð!;Ð;Ð;r c óD t | « j r t d« y )Nz Protocols cannot be instantiated)rý Ú _is_protocolr§ ©r
r´ rµ s r Ú_no_initrx s Ü :× "Ò "ÜÐ >Ó?Ð ?ð #r c ó: t | t « s t d« y)aû Raise TypeError if `arg` is not an instance of `type`
|
in `issubclass(arg, <protocol>)`.
|
|
In most cases, this is verified by type.__subclasscheck__.
|
Checking it again unnecessarily would slow down issubclass() checks,
|
so, we don't perform this check unless we absolutely have to.
|
|
For various error paths, however,
|
we want to ensure that *this* error message is shown to the user
|
where relevant, rather than a typing.py-specific error message.
|
z"issubclass() arg 1 must be a classN)r rý r§ ©Úargs r Ú _type_check_issubclass_arg_1r| s ô #tÔ$äÐ @ÓAÐ Að %r c ó6 e Zd Zd Zd Zd Zd Zd ZdefdZ y) Ú _ProtocolMetac ó¨ |dk( rt |« dk rnt t j ht |« z rz|D ]u }|t t j
|
t t j hv r0|j t j |j g « v r]t |« rit d|« t j j | |||fi |¤S )NrD rQ z5Protocols can only inherit from other protocols, got )r rD r r r7 rb r Ú_PROTO_ALLOWLISTrj r r> r§ rq ÚABCMetar± )Úmclsrñ rÆ Ú namespacerµ rb s r r± z_ProtocolMeta.__new__ s¹ ØzÒ!¤c¨%£j°1¢nØÜFOOÐ,¬s°5«zÒ9Ø !ò Dà ¤¬¯ © ¼Ä6Ç?Á?Ð SÒSØ ==Ô,<×,@Ñ,@ÀÇ Á ÐRTÓ,UÒUÜ& tÕ,ä 'ð #Ø#' (ð ,ó ð ð ô ;;×&Ñ& t¨T°5¸)ÑNÀvÑNÐ Nr c ó t j j | g|¢i |¤ t | dd« rt | « | _ y y )Nrv F)rq r r¾ r rd rW ©r³ r´ rµ s r r¾ z_ProtocolMeta.__init__® s< Ü KK× Ñ Ð 6 tÒ 6¨vÒ 6ÜsN¨EÔ2Ü)<¸SÓ)AÕ&ð 3r c ó | t u rt j | |« S t | dd« rt « st | dd« st |« t d« | j r\| j j d« t u r;t |« t | j « }t dt |« dd d « t j j | |« S )
|
Nrv FÚ_is_runtime_protocolúLInstance and class checks can only be used with @runtime_checkable protocolsÚ__subclasshook__zRProtocols with non-method members don't support issubclass(). Non-method members: rò rZ ú.)rD rý rÝ r rt r| r§ rX r^ rj Ú _proto_hookÚsortedr rq r )r³ rÕ Únon_method_attrss r rÝ z _ProtocolMeta.__subclasscheck__³ s× ØhÜ×-Ñ-¨c°5Ó9Ð9ä^¨UÔ3Ü4Ô6ä sÐ$:¸EÔBÜ0°Ô7Ü#ð7óð ð ×6Ò6Ø ×(Ñ(Ð);Ó<Ä ÑKä0°Ô7Ü'-¨c×.PÑ.PÓ'QÐ$Ü#ð0Ü03Ð4DÓ0EÀaÈÐ0KÐ/LÈAðOóð ô ;;×0Ñ0°°eÓ<Ð <r c ó¶ | t u rt j | |« S t | dd« s t j
|
j | |« S t | dd« st « s t d« t j
|
j | |« ry| j D ], } t j ||« }| || j vs, y y# t $ r Y yw xY w)Nrv Fr r T) rD rý r© r rq r rt r§ rW ÚinspectÚgetattr_staticrÀ rX )r³ Úinstancer* r; s r r© z _ProtocolMeta.__instancecheck__Í sê ð hÜ×-Ñ-¨c°8Ó<Ð<Ü3 °Ô6ä{{×4Ñ4°S¸(ÓCÐCô CÐ!7¸Ô?Ü0Ô2ä ð !@ó Að Aô {{×,Ñ,¨S°(Ô;Øà×.Ñ.ò ðÜ!×0Ñ0°¸4Ó@Cð ; 4¨s×/QÑ/QÒ#QØð ð ð øô &ò Ùð ðús  C à CÃCc ó t j j | |« du ry| t u xr |t j u S )NT)rq r r rD r ©r³ rÕ s r r z_ProtocolMeta.__eq__í s8 ô {{×!Ñ! # uÓ-°Ñ5ØØ(?Ò? u´·±Ð'?Ð ?r Úreturnc ó, t j | « S r )rý r rî s r r z_ProtocolMeta.__hash__ø s Ü== Ó%Ð %r N)
|
r r r r± r¾ rÝ r© r Úintr r r r r~ r~ s+ ò Oò Bò
|
=ò4 ò@ @ð &Sô &r r~ c ót | j j dd« st S | j D ] }|j D ]o }||j v r|j |
|
t c c S ;t |di « }t |t j j « s^||v sct |« so t c S y)Nrv Fr[ T) r^ rj r rW r] r r Ú collectionsrq rj r> )r³ rÕ r* rb rc s r r r û s à||× Ñ °Ô6Ü!Ð !à×*Ñ*ò &DØ ò &à4==Ñ(Ø}} TÑ*Ð2Ü -Ô-Ùô & dÐ,=¸rÓ B ä {¬K¯O©O×,CÑ,CÕDØ Ò+Ü# EÕ*áð &ô &Ò%ð# &ð$ r c óV e Zd Zej j
|
ZdZdZdZ fdZ xZ
|
S )rD r TFc ó: t | |i |¤ | j j dd« s!t d | j
|
D « « | _ d| j vr t | _ | j r)| j t j u r t | _ y y y )Nrv Fc 3 ó, K | ] }|t u y wr )rD ©rB Úbs r rD z-Protocol.__init_subclass__.<locals>.<genexpr> s è ø Ò&L¸ q¬H¤}Ñ&Lùs r ) r¨ Ú__init_subclass__r^ rj ÚanyÚ __bases__rv r r r¾ rD rx r² s r r zProtocol.__init_subclass__ s ø Ü GÑ % tÐ 6¨vÒ 6ð <<×#Ñ# N°EÔ:Ü#&Ñ&L¸c¿m¹mÔ&LÓ#LÔ ð "¨¯ © Ñ5Ü'2Ô$ð × Ò C§L¡L´H×4EÑ4EÑ$EÜ ' ð %FÐ r ) r r r r rD r¶ râ rv r r r r® s @r rD rD s, ø Ø//×)Ñ)Ø Ø Ø $Ð ÷ (ð (r rD c ó° t | t j « r t | dd« st d| « d| _ t | t « st j dk\ rUt « | _ | j D ]7 } t t | |d« « }|r | j j |« 9 | S # t $ r}t d|d« |d}~ww xY w) aj Mark a protocol class as a runtime protocol.
|
|
Such protocol 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
|
one trick ponies in collections.abc such as Iterable.
|
|
For example::
|
|
@runtime_checkable
|
class Closable(Protocol):
|
def close(self): ...
|
|
assert isinstance(open('/some/file'), Closable)
|
|
Warning: this will check only the presence of the required methods,
|
not their type signatures!
|
rv Fz@@runtime_checkable can be only applied to protocol classes, got T)r é rQ Nz,Failed to determine whether protocol member z is a method member)Ú
|
issubclassr rb r r§ r r r~ rf Ú version_infor rX rW Úcallabler` Ú Exception)r³ r* Ú is_callableÚes r rH rH . sí ô& #v~~Ô.´g¸cÀ>ÐSXÔ6YÜð $Ø$' 7ð ,ó -ð -à#'Ô ô c=Ô )¬S×-=Ñ-=ÀÒ-Kô
|
25³CÔ .Ø×.Ñ.ò
|
Eð EÜ"*¬7°3¸¸dÓ+CÓ"DKò 'Ø×:Ñ:×>Ñ>¸tÕDð
|
Eð
|
øô !ò Ü#ØFÀtÀhð O-ð -óð ð ûð ús Á?B7Â7 CÃ CÃC©r r¢ c ó> e Zd ZdZdZej defd« Zy)r' z(An ABC with one abstract method __int__.r r c ó y r r r s r Ú__int__zSupportsInt.__int__v ó à r N) r r r r¶ râ rq Úabstractmethodr r¬ r r r r' r' q s) á6Ø à × Ñ ð Sò ó
|
ñ r r' c ó> e Zd ZdZdZej defd« Zy)r% z*An ABC with one abstract method __float__.r r c ó y r r r s r Ú __float__zSupportsFloat.__float__ r r N) r r r r¶ râ rq r® Úfloatr± r r r r% r% z ó) á8Ø à × Ñ ð uò ó
|
ñ r r% c ó> e Zd ZdZdZej defd« Zy)r$ z,An ABC with one abstract method __complex__.r r c ó y r r r s r Ú __complex__zSupportsComplex.__complex__ r r N) r r r r¶ râ rq r® Úcomplexr¶ r r r r$ r$ s) á:Ø à × Ñ ð ò ó
|
ñ r r$ c ó> e Zd ZdZdZej defd« Zy)r# z*An ABC with one abstract method __bytes__.r r c ó y r r r s r Ú __bytes__zSupportsBytes.__bytes__ r r N) r r r r¶ râ rq r® Úbytesrº r r r r# r# r³ r r# c ó: e Zd ZdZej
|
defd« Zy)r& r r c ó y r r r s r Ú __index__zSupportsIndex.__index__ r r N)r r r râ rq r® r r¾ r r r r& r& s& à à × Ñ ð sò ó
|
ñ r r& c ó> e Zd ZdZdZej defd« Zy)r" z_
|
An ABC with one abstract method __abs__ that is covariant in its return type.
|
r r c ó y r r r s r Ú__abs__zSupportsAbs.__abs__¤ r r N) r r r r¶ râ rq r® r rÁ r r r r" r" s- ñ ð à × Ñ ð Tò ó
|
ñ r r" c óD e Zd ZdZdZej ddedefd« Z y)r( za
|
An ABC with one abstract method __round__ that is covariant in its return type.
|
r Úndigitsr c ó y r r )r
rà s r Ú __round__zSupportsRound.__round__¯ r r N©r )
|
r r r r¶ râ rq r® r r rÅ r r r r( r( ¨ s4 ñ ð à × Ñ ñ Sð °ò ó
|
ñ r r( r) r* c óD e Zd ZdZdZej ddedefd« Z y)r) zeProtocol for simple I/O reader instances.
|
|
This protocol only supports blocking I/O.
|
r Úsizer c ó y)z¢Read data from the input stream and return it.
|
|
If *size* is specified, at most *size* items (bytes/characters) will be
|
read.
|
Nr )r
rÈ s r Úreadz Reader.readÁ ó r N).)
|
r r r r¶ râ rq r® r r rÊ r r r r) r) ¸ s4 ñ ð
|
à × Ñ ñ Sð ¨dò ó
|
ñ r c óB e Zd ZdZdZej dedefd« Z y)r* zeProtocol for simple I/O writer instances.
|
|
This protocol only supports blocking I/O.
|
r Údatar c ó y)zIWrite *data* to the output stream and return the number of items written.Nr )r
rÍ s r Úwritez Writer.writeÒ rË r N)
|
r r r r¶ râ rq r® r r rÏ r r r r* r* É s8 ñ ð
|
à × Ñ ð \hð \¨cò \ó
|
ñ \r rV rW c ó e Zd Zd Zy)Ú SingletonMetac ó8 t d|d| j « )Nz cannot set z attribute of immutable type ©r§ r )r³ r* Úvalues r r8 zSingletonMeta.__setattr__Ý s% äØ dXÐ%BÀ3Ç<Á<ÐBRÐSóð r N)r r r r8 r r r rÑ rÑ Ü s ó r rÑ c ó& e Zd ZdZdZd Zd Zd Zy)Ú NoDefaultTypez$The type of the NoDefault singleton.r c ób t « j d« xs t j | « S ©NrV ©Úglobalsrj r7 r± rî s r r± zNoDefaultType.__new__ì s! Ü9== Ó-ÒD´· ± ÀÓ1DÐ Dr c ó y)Nztyping_extensions.NoDefaultr r s r r zNoDefaultType.__repr__ï s Ø0r c ó yrØ r r s r rÌ zNoDefaultType.__reduce__ò s Ø r N©r r r r¶ râ r± r rÌ r r r rÖ rÖ ç s Ù2à ò Eò 1ó r rÖ c ó& e Zd ZdZdZd Zd Zd Zy)ÚNoExtraItemsTypez'The type of the NoExtraItems singleton.r c ób t « j d« xs t j | « S ©NrW rÙ rî s r r± zNoExtraItemsType.__new__ s! Ü9== Ó0ÒG´F·N±NÀ3Ó4GÐ Gr c ó y)Nz typing_extensions.NoExtraItemsr r s r r zNoExtraItemsType.__repr__ s Ø3r c ó yrá r r s r rÌ zNoExtraItemsType.__reduce__ s Ø!r NrÝ r r r rß rß û s Ù5à ò Hò 4ó "r rß FÚmodulec # ó K t | « }|t u rt | « }|r|d } n\y |t u rt t | « \ } n=|t u rt t | « \ } n |t
|
u rt
|
t | « \ } ny wr )r9 r+ r8 rT rU rS )Úannotation_typeÚannotation_originÚannotation_argss r Ú_get_typeddict_qualifiersré & s è ø ØÜ *¨?Ó ;Ð Ø ¤IÑ-Ü"*¨?Ó";Ù"Ø&5°aÑ&8OàØ"¤hÑ.Ü Ü#+¨OÓ#<Ñ Ø"¤kÑ1Ü!Ò!Ü#+¨OÓ#<Ñ Ø"¤hÑ.Ü Ü#+¨OÓ#<Ñ àð% ùs BBc ó* e Zd ZddeddZeZd ZeZy)Ú_TypedDictMetaTN©ÚtotalÚclosedÚ extra_itemsc
|
ól D ]1 }t |« t us|t j us(t d« ||t
|
urt d|d« t d D « « rt j f}nd}|j dd« } t j t dg |¢t |« |_
|
j dk( r|_ t d « s_ i }
|
d| | nxt j d
|
k\ rct t d « rt! j" |« n|j% d « 't! j& t( j* ¬ « ni ni dt, rEj/ « D ci c]( \ } } | t j0 | j2 ¬« * c} } n8j/ « D ci c] \ } } | t j0 | « c} } t5 « } t5 « }t5 « }t5 « }|}D ]Æ }|j6 }t j d
|
k r!|
|
j9 |j% di « « | j9 |j% dd« « |j9 |j% dd« « |j9 |j% dd« « |j9 |j% dd« « È |rdt j d
|
k rQdv rMj d« }t5 t; |« « }t< |v r t d« t> |v r t d« |}|
|
j9 « j/ « D ]¿ \ }}t5 t; |« « }t< |v r| jA |« n?t> |v r|jA |« n%|r| jA |« n|jA |« tB |v r#|jE |« |jA |« |jA |« |jE |« Á t j d
|
k\ rfd}|_# n|
|
_$ tK | « _& tK |« _' tK |« _( tK |« _) |_* |_+ |_, S c c} } w c c} } w )aI Create new typed dict class object.
|
|
This method is called when TypedDict is subclassed,
|
or when TypedDict is instantiated. This way
|
TypedDict supports all three syntax forms described in its docstring.
|
Subclasses and instances of TypedDict return actual dictionaries.
|
zHcannot inherit from both a TypedDict type and a non-TypedDict base classNzCannot combine closed=z and extra_itemsc 3 óP K | ] }t |t j « y wr )r£ r rb r s r rD z)_TypedDictMeta.__new__.<locals>.<genexpr>M s è ø Ò@°Q:a¤§ ¡ ×0Ñ@ùs $&r r[ rD Ú__orig_bases__r Ú!get_annotate_from_class_namespaceÚ __annotate__©Úownerz?TypedDict('Name', {f0: t0, f1: t1, ...}); each t must be a type©rä Ú__required_keys__Ú__optional_keys__Ú__readonly_keys__Ú__mutable_keys__Ú__extra_items__z5Special key __extra_items__ does not support Requiredz8Special key __extra_items__ does not support NotRequiredc
|
ó^ i }D ]C }|t u r |j }|t j || |¬« }|j |« E
|
ot j
|
| ¬« }| t
|
j k7 r|j « D ci c]( \ }}|t j | j ¬« * }}}nY| t
|
j k( rt j « }n0| t
|
j t
|
j fv r }n t | « |j |« |S c c}}w )Nrõ r÷ )rb rô Ú annotationlibÚcall_annotate_functionÚupdater6 ÚSTRINGÚitemsr r@ r Úannotations_to_stringÚ
|
FORWARDREFÚVALUEÚNotImplementedError)ÚformatÚannosrb Ú base_annotateÚ
|
base_annosÚownÚnÚtprÆ rC Ú own_annotateÚown_annotationsÚown_checked_annotationsÚtp_dicts r rô z,_TypedDictMeta.__new__.<locals>.__annotate__³ s" ø Ø EØ %ò 1Ø ¤7?Ø $Ø(,×(9Ñ(9 Ø(Ð0Ø $Ü%2×%IÑ%IØ )¨6¸ô&?
|
à ZÕ0ð1ð $Ð/Ü +× BÑ BØ (¨&¸ô Aà!¤V§]¡]Ò2ð .1¯Y©Y«[÷# á$) A rð !"¤6×#5Ñ#5°b¸#Àg×FXÑFXÔ#YÑ Yð# Cò # ð ¤6§=¡=Ò0Ü +× AÑ AÀ/Ó RØ ¤F×$5Ñ$5´v·|±|Ð#DÑDØ 5ä 1°&Ó 9Ð9ØLL Ô%Ø Lùó# s  -D))-rý rë r rb r§ rW r Úpopr± Údictr r Úhasattrrò rf r¤ rþ ró rj rÿ r6 r Ú _TAKES_MODULEr r@ r r r^ r ré rT rU r` rS Údiscardrô r[ r rø rù rú rû Ú __total__Ú
|
__closed__rü ) r³ rñ rÆ Únsrí rî rï rb Ú generic_baseÚns_annotationsrc r r Ú required_keysÚ optional_keysÚ readonly_keysÚ mutable_keysÚextra_items_typeÚ base_dictræ Ú
|
qualifiersÚannotation_keyrô rC r r r r s ` @@@@@r r± z_TypedDictMeta.__new__= s ý ð ò FÜ:¤^Ò3¸ÄFÇNÁNÒ8RÜ#ð %Eó Fð Fð Fð Ð! k¼ Ñ&EÜ Ð"8¸¸
|
ÐBRÐ SÓTÐTäÑ@¸%Ô@Ô@Ü &§¡Ð 0 à ! à VVÐ$5°tÓ <Nô ll¤>°:Ð?TÀ Ð?TÌtÑ?TÐVXÓYGØ #GÔ Ø×#Ñ# zÒ1Ø'+Ô$ä7Ð$4Ô5Ø).Ô&à KØ LØ Ð)Ø"0Ü×!Ñ! WÒ,Ü=Ð*MÔNÜ#0×#RÑ#RÐSUÓ#VLð $&§6¡6¨.Ó#9LØ Ð+Ü&3×&JÑ&JØ$¤f×&7Ñ&7¸wô'Oð ')Oà"$ØSCÝ ð "1×!6Ñ!6Ó!8÷+á 2ð v×)Ñ)¨"¨c¸'×:LÑ:LÔMÑMó+Ñ'ð "1×!6Ñ!6Ó!8÷+á 2ð v×)Ñ)¨"¨cÓ2Ñ2ó+Ð'ô EMÜ EMÜ EMÜ 5LØ *Ð à ò KØ MM ä×#Ñ# wÒ.Ø ×&Ñ& y§}¡}Ð5FÈÓ'KÔLØ ×$Ñ$ Y§]¡]Ð3FÈÓ%KÔLØ ×$Ñ$ Y§]¡]Ð3FÈÓ%KÔLØ ×$Ñ$ Y§]¡]Ð3FÈÓ%KÔLØ ×#Ñ# I§M¡MÐ2DÀbÓ$IÕJð Kñ 3×+Ñ+¨gÒ5Ø,Ð0GÑGØ"9×"=Ñ"=Ð>OÓ"PÜ Ô!:¸?Ó!KÓ L
|
ÜzÑ)Ü#ð#óð ô *Ñ,Ü#ð&óð ð $3Ð à × Ñ Ð 6Ô 7Ø3J×3PÑ3PÓ3Rò :Ñ/ Ü Ô!:¸?Ó!KÓ L
|
äzÑ)Ø!×%Ñ% nÕ5Ü JÑ.Ø!×%Ñ% nÕ5ÙØ!×%Ñ% nÕ5à!×%Ñ% nÔ5ÜzÑ)Ø ×(Ñ(¨ Ô8Ø!×%Ñ% nÕ5à ×$Ñ$ ^Ô4Ø!×)Ñ)¨.Õ9ð! :ô& × Ñ 7Ò*÷!ñ !ð8 (4Õ$à*5Ô'Ü(1°-Ó(@GÔ %Ü(1°-Ó(@GÔ %Ü(1°-Ó(@GÔ %Ü'0° Ó'>GÔ $Ø %GÔ Ø!'GÔ Ø&6GÔ #ØNùóO+ùó
|
+s Å?-R*Ç!R0c ó t d« )Nz4TypedDict does not support instance and class checksrÄ r s r rÝ z _TypedDictMeta.__subclasscheck__Ý s äÐ RÓSÐ Sr ) r r r rW r± r rÑ rÝ r© r r r rë rë ; s& à37ÀØ ,ô\ ð| ò Tð .Ñr rë r! r c óö |t u s|d|t u rd}nd}d| d| d}| d|z dz } t j | t d¬ « |d
|
ur |d ur |||d < d }|t ur ||d < t }|}n |r t d« |r:t j dk\ r t d« t j dt d¬ « dt |« i}
|
t |rdnd¬« } | | |
|
d< t | d|
|
|||¬« } t f| _ | S )Nú2Failing to pass a value for the 'fields' parameterú(Passing `None` as the 'fields' parameterú`z = TypedDict(z, {})`z is deprecated and will be disallowed in Python 3.15. To create a TypedDict class with 0 fields using the functional syntax, pass an empty dictionary, e.g. r rQ ©Ú
|
stacklevelFTrî rï z@TypedDict takes either a dict or keyword arguments, but not bothro z$TypedDict takes no keyword argumentsz§The kwargs-based syntax for TypedDict definitions is deprecated in Python 3.11, will be removed in Python 3.13, and may not be understood by third-party type checkers.r[ é rs r r rì ) Ú_markerÚwarningsÚwarnÚDeprecationWarningrW r§ rf r¤ r rn rë r! rò ) ÚtypenameÚfieldsÚtyping_is_inlinerí rî rï rµ Údeprecated_thingÚexampleÚdeprecation_msgr rä Útds r Ú_create_typeddictr7 å sY ð WÑ ØÑ àHñ !ð $NÐ à( =°° ¸HÐEGà#Ð$ð %Oð Oð ñ ð ñ Oô
|
MM/Ô+=È!Õ LàUÑ" v°TÑ'9¸fÐ>PØ#)xÑ Ø à¤,Ñ.Ø(3}Ñ%Ü * ØFÙ Üð ,ó -ð -á ä× Ñ 7Ò*Ü Ð FÓGÐGÜ MMð;ô #Ø õ ð ¤ f£ Ð .ÜÑ$4q¸!Ô<Ø Ð ð &B|Ñ ä H b¨"°EÀ&Ø(3ô5ä &LÔØ r c ó& e Zd ZefddeddZd Zy)Ú_TypedDictSpecialFormTNrì c ó& t ||fd|||d|¤S )NF©r2 rí rî rï )r7 )r
r0 r1 rí rî rï rµ s r rÑ z _TypedDictSpecialForm.__call__$ s4 ô %ØØðð "'ØØ Ø 'ñ ð ñð r c ó t fS r )Ú
|
_TypedDictrÅ s r rÇ z%_TypedDictSpecialForm.__mro_entries__9 s
|
Ü =Ð r )r r r r, rW rÑ rÇ r r r r9 r9 # s! ð ð ð ØØ$ô ó* !r r9 c ób t |t « s t d« t d|dddt ¬« S )aq A simple typed namespace. At runtime it is equivalent to a plain dict.
|
|
TypedDict creates a dictionary type such that a type checker will expect all
|
instances to have a certain set of keys, where each key is
|
associated with a value of a consistent type. This expectation
|
is not checked at runtime.
|
|
Usage::
|
|
class Point2D(TypedDict):
|
x: int
|
y: int
|
label: str
|
|
a: Point2D = {'x': 1, 'y': 2, 'label': 'good'} # OK
|
b: Point2D = {'z': 3, 'label': 'bad'} # Fails type check
|
|
assert Point2D(x=1, y=2, label='first') == dict(x=1, y=2, label='first')
|
|
The type info can be accessed via the Point2D.__annotations__ dict, and
|
the Point2D.__required_keys__ and Point2D.__optional_keys__ frozensets.
|
TypedDict supports an additional equivalent form::
|
|
Point2D = TypedDict('Point2D', {'x': int, 'y': int, 'label': str})
|
|
By default, all keys must be present in a TypedDict. It is possible
|
to override this by specifying totality::
|
|
class Point2D(TypedDict, total=False):
|
x: int
|
y: int
|
|
This means that a Point2D TypedDict can have any of the keys omitted. A type
|
checker is only expected to support a literal False or True as the value of
|
the total argument. True is the default, and makes all items defined in the
|
class body be required.
|
|
The Required and NotRequired special forms can also be used to mark
|
individual keys as being required or not required::
|
|
class Point2D(TypedDict):
|
x: int # the "x" key must always be present (Required is the default)
|
y: NotRequired[int] # the "y" key can be omitted
|
|
See PEP 655 for more details on Required and NotRequired.
|
z9TypedDict[...] should be used with a single dict argumentz<inline TypedDict>Tr; )r r r§ r7 rW )r
r´ s r r! r! < s@ ôb $¤Ô%ÜØKóð ô !Ø Ø Ø !ØØÜ$ô
|
ð
|
r c ó" t | t « S )a Check if an annotation is a TypedDict class
|
|
For example::
|
class Film(TypedDict):
|
title: str
|
year: int
|
|
is_typeddict(Film) # => True
|
is_typeddict(Union[list, str]) # => False
|
)r Ú_TYPEDDICT_TYPES©r s r r? r? } s ô "Ô .Ó/Ð/r r- c ó | S )aÊ Assert (to the type checker) that the value is of the given type.
|
|
When the type checker encounters a call to assert_type(), it
|
emits an error if the value is not of the specified type::
|
|
def greet(name: str) -> None:
|
assert_type(name, str) # ok
|
assert_type(name, int) # type checker error
|
|
At runtime this returns the first argument unchanged and otherwise
|
does nothing.
|
r )r; Útyps r r- r- s ð
|
r rS c óz t | t j « rt | j « S t | d« r5| j t t t fv rt | j d « S t | t j « r>t d | j D « « }|| j k( r| S | j |« S t t d« rgt | t j « rMt d | j D « « }|| j k( r| S t j | j |« S t t d« rkt | t j « rQt d | j D « « }|| j k( r| S t! j" t$ j& |« S | S )z=Strips Annotated, Required and NotRequired from a given type.r: r c 3 ó2 K | ] }t |« y wr ©Ú _strip_extras©rB Úas r rD z _strip_extras.<locals>.<genexpr>ª ó è ø Ò!G°q¤-°×"2Ñ!Gùó r c 3 ó2 K | ] }t |« y wr rF rH s r rD z _strip_extras.<locals>.<genexpr>¯ rJ rK r c 3 ó2 K | ] }t |« y wr rF rH s r rD z _strip_extras.<locals>.<genexpr>´ rJ rK )r r Ú_AnnotatedAliasrG r: r rT rU rS rö r rø rN r r r rr ÚreduceÚoperatorÚor_)r Ú stripped_argss r rG rG £ sD ä a×/Ñ/Ô 0Ü § ¡ Ó.Ð .Ü 1lÔ #¨¯ © ¼Ä;ÔPXÐ8YÑ(YÜ §¡¨A¡ Ó/Ð /Ü a×-Ñ-Ô .Ü !Ñ!G¸A¿J¹JÔ!GÓ GMØ §
|
¡
|
Ò*ØØ;;}Ó-Ð -Ü 6>Ô *¬z¸!¼V×=PÑ=PÔ/QÜ !Ñ!G¸A¿J¹JÔ!GÓ GMØ §
|
¡
|
Ò*ØÜ×&Ñ& q§|¡|°]ÓCÐ CÜ 6;Ô '¬J°q¼&×:JÑ:JÔ,KÜ !Ñ!G¸A¿J¹JÔ!GÓ GMØ §
|
¡
|
Ò*ØÜ ×#Ñ#¤H§L¡L°-Ó@Ð @àr c óä t j | ||d¬« }t j dk rt | |||« |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, ...]', 'Required[T]' or 'NotRequired[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.
|
T)ÚglobalnsÚlocalnsÚinclude_extrasr¢ )r r< rf r¤ Ú_clean_optionalr rG )rª rT rU rV ÚhintÚkr s r r< r< » sl ô@ ×$Ñ$Ø (¨GÀDô
|
ô × Ñ gÒ %Ü C x°Ô 9Ù ØKØ04·
|
±
|
³ ×=©¨¨1= Ó#Ñ#Ó=Ð=ùÓ=s ÁA,c óf t | t j « sy| j d t uryy)z detects Union[..., None] patternFrZ T)r r Ú_UnionGenericAliasrö Ú _NoneTyper s r Ú_could_be_inserted_optionalr] ç s+ ä!V× 6Ñ 6Ô7Øà ::b>¤Ñ *ØØr c óö |rt | t « ry t j | « }|sy | j }|j « D ]. \ }}t |« r ||vs|| || }|t }t |t « r|`t | t j « r | j }n4| } t | d« r| j } t | d« rt | di « }||}n||}t |t | t j « ¬« }t j |||« }
|
|
|
|k7 sIt t d« sòt |
|
t j" « st |t j" « r*|
|
||< 1 y )NÚ __wrapped__Ú __globals__)Ú is_argumentr )r rý r Ú _get_defaultsr[ r r] r\ r r Ú
|
ModuleTyper^ r r_ r r_ Ú
|
_eval_typer ) rª ÚhintsrT rU r/ Úoriginal_hintsrñ rÔ Úoriginal_valueÚnsobjÚoriginal_evaluateds r rW rW ñ sf ñ
|
3¬Ô-Ø Ü×'Ñ'¨Ó,ÙØ Ø ×,Ñ,Ø ;;=ó ( 1KD%ä/°Ô6ØxÑ'ØD>Ð-àØ +¨DÑ 1Nà Ð%Ü!*ä.¬#Ô.ØÐ#Ü! #¤v×'8Ñ'8Ô9Ø#&§<¡<à #ä % e¨]Ô ;Ø$)×$5Ñ$5Eô & e¨]Õ ;ä#*¨5°-ÀÓ#DØ Ø"*Ø _Ø &Gä!+Ø"Ü$.¨s´F×4EÑ4EÓ$FÐ Fô"ô "(×!2Ñ!2°>À8ÈWÓ!UÐ ð " UÒ*ä Õ,Ü Ð 1´6×3CÑ3CÖDÜ" 5¬&×*:Ñ*:Ö;à 0d ñQ( 1r c ó t | t j « rt S t | t j t
|
j 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 rN r+ Ú_BaseGenericAliasr r r r r: rb rA s r r9 r9 - sa ô b&×0Ñ0Ô 1Ü Ð Ü b6×3Ñ3´V×5HÑ5HÜ(¬/ð;ô <à==Ð Ø Ñ Ü>>Ð !Ør c ób t | t j « r| j g| j ¢S t | t j
|
t j f« rQ| 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 NrZ r )r r rN r: Ú __metadata__r r r rö r9 r rq r[ ÚEllipsisr )r Úress r r8 r8 E s ô b&×0Ñ0Ô 1ØMMÐ4 B§O¡OÑ4Ð 4Ü b6×/Ñ/´×1DÑ1DÐEÔ FØ++CÜ"~¤§ ¡ ×!9Ñ!9Ñ9¸cÀ!¹fÌHÑ>TÜC H~ s¨2¡wÐ/ØJØr rJ c ó t | d« )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.
|
ú is not subscriptablerÄ rß s r rJ rJ _ s ô 4&Ð 5Ð6Ó7Ð7r c ó( fd| _ | _ y )Nc ó t uS r )rV ©rm s r ú<lambda>z _set_default.<locals>.<lambda>o s ø W´IÐ%= r )Ú has_defaultÚ __default__)Ú
|
type_paramrm s `r Ú _set_defaultry n s ø Û =JÔØ $JÕr c ó6 t d¬« }|dk7 r|| _ y y )NrQ rs rU )rn r )Ú typevarlikeÚdef_mods r Ú _set_moduler} s s" äAÔ GØÐ%Ò%Ø!( Õ ð &r c ó e Zd ZdZdZeZy)Ú _DefaultMixinz Mixin for TypeVarLike defaults.r N)r r r r¶ râ ry r¾ r r r r r z s Ù)àIØHr r c ó e Zd ZdedefdZy)Ú_TypeVarLikeMetaÚ_TypeVarLikeMeta__instancer c ó. t || j « S r )r Ú_backported_typevarlike)r³ r s r r© z"_TypeVarLikeMeta.__instancecheck__ s Ü* c×&AÑ&AÓBÐBr N)r r r r Úboolr© r r r r r s ðC¨3ð C°4ô Cr r )r c óD e Zd ZdZej
|
ZdddedddZddZ y)r zType variable.NF)Úboundr r¡ rm Úinfer_variancec ó t t d« r t j |g|¢||||d n3t j |g|¢|||d |r|s|r t d« | _ t |« t « fd}| _ S )NrK ©r r r¡ r ©r r r¡ z1Variance cannot be specified with infer_variance.c ó j « r7| j j « t |« k( r|j fz }|S r )rv Ú__parameters__Úindexr rw )Úaliasr´ Útypevars r Ú_tvar_prepare_substz,TypeVar.__new__.<locals>._tvar_prepare_subst¢ sD ø à×'Ñ'Ô)Ø ×,Ñ,×2Ñ2°7Ó;¼sÀ4»yÒHàW× 0Ñ 0Ð 2Ñ2DØ r )r r r rk Ú__infer_variance__ry r} Ú__typing_prepare_subst__)
|
r³ rñ r r r¡ rm r Ú constraintsr r s
|
@r r± zTypeVar.__new__ s¢ ø ô vÔ/ä ..¨ð H° ñ HÀ5Ø3<ÈMØ8FòHô !..¨ð [° ñ [À5Ø3<ÈMò[á!¡y±MÜ$Ð%XÓYÐYØ-;Ô*ä 'Ô *Ü Ô ô ð 0CGÔ ,ØNr c ó( t dt d« )Nútype 'z(.TypeVar' is not an acceptable base typerÓ rî s r r zTypeVar.__init_subclass__ s Üf¤X JÐ.VÐ WÓXÐ Xr ©r N)
|
r r r r¶ r r r rV r± r r r r r r s' Ù à"(§.¡.Ð à37Ø #°5Ø %°eô ô: Yr r r c ó e Zd ZdZdZd Zd Zy)Ú
|
_Immutablez3Mixin to indicate that object should not be copied.r c ó | S r r r s r Ú__copy__z_Immutable.__copy__» ó ØKr c ó | S r r )r
Úmemos r Ú __deepcopy__z_Immutable.__deepcopy__¾ r r N)r r r r¶ râ r r r r r r r · s ÙAØ ò ó r r c ó" e Zd ZdZd Zd 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 r ©r: ©r
r2 s r r¾ zParamSpecArgs.__init__Í ó Ø $DOr c ó4 | j j dS )Nz.args©r: r r s r r zParamSpecArgs.__repr__Ð s Øoo×.Ñ.Ð/¨uÐ5Ð 5r c ó` t |t « st S | j |j k( S r )r r r r: rÔ s r r zParamSpecArgs.__eq__Ó s' Ü e¤]Ô3Ü%Ð%Ø?? e×&6Ñ&6Ñ6Ð 6r N©r r r r¶ r¾ r r r r r r r Á s ñ
|
ò %ò 6ó 7r c ó" e Zd ZdZd Zd 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 r r¢ r£ s r r¾ zParamSpecKwargs.__init__ä r¤ r c ó4 | j j dS )Nz.kwargsr¦ r s r r zParamSpecKwargs.__repr__ç s Øoo×.Ñ.Ð/¨wÐ7Ð 7r c ó` t |t « st S | j |j k( S r )r r r r: rÔ s r r zParamSpecKwargs.__eq__ê s' Ü e¤_Ô5Ü%Ð%Ø?? e×&6Ñ&6Ñ6Ð 6r Nr¨ r r r r r Ø s ñ
|
ò %ò 8ó 7r r )r r c óD e Zd ZdZej
|
ZddddeddZddZ y)r zParameter specification.NF©r r r¡ r rm c óä t t d« rt j |||||¬« n t j ||||¬« |_ t |« t « fd}|_ S )NrK r r c ó | j }|j « }|t |« k( r j « rg |¢j }|t |« k\ rt d| « t |« dk( r$t j |d « s |dk( sJ |f}|S t || t « r g |d | ¢t || « ||dz d ¢}|S )NúToo few arguments for rò r ) r r r rv rw r§ r Ú_is_param_exprr r rø )r r´ rù ÚiÚ paramspecs r Ú_paramspec_prepare_substz3ParamSpec.__new__.<locals>._paramspec_prepare_subst sÜ ø Ø ×-Ñ-ØLL Ó+ØD > i×&;Ñ&;Ô&=Ø9TÐ9 9×#8Ñ#8Ð9DØD >Ü#Ð&<¸U¸GÐ$DÓEÐEäv; !Ò#¬F×,AÑ,AÀ$ÀqÁ'Ô,JØ 6M6Ø 7Dð ô Q¡¬Ô.ØET " 1XÐE¤u¨T°!©W£~ÐE¸¸QÀ¹U¸V¸ ÑEDØ r )r r r r ry r} r ) r³ rñ r r r¡ r rm rµ r´ s @r r± zParamSpec.__new__ü s| ø ô vÔ/ä "× ,Ñ ,¨T¸Ø7@Ø;HØ<Jô L ô
|
#× ,Ñ ,¨T¸Ø7@Ø;Hô J ð 0> Ô,ä GÔ ,Ü Ô "ô ð 2JIÔ .Ø Ð r c ó( t dt d« )Nr z*.ParamSpec' is not an acceptable base typerÓ rî s r r zParamSpec.__init_subclass__! s Üf¤X JÐ.XÐ YÓZÐ Zr r )
|
r r r r¶ r r r rV r± r r r r r r ÷ s* Ù&à"(×"2Ñ"2Ð à(,Ø #°5Ø#(°)ô# ôJ [r c óz e Zd ZdZej
|
Zed « Zed « Z dddde
|
ddZ d Z d Z d
|
Zd Zd Zy) 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 r )r r s r r´ zParamSpec.argsZ s ä Ó&Ð &r c ó t | « S r )r r s r rµ zParamSpec.kwargs^ s ä" 4Ó(Ð (r NFr® c óD t j | | g« || _ t |« | _ t |« | _ t |« | _ |r t j |d« | _ nd | _ t j | |« t « }|dk7 r|| _ y y )NzBound must be a type.rU ) r r¾ r r
Ú __covariant__Ú__contravariant__r r r@ Ú __bound__r rn r )r
rñ r r r¡ r rm r| s r r¾ zParamSpec.__init__b s ä MM$ Ô 'Ø DMÜ!% i£ DÔ Ü%)¨-Ó%8DÔ "Ü&*¨>Ó&:DÔ #ÙÜ!'×!3Ñ!3°EÐ;RÓ!Sà!%Ü × "Ñ " 4¨Ô 1ô iGØÐ-Ò-Ø")ð .r c ó~ | j rd}n | j rd}n| j rd}nd}|| j z S )NÚ ú+ú-ú~)r r» r¼ r )r
Úprefixs r r zParamSpec.__repr__t s@ Ø×&Ò&ØØ×#Ò#Ø Ø×'Ò'Ø à ØDMMÑ)Ð )r c ó, t j | « S r ©r7 r r s r r zParamSpec.__hash__ ó Ü?? 4Ó(Ð (r c ó
|
| |u S r r rÔ s r r zParamSpec.__eq__ ó Ø5=Ð r c ó | j S r ©r r s r rÌ zParamSpec.__reduce__
ó Ø==Ð r c ó y r r rw s r rÑ zParamSpec.__call__ ó Ø r )r r r r¶ r r r« Úpropertyr´ rµ rV r¾ r r r rÌ rÑ r r r r r ( se ñ, ð^ NN à ñ 'ó
|
ð 'ð
|
ñ )ó
|
ð )ð +/¸%ÈuØ$)°9ô *ò$ *ò )ò !ò !ó r r Ú _type_convert)Úallow_special_formsc óØ | t d« S t | t « rLt j dk r t | « S t j dk r t | |¬« S t | ||¬« S | S )z=For converting None to type(None), and strings to ForwardRef.N)r é é )r rÒ é r÷ )rä Úis_class)rý r r rf r¤ r_ )r{ rä rÐ s r rÏ rÏ sc à{ÜDzÐ!Ü#sÔ#Ü×#Ñ# yÒ0Ü% c?Ð*Ü×#Ñ# yÒ0Ü% c°&Ô9Ð9Ü! #¨fÐ?RÔSÐSØJr c ód e Zd Zej Z fdZd Zd Zd Z e
|
d « Z d Z d Z xZS )Ú_ConcatenateGenericAliasc ó@ t | |« || _ || _ y r )r¨ r¾ r: rö )r
r2 r´ r« s r r¾ z!_ConcatenateGenericAlias.__init__¦ s ø Ü GÑ TÔ "Ø $DOØ DMr c ó t j | j « ddj fd| j D « « dS )Nú[ú, c 3 ó. K | ] } |« y wr r )rB r{ Ú
|
_type_reprs r rD z4_ConcatenateGenericAlias.__repr__.<locals>.<genexpr>® s øè ø Ò!K°c¡*¨S§/Ñ!Kùs ú])r rÝ r: Újoinrö )r
rÝ s @r r z!_ConcatenateGenericAlias.__repr__« sF ø Ü ×*Ñ*JÙ! $§/¡/Ó2Ð3Ø Ó!K¸T¿]¹]Ô!KÓKÐLÈAðOð Pr c óD t | j | j f« S r )r r: rö r s r r z!_ConcatenateGenericAlias.__hash__° s Ü ¨$¯-©-Ð8Ó9Ð 9r c ó y r r rw s r rÑ z!_ConcatenateGenericAlias.__call__´ rÍ r c ó: t d | j D « « S )Nc 3 ób K | ]' }t |t j t f« s$| ) y wr )r r r r )rB r s r rD z:_ConcatenateGenericAlias.__parameters__.<locals>.<genexpr>¹ s' è ø ò جj¸¼f¿n¹nÌiÐ=XÕ.Yñùs %/¨/)rø rö r s r r z'_ConcatenateGenericAlias.__parameters__· s äñ Ø !]]ôó ð r c ó& t |d t « rg |d d ¢|d j ¢}nKt |d t t f« r g |d d ¢|d ¢S |d du s t |d t
|
« s t d« | j | j |« S ©NrZ .úMThe last parameter to Concatenate should be a ParamSpec variable or ellipsis.) r r× rö r rø r r§ r« r: ©r
rù s r rN z"_ConcatenateGenericAlias.copy_with¾ s Ü& *Ô&>Ô?Ø=6 # 2;Ð=¨°©×)<Ñ)<Ñ=ÜF 2J¬¬u¨ Ô6Ø2 Ð2 v¨b¡zÑ2Ð2Ø bz SÑ(¬J°v¸b±zÄ9Ô,MÜ ð !:ó ;ð ;à>> $§/¡/°6Ó:Ð :r c
|
ó4 | j t t fv rt d| « | j st | d« t |t « s|f}t d |D « }| j }|D ]û }t |dd « }|
|
|| |« } t |t « s-|j |« }|t |« k( r't |dt « t urg |¢|j }|t |« k\ rt d| « t |« dk( rt |d « s |dk( sJ |f}¶t || t « sÊt || t « rÞg |d | ¢t || « ||dz d ¢}ý t |« }t |« }||k7 r t d ||kD rd
|
nd d | d | d| « t# t% | j |« « g }| j& D ]& } t | t( « r|j+ | « &t | t, « ro | } t | t. j0 « r t3 | « s7t5 t6 d« r¦t | t6 j8 « rt | dd« rt | d« t | t5 t6 d« st. j0 n t. j0 t6 j8 f« r'| j }
|
|
|
rt fd|
|
D « « } | | } |j+ | « ) | j; t |« « S )Nz%Cannot subscript already-subscripted rG c 3 ó2 K | ] }t |« y wr )rÏ ©rB rú s r rD z7_ConcatenateGenericAlias.__getitem__.<locals>.<genexpr>Ò s è ø Ò!A°q¤-°×"2Ñ!AùrK r rw r± rò r rH rI rJ rK rL rM r Ú __unpacked__Fz is not valid as type argumentc 3 ó( K | ] }| y wr r )rB ÚxÚsubsts r rD z7_ConcatenateGenericAlias.__getitem__.<locals>.<genexpr> s øè ø Ò'D°Q¨¨aÑ'Dùs ) r: rb rD r§ r r rø Ú _unpack_argsr r r r rV rw r² r r× r Úziprö rý r÷ r r r Ú
|
_is_unpackr r r rN ) r
r´ rù ÚparamÚpreparer³ ÚalenÚplenÚnew_argsr{ Ú subparamsÚsubargsrî s @r rá z$_ConcatenateGenericAlias.__getitem__É sû ø ؤ7¬HÐ"5Ñ5ä Ð"GÈÀvÐ NÓOÐOØ×&Ò&Ü 4 &Ð(?Ð @ÓAÐAä d¤EÔ*Ø wÜ Ñ!A¸DÔ!AÐBDØ×(Ñ(FØ ò JÜ! %Ð)CÀTÓJØÐ&Ù" 4¨Ó.Dä ¤yÕ1Ø UÓ+AàS YÜ # E¨=¼)Ó DÌIÑ Uà 9 Ð 9 u×'8Ñ'8Ð 9ØC I~Ü 'Ð*@ÀÀÐ(GÓ HÐHä6{ aÒ'´¸tÀA¹wÔ0GØ Av vØ $wä" 4¨¡7¬DÕ1ô !+¨4°©7Ô4LÕ Mà I b q Ð I¬5°°a±«>Ð I¸DÀÀQÁÀ¸LÑ Ið1 Jô4 t9DÜv;DØt|Ü Ø T¨D¢[6°eÐ<¸OÈDÈ6ð R Ø #f K°¨vð7óð ô
|
T× 0Ñ 0°$Ó7Ó8EàHØ}}ó %Ü c¤4Ô(Ø OO CÔ(Ø Ü c¤7Ô+Ø *Cä# C¬×)=Ñ)=Ô>Ä:ÈcÄ?ä #¤F¨NÔ ;Ü *¨3´×0CÑ0CÔ DÜ '¨¨^¸UÔ Cô (¨3¨%Ð/MÐ(NÓ OÐOä ä"¤6¨>Ô:ô ×(Ò(ä×)Ñ)¬6×+>Ñ+>Ð?ôð
|
!$× 2Ñ 2IÙ Ü"'Ó'D¸)Ô'DÓ"DØ ! 'lØ Ö$ð3 %ð4 >>¤%¨£/Ó2Ð 2r )r r r r r r« r¾ r r rÑ rÎ r rN rá r r® s @r r× r× ¡ sD ø ð ×(Ñ( ô !ò
|
Pò
|
:ò ð
|
ñ ó
|
ð ò ;öJ 3r r× c ó, e Zd ZdZ fdZ fdZ xZS )r× r c ó> t |d t t f« r g |d d ¢|d ¢S t |d t j « rg |d d ¢|d j
|
¢}n%|d du s t |d t « s t d« t t j | ' |« S rå )
|
r r rø r r× rö r r§ r¨ rN )r
rù r« s r rN z"_ConcatenateGenericAlias.copy_with s¥ ø Ü f Rj¬4´¨-Ô8Ø6V C R[Ð6¨6°"©:Ñ6Ð6Ü f Rj¬&×*IÑ*IÔJØ Av c r{Ð A¨V°B©Z×-@Ñ-@Ñ AFØ *¨Ñ+¬z¸&À¹*ÄiÔ/PÜ#ð %>ó ?ð ?ä V× <Ñ <¸dÑMÈfÓUÐUr c ó t | |« }t |t « r*t d |D « « rt t d |D « « S |S )Nc 3 ó2 K | ] }t |« y wr )rñ )rB r s r rD z7_ConcatenateGenericAlias.__getitem__.<locals>.<genexpr>, s è ø Ò3QÀa´J¸q·MÑ3QùrK c 3 ó K | ] }| y wr r )rB r s r rD z7_ConcatenateGenericAlias.__getitem__.<locals>.<genexpr>- s è ø Ò/A°a´Ñ/Aùs )r¨ rá r rø r rï )r
r´ rÔ r« s r rá z$_ConcatenateGenericAlias.__getitem__* sD ø Ü Ñ+¨DÓ1Ü e¤UÔ+´Ñ3QÈ5Ô3QÔ0QÜ ¤ Ñ/A¸5Ô/AÐ!BÓCÐCØ r )r r r rN rá r r® s @r r× r× s ø à!Jô V÷ ð r c ó e Zd Zy)Ú_EllipsisDummyN)r r r r r r rÿ rÿ 2 s
r rÿ c ó |d du r!t j dk rg |d d ¢t }t j dk\ rt | |t t
|
fd¬« }n t | |« }|d t ur|S t d |j D « « |_ t j dk r|S t d |j D « « |_ |S )
|
NrZ .)r rÒ rQ )r r r T)Ú_typevar_typesÚ_paramspec_tvarsc 3 ó4 K | ] }|t ur|nd yw).N©rÿ rê s r rD z,_create_concatenate_alias.<locals>.<genexpr>C s& è ø ò !CØ()ð '(¬~Ñ&=¡À3Ó!Fñ !Cùs r c 3 ó0 K | ] }|t ur| y wr r rê s r rD z,_create_concatenate_alias.<locals>.<genexpr>H s! è ø ò 'D¨QØ+,´NÑ+Bô ()ñ 'Dùs ) rf r¤ rÿ r× r r rø rö r )r2 rà Ú concatenates r Ú_create_concatenate_aliasr 6 sÖ Ø"~Ñ ¤×!1Ñ!1°IÒ!=à7z # 2Ð7¬Ñ7
|
Ü
|
×Ñ:Ò%Ü.¨v°zÜ8?ÄÐ7KØ9=ô? ô /¨v°zÓB Ø"~^Ñ+ØÐä ñ !CØ-8×-AÑ-Aô!Có CKÔä
|
×Ñ'Ò!àÐÜ!&ñ 'D°+×2LÑ2Lô 'Dó "DKÔ à Ðr c óÜ |dk( r t d« t |t « s|f}|d du s t |d t « s t d« dg fd|d d D « ¢|d }t | |« S )Nr z&Cannot take a Concatenate of no types.rZ .ræ z/Concatenate[arg, ...]: each arg must be a type.c 3 óJ K | ] }t j |« y wr r? rA s r rD z'_concatenate_getitem.<locals>.<genexpr>X s øè ø ÒH°1F×&Ñ& q¨#×.ÑHùrE )r§ r rø r r )r
rà rC s @r Ú_concatenate_getitemr
|
N s ø àRÒÜÐ@ÓAÐAÜ j¤%Ô (Ø ]
|
Ø rNcÑ !¤Z°
|
¸2±Ä Ô%JÜð :ó ;ð ;à
|
;Cð$ÓH¸
|
À3ÀB¸ÔHð $Ø rNñ$Jä $ T¨:Ó 6Ð6r c ó t | |« S )a& 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.
|
)r
|
rß s r r r c s ô $ D¨*Ó5Ð5r rM c ób t j || d« }t j | |f« S )a 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).
|
ú accepts only a single type.©r r@ r ©r
rà rÁ s r rM rM w s4 ôX ×!Ñ! *°°Ð6RÐ.SÓTÜ×#Ñ# D¨4¨'Ó2Ð2r rN c ób t j || d« }t j | |f« S )aw Special typing form used to annotate the return type of a user-defined
|
type narrower function. ``TypeIs`` only accepts a single type argument.
|
At runtime, functions marked this way should return a boolean.
|
|
``TypeIs`` 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 ``TypeIs[...]`` as its
|
return type to alert static type checkers to this intention.
|
|
Using ``-> TypeIs`` 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 intersection of the type inside ``TypeIs`` and the argument's
|
previously known type.
|
|
For example::
|
|
def is_awaitable(val: object) -> TypeIs[Awaitable[Any]]:
|
return hasattr(val, '__await__')
|
|
def f(val: Union[int, Awaitable[int]]) -> int:
|
if is_awaitable(val):
|
assert_type(val, Awaitable[int])
|
else:
|
assert_type(val, int)
|
|
``TypeIs`` also works with type variables. For more information, see
|
PEP 742 (Narrowing types with TypeIs).
|
r r r s r rN rN ¬ s4 ôL ×!Ñ! *°°Ð6RÐ.SÓTÜ×#Ñ# D¨4¨'Ó2Ð2r rL c ó e Zd Zd Zy)Ú _TypeFormFormc ó |S r r rÚ s r rÑ z_TypeFormForm.__call__Þ ó ØJr N)r r r rÑ r r r r r Û s ó r r c ób t j || d« }t j | |f« S )aÕ A special form representing the value that results from the evaluation
|
of a type expression. This value encodes the information supplied in the
|
type expression, and it represents the type described by that type expression.
|
|
When used in a type expression, TypeForm describes a set of type form objects.
|
It accepts a single type argument, which must be a valid type expression.
|
``TypeForm[T]`` describes the set of all type form objects that represent
|
the type T or types that are assignable to T.
|
|
Usage:
|
|
def cast[T](typ: TypeForm[T], value: Any) -> T: ...
|
|
reveal_type(cast(int, "x")) # int
|
|
See PEP 747 for more information.
|
r r r s r rL rL á s3 ô& ×!Ñ! *°°Ð6RÐ.SÓTÜ×#Ñ# D¨4¨'Ó2Ð2r r
|
c ó t | d« )aD Represents an arbitrary literal string.
|
|
Example::
|
|
from typing_extensions import LiteralString
|
|
def query(sql: LiteralString) -> ...:
|
...
|
|
query("SELECT * FROM table") # ok
|
query(f"SELECT * FROM {input()}") # not ok
|
|
See PEP 675 for details.
|
|
rq rÄ rç s r r
|
r
|
ý s ô" 4&Ð 5Ð6Ó7Ð7r r c ó t | d« )zòUsed to spell the type of "self" in classes.
|
|
Example::
|
|
from typing import Self
|
|
class ReturnsSelf:
|
def parse(self, data: bytes) -> Self:
|
...
|
return self
|
|
rq rÄ rç s r r r s ô 4&Ð 5Ð6Ó7Ð7r rQ c ó t | d« )a¬ The bottom type, a type that has no members.
|
|
This can be used to define a function that should never be
|
called, or a function that never returns::
|
|
from typing_extensions import Never
|
|
def never_call_me(arg: Never) -> None:
|
pass
|
|
def int_or_str(arg: int | str) -> None:
|
never_call_me(arg) # type checker error
|
match arg:
|
case int():
|
print("It's an int")
|
case str():
|
print("It's a str")
|
case _:
|
never_call_me(arg) # ok, arg is of type Never
|
|
rq rÄ rç s r rQ rQ ) s ô0 4&Ð 5Ð6Ó7Ð7r rT c óv t j || j d« }t j | |f« S )aê 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.
|
r ©r r@ rº r r s r rT rT H s7 ô" ×!Ñ! *°·±° Ð<XÐ.YÓZÜ×#Ñ# D¨4¨'Ó2Ð2r c óv t j || j d« }t j | |f« S )a` A special typing construct to mark a key of a TypedDict as
|
potentially missing. For example:
|
|
class Movie(TypedDict):
|
title: str
|
year: NotRequired[int]
|
|
m = Movie(
|
title='The Matrix', # typechecker error if key is omitted
|
year=1999,
|
)
|
r r r s r rU rU \ s7 ô ×!Ñ! *°·±° Ð<XÐ.YÓZÜ×#Ñ# D¨4¨'Ó2Ð2r c óv t j || j d« }t j | |f« S )a A special typing construct to mark an item of a TypedDict as read-only.
|
|
For example:
|
|
class Movie(TypedDict):
|
title: ReadOnly[str]
|
year: int
|
|
def mutate_movie(m: Movie) -> None:
|
m["year"] = 1992 # allowed
|
m["title"] = "The Matrix" # typechecker error
|
|
There is no runtime checking for this property.
|
r r r s r rS rS q s7 ô ×!Ñ! *°·±° Ð<XÐ.YÓZÜ×#Ñ# D¨4¨'Ó2Ð2r aÜ Type unpack operator.
|
|
The type unpack operator takes the child types from some container type,
|
such as `tuple[int, str]` or a `TypeVarTuple`, and 'pulls them out'. For
|
example:
|
|
# For some generic class `Foo`:
|
Foo[Unpack[tuple[int, str]]] # Equivalent to Foo[int, str]
|
|
Ts = TypeVarTuple('Ts')
|
# Specifies that `Bar` is generic in an arbitrary number of types.
|
# (Think of `Ts` as a tuple of an arbitrary number of individual
|
# `TypeVar`s, which the `Unpack` is 'pulling out' directly into the
|
# `Generic[]`.)
|
class Bar(Generic[Unpack[Ts]]): ...
|
Bar[int] # Valid
|
Bar[int, str] # Also valid
|
|
From Python 3.11, this can also be done using the `*` operator:
|
|
Foo[*tuple[int, str]]
|
class Bar(Generic[*Ts]): ...
|
|
The operator can also be used along with a `TypedDict` to annotate
|
`**kwargs` in a function signature. For instance:
|
|
class Movie(TypedDict):
|
name: str
|
year: int
|
|
# This function expects two keyword arguments - *name* of type `str` and
|
# *year* of type `int`.
|
def foo(**kwargs: Unpack[Movie]): ...
|
|
Note that there is only some runtime checking of this operator. Not
|
everything the runtime allows may be accepted by static type checkers.
|
|
For more information, see PEP 646 and PEP 692.
|
c ó$ t | « t u S r )r9 r ©rª s r rñ rñ ´ s Ü#¤&Ð(Ð(r c ó e Zd Z fdZ xZS )Ú_UnpackSpecialFormc ó: t | |« t | _ y r )r¨ r¾ Ú _UNPACK_DOCr¶ )r
r½ r« s r r¾ z_UnpackSpecialForm.__init__¹ s ø Ü GÑ WÔ %Ü&DLr )r r r r¾ r r® s @r r r ¸ s ø ÷ 'ð 'r r c ót e Zd Zej dk r ej Zed « Z ed « Z
|
fdZ xZ S )Ú _UnpackAliasr¢ c ó" | j t u sJ t | j « dk( sJ | j \ }t |t
|
j t j f« r)|j t ur t d« |j S y )Nrò z*Unpack[...] must be used with a tuple type) r: r r rö r r r r r rø r§ )r
r{ s r Ú __typing_unpacked_tuple_args__z+_UnpackAlias.__typing_unpacked_tuple_args__ sv à??¤fÑ,Ð ,Ð,Üt}}Ó%¨Ò*Ð *Ð*Ø==DCÜ#¤× 4Ñ 4´f×6IÑ6IÐ JÔKØ>>¬Ñ.Ü#Ð$PÓQÐQØ||Ð#Ør c ó | j t u sJ t | j « dk( sJ t | j d t
|
« S )Nrò r )r: r r rö r r r s r Ú#__typing_is_unpacked_typevartuple__z0_UnpackAlias.__typing_is_unpacked_typevartuple__Í sA à??¤fÑ,Ð ,Ð,Üt}}Ó%¨Ò*Ð *Ð*Ü dmm¨AÑ .´ Ó=Ð =r c ó> | j r|S t | |« S r )r( r¨ rá )r
r´ r« s r rá z_UnpackAlias.__getitem__Ó s! ø Ø×7Ò7Ø Ü7Ñ& tÓ,Ð ,r ) r r r rf r¤ r r r« rÎ r& r( rá r r® s @r r$ r$ ½ sJ ø Ø × Ñ gÒ %à Ià ñ ó
|
ð ð
|
ñ >ó
|
ð >÷
|
-ð -r r$ c ób t j || j d« }t | |f« S )Nr )r r@ rº r$ r s r r r Ø s/ ä×!Ñ! *°·±° Ð<XÐ.YÓZÜD 4 'Ó*Ð*r c ó" t | t « S r )r r$ r s r rñ rñ Ý s Ü#|Ó,Ð,r c ó g }| D ]= }t |dd « }||r|d du s|j |« -|j |« ? |S )Nr& rZ .)r rõ r÷ )r´ Únewargsr{ rø s r rï rï á sW ØGØò Ü#Ð ?ÀÓFØ Ð ©°W¸R±[ÀCÑ5GØ NN7Õ #à NN3Õ ð ð Nr )r r c ó: e Zd ZdZej
|
ZeddZd Z y)r zType variable tuple.rt c óx t j |« t |« t « fd}|_ S )Nc óà | j }|j « }||dz d D ] }t |t « st d| « t |« }t |« }|}||z
|
dz
|
}d } d }
|
t |« D ]Q \ } } t | t « rt | dd « } | s't | « dk( s6| d du s>| t d« | } | d }
|
S | t || « }t ||| z
|
dz
|
« }n ||z |kD rt d | d
|
| d |dz
|
« |||z
|
k( r&j « rt j « }n||||z
|
}g |d | ¢|
|
g||z
|
z ¢||
|
g||z
|
|z
|
|z
|
dz
|
z ¢|||z
|
d ¢S ) Nrò z(More than one TypeVarTuple parameter in r& rQ rZ .z6More than one unpacked arbitrary-length tuple argumentr r± rL z, expected at least ) r r r r r§ r Ú enumeraterý r Úminrv rï rw )r r´ rù Útypevartuple_indexrò rô rõ ÚleftÚrightÚvar_tuple_indexÚfillargrY r{ rø Ú replacementÚtvts r Ú_typevartuple_prepare_substz9TypeVarTuple.__new__.<locals>._typevartuple_prepare_substü s ø Ø ×-Ñ-Ø%+§\¡\°#Ó%6Ð"Ø #Ð$6¸Ñ$:Ð$;Ð <ò EÜ! %¬ Õ6Ü 'Ø FÀuÀgÐ Nó ð ðô 4yÜ6{Ø)Ø Ð 1Ñ1°AÑ5Ø"&Ø Ü '¨oò
|
1FAsÜ% c¬4Õ0Ü")¨#Ð/OÐQUÓ"VÚ"¤s¨7£|°qÓ'8¸WÀR¹[ÈCÒ=OØ .Ð :Ü&/ð%Fó'"ð !"ð /0OØ&-¨a¡jGð
|
1ð #Ð.Ü t _Ó5DÜ t¨oÑ'=ÀÑ'AÓ BEØE\ DÒ(Ü#Ð&<¸U¸Gð D/Ø/3¨fÐ4HÈÐPQÉÈ
|
ð%Tó Uð Uà4 %<Ò'¨C¯O©OÔ,=Ü".¨s¯©Ó"?Kà"& t¨T°E©\Ð":KðØ%4[ðà iÐ#5¸Ñ#<Ñ=ðð ðð i 4¨%¡<°$Ñ#6Ð9KÑ#KÈaÑ#OÑPð ð
|
$ ,-Ð(ñ ð r )r r ry r} r )r³ rñ rm r: r9 s @r r± zTypeVarTuple.__new__÷ s; ø Ü×%Ñ% dÓ+CÜ gÔ &Ü Ô ô+ ðZ ,GCÔ (ØJr c ó t d« )Nú&Cannot subclass special typing classesrÄ rÏ s r r z TypeVarTuple.__init_subclass__,
|
s ÜÐ DÓEÐ Er N)
|
r r r r¶ r r r rV r± r r r r r r ò s Ù"à"(×"5Ñ"5Ð à*3ô 3 ój Fr c óX e Zd ZdZej
|
Zd ZeddZ d Z
|
d Z d Z d Z d Zy
|
) r aÅ Type variable tuple.
|
|
Usage::
|
|
Ts = TypeVarTuple('Ts')
|
|
In the same way that a normal type variable is a stand-in for a single
|
type such as ``int``, a type variable *tuple* is a stand-in for a *tuple*
|
type such as ``Tuple[int, str]``.
|
|
Type variable tuples can be used in ``Generic`` declarations.
|
Consider the following example::
|
|
class Array(Generic[*Ts]): ...
|
|
The ``Ts`` type variable tuple here behaves like ``tuple[T1, T2]``,
|
where ``T1`` and ``T2`` are type variables. To use these type variables
|
as type parameters of ``Array``, we must *unpack* the type variable tuple using
|
the star operator: ``*Ts``. The signature of ``Array`` then behaves
|
as if we had simply written ``class Array(Generic[T1, T2]): ...``.
|
In contrast to ``Generic[T1, T2]``, however, ``Generic[*Shape]`` allows
|
us to parameterise the class with an *arbitrary* number of type parameters.
|
|
Type variable tuples can be used anywhere a normal ``TypeVar`` can.
|
This includes class definitions, as shown above, as well as function
|
signatures and variable annotations::
|
|
class Array(Generic[*Ts]):
|
|
def __init__(self, shape: Tuple[*Ts]):
|
self._shape: Tuple[*Ts] = shape
|
|
def get_shape(self) -> Tuple[*Ts]:
|
return self._shape
|
|
shape = (Height(480), Width(640))
|
x: Array[Height, Width] = Array(shape)
|
y = abs(x) # Inferred type is Array[Height, Width]
|
z = x + x # ... is Array[Height, Width]
|
x.get_shape() # ... is tuple[Height, Width]
|
|
c # ó( K | j y wr )rë r s r Ú__iter__zTypeVarTuple.__iter___
|
s è ø Ø×#Ñ#Ó #ùs rt c ó || _ t j | |« t « }|dk7 r|| _ t
|
| | _ y )NrU )r r r¾ rn r r rë )r
rñ rm r| s r r¾ zTypeVarTuple.__init__b
|
s> Ø DMÜ × "Ñ " 4¨Ô 1ô iGØÐ-Ò-Ø")ä & t¡ DÕ r c ó | j S r rÊ r s r r zTypeVarTuple.__repr__m
|
rË r c ó, t j | « S r rÅ r s r r zTypeVarTuple.__hash__p
|
rÆ r c ó
|
| |u S r r rÔ s r r zTypeVarTuple.__eq__s
|
rÈ r c ó | j S r rÊ r s r rÌ zTypeVarTuple.__reduce__v
|
rË r c ó" d|vr t d« y )Nrä r< rÄ rÏ s r r z TypeVarTuple.__init_subclass__y
|
s ØdÑ"Ü Ð HÓIÐIð #r N)r r r r¶ r r r« r? rV r¾ r r r rÌ r r r r r r 0
|
s< ñ) ðX NN ò $ð -6ô -ò !ò )ò !ò !ó Jr rF rª r c óh t dt | « j t j ¬« | S )aç Reveal the inferred type of a variable.
|
|
When a static type checker encounters a call to ``reveal_type()``,
|
it will emit the inferred type of the argument::
|
|
x: int = 1
|
reveal_type(x)
|
|
Running a static type checker (e.g., ``mypy``) on this example
|
will produce output similar to 'Revealed type is "builtins.int"'.
|
|
At runtime, the function prints the runtime type of the
|
argument and returns it unchanged.
|
|
zRuntime type is )Úfile)Úprintrý r rf Ústderrr s r rF rF
|
s* ô Ð ¤ c£×!3Ñ!3Ð 6Ð7¼c¿j¹jÕIØ
|
r Ú _ASSERT_NEVER_REPR_MAX_LENGTHéd r, r{ c óp t | « }t |« t kD r |dt dz }t d| « )a1 Assert to the type checker that a line of code is unreachable.
|
|
Example::
|
|
def int_or_str(arg: int | str) -> None:
|
match arg:
|
case int():
|
print("It's an int")
|
case str():
|
print("It's a str")
|
case _:
|
assert_never(arg)
|
|
If a type checker finds that a call to assert_never() is
|
reachable, it will emit an error.
|
|
At runtime, this throws an exception when called.
|
|
Nú...z*Expected code to be unreachable, but got: )Úreprr rJ ÚAssertionError)r{ rÔ s r r, r,
|
s@ ô( S Ü u:Ô5Ò 5ØÐ8Ô8Ð9¸EÑAEÜ Ð IÈ%ÈÐ QÓRÐRr )Ú
|
eq_defaultÚ order_defaultÚkw_only_defaultÚfrozen_defaultÚfield_specifiersrP rQ rR rS rT .rµ c ó& fd}|S )a¥ Decorator that marks a function, class, or metaclass as providing
|
dataclass-like behavior.
|
|
Example:
|
|
from typing_extensions import dataclass_transform
|
|
_T = TypeVar("_T")
|
|
# Used on a decorator function
|
@dataclass_transform()
|
def create_model(cls: type[_T]) -> type[_T]:
|
...
|
return cls
|
|
@create_model
|
class CustomerModel:
|
id: int
|
name: str
|
|
# Used on a base class
|
@dataclass_transform()
|
class ModelBase: ...
|
|
class CustomerModel(ModelBase):
|
id: int
|
name: str
|
|
# Used on a metaclass
|
@dataclass_transform()
|
class ModelMeta(type): ...
|
|
class ModelBase(metaclass=ModelMeta): ...
|
|
class CustomerModel(ModelBase):
|
id: int
|
name: str
|
|
Each of the ``CustomerModel`` classes defined in this example will now
|
behave similarly to a dataclass created with the ``@dataclasses.dataclass``
|
decorator. For example, the type checker will synthesize an ``__init__``
|
method.
|
|
The arguments to this decorator can be used to customize this behavior:
|
- ``eq_default`` indicates whether the ``eq`` parameter is assumed to be
|
True or False if it is omitted by the caller.
|
- ``order_default`` indicates whether the ``order`` parameter is
|
assumed to be True or False if it is omitted by the caller.
|
- ``kw_only_default`` indicates whether the ``kw_only`` parameter is
|
assumed to be True or False if it is omitted by the caller.
|
- ``frozen_default`` indicates whether the ``frozen`` parameter is
|
assumed to be True or False if it is omitted by the caller.
|
- ``field_specifiers`` specifies a static list of supported classes
|
or functions that describe fields, similar to ``dataclasses.field()``.
|
|
At runtime, this decorator records its arguments in the
|
``__dataclass_transform__`` attribute on the decorated object.
|
|
See PEP 681 for details.
|
|
c ó$ d| _ | S )N)rP rQ rR rS rT rµ )Ú__dataclass_transform__)Ú cls_or_fnrP rT rS rR rµ rQ s r Ú decoratorz&dataclass_transform.<locals>.decorator s' ø à (Ø!.Ø#2Ø"0Ø$4Ø ñ 1IÔ -ð Ð r r )rP rQ rR rS rT rµ rY s `````` r r/ r/ ½
|
s ý ÷R ñ ð Ðr rC Ú_F)r c óB d| _ | S # t t f$ r Y | S w xY w)aH Indicate that a method is intended to override a method in a base class.
|
|
Usage:
|
|
class Base:
|
def method(self) -> None:
|
pass
|
|
class Child(Base):
|
@override
|
def method(self) -> None:
|
super().method()
|
|
When this decorator is applied to a method, the type checker will
|
validate that it overrides a method with the same name on a base class.
|
This helps prevent bugs that may occur when a base class is changed
|
without an equivalent change to a child class.
|
|
There is no runtime checking of these properties. The decorator
|
sets the ``__override__`` attribute to ``True`` on the decorated object
|
to allow runtime introspection.
|
|
See PEP 698 for details.
|
|
T)Ú __override__rÀ r§ rz s r rC rC s6 ð4 Ø #CÔ ð
|
øô ¤ Ð*ò ð Ø
|
ð úrë )r r} r Ú_Tc ót e Zd ZdZedddedej ej e de
|
ddfd Z d
|
e de fd Z y) r0 a Indicate that a class, function or overload is deprecated.
|
|
When this decorator is applied to an object, the type checker
|
will generate a diagnostic on usage of the deprecated object.
|
|
Usage:
|
|
@deprecated("Use B instead")
|
class A:
|
pass
|
|
@deprecated("Use g instead")
|
def f():
|
pass
|
|
@overload
|
@deprecated("int support is deprecated")
|
def g(x: int) -> int: ...
|
@overload
|
def g(x: str) -> int: ...
|
|
The warning specified by *category* will be emitted at runtime
|
on use of deprecated objects. For functions, that happens on calls;
|
for classes, on instantiation and on creation of subclasses.
|
If the *category* is ``None``, no warning is emitted at runtime.
|
The *stacklevel* determines where the
|
warning is emitted. If it is ``1`` (the default), the warning
|
is emitted at the direct caller of the deprecated object; if it
|
is higher, it is emitted further up the stack.
|
Static type checker behavior is not affected by the *category*
|
and *stacklevel* arguments.
|
|
The deprecation message passed to the decorator is saved in the
|
``__deprecated__`` attribute on the decorated object.
|
If applied to an overload, the decorator
|
must be after the ``@overload`` decorator for the attribute to
|
exist on the overload as returned by ``get_overloads()``.
|
|
See PEP 702 for details.
|
|
rò ©Úcategoryr* Úmessager` r* r Nc ó t |t « s!t dt |« j « || _ || _ || _ y )Nz2Expected an object of type str for 'message', not )r r r§ rý r ra r` r* )r
ra r` r* s r r¾ zdeprecated.__init__m sJ ô g¤sÔ+Ü ØHÜG}×-Ñ-Ð0ð2óð ð #DLØ $DMØ (DOr r{ c ó
|
| j
|
| j | j
|
_ S t t
|
« rÑdd l}ddlm} j |j «
|
fd« }t |« _ j t |« r: j |j «
|
fd« }t |« _ n$ |j «
|
fd« }|_
|
x_ |_
|
|_ S t « rdd l}dd l}dd l} |j «
|
fd« }|j$ j' « rAt( j* dk\ r |j, |« }n|j$ j. |_
|
x_ |_ |S t1 d« ) Nr )Ú
|
MethodTypec óþ | u rt j dz ¬« t j ur | g|¢i |¤S | j t j u r |s|rt | j d« | « S )Nrò r_ z() takes no arguments)r- r. r7 r± r¾ r§ r )r³ r´ rµ r{ r` rC Ú original_newr* s r r± z$deprecated.__call__.<locals>.__new__ sv ø àczÜ c°HÈÐVWÉ ÕXØ#¬6¯>©>Ñ9Ù +¨CÐ A°$Ò A¸&Ñ AÐAà ¬¯ © Ñ8¹dÁfÜ '¨3¯<©<¨.Ð8MÐ(NÓ OÐOá +¨CÓ 0Ð0r c óJ t j dz ¬« | i |¤S ©Nrò r_ ©r- r. ©r´ rµ r` rC Úoriginal_init_subclassr* s r r z.deprecated.__call__.<locals>.__init_subclass__¡ ó( ø ä c°HÈÐVWÉ ÕXÙ 5°tÐ F¸vÑ FÐFr c óJ t j dz ¬« | i |¤S rh ri rj s r r z.deprecated.__call__.<locals>.__init_subclass__ª rl r c óJ t j dz ¬« | i |¤S rh ri )r´ rµ r{ r` rC r* s r Úwrapperz$deprecated.__call__.<locals>.wrapper¹ s( ø ä MM #°ÀZÐRSÁ^ÕTÙ Ð/¨Ñ/Ð/r r© zY@deprecated decorator with non-None category must be applied to a class or callable, not )ra r` r* Ú__deprecated__r rý rr Útypesrd r± ÚwrapsÚ staticmethodr r Ú classmethodr¥ Úasyncio.coroutinesr Ú
|
coroutinesÚiscoroutinefunctionrf r¤ ÚmarkcoroutinefunctionÚ _is_coroutiner§ )r
r{ rr rd r± r Úasyncior ro r` rC rk rf r* s ` @@@@@r rÑ zdeprecated.__call__~ s¾ ý ð ,,CØ}}HØ JØÐ Ø%(Ô"Ø
|
ÜC¤Ô&Û Ý,à "{{ à Ó.÷ 1ó /ð 1ô +¨7Ó 3 à),×)>Ñ)>Ð&ô Ð 4°jÔAØ-C×-LÑ-LÐ*à$Y__Ð%;Ó<öGó =ðGô -8Ð8IÓ,JCÕ)ð %Y__Ð%;Ó<öGó =ðGð ->CÔ)à>AÐAÔ" WÔ%;Ø36Ð!Ô0Ø
|
Ü# Û)Û Û à Ó%ö0ó &ð0ð ×%Ñ%×9Ñ9¸#Ô>ä×'Ñ'¨7Ò2Ø"? '×"?Ñ"?ÀÓ"Hà07×0BÑ0B×0PÑ0PÔ-à>AÐAÔ" WÔ%;Ø ä ð0Ø03¨wð8óð r )r r r r¶ r/ r r rp r ÚWarningr r¾ r] rÑ r r r r0 r0 C sd ñ( ð\ ?QØ ò )àð )ð
|
oo f§k¡k°'Ñ&:Ñ;ð )ð ð )ð ó )ð"M ð M ¨"ô M r r0 c óN | du xs t | t t t t f« S ©N.)r rø r r r× rz s r r² r² Ï s) Øczò
|
ZØ %yÔ*BÐCó
|
ð
|
r c ól | du xs/ t | t t t t t
|
j f« S r} )r rø r r r× r rz s r r² r² Ô s7 Øczò
|
ZØ äÜÜÜ(Ü×/Ñ/ð ó
|
ð
|
r c óL t j | « r`t | t j « rFt | j « dk( r.t | j d t « r|rt |d « sy|st | d« |t u r;t | d« r | j st | d« t | j « }t |« }||k7 rÇ|}t | d« r| j D cg c] }t |« r| }}t d |D « « }|dkD r |||z
|
k\ ry||k r7t || dt « t uryt d |D « « }||z }d | }t" j$ d
|
k\ rd nd }t d ||kD rdnd d| d| d| d|
|
« yc c}w )úCheck correct count for parameters of a generic cls (internal helper).
|
|
This gives a nice error message in case of count mismatch.
|
rò r NrG r c 3 ó< K | ] }t |t « y wr )r r rê s r rD z!_check_generic.<locals>.<genexpr> s è ø Ò#TÀA¤J¨q´,×$?Ñ#Tùó rw c 3 óJ K | ] }t |d t « t u yw©rw N©r rV rê s r rD z!_check_generic.<locals>.<genexpr> ó+ è ø ò )OØ>?ô *1°°MÄ9Ó)MÜ09ô*:ñ )Oùó !#rF r Ú argumentsrà rH rI rJ ú z for rL rM )r Úisclassr£ r rb r r r r r² r§ r, r rñ Úsumr rV rf r¤ ) r³ rà Úelenrô Ú
|
expect_valrú Ú num_tv_tuplesÚnum_default_tvÚthingss r Ú_check_genericr é sË ô OOCÔ ¤Z°´V·^±^Ô%DÜC×&Ñ&Ó'¨1Ò,Ü3×-Ñ-¨aÑ0´)Ô<ÙÜ" :¨a¡=Ô1ð áÜseÐ#:Ð ;Ó<Ð <Ø 7?Ü3Ð 0Ô1¸×9KÒ9KÜ 3 %Ð'>Ð ?Ó@Ð@Üs×)Ñ)Ó*DÜ:Ø 4<Ø JÜsÐ ,Ô-Ø),×);Ñ);Ö Q AÄ:ÈaÅ=aÐ Q
|
Ð QÜ #Ñ#TÈÔ#TÓ T Ø! AÒ%¨D°D¸=Ñ4HÒ,HØð $;ô
|
¨4Ñ 0°-ÄÓKÜ (ñ)ð ä%(ñ )OØCMô)Oó &ONð NÑ*Dà#,¨T¨FÐ!3Jô %(×$4Ñ$4¸Ò$?[À\FÜd¨T°Dª[¡6¸eÐ"DÀAÀfÀXØ # C 5¨ °$°°{À:À,ð Pó Qð Qð9 ùò Rs Ã5F!ÄF!c
|
óh |st | d« t |« }||k7 r|}t | d« ra| j D cg c] }t |« r| }}||k r7t || dt « t uryt d |D « « }||z }d| }t d||kD rdnd d
|
| d | d | « yc c}w ) r rG r rw Nc 3 óJ K | ] }t |d t « t u ywr r
rê s r rD z!_check_generic.<locals>.<genexpr>9 r r rF rH rI rJ rK rL rM )r§ r r r rñ r rV r )r³ rà r rô r rú r s r r r ! sú ñ
|
ÜseÐ#:Ð ;Ó<Ð <Ü:Ø 4<Ø JÜsÐ ,Ô-Ø),×);Ñ);Ö Q AÄ:ÈaÅ=aÐ Q
|
Ð Qð $;ô
|
¨4Ñ 0°-ÄÓKÜ (ñ)ð ä%(ñ )OØCMô)Oó &ONð NÑ*Dà#,¨T¨FÐ!3Jäd¨T°Dª[¡6¸eÐ"Dð E$Ø$' 5¨ °$°°{À:À,ð Pó Qð Qð/ ùò Rs ½B/ÁB/c ó, t j d« } | j j d« dk7 ry| j j d« }|t
|
j u xs |t u xs |t
|
j u S # t t f$ r Y yw xY w)NrQ r r Fr2 )
|
rf rh ri rj Úf_localsr rb rD rÀ rk )Úframer2 s r Ú"_has_generic_or_protocol_as_originr G s ð[Ü aÓ ð ??× Ñ zÓ *¨hÒ 6ØØ ×#Ñ# HÓ-ð Ð'ÒZ¨6´XÐ+=ÒZÀÌ6Ï?É?ÐAZÐZøô JÐ 'ò Ùðús B ÂBÂBc ó t | « t uryt | « }t |« xr$ t |« dk( xr t |d « t v S )NFrò r )r9 r r8 r
r rý Ú_TYPEVARTUPLE_TYPES)rí r´ s r Ú_is_unpacked_typevartupler ] sL Ü!}FÑ"ØÜ A;Dä T
|
ò 1Ü INò 1ä aMÔ 0Ð 0ðr Ú_collect_type_varsc ó\ |t j }g }t « }d}d}| D ]ö }t |« rd}nmt ||« rat |t
|
« sQ||vrM|r:t |dt « t u}|r|r t d« d}n|rt d|d« |j |« t |« r/|j |j D cg c] }||vs| c}« ¸t |t « sÉ|D ]) }t |g« D ] } | |vs|j | « + ø t |« S c c}w )zºCollect all type variable contained in types in order of
|
first appearance (lexicographic order). For example::
|
|
_collect_type_vars((T, List[S, T])) == (T, S)
|
FTrw ú2Type parameter with a default follows TypeVarTupleúType parameter ú8 without a default follows type parameter with a default)r r r r r r$ r rV r§ r÷ r rõ r rø r )
|
rq Ú typevar_typesÚtvarsÚenforce_default_orderingÚdefault_encounteredÚtype_var_tuple_encounteredr rv rí Ú collecteds
|
r r r j sS ð Ð Ü "NNMØô $FÓ#GÐ Ø #Ðð &+Ð"àò 4AÜ(¨Ô+Ø-1Ñ*ä1mÔ,´ZÀÄ<Ô5PØUNá+Ü")¨!¨]¼IÓ"FÌiÐ"WKÙ"Ù5Ü"+ð -Dó #Eð Eà.2Ñ+Ù,Ü '¨/¸!¸ð ?Qð )Qó Rð Rð QÜ.¨qÔ1Ø ¨×)9Ñ)9Ö L A¸QÀeº^aÒ LÕMÜAuÕ%ð ò 4AÜ%7¸¸Ó%<ò 4 Ø$¨EÒ1Ø !LL¨Õ 3ñ4ñ4ð1 4ô8 U|Ðùò Ms à D)
|
ÃD)
|
c ó g }t « }d}d}| D ]è }t |t « rt |t « r/|D ]) }t |g« D ] }||vs|j |« + St |d« rU||vsd|r<t |dt « t u}|r |r t d« |rd}n|rt d|d« |j |« ´t |« rd}t |dd « D ] }||vs|j |« ê t |« S )
|
zâCollect all type variables and parameter specifications in args
|
in order of first appearance (lexicographic order).
|
|
For example::
|
|
assert _collect_parameters((T, Callable[P, T])) == (T, P)
|
FÚ__typing_subst__rw r Tr r r r ) r r rý rø Ú_collect_parametersr÷ r r rV r§ r ) r´ rà r¢ r£ r¤ r rí r¥ rv s r r¨ r¨ s\ ð
|
ô $FÓ#GÐ Ø #Ðð &+Ð"àò " -AÜ!TÔ"àÜAuÔ%ð ò 9AÜ%8¸!¸Ó%=ò 9 Ø$¨JÒ6Ø &× -Ñ -¨iÕ 8ñ9ñ9ô Ð .Ô/ØJÒ&Ù/ä # A }´iÓ @Ì Ð Qð $ñ 6¹+Ü"+ð -Dó #Eð Eñ 'Ø26Ñ /Ù 0Ü"+¨o¸a¸Uð CUð -Uó #Vð Vð ×%Ñ% aÕ(ä,¨QÔ/Ø15Ð.Ü Ð$4°bÓ9ò -AØ
|
Ò*Ø"×)Ñ)¨!Õ,ñ-ðA" -ôH ZÓ Ð r c ó |D cg c] \ }}| }}}|D ci c] \ }}|t j |d| d« " }}}t j | |||¬« }|x|_ |j
|
_ |S c c}}w c c}}w )Nzfield z annotation must be a type©r/ rä )r r@ r Ú
|
namedtupler[ r± ) rñ rq rä r/ r r r1 rc Únm_tpls r Ú _make_nmtupler à s Ø %×&1!Ð&Ñ&à#(÷*Ù 1að &×,Ñ,¨Q°&¸¸Ð;UÐ0VÓWÑWð * ñ *ä ×'Ñ'¨¨fØ19À&ôJàBMÐMÔ § ¡ Ô!?Ø ùó 'ùó*s
|
A5%A;> r r r[ c ó e Zd Zd Zy)Ú_NamedTupleMetac óê t |v sJ |D ]( }|t us |t j us t d« t d |D « « }d|v r|d }nd|v r |d d« }ni }g }|D ]M }||v r|j |« |s t d| dt |« dkD rdnd d
|
d j |« « t ||j « |D cg c] }|| c}|d ¬ « } || _
|
t j |v rct t d« r t t j « | _ n4t j j j }
|
t |
|
« | _ |j « D ]c \ } } | t v rt# d| z « | t$ vs%| | j& vrt) | | || « t+ | « j, } | | | | « e t j |v r| j; « | S c c}w # t. $ rT}dt+ | « j0 d| d|}t2 j4 dk\ r|j7 |« t9 |« |d }~ww xY w# t" $ r Y úw xY w)Nz3can only inherit from a NamedTuple type and Genericc 3 ó< K | ] }|t u rt n| y wr )Ú _NamedTuplerø )rB rb s r rD z*_NamedTupleMeta.__new__.<locals>.<genexpr>ó s è ø ÒSÀT 4¬;Ñ#6%¸DÓ@ÑSùr r[ rô rò z Non-default namedtuple field z cannot follow default fieldÚsr¿ r rÛ r rª Ú_generic_class_getitemz&Cannot overwrite NamedTuple attribute z Error calling __set_name__ on z
|
instance z in r© ) r² r rb r§ rø r÷ r rß r r r r rt r´ Ú__class_getitem__r Ú _prohibited_namedtuple_fieldsrÀ Ú_special_namedtuple_fieldsÚ_fieldsr9 rý Ú __set_name__Ú BaseExceptionr rf r¤ Úadd_noteÚ RuntimeErrorr )r³ r0 rÆ r rb rq Ú default_namesÚ
|
field_namer r¬ Ú class_getitemÚkeyr; Úset_namer¨ rC s r r± z_NamedTupleMeta.__new__í s¨ Ü %Ñ'Ð 'Ð'Ø ò OØ{Ò*¨t¼6¿>¹>Ò/IÜ#ØMóOð Oð Oô ÑSÈUÔSÓSEØ BÑ&ØÐ,Ñ-Ø 2Ñ%à*>Ñ*¨1Ó-àØ MØ #ò C
|
Ø Ñ#Ø!×(Ñ(¨Õ4Ú"Ü#Ð&CÀJÀ<ð PBä.1°-Ó.@À1Ò.D¡sÈ"Ð&MÈQØ'+§y¡y° Ó'?Ð&@ð%Bó Cð Cð Cô #Ø%++-Ø)6Ö7 A"Q%Ò7Ø,Ñ'ôFð
|
%FÔ Ü~~ Ñ&Ü6Ð#;Ô<Ü/:¼6×;XÑ;XÓ/YFÕ,ä$*§N¡N×$DÑ$D×$MÑ$MMÜ/:¸=Ó/IFÔ,à HHJò ?SØÔ7Ñ7Ü(Ð)QÐTWÑ)WÓXÐXØÔ :Ò:Ø &§.¡.Ñ0Ü ¨¨R°©WÔ5ð?Ü#'¨£9×#9Ñ#9ð?Ù $ S¨&°#Õ 6ð ?ô< ~~ Ñ&Ø×(Ñ(Ô*ØMùòW 8øô0 -ò ?à"@ÄÀcÃ×ASÑASÐ@Vð W,Ø,/¨7°$°x°lð!Dð ô #× /Ñ /°7Ò :Ø !§
|
¡
|
¨3¤Ø %ä&2°3Ó&7¸QÐ >ûð ?ûô *ò Ù ð ús1 à H Æ;I&Ç
|
HÈ I#ÈAI É I#É& I2É1I2N)r r r r± r r r r¯ r¯ ì s óD r r¯ r c ó$ t | v sJ t fS r )r r² )rÆ s r Ú_namedtuple_mro_entriesrà 5 s ÜUÑ"Ð"Ð"Ü~Ð r c ó~ |t u r|rd}d}nDd}d| d| d}d|z dz }n0|!|r t d « d
|
}d| d| d}d|z dz }n |r t d « |t u s|=t j j d ¬ « t
|
d¬« |j « }t | |t « ¬« }t f|_
|
|S )ao Typed version of namedtuple.
|
|
Usage::
|
|
class Employee(NamedTuple):
|
name: str
|
id: int
|
|
This is equivalent to::
|
|
Employee = collections.namedtuple('Employee', ['name', 'id'])
|
|
The resulting class has an extra __annotations__ attribute, giving a
|
dict that maps field names to types. (The field names are also in
|
the _fields attribute, which is part of the namedtuple API.)
|
An alternative equivalent functional syntax is also accepted::
|
|
Employee = NamedTuple('Employee', [('name', str), ('id', int)])
|
z3Creating NamedTuple classes using keyword argumentszq{name} is deprecated and will be disallowed in Python {remove}. Use the class-based or functional syntax instead.r& r( z = NamedTuple(z, [])`z¡{name} is deprecated and will be disallowed in Python {remove}. To create a NamedTuple class with 0 fields using the functional syntax, pass an empty list, e.g. r z\Cannot pass `None` as the 'fields' parameter and also specify fields using keyword argumentsr' zIEither list of fields or keywords can be provided to NamedTuple, not bothz3.15)rñ r rQ r) r÷ ) r, r§ r- r. r r/ r r rn r rò )r0 r1 rµ r3 r5 r4 Únts r r r 9 s% ð( WÑ ÙØ#XÐ ðHñ ð
|
$XÐ Ø hZ ~°h°\ÀÐHð0ð ñ # ð
|
"ñ #"ð ^ÙÜ ðFóð ð
|
$NÐ Ø hZ ~°h°\ÀÐHð0ð ñ # ð
|
"ñ #"ñ Üð Gó Hð Hà WÑ Ü MMØ ×&Ñ&Ð,<ÀVÐ&ÓLÜ"Ø õ ð
|
\\^FÜ 8 V´G³IÔ >Ü 'MÔØ r c ó e Zd ZdZy)r a§ Base class for classes that implement the buffer protocol.
|
|
The buffer protocol allows Python objects to expose a low-level
|
memory buffer interface. Before Python 3.12, it is not possible
|
to implement the buffer protocol in pure Python code, or even
|
to check whether a class implements the buffer protocol. In
|
Python 3.12 and higher, the ``__buffer__`` method allows access
|
to the buffer protocol from Python code, and the
|
``collections.abc.Buffer`` ABC allows checking whether a class
|
implements the buffer protocol.
|
|
To indicate support for the buffer protocol in earlier versions,
|
inherit from this ABC, either in a stub file or at runtime,
|
or use ABC registration. This ABC provides no methods, because
|
there is no Python-accessible methods shared by pre-3.12 buffer
|
classes. It is useful primarily for static checks.
|
|
N)r r r r¶ r r r r r s ò r r: c ó® | j j d| j « S # t $ r# t dt | « j « dw xY w)a Return the class's "original" bases prior to modification by `__mro_entries__`.
|
|
Examples::
|
|
from typing import TypeVar, Generic
|
from typing_extensions import NamedTuple, TypedDict
|
|
T = TypeVar("T")
|
class Foo(Generic[T]): ...
|
class Bar(Foo[int], float): ...
|
class Baz(list[str]): ...
|
Eggs = NamedTuple("Eggs", [("a", int), ("b", str)])
|
Spam = TypedDict("Spam", {"a": int, "b": str})
|
|
assert get_original_bases(Bar) == (Foo[int], float)
|
assert get_original_bases(Baz) == (list[str],)
|
assert get_original_bases(Eggs) == (NamedTuple,)
|
assert get_original_bases(Spam) == (TypedDict,)
|
assert get_original_bases(int) == (object,)
|
rò z"Expected an instance of type, not N)r^ rj r rÀ r§ rý r rî s r r: r: sW ð* Ø<<×#Ñ#Ð$4°c·m±mÓDÐ DøÜ ò ÜØ4´T¸#³Y×5GÑ5GÐ4JÐKóàð ð ús %( ¨,Ac óZ e Zd ZdZd Zd Zd Zd Zd Ze j dk\ rd Z d Z y
|
y
|
) rA aL NewType creates simple unique types with almost zero
|
runtime overhead. NewType(name, tp) is considered a subtype of tp
|
by static type checkers. At runtime, NewType(name, tp) returns
|
a dummy callable that simply returns its argument. Usage::
|
UserId = NewType('UserId', int)
|
def name_by_id(user_id: UserId) -> str:
|
...
|
UserId('user') # Fails type check
|
name_by_id(42) # Fails type check
|
name_by_id(UserId(42)) # OK
|
num = UserId(5) + 1 # type: int
|
c ó |S r r rÚ s r rÑ zNewType.__call__Ï r r c ó || _ d|v r|j d« d }|| _ || _ t « }|dk7 r|| _ y y )Nr rZ rU )r Ú
|
rpartitionr Ú __supertype__rn r )r
rñ r r| s r r¾ zNewType.__init__Ò sO Ø $DÔ Ød{Ø sÓ+¨BÑ/Ø DMØ!#DÔ Ü iGØÐ-Ò-Ø")ð .r c ó: | j G fdd« }|fS )Nc ó e Zd Z fdZy)ú&NewType.__mro_entries__.<locals>.Dummyc óF | j }t d| d|d d« )NzGCannot subclass an instance of NewType. Perhaps you were looking for: `z = NewType(rÛ z)`)r r§ )r³ Ú subcls_nameÚ supercls_names r r z8NewType.__mro_entries__.<locals>.Dummy.__init_subclass__â s8 ø Ø"%§,¡,KÜ#ð à '=¨ °K°?À"À]ÀOÐSUðWóð r N)r r r r )rÒ s r ÚDummyrÏ á s ø õr rÓ rÊ )r
rÆ rÓ rÒ s @r rÇ zNewType.__mro_entries__Ü s! ø ð !MMM÷ ó ð 8Or c ó8 | j d| j S )Nr )r r r s r r zNewType.__repr__ì s ØooÐ& a¨×(9Ñ(9Ð':Ð;Ð ;r c ó | j S r )r r s r rÌ zNewType.__reduce__ï s Ø×$Ñ$Ð $r r c ó, t j | |f S r rÓ rÔ s r rÖ zNewType.__or__÷ s Ü || D¨% KÑ0Ð0r c ó, t j || f S r rÓ rÔ s r rØ zNewType.__ror__ú s Ü || E¨4 KÑ0Ð0r N) r r r r¶ rÑ r¾ rÇ r rÌ rf r¤ rÖ rØ r r r rA rA Á s? ñ ò ò *ò ò <ò %ð × Ñ wÒ &ò 1ó 1ð 'r rA c ó | du xsC t | t t j t j t
|
j t f« S ©z:Corresponds to is_unionable() in unionobject.c in CPython.N)r rý r r r r rK r s r Ú _is_unionablerÚ sB à$;ò ¤*¨SÜÜ×#Ñ#Ü× Ñ Ü×$Ñ$Ü ð 3ó #ð r c óv | du xs4 t | t t j t j t
|
f« S rÙ )r rý r r r rK r s r rÚ rÚ s9 à$;ò ¤*¨SÜÜ×#Ñ#Ü× Ñ Ü ð 3ó #ð r > rö r r r« r: rÌ r rë Ú __reduce_ex__r rÇ r& c ó e Zd Zd Zy)Ú_TypeAliasGenericAliasc ój |t v rt j | |« S t | j |« S r )Ú _ATTRIBUTE_DELEGATION_EXCLUSIONSr7 r r r: )r
r* s r r z"_TypeAliasGenericAlias.__getattr__. s/ ØÔ;Ñ;Ü!×-Ñ-¨d°DÓ9Ð9Ü t°Ó5Ð5r N)r r r r r r r rÞ rÞ - s ó 6r rÞ c óä e Zd ZdZdddefdZdededdf fd Zdedefd
|
Z dedefd Z
|
defd Z e j d k rddZd Zd Zd Zd Zd Ze j dk\ r
|
d Zd Z xZS xZS )rK aü Create named, parameterized type aliases.
|
|
This provides a backport of the new `type` statement in Python 3.12:
|
|
type ListOrSet[T] = list[T] | set[T]
|
|
is equivalent to:
|
|
T = TypeVar("T")
|
ListOrSet = TypeAliasType("ListOrSet", list[T] | set[T], type_params=(T,))
|
|
The name ListOrSet can then be used as an alias for the type it refers to.
|
|
The type_params argument should contain all the type parameters used
|
in the value of the type alias. If the alias is not generic, this
|
argument is omitted.
|
|
Static type checkers should only support type aliases declared using
|
TypeAliasType that follow these rules:
|
|
- The first argument (the name) must be a string literal.
|
- The TypeAliasType instance must be immediately assigned to a variable
|
of the same name. (For example, 'X = TypeAliasType("Y", int)' is invalid,
|
as is 'X, Y = TypeAliasType("X", int), TypeAliasType("Y", int)').
|
|
r )Ú type_paramsrñ c ó& t |t « s t d« t |t « s t d« || _ || _ d}g }|D ] }t |t t t f« r t |« rt d|« t |dt « t u}|r|st d|d« |rd}t |t « r|j |« |j |« t |« | _ t « }|d k7 r|| _ || _ y )
|
Nz#TypeAliasType name must be a stringztype_params must be a tupleFzExpected a type param, got rw z non-default type parameter 'z ' follows default type parameterTrU )r r r§ rø Ú __value__Ú__type_params__r r r rñ r rV rõ r÷ r rn r r ) r
rñ rÔ râ Údefault_value_encounteredrà rx rv r| s r r¾ zTypeAliasType.__init__P s! Ü d¤CÔ(Ü Ð EÓFÐFÜ k¬5Ô1Ü Ð =Ó>Ð>Ø "DNØ#.DÔ à(-Ð %ØJØ )ò 2
|
ä" :´¼ ÄyÐ/QÔRô " *Ô-ä#Ð&AÀ*À Ð$PÓQÐQäJ¨ ´yÓAÌÐRð ñ -±[Ü#Ð&BÀ:À.ð QFð %Fó Gð Gá Ø04Ð-Ü j¬,Ô7Ø ×%Ñ% jÕ1à ×%Ñ% jÕ1ð' 2ô( #(¨
|
Ó"3DÔ Ü iGØÐ-Ò-Ø")à DMr rÔ r Nc ó` t | d« r| j |« t | ||« y )Nr )r Ú_raise_attribute_errorr¨ r8 )r
rñ rÔ r« s r r8 zTypeAliasType.__setattr__u s* ø ÜtZÔ(Ø×+Ñ+¨DÔ1Ü GÑ eÕ ,r c ó& | j |« y r )rè ©r
rñ s r Ú __delattr__zTypeAliasType.__delattr__z s Ø × 'Ñ '¨Õ -r c óf |dk( r t d« |dv rt d| d« t d| d« )Nr zreadonly attribute> rä r r rå z attribute 'z3' of 'typing.TypeAliasType' objects is not writablez0'typing.TypeAliasType' object has no attribute 'ú')rÀ rê s r rè z$TypeAliasType._raise_attribute_error} sX àzÒ!Ü$Ð%9Ó:Ð:ØÐYÑYÜ$Ø! $ ð (&ð &óð ô
|
%ØFÀtÀfÈAÐNóð r c ó | j S r rÊ r s r r zTypeAliasType.__repr__ rË r r¢ c óÔ |du ry|y t |t « r(|dk( r#|D cg c] }| j ||dz « c}S t j |d| j
|
d« S c c}w )N.r rò ú Subscripting ú requires a type.)r r Ú_check_single_paramr r@ r )r
rò Ú recursionr{ s r rò z!TypeAliasType._check_single_param s{ àC<Ø Ø=Ø ä e¤TÔ*¨y¸Aª~à',ö .Ø #ð !× 4Ñ 4°S¸)ÀA¹+Õ Fò .ð .ä ×)Ñ)Ø ¨t¯}©}¨oÐ=NÐ Oóð ùò .s ¢ A%c óz t j dk rt fd|D « « S t fd|D « « S )Nr¢ c 3 ó@ K | ] }j |« y wr )rò ©rB rÁ r
s r rD z2TypeAliasType._check_parameters.<locals>.<genexpr> s$ øè ø ò à ð ×,Ñ,¨T×2ñ ùs c 3 óf K | ]( }t j |d j d« * yw)rð rñ N)r r@ r rö s r rD z2TypeAliasType._check_parameters.<locals>.<genexpr>£ s9 øè ø ò ð ô ×+Ñ+Ø ¨d¯m©m¨_Ð<MÐ N÷ñ ùs .1)rf r¤ rø rß s ` r Ú_check_parametersz TypeAliasType._check_parameters sI ø Ü× Ñ 'Ò)Ü ó à *ô ó ð ô ó ð !+ôó ð r c ó( | j s t d« t |t « s|f}t j
|
dk\ rt j | |« S t |« }| j |« }t | |« }|j |k7 r||_ |S )Nz+Only generic type aliases are subscriptabler ) rå r§ r rø rf r¤ r r r rø rÞ r )r
rà Ú type_varsr s r rá zTypeAliasType.__getitem__© s Ø×'Ò'Ü Ð MÓNÐNÜ j¬%Ô0Ø (]
|
ä× Ñ 7Ò*Ü ×*Ñ*¨4°Ó<Ð<Ü*¨:Ó6IØ ×/Ñ/°
|
Ó;JÜ*¨4°Ó<Eð ×#Ñ# yÒ0Ø'0Ô$ØLr c ó | j S r rÊ r s r rÌ zTypeAliasType.__reduce__º rË r c ó t d« )NzEtype 'typing_extensions.TypeAliasType' is not an acceptable base typerÄ r
s r r z TypeAliasType.__init_subclass__½ s ÜØWóð r c ó t d« )NzType alias is not callablerÄ r s r rÑ zTypeAliasType.__call__Ä s ÜÐ 8Ó9Ð 9r r c óN t |« st S t j | |f S r ©rÚ r r rx )r
r5 s r rÖ zTypeAliasType.__or__É s% ô % UÔ+Ü)Ð)Ü || D¨% KÑ0Ð0r c óN t |« st S t j || f S r rÿ )r
r4 s r rØ zTypeAliasType.__ror__Ð s# Ü$ TÔ*Ü)Ð)Ü || D¨$ JÑ/Ð/r rÆ )r r r r¶ r r¾ r7 r8 rQ rë rè r rf r¤ rò rø rá rÌ r rÑ rÖ rØ r r® s @r rK rK 4 s³ ø ñ ð6 =?ò # ! ó # !ðJ - Cð -°ð -¸dõ -ð
|
. Cð .¨uó .ð ¨sð °uó ð !có !ð × Ñ gÒ %ó ò
|
ò ò" !ò ò :ð × Ñ wÒ &ò 1ö 0ó 'r rK r> r c ó| t | t « xr+ t | dd« xr | t uxr | t j uS )aZ Return True if the given type is a Protocol.
|
|
Example::
|
|
>>> from typing_extensions import Protocol, is_protocol
|
>>> class P(Protocol):
|
... def a(self) -> str: ...
|
... b: int
|
>>> is_protocol(P)
|
True
|
>>> is_protocol(int)
|
False
|
rv F)r rý r rD r rA s r r> r> Ú sD ô r4Ó ò *ÜN¨EÓ2ò *à(Ð"ò *ð &//Ð)ð
|
r c ó t | « st | d« t | d« rt | j « S t t | « « S )a Return the set of members defined in a Protocol.
|
|
Example::
|
|
>>> from typing_extensions import Protocol, get_protocol_members
|
>>> class P(Protocol):
|
... def a(self) -> str: ...
|
... b: int
|
>>> get_protocol_members(P)
|
frozenset({'a', 'b'})
|
|
Raise a TypeError for arguments that are not Protocols.
|
z is not a ProtocolrW )r> r§ r r rW rd rA s r r; r; ï sK ô 2ÜrfÐ$6Ð 7Ó8Ð 8Ü 2Ð+Ô ,Ü R× 2Ñ 2Ó3Ð 3ÜÔ,¨RÓ0Ó1Ð1r r2 c óH e Zd ZdZdeddfdZdefdZdefdZde de
|
fd Z y)
|
r2 af Define the documentation of a type annotation using ``Annotated``, to be
|
used in class attributes, function and method parameters, return values,
|
and variables.
|
|
The value should be a positional-only string literal to allow static tools
|
like editors and documentation generators to use it.
|
|
This complements docstrings.
|
|
The string value passed is available in the attribute ``documentation``.
|
|
Example::
|
|
>>> from typing_extensions import Annotated, Doc
|
>>> def hi(to: Annotated[str, Doc("Who to say hi to")]) -> None: ...
|
Ú documentationr Nc ó || _ y r ©r )r
r s r r¾ z Doc.__init__ s
|
Ø!.DÕ r c ó" d| j dS )NzDoc(ú)r r s r r z Doc.__repr__ s Ø$×,Ñ,Ð/¨qÐ1Ð 1r c ó, t | j « S r )r r r s r r z Doc.__hash__ s Ü×*Ñ*Ó+Ð +r rÕ c ó` t |t « st S | j |j k( S r )r r2 r r rÔ s r r z
|
Doc.__eq__! s) Ü e¤SÔ)Ü%Ð%Ø×%Ñ%¨×)<Ñ)<Ñ<Ð <r ) r r r r¶ r r¾ r r r r7 r
r r r r r2 r2 sE ñ ð /¨#ð /°Tó /ð 2có 2ð ,có ,ð = ð =¨4ô =r Ú CapsuleTypeÚCAPI)r6 r7 c ó e Zd ZdZdZdZdZy)r6 rò rQ r r+ N)r r r r ÚVALUE_WITH_FAKE_GLOBALSr r r r r r6 r6 = s ØØ"#Ð Ø
|
Ør r6 )rÚ ÚlocalsÚeval_strr c
|
ó t |« }|t j u r t d« |r |t j ur t d« t | t
|
« r£t | dd« }|r;t |d« r/|j dd« }t |t j « rd}nd}d}t | dd« }|r/t j j |d« } | r t | dd« }t t | « « }
|
| } nt | t j « r t | dd« }| j }d}
|
d} nWt# | « r t | dd« }t | dd« }d}
|
| } n-t | d« r| j$ }dx}x}
|
} nt' | d « |i S t |t « st | d
|
« |si S |sf|t j( u rI|j+ « D ci c]- \ } } | t | t, « r| nt/ j0 | « / c} } S t |« S | Z t | d « r | j2 } t | t4 j6 « r | j8 } A t | d« r | j: }||}||
|
xs i }t | d d « x}r |D ci c] }|j< | c}|z }|j+ « D ci c]% \ } } | t | t, « s| n t? | ||« ' }} } |S c c} } w c c}w c c} } w )a Compute the annotations dict for an object.
|
|
obj may be a callable, class, or module.
|
Passing in an object of any other type raises TypeError.
|
|
Returns a dict. get_annotations() returns a new dict every time
|
it's called; calling it twice on the same object will return two
|
different but equivalent dicts.
|
|
This is a backport of `inspect.get_annotations`, which has been
|
in the standard library since Python 3.10. See the standard library
|
documentation for more:
|
|
https://docs.python.org/3/library/inspect.html#inspect.get_annotations
|
|
This backport adds the *format* argument introduced by PEP 649. The
|
three formats supported are:
|
* VALUE: the annotations are returned as-is. This is the default and
|
it is compatible with the behavior on previous Python versions.
|
* FORWARDREF: return annotations as-is if possible, but replace any
|
undefined names with ForwardRef objects. The implementation proposed by
|
PEP 649 relies on language changes that cannot be backported; the
|
typing-extensions implementation simply returns the same result as VALUE.
|
* STRING: return annotations as strings, in a format close to the original
|
source. Again, this behavior cannot be replicated directly in a backport.
|
As an approximation, typing-extensions retrieves the annotations under
|
VALUE semantics and then stringifies them.
|
|
The purpose of this backport is to allow users who would like to use
|
FORWARDREF or STRING semantics once PEP 649 is implemented, but who also
|
want to support earlier Python versions, to simply write:
|
|
typing_extensions.get_annotations(obj, format=Format.FORWARDREF)
|
|
z;The VALUE_WITH_FAKE_GLOBALS format is for internal use onlyz8eval_str=True is only supported with format=Format.VALUEr^ Nrj r[ r r` z% is not a module, class, or callable.z+.__annotations__ is neither a dict nor Noner_ rå r ) r6 r rk r r rý r r rj r ÚGetSetDescriptorTyperf Úmodulesr Úvarsrc r^ r¥ r[ r§ r r r r rÝ r_ rr Úpartialr r` r Úeval)rª rÚ r r r Úobj_dictÚannÚ obj_globalsÚ module_namerä Ú
|
obj_localsÚunwraprÀ rÔ râ rò Ú return_values r r7 r7 E s ôJ Ø V×3Ñ3Ñ 3Ü ØMóð ñ ¤f§l¡lÑ2Ü Ð WÓXÐ Xä c4Ô ä s J°Ó5HÙG H¨eÔ 4Ø llÐ#4°dÓ;Ü c¤6×#>Ñ#>Ô?Ø Càà KÜ! # |°TÓ:KÙÜ ¨°dÓ;ÙÜ")¨&°*¸dÓ"CKÜ d 3i JØFÜ V× .Ñ .Ô /ä#Ð 0°$Ó7CØ ,,KØ JØFÜ c]ô #Ð 0°$Ó7CÜ! # }°dÓ;KØ JØFÜ SÐ+Ô ,Ø×%Ñ%CØ04Ð 4KÐ 4*¡väsgÐ%JÐ KÓLÐ Là ;ØIä#tÔ$Ü wÐ&QÐ RÓSÐ SáØIáØ Ñ&ð '*§i¡i£k÷á"Uð ¤*¨U´CÔ"8¼f×>OÑ>OÐPUÓ>VÑVóð ô 9Ð à Ð ØÜ6 =Ô1Ø #× /Ñ /FØ Ü f¤i×&7Ñ&7Ô8Ø #[[FØ ØÜv}Ô-Ø $× 0Ñ 0 à ?Ø!GØ >Ø Ò% 2Fô
|
" #Ð'8¸"Ó=Ð =;Ð =Ø9DÖE°enn eÑ+ÒEÈÑNFð "iik÷,áUð Ü# E¬3Ô/E´T¸%ÀÈ&Ó5QñRð , ñ ,ð ÐùóAùò6 Fùó,s Ç2K/ÊK5Ë *K:r3 ©rö rÚ r râ c ó | j r | j S t | dd « ' | j j }d| _ || _ |S | t | dd « }|Bt | dd « 5t t j j | j d « dd « }| t | dd « }|t |t « r?t |dd « }|rpt j j |d « }|rNt |dd « }n@t |t j « rt |dd « }nt |« r t |dd « }|i }|,i }t |t « r|j t! |« « || t |dd « }|!t# |« }|D ] }|||j$ < | j& } | j) « rTt+ j, | « s?| |v r|| }nN| |v r|| }nDt/ t0 | « rt t0 | « S t3 | « | j4 }
|
t7 |
|
||« }d| _ || _ |S # t
|
$ r Y þw xY w) NÚ__cell__TÚ __owner__Ú__forward_module__r^ r` r rå ) Ú__forward_evaluated__Ú__forward_value__r r Ú cell_contentsrk rf r rj r" r rý r rc r¥ r r r r Ú__forward_arg__Ú isidentifierÚkeywordÚ iskeywordr ÚbuiltinsÚ NameErrorÚ__forward_code__r ) Ú forward_refrö rÚ r râ rÔ r rä rò r{ Úcodes r Ú_eval_with_ownerr/ Ë sW ð × ,Ò ,Ø ×0Ñ0Ð 0Ü ;
|
¨DÓ 1Ð =ð Ø#×,Ñ,×:Ñ:ð 59 Ô1Ø05 Ô-Ø Ø =ÜK¨°dÓ;Eð OÜ Ð%9¸4Ó@ÐLä Ü × >Ñ >ÀÓEÀzÐSWóGð ?Ü k¨=¸$Ó?GØ ?Ü%¤Ô&Ü % e¨\¸4Ó @ Ù Ü [[__¨[¸$Ó ?FÙ Ü")¨&°*¸dÓ"CÜE¤6×#4Ñ#4Ô5Ü! %¨°TÓ:Ü% Ü! %¨ ¸Ó=ð ?ØGà >ØFÜ%¤Ô&Ø d 5kÔ*à Ð 5Ð#4ô " %Ð):¸DÓAKð
|
Ð "Ü7mGØ$ò 0Ø*/Ò'ð 0ð ×)Ñ)Ø × Ñ Ô ¤g×&7Ñ&7¸Ô&<Øf}Ø s Ø Ø Ü 3Ô'Ü x¨Ó-Ð-ä nÐ$à ×/Ñ/DÜw¨Ó/EØ,0 Ô)Ø(- Ô%Ø øôI ò Úð ús §H? È? I É I )rö rÚ r râ r Ú_recursive_guardc óº |t j k( r | j S | j |v r| S t | ||||¬« }t |t « r t |« }t |t « r!t |dd« d}t |||||||¬« S t j dk r6|r4|r t |« ni }|D ] }|j |vs|||j < " t j dk r't j ||||| j hz ¬« S t j |||||| j hz ¬« S # t $ r |t j
|
k( r| cY S w xY w)aè Evaluate a forward reference as a type hint.
|
|
This is similar to calling the ForwardRef.evaluate() method,
|
but unlike that method, evaluate_forward_ref() also:
|
|
* Recursively evaluates forward references nested within the type hint.
|
* Rejects certain objects that are not valid type hints.
|
* Replaces type hints that evaluate to None with types.NoneType.
|
* Supports the *FORWARDREF* and *STRING* formats.
|
|
*forward_ref* must be an instance of ForwardRef. *owner*, if given,
|
should be the object that holds the annotations that the forward reference
|
derived from, such as a module, class object, or function. It is used to
|
infer the namespaces to use for looking up names. *globals* and *locals*
|
can also be explicitly given to provide the global and local namespaces.
|
*type_params* is a tuple of type parameters that are in scope when
|
evaluating the forward reference. This parameter must be provided (though
|
it may be an empty tuple) if *owner* is not given and the forward reference
|
does not already have an owner set. *format* specifies the format of the
|
annotation and is a member of the annotationlib.Format enum.
|
|
r r" TN)rÚ r râ rö r0 r )r r¢ é )Úrecursive_guard)r6 r r& r/ r+ r r r r_ r r3 rf r¤ r r r rd ) r- rö rÚ r râ r r0 rÔ Útvars r r3 r3 s ð@ V]]Ò "Ø ×.Ñ.Ð .Ø × &Ñ &Ð*:Ñ :Ø Ð ð Ü$ØØØ Ø Ø 'ô Eô eSÔ !Ü uÓ%Eô eZÔ (ÜuÐ 2°DÓ9ÐEØ Ü'ØØ Ø Ø (°Ø!1¸&ô ð ô × Ñ jÒ (©[á%+T&\°FØ#ò 1Ø==¨Ò.Ø,0F4==Ò)ð 1ô × Ñ jÒ (Ü×$Ñ$ØØØØ 0°K×4OÑ4OÐ3PÑ Pô ð ô ×$Ñ$ØØØØØ 0°K×4OÑ4OÐ3PÑ Pô ð øôE ò Ø×*Ñ*Ò*Ø"Ò"àð ús ±D8 Ä8 EÅEc ó e Zd ZdZ d dedej e fdZd Ze j dk rd Z e j d k\ rd
|
Z d Z d Zy)rE zùCreate a unique sentinel object.
|
|
*name* should be the name of the variable to which the return value shall be assigned.
|
|
*repr*, if supplied, will be used for the repr of the sentinel object.
|
If not provided, "<name>" will be used.
|
Nrñ rN c ó< || _ ||| _ y d| d| _ y )Nú<ú>)rº Ú_repr)r
rñ rN s r r¾ zSentinel.__init__{ s% ð
|
|
Ø !Ð -T
|
°Q°t°f¸A°;
|
r c ó | j S r )r9 r s r r zSentinel.__repr__ rÍ r r¢ c óD t t | « j d« )Nz object is not callable©r§ rý r rw s r rÑ zSentinel.__call__ s Üt Dz× 2Ñ 2Ð 5Ð5LÐ MÓNÐ Nr r c ó, t j | |f S r rÓ rÔ s r rÖ zSentinel.__or__ s Ü<< e Ñ,Ð ,r c ó, t j || f S r rÓ rÔ s r rØ zSentinel.__ror__ s Ü<< t Ñ,Ð ,r c óF t dt | « j d« )NzCannot pickle z objectr< r s r Ú __getstate__zSentinel.__getstate__ s! Ü.¬¨d«×)<Ñ)<Ð(?¸wÐGÓHÐHr r )r r r r¶ r r rp r¾ r rf r¤ rÑ rÖ rØ r@ r r r rE rE r sg ñð &*ñ?àð?ð oocÑ"ó?òð ×Ñ'Ò!ò Oð ×Ñ7Ò"ò -ò -óIr rE )r r r r~ c óì t | t t j t j f« r6| j
|
dk( r | j S | j
|
d| j S | du ryt | « S )a" Convert a Python value to a format suitable for use with the STRING format.
|
|
This is intended as a helper for tools that support the STRING format but do
|
not have access to the code that originally produced the annotations. It uses
|
repr() for most objects.
|
|
r* r .rM )r rý r Ú FunctionTypeÚBuiltinFunctionTyper r rN )rÔ s r rP rP sn ô ed¤F×$7Ñ$7¼×9SÑ9SÐ TÔ UØ× Ñ :Ò-Ø ×)Ñ)Ð)Ø×&Ñ&Ð' q¨×);Ñ);Ð(<Ð=Ð =Ø C<ØÜE{Ðr )#rX rY rZ r[ r\ r] r^ r` rc rd re rf rg rh ri rj rk rl rm rn ro rp rq rr rs rt ru rv rw rx ry rz r{ r| rN )rò Ú__main__)rQ )NNF)NNr )r )érq r* r Úcollections.abcrT Úenumrr r Úior( rP rf rq r r r- r¤ rþ Ú__all__ÚPEP_560rý Ú GenericMetaÚ_PEP_696_IMPLEMENTEDr_ râ Ú_FORWARD_REF_HAS_CLASSr r, r rR r r r r r r r r¥ r Ú_Finalr¹ ræ r r5 r r1 r= r@ rû rþ r rô r r rB r4 r. Ú defaultdictr r r r r r r r r r r r r rI rO r r r ra r+ r- r\ rR rp r
rS r r ÚEXCLUDED_ATTRIBUTESr_ rd rn rD rt rx r| r~ rt r rb rH rG r' r% r$ r# r& r" r( r) r* Ú_NEEDS_SINGLETONMETArÑ rV rÖ rW rß Ú_PEP_728_IMPLEMENTEDr! rë r? Ú signaturer@ rà r ré r± r= r7 r9 r@ r- r< rG r] rW r9 r8 rJ ry r} r r r r r r r rÏ r× rÿ r rã r
|
r rM rN rL r r
|
r rQ rT rU rS r" r rñ r r$ rï r rF rJ r, r/ rw rx r[ rC rZ r0 r] r² r r r r r r r¨ r r Ú _prohibitedr¶ r· r¯ r² rà rÇ r ÚABCÚregisterÚ
|
memoryviewÚ bytearrayr» r: rA rK rÚ rà rÞ r> r; r` r r2 Ú _CapsuleTypeÚ_socketÚ_CAPIÚ ImportErrorr r÷ r6 r7 ÚIntEnumr r3 r/ rE rP Ú _typing_namesrÚ r r+ rð s 0r ú<module>r^ s¬ ðÛ
|
Û Û Û Û Û Û Û Û Û Û Û
|
Û Û Û ð ×ÑwÒ ÛòC ðL Ø à×'Ñ'Ð+=Ñ=Ð ð 0°6×3DÑ3D×3NÑ3NÐNÐ ÷ ñ ñ
|
+ð ×ÑwÒ ó
|
ò
|
Jð ??ð FNN3ÓØV^^DÓØV^^DÓØv~~f¨Ô-Ø 6>>*°DÔ 9ð ×ÑwÒ Þô &4ô &ô 9õ 9ð ??ô
|
(/6==¨õ (/ô\1V× 0Ñ 0¸õ 1ð
|
ð ×ÑwÒ Ø LLEò
|
ñ@ 6?Ô#Ø×(Ñ(Mòò0 ð ×ÑzÒ!ØnnGò ò ô Hv× 3Ñ 3¸4õ Hô :Ð-°Tõ :ñ< ð 1ô 2Gð ×(Ñ(ñ 6?Ô#ØHØ×(Ñ(MØ ×,Ñ,Oð 1×0Ñ0Ø ×Ñ+×1Ñ1°4Ó8óÐò& òP 7ò#ð {{ð × Ñ Ø × Ñ Ø×$Ñ$ Ø×$Ñ$ Ø Ø× Ñ Ø× Ñ Ø
|
..Ø ??Ø {{Ø×$Ñ$ ð ×ÑÐ)Ò)ßUÔUò=ô&*v× :Ñ :À$õ &*ñP T
|
IÙ$Ø×!Ñ! 1° ¸9Ð/EôIñ *Ø×&Ñ&¨°Y°LôNñ *Ø×)Ñ)Ø Ø Ø// $Ñ'Ð)ô Nñ /Ø×.Ñ.Ø Ø "Ø// $Ñ'Ð)ô Ðòð ,Ð-JÐKØ"ñ Ð ñ F× 6Ñ 6Ó7ò ;ñ ò ô ð ×ÑwÒ ØHô<ò@òBô&b&V__Ó-ô b&ðH ñó ðô0(6>>¨]õ (ð. ×ÑwÒ Ø ×0Ñ0Ñò1ðj ð
|
×ÑwÒ Ø×$Ñ$KØ×(Ñ(MØ ×,Ñ,OØ×(Ñ(MØ×(Ñ(MØ×$Ñ$KØ×(Ñ(Màôhó ó ðð ôó ó ðð ô(ó ó ðð ôó ó ðð ôó ó ðð ôhtnó ó ðð ô ó ó ðñ 2xÔW R¨Ô 2Ø YYFØ YYFàô$ ó ó ðð ô
|
\(Ñ#ó
|
\ó ð
|
\ñ Ó$Ð$ÒK©G°F¸NÓ,KÐ(Kð ñ ôô ñ 6;Ô Ø× Ñ Iô -õ ñ IØá
|
6>Ô"Ø×&Ñ&Lô " ]õ "ñ $Ó%LØáØð
|
Ð áð × Ñ IØ×*Ñ*NØ×&Ñ&Lð Ð 1 × 1Ñ 1°&×2DÑ2DÓ E× PÑ PÐPMòô*f.ô f.ðP n¨k¸2¸rÓBJò<ô|! °Dõ !ð2 ñ<
|
ó ð<
|
ð| ×-Ñ-¨~Ð>Ðò 0ñ 6=Ô!Ø×$Ò$Kò ñ 6:Ô Ø×*Ò*Nòô0(>ñT T
|
Iòô21ðn ×ÑwÒ Ø×"Ò"JØHòò0ñ, 6;Ô Ø× Ò Ið ñ 8ó ð 8ò %ò
|
)÷ ñ ôCtô Cñ
|
Þ ô#YÐ ,õ #YñN 6?Ô#Ø×(Ò(MØ ×,Ò,O÷ñ ô7
|
ô 7ô.7*ô 7ñ0 Þ ñ V[Ô!ô+[Ð .ö +[ôbbD-ô bñL v}Ô%ñ 6?Ô +ñ
|
À5õ
|
ð ×,Ò, ôr3 4õ r3ðl &× >Ò >Ð ð ×Ñ'Ò!ô v×'FÒ'FÈdõ ÷, Ñ òð0 ×Òñ 7ó ð 7ð ×ÑwÒ Ø×$Ò$Kð ñ 6ó ð 6ñ 6;Ô Ø× Ò Ið ñ,3ó ð,3ñ` 68Ô Ø ]]Fð ñ&3ó ð&3ñT 6:Ô ØHôÐ.°dõ ð ñ3ó ð3ñ0 6?Ô#Ø×(Ò(Màñ8ó ð8ñ& 66ÔØ ;;Dàñ8ó ð8ñ" 67ÔØ LLEàñ8ó ð8ñ4 6:Ô ØHØ×$Ò$Kàñ3ó ð3ð& ñ3ó ð3ñ" 6:Ô ØHàñ3ó ð3ð&' ðX ×ÑwÒ Ø ]]Fó)ô'Ð 3¸4õ 'ô
|
-v×+Ñ+°4õ -ð6 ñ+ó ð+ò-òñ Þ#á V^Ô$ô;FÐ!1ö ;Fô|KJ}ô KJñ\ 6=Ô!Ø×$Ò$Kðð !ó ñ( 6Ð2Ô3Ø$*×$HÒ$HÑ!à$'Ð!ñ 6>Ô"Ø×&Ò&LðS%ð S uó Sð8 ×ÑwÒ Ø ×4Ò4Ñð Ø #Ø %Ø $ð òSàðSð ðSð ð Sð
|
ð Sð !,,Ø LL V§Z¡ZÑ0°&·/²/À#ÀvÇzÁzÀ/Ñ2RÐRÑ SØ ð ñ
|
ð Sð **ðSð
|
!aÑ óSñl 6:Ô ØHà F§O¢O°C¸¿¹°OÑ$DÔ EBð!bð ! ó !ðL ×ÑzÒ!Ø×$Ò$Jà Ó B÷Hñ HðV ×ÑgÒ ó
|
ò
|
|
|
ñ( v~Ô&Ø-4ô 4Qòp QñD Ø *FÔð[¨Dó [ð& $¡W¨V°^ÀTÓ%JÐKÐ ð Dó ñ 6Ð'Ô(ô. ð` !3FÕ ò6!ñp Ø%8Ô"ð ×ÑwÒ Ø×"Ò"Jôð %+×$6Ò$6Ð!Ù!*Ò+XÓ!YÐ ôE$ô EðN ,,° ¸bÀ"ÓEKò ð %,ó ?ðB "9JÔ ñ ;??HÔ%Ø __× #Ò #Fô ô ð* OOJÔ Ø
|
OOIÔ Ø
|
OOEÔñ 6Ð'Ô(Ø ×2Ò2Ñòð@ ×ÑwÒ ØnnG÷:1ñ :1ð| ×ÑwÒ Ø×(Ò(Mð ×Ñ7Ò"ó ò ð ×Ñ'Ò!ñ ,5ò 6
|
ó , Ð(ô 6 V×%9Ñ%9Àõ 6÷_0ñ _0ñD 6=Ô!Ø×$Ò$KØ!×6Ò6Ñð
|
ð
|
Dó
|
ð*2 ð 2¨V×-=Ò-=¸cÑ-Bó 2ñ* 65ÔØ
|
**C÷ =ñ =ñ@ v}¨dÓ3 àÐð'Ûñ ¨Ó.Ø Ð Ù ;LàÐØ KØ NN=Ô!ð ×ÑwÒ ß5Ð5ô ô ð )-°TÀEØ %||ô ñD 6Ð)Ô*Ø!×6Ò6Ñð #¨D¸È4öLðb ØØØØÙ"öV÷r#Ió #IðL ×ÑÑ)Ò)Ø ×'Ò'Ióó(& ñN × Ò Ø-:ÖT T¹gÀfÈdÕ>ST764Ó Ñ ÒTôð
|
..Ø × Ñ
|
Ø × Ò øðc ò Ú ð üòV Us ø#} ü}$ü }$ý}!ý }!
|
