,RemT x d dl Z d dlZd dlZd dlZd dlZd dlZej dd dk ZereZ nd dlm Z m
Z
d Z d Z g dZ
ere
g d eed rej Zn! G d
d ej d
Z ed
Z ej d Z ej d Z ej d Z ej dd Z ej dd Zej Z eed rej dd dk rej ZnWej dd dk r# G d dej d
Z e dd Zn! G d d ej d
Z e d
Z eed rej Z nd Z d Z eed! rej Z nWej dd dk r# G d" d#ej d
Z! e!d!d$ Z n! G d% d&ej d
Z" e"d
Z ej# Z#ej$ Z$ej% Z% G d' d(e Z&ej' Z'ej( Z(ej) Z)ej* Z* eed) rej+ Z+n' G d* d)ej, ej- e e&ej, + Z+ej. Z. eed, rej/ Z/n d d-l0m1Z2 G d. d,ej3 e Z/ej4 Z4 eed/ rej5 Z5n_dej dd cxk rd0k r n n ej6 ej5 eef Z5n) G d1 d/ej5 ej7 eef e&ej5 + Z5 eed2 rej8 Z8n) G d3 d2ej8 ej9 ee:f e&ej8 + Z8 eed4 rej; Z;n5 eed4 r) G d5 d4ej; ej7 eef e&ej; + Z; eed6 rej< Z Z>ej? Z?d8 Z@g d9ZAd: ZBd; ZC eed< rejD ZDnVer,d d=lmEZE d> ZF G d? d@e jG ZH G dA d NoReturn:
raise Exception('no way')
This type is invalid in other positions, e.g., ``List[NoReturn]``
will fail in static type checkers.
c t d )Nz*NoReturn cannot be used with isinstance().r selfobjs r __instancecheck__z_NoReturn.__instancecheck__m HII Ir c t d )Nz*NoReturn cannot be used with issubclass().rE rG r s r __subclasscheck__z_NoReturn.__subclasscheck__p rJ r N__name__
__module__ __qualname____doc__r rI rM rC r r rB rB _ sK
J J J J J J J Jr rB T_rootTKTVTT_co) covariantT_contra)
contravariantr )r r c e Zd Zd Zd ZdS )
_FinalFormc d| j z S Nztyping_extensions._namerG s r __repr__z_FinalForm.__repr__ '$*4 4r c h t j || j d }t j | |f S )N accepts only single typetyping _type_checkrb
_GenericAliasrG r items r __getitem__z_FinalForm.__getitem__ s; %j)-&N&N&NP PD'tg66 6r NrO rP rQ rd rn rC r r r^ r^ 2 5 5 5 7 7 7 7 7r r^ aW A special typing construct to indicate that a name
cannot be re-assigned or overridden in a subclass.
For example:
MAX_SIZE: Final = 9000
MAX_SIZE += 1 # Error reported by type checker
class Connection:
TIMEOUT: Final[int] = 10
class FastConnector(Connection):
TIMEOUT = 1 # Error reported by type checker
There is no runtime checking of these properties.)docc F e Zd ZdZdZd
dZd Zd Z fdZd Z d Z
xZ S ) _Finala A special typing construct to indicate that a name
cannot be re-assigned or overridden in a subclass.
For example:
MAX_SIZE: Final = 9000
MAX_SIZE += 1 # Error reported by type checker
class Connection:
TIMEOUT: Final[int] = 10
class FastConnector(Connection):
TIMEOUT = 1 # Error reported by type checker
There is no runtime checking of these properties.
__type__Nc || _ d S Nrt rG tpkwdss r __init__z_Final.__init__
DMMMr c t | }| j 0 |t j ||j dd d d S t |j dd d )N accepts only single type.TrS cannot be further subscriptedtyperu ri rj rO r rG rm r s r rn z_Final.__getitem__ s t**C}$s6-d !l122 .JJJ L L!%' ' ' ' s|ABB / O O OPP Pr c t j | j || }|| j k r| S t | |d S NTrS ri
_eval_typeru r rG globalnslocalnsnew_tps r r z_Final._eval_type E &t}hHHF && 4::fD111 1r c t }| j |dt j | j dz
}|S N[]superrd ru ri
_type_reprrG r __class__s r rd z_Final.__repr__ H ""A}(<*4=99<<<<Hr c R t t | j | j f S rw hashr rO ru rc s r __hash__z_Final.__hash__ d,dm<== =r c p t |t st S | j | j |j k S | |u S rw )
isinstancers NotImplementedru rG others r __eq__z
_Final.__eq__ s; eV,,
&%%}(}665= r rw rO rP rQ rR r r{ rn r rd r r
__classcell__r s @r rs rs s
" Q Q Q 2 2 2 > > > ! ! ! ! ! ! !r rs r1 c | S )au This decorator can be used to indicate to type checkers that
the decorated method cannot be overridden, and decorated class
cannot be subclassed. For example:
class Base:
@final
def done(self) -> None:
...
class Sub(Base):
def done(self) -> None: # Error reported by type checker
...
@final
class Leaf:
...
class Other(Leaf): # Error reported by type checker
...
There is no runtime checking of these properties.
rC )fs r r1 r1 s ( r c * t j | S rw )ri TypeVarnames r r2 r2 s >$ r r3 c e Zd Zd Zd ZdS ) _LiteralFormc d| j z S r` ra rc s r rd z_LiteralForm.__repr__ re r c , t j | | S rw )ri rk rG r s r rn z_LiteralForm.__getitem__ s 'j99 9r Nro rC r r r r s2 5 5 5 : : : : :r r ao A type that can be used to indicate to type checkers
that the corresponding value has a value literally equivalent
to the provided parameter. For example:
var: Literal[4] = 4
The type checker understands that 'var' is literally equal to
the value 4 and no other value.
Literal[...] cannot be subclassed. There is no runtime
checking verifying that the parameter is actually a value
instead of a type.c F e Zd ZdZdZd
dZd Zd Z fdZd Z d Z
xZ S ) _Literala A type that can be used to indicate to type checkers that the
corresponding value has a value literally equivalent to the
provided parameter. For example:
var: Literal[4] = 4
The type checker understands that 'var' is literally equal to the
value 4 and no other value.
Literal[...] cannot be subclassed. There is no runtime checking
verifying that the parameter is actually a value instead of a type.
__values__Nc || _ d S rw r )rG valuesrz s r r{ z_Literal.__init__!
$DOOOr c t | }| j %t |t s|f} ||d S t |j dd d )NTrS r~ r )r r r tupler rO )rG r r s r rn z_Literal.__getitem__$ se t**C&!&%00 ' $YFs6....s|ABB / O O OPP Pr c | S rw rC )rG r r s r r z_Literal._eval_type, Kr c t }| j 9|dd t t
j | j dz
}|S )Nr , r )r rd r joinmapri r r s r rd z_Literal.__repr__/ sV ""A*N3v'8$/#J#JKKNNNNHr c R t t | j | j f S rw )r r rO r rc s r r z_Literal.__hash__5 s d,do>?? ?r c p t |t st S | j | j |j k S | |u S rw )r r r r r s r r z_Literal.__eq__8 s< eX..
&%%*%*:::5= r rw r r s @r r r s $ % % % % Q Q Q @ @ @ ! ! ! ! ! ! !r r c e Zd Z fdZ xZS )_ExtensionsGenericMetac | j 2t j d j d dvrt d dS | j s!t
| S | j | }|t ur|S | j |j
v rdS | j D ]+}t |t rt || r dS ,dS )a* This mimics a more modern GenericMeta.__subclasscheck__() logic
(that does not have problems with recursion) to work around interactions
between collections, typing, and typing_extensions on older
versions of Python, see https://github.com/python/typing/issues/501.
Nr~ rO abc functoolsCParameterized generics cannot be used with class or instance checksFT)
__origin__sys _getframe f_globalsr __extra__r rM __subclasshook__r __mro____subclasses__r r
issubclass)rG subclassressclsr s r rM z(_ExtensionsGenericMeta.__subclasscheck__N s ? &}Q )*5=QQQ !5 6 6 65~ 777,,X66 6n--h77 n $ $J >X - - -4N1133 D$ ,,
(D))
tt
ur )rO rP rQ rM r r s @r r r M s8 r r r+ c e Zd ZdZd ZdS )r+ rC c | j t u rt j |i |S t j t j | g|R i |S rw )_gorgr+ collectionsdequeri _generic_newr argsrz s r __new__z
Deque.__new__w sK yE!!"($7$777&{'8#MMMMMM Mr NrO rP rQ r r rC r r r+ r+ r s/ N N N N Nr ) metaclassextrar' )_check_methodsc N e Zd ZdZd Zej d Zed Z dS )r' rC c
K | S rw rC rc s r
__aenter__z AsyncContextManager.__aenter__ s Kr c
K d S rw rC )rG exc_type exc_value tracebacks r __aexit__z AsyncContextManager.__aexit__ s 4r c D | t u rt |dd S t S )Nr r )r' _check_methods_in_mror )r Cs r r z$AsyncContextManager.__subclasshook__ s& ))),Q kJJJ! !r N)
rO rP rQ r r r abstractmethodr classmethodr rC r r r' r' sb
" "
" " "r r- )r r r\ c e Zd ZdZd ZdS )r- rC c | j t u rt j |i |S t j t j | g|R i |S rw )r r- r ri r r s r r zOrderedDict.__new__ sK yK''".====&{'>SdSSSdSS Sr Nr rC r r r- r- s/ T T T T Tr r* c e Zd ZdZd ZdS )r* rC c | j t u rt j |i |S t j t j | g|R i |S rw )r r* r ri r r s r r zCounter.__new__ sK yG##"*D9D999&{':CO$OOO$OO Or Nr rC r r r* r* s/ P P P P Pr r( c e Zd ZdZd ZdS )r( rC c | j t u rt j |i |S t j t j | g|R i |S rw )r r( r ri r r s r r zChainMap.__new__ sK yH$$"+T:T:::&{';SP4PPP4PP Pr Nr rC r r r( r( s/ Q Q Q Q Qr r& c e Zd ZdZdS )r& rC N)rO rP rQ r rC r r r& r& s r c t | t sJ t | d r| j S | j | j } | j | S )z@This function exists for compatibility with old typing versions.r )r r hasattrr r r s r r r sP c; ' ''''sG y
.
$n .
$ Jr )
Callabler" IterableIteratorr$ r# HashableSized Container
Collection
Reversibler) r' c n t }| j d d D ]}|j dv r t |di }t |j t | z D ]0}| d s|dvr| | 1|S )N)r6 Generic__annotations___abc_)__abstractmethods__r __weakref__ _is_protocol_is_runtime_protocol__dict____args__r __next_in_mro__r r __orig_bases__r
__tree_hash__rR r r{ r rP _MutableMapping__markerr ) setr rO getattrlistr
keys
startswithadd)r attrsbase annotationsattrs r _get_protocol_attrsr s EEE CRC
= 3 3 3 d$5r:: ++--..k6F6F6H6H1I1II DOOG,,
>F 2F 2F $ Lr c T t fdt D S )Nc 3 T K | ]"}t t |d V #d S rw )callabler ).0r r s r z,_is_callable_members_only.. s7 WWdxT40011WWWWWWr )allr r s `r _is_callable_members_onlyr! s0 WWWW>QRU>V>VWWW W WWr r6 )_collect_type_varsc L t | j rt d d S Nz Protocols cannot be instantiatedr r r rG r kwargss r _no_initr( / :: " @ >?? ? @ @r c e Zd Z fdZ xZS )
_ProtocolMetac t dd rt rt j rdS j r+t fdt
D rdS t S )Nr FTc 3 K | ]E}t | o0t t |d pt | d uV Fd S rw r r r )r r r instances r r z2_ProtocolMeta.__instancecheck__.. sy = = x.. = $WS$%=%= > >> < $//t;= = = = = =r ) r r! r r r r r r rI )r r/ r s ``r rI z _ProtocolMeta.__instancecheck__ s S.%88
*3//
x 1377
t
= = = = = $7s#;#;= = = = = 477,,X66 6r )rO rP rQ rI r r s @r r+ r+ s8
7
7
7
7
7
7
7
7
7r r+ c P e Zd ZdZdZdZ fdZej d Z d Z
xZ S )r6 a Base class for protocol classes. Protocol classes are defined as::
class Proto(Protocol):
def meth(self) -> int:
...
Such classes are primarily used with static type checkers that recognize
structural subtyping (static duck-typing), for example::
class C:
def meth(self) -> int:
return 0
def func(x: Proto) -> int:
return x.meth()
func(C()) # Passes static type check
See PEP 544 for details. Protocol classes decorated with
@typing_extensions.runtime act as simple-minded runtime protocol that checks
only the presence of given attributes, ignoring their type signatures.
Protocol classes can be generic, they are defined as::
class GenProto(Protocol[T]):
def meth(self) -> T:
...
rC Tc v | t u rt d t | S )NzIType Protocol cannot be instantiated; it can only be used as a base class)r6 r r r )r r rz r s r r zProtocol.__new__> s= h !F G G G77??3'' 'r c t |t s|f}|s&| t j urt d| j d dt fd|D }| t u rt d |D sed}t || t j r%|dz
}t || t j %t d|dz d || t t | t | k rt d
nt | | t j | | S ) NParameter list to [...] cannot be empty*Parameters to generic types must be types.c 3 B K | ]}t j | V d S rw ri rj r pmsgs r r z-Protocol.__class_getitem__..L s0 FF!6-a55FFFFFFr c 3 J K | ] }t |t j V d S rw r ri r r r9 s r r z-Protocol.__class_getitem__..O . IIQ:a 88IIIIIIr r r~ zBParameters to Protocol[...] must all be type variables. Parameter z is z.Parameters to Protocol[...] must all be unique)
r r ri Tupler rQ r6 r r r r r rk )r paramsir: s @r __class_getitem__zProtocol.__class_getitem__D s fe,,
#
Rc 5 5 P)9PPPR R R>CFFFFvFFFFFFhII&IIIII >A$VAY?? Q %VAY?? #=&'!e= =17= => > > s6{{##s6{{22#HJ J J 3
sF+++'V44 4r c x g }d j v rt j j v }nt j j v }|rt d d j v rt
j }d } j D ]Z}t |t j r>|j t j t fv r$|j j }|t d |j }[||}nt | }t | | k sYd fd|D } d d |D }
t d| d| d |
d
|}t | _ j d d s#t# d j D _ fd
} d j vr| _ j sd S j D ]k}|t( t j fv sT|j dk r|j t, v s;t |t. r|j s t dt1 | lt2 _ d S )Nr
!Cannot inherit from plain GenericzECannot inherit from Generic[...] and/or Protocol[...] multiple types.r c 3 > K | ]}|vt | V d S rw strr tgvarsets r r z-Protocol.__init_subclass__..~ 3 *U*UaAWDTDT3q66DTDTDTDT*U*Ur c 3 4 K | ]}t | V d S rw rF r gs r r z-Protocol.__init_subclass__.. ( *A*Aa3q66*A*A*A*A*A*Ar Some type variables () are not listed in r r r c 3 ( K | ]
}|t u V d S rw )r6 r bs r r z-Protocol.__init_subclass__.. s& &L&LqH}&L&L&L&L&L&Lr c j dd st S t dd s7t j d j d dv rt S t d t s7t j d j d dv rt S t d t | t st d t D ]}| j D ]r}||j v r|j | t c c S nWt |d
i }t |t j r"||v r t | t r | j r n
st c S d S ) Nr r Fr\ rO r BInstance and class checks can only be used with @runtime protocols._proto_hook s |''== *)) s$:EBB ;}Q''1*=AUUU --# %: ; ; ;055 C}Q''1*=AUUU --# %B C C C!%.. J#$HIII / 4 4
.
.D %
. . 4=00 #}T 2 :'5 5 5 5 5 5 !E&-d4Er&J&J &{FN C C " $ 3 3 *5- @ @ !4 % 2 !4 "E ----tr r collections.abc5Protocols can only inherit from other protocols, got )r
ri r r
__bases__r r" r rk r r6 rO r r r r rY anyr r objectrP _PROTO_WHITELISTr+ reprr( r{ )
r r r' tvarserrorgvarsr the_basetvarsets_varss_argsr\ rJ s
` @r __init_subclass__zProtocol.__init_subclass__^ s E 3<// #*<< #-7
E CDDD 3<//*3+=>> . 4 4D"4)=>> 4 O/I I I#'?#; ,"+!H#I #I I !% 3= !EE !%jjG !%jjG"g--!%*U*U*U*U5*U*U*U!U!U!%*A*A5*A*A*A!A!A ' )O )O )O:B)O )OEK)O )O )O P P P !E!&u C <##ND99
M#&&L&Lcm&L&L&L#L#L
> " 55'2$ #
E
E 888 +<<<
)999"4 77 :<@. s. HHQ:a 88HHHHHHr rD zACannot inherit from Generic[...] or Protocol[...] multiple times.r c 3 > K | ]}|vt | V d S rw rF rH s r r z(_ProtocolMeta.__new__.. rK r c 3 4 K | ]}t | V d S rw rF rM s r r z(_ProtocolMeta.__new__.. rO r c 3 < K | ]}|j t j u V d S rw )r ri r rS s r r z(_ProtocolMeta.__new__.. sG 4D 4D89 56LFN4R 4D 4D 4D 4D 4D 4Dr r r6 rP rQ r r c 3 b K | ]*}t |t rt | n|V +d S rw )r r r rS s r r z(_ProtocolMeta.__new__.. sO * * '1K&@&@G%(((a * * * * * *r c 3 \ K | ]'}t |t o
|t j uV (d S rw )r r ri r rS s r r z(_ProtocolMeta.__new__.. s8 YYa:a--I!6>2IYYYYYYr c 3 6 K | ]}|t j u|V d S rw )ri r rS s r r z(_ProtocolMeta.__new__.. s. J JA!6>2I2Ia2I2I2I2I J Jr )r r TrS r c 3 Z K | ]&}|t j u rd n|t j u rdn|V 'dS ).rC N)ri _TypingEllipsis _TypingEmptyr as r r z(_ProtocolMeta.__new__.. sZ "3 "3() *+f.D)D)D##()V-@(@(@"""#"3 "3 "3 "3 "3 "3r
_subs_tree)!r r ri r r r r r r6 r r r r` r r ABCMetar updater r __setattr__r r rm r r
_abc_registry
_abc_cacher r r} r r )r r bases namespacerd r originr
orig_basesrf r rh ri rj cls_name
initial_basesrG rJ r s @r r z_ProtocolMeta.__new__ s === )))HH%HHHHHOO%OOOO"5)) ! 4 4Dv~-- '(K L LL"455 4 O/I I I ,"+!A#B #B B !% 3= !EE !%jjG !%jjG"g--!%*U*U*U*U5*U*U*U!U!U!%*A*A5*A*A*A!A!A03 4D 4D=B4D 4D 4D 1D 1D $T99IS ! ' )O )O )O:B)O )OEK)O )O )O P P P !E !M!d5kkS[&@&@&& 5( * *#(* * * * *EYYSXYYYYY
K J J J J JJJ F G G H H Hc**223eY9= 3 ? ?D +t $ $ 0 0=C 2?16v
@
@
@ #(D 7; EE "3 "3-1"3 "3 "3 3 3 3@D
M $0#5#5D !&3###%+%9""("3t\**
KAG 'Jd4??+<+<&=&=&=&+K&>&>&G&G&I&I "Kr c \ t j |i | j dd s#t d j D _ j r j dd D ]}|t t j
fv s|j dk r|j t v sht |t j r|j sGt |t r|j t j
u s t% dt' | t( _ fd}d j vr | _ d S d S )Nr c 3 n K | ]0}|t u p"t |t o
|j t u V 1d S rw )r6 r r+ r rS s r r z)_ProtocolMeta.__init__..
s_ '? '? ,- ()H} (@'1!]'C'C (@'(|x'?'? '? '? '? '? '?r r~ r] r^ c j dd st S t | t st d t
D ]}| j D ]r}||j v r|j | t c c S nWt |di }t |t j
r"||v r t | t r | j r n
st c S dS )Nr rX r T)
r
rY r r r r r r r ri rZ r+ r r[ s r r\ z+_ProtocolMeta.__init__.._proto_hook s |''== *))!%.. J#$HIII / 4 4
.
.D %
. . 4=00 #}T 2 :'5 5 5 5 5 5 !E&-d4Er&J&J &{FN C C " $ 3 3 *5- @ @ !4 % 2 !4 "E ----tr r )r r{ r
rY r` r_ r r ra ri r rP rO rb r
TypingMetar r r rc r( r )r r r' r r\ r s ` r r{ z_ProtocolMeta.__init__ s} EGG d -f - - -<##ND99
?#& '? '? 14
'? '? '? $? $?
( KO I ID VV^$< < < O/@ @ @ M-= = = &tV-> ? ? >DHDU > &t[ 9 9 > !Ov~ = = ' )H;?::)H )H I I I (
* " 55'2$$$ 65r c * t dd rt rt j rdS j r+t fdt
D rdS t t S )Nr FTc 3 K | ]E}t | o0t t |d pt | d uV Fd S rw r. )r r r/ rG s r r z2_ProtocolMeta.__instancecheck__..; sy ? ? ! x.. > %gdD$&?&? @ @@ = 400<? ? ? ? ? ?r )
r r! r r r r r r r rI )rG r/ r s ``r rI z _ProtocolMeta.__instancecheck__3 s T>599
-d33
x 1488
t
? ? ? ? ? %8$=$=? ? ? ? ? 4d++==hGG Gr c | j 2t j d j d dvrt d dS | j dd rM| j dd s2t j d j d dv rdS t d | j dd rgt | sXt j d j d dv r(t t |
| S t d
t t |
| S ) Nr~ rO r r Fr r r r ri rV rW ) r r r r r r
rY r! r r rM )rG r r s r rM z _ProtocolMeta.__subclasscheck__B sf *=##-j9AUUU# %9 : : : u
!!.$77
7
))*@$GG
7=##-j9 >H H H !5 !6 7 7 7
!!"8$??
?1$77
?=##-j9 >H H H !d33EEcJJJ !> ? ? ?d++==cBB Br c
t |t s|f}|s3t | t j urt d| j d dt fd|D }| t j t fv rt d |D s t dt | d t t | t | k r t dt | d |}|}n| t j t j
fv rt | }|}nZ| j t j t fv r t d t | t! | | t | }|}| j | fnd
}| | j || j z t) | j ||| | j | j S ) Nr3 r4 r5 c 3 8 K | ]}t | V d S rw )rj r8 s r r z,_ProtocolMeta.__getitem__..d s- ??1;q#..??????r c 3 J K | ] }t |t j V d S rw r< r= s r r z,_ProtocolMeta.__getitem__..f r> r zParameters to z [...] must all be type variablesz[...] must all be uniquez%Cannot subscript already-subscripted rC )rd r r r r )r r r ri r? r rQ r r6 r rc r r r r r r r rO r_ r r
r r
)rG r@ rd r prependr: s @r rn z_ProtocolMeta.__getitem__Z s fe,,
#
SeDkk = = Q):QQQS S S>C?????????F111II&IIIII W#UdUUUW W Ws6{{##s6{{22#MdMMMO O O &,888"6** V^X$>>> TT
T TUUU tV,,,"6** !% !8tggbG>>$-")DN":"0 "?"?(-'+)-(,-1-@ " B B
Br )NNNNN) rO rP rQ rR r r{ rI rM ri rl rn r r s @r r+ r+ s PT> > > > > > @* 3 * 3 * 3 * 3 * 3X
H
H
H
H
H C C C C C0
% B % B
% B % B % B % B % Br c e Zd ZdZdZdZd ZdS )r6 a Base class for protocol classes. Protocol classes are defined as::
class Proto(Protocol):
def meth(self) -> int:
...
Such classes are primarily used with static type checkers that recognize
structural subtyping (static duck-typing), for example::
class C:
def meth(self) -> int:
return 0
def func(x: Proto) -> int:
return x.meth()
func(C()) # Passes static type check
See PEP 544 for details. Protocol classes decorated with
@typing_extensions.runtime act as simple-minded runtime protocol that checks
only the presence of given attributes, ignoring their type signatures.
Protocol classes can be generic, they are defined as::
class GenProto(Protocol[T]):
def meth(self) -> T:
...
rC Tc t | t u rt d t j | j | g|R i |S )NzIType Protocol cannot be instantiated; it can be used only as a base class)r r6 r ri r r r s r r zProtocol.__new__ sT SzzX%% !F G G G&s':CO$OOO$OO Or N)rO rP rQ rR r r r rC r r r6 r6 s> 8 P P P P Pr r8 c p t | t r| j st d| d| _ | S )a4 Mark a protocol class as a runtime protocol, so that it
can be used with isinstance() and issubclass(). Raise TypeError
if applied to a non-protocol class.
This allows a simple-minded structural check very similar to the
one-offs in collections.abc such as Hashable.
z@@runtime_checkable can be only applied to protocol classes, got T)r r+ r r r r s r r8 r8 sQ #}-- -S5E - ,$' , , - -
-#'
r r/ c 8 e Zd ZdZej defd ZdS )r/ rC returnc d S rw rC rc s r __index__zSupportsIndex.__index__ s Dr N)rO rP rQ r r r intr rC r r r/ r/ sB s
r )r r\ c t j d j d dvrt d n# t t
f$ r Y nw xY wdS )Nr~ rO r z4TypedDict does not support instance and class checksF)r r r r AttributeError
ValueError)r r s r _check_failsr sq }Q )*5 >H H H VWWW H
+ D us 03 AAc ` | st d | d | dd } }t | i |S )N)TypedDict.__new__(): not enough argumentsr r~ )r r )r r' _s r _dict_newr sB I GHH Hq'484T$V$$$r z,($cls, _typename, _fields=None, /, **kwargs)totalc |st d |d |dd }}|r|d |dd }}nJd|v r7| d }dd l}| dt d nt d |r7 |\ }n# t
$ r$ t d t
| dz d
w xY wd |v rJt
| dk r7| d }dd l}| d t d nd }||}n|rt d
dt | i} t j d j
dd |d< n# t t
f$ r Y nw xY wt |d|| S )Nr r r~ _typenamez5Passing '_typename' as keyword argument is deprecatedr\ )
stacklevelzGTypedDict.__new__() missing 1 required positional argument: '_typename'z?TypedDict.__new__() takes from 2 to 3 positional arguments but z were given_fieldsz3Passing '_fields' as keyword argument is deprecatedz@TypedDict takes either a dict or keyword arguments, but not bothr rO __main__rP rC r )r r
warningswarnDeprecationWarningr r r r r r rY r _TypedDictMeta)r r r' r typenamer fieldsnss r _typeddict_newr s( I GHH Hq'484 5 !!Wd122hdHH
F
"
" zz+..H OOO MMQ,
<
<
<
< 4 5 5
5
.
.
.
. !-FF
- , - -
- f
. "}Q / / 9 = =j* U UB|
+ D hBe<<<z*_TypedDictMeta.__new__..* s9 381b6%b#.. r __required_keys__rC __optional_keys__ __total__)r r r r r rY r r itemsr r
r frozensetr r r r )r r r r r tp_dictr own_annotationsown_annotation_keys
required_keys
optional_keysr r: r s @r r z_TypedDictMeta.__new__ s /3k.A.ANNyByMggooc4$"==G K ff%6 ; ;O"%o&:&:&<&<"="= SC ?? ?r c dt j | j dd d | j D dS )Nz typing_extensions.Annotated[r c 3 4 K | ]}t | V d S rw rc r{ s r r z+_AnnotatedAlias.__repr__.. s( D DQa D D D D D Dr r )ri r r r r rc s r rd z_AnnotatedAlias.__repr__ s\ H63DT_3U3U H Hyy D D$2C D D DDDH H H
Ir c H t j t | j f| j z ffS rw )operatorgetitemr0 r r rc s r
__reduce__z_AnnotatedAlias.__reduce__ s) #DO-0AA&
r c ~ t |t st S | j |j k rdS | j |j k S )NF)r r r r r r s r r z_AnnotatedAlias.__eq__ s@ e_55
&%%%"222 u$(:: :r c 8 t | j | j f S rw )r r r rc s r r z_AnnotatedAlias.__hash__ s $*;<== =r ) rO rP rQ rR r{ r rd r r r r r s @r r r n s ) ) ) ) ) @ @ @
I I I
; ; ; > > > > > > >r r c B e Zd ZdZdZd Zej d Zd Z dS )r0 a Add context specific metadata to a type.
Example: Annotated[int, runtime_check.Unsigned] indicates to the
hypothetical runtime_check module that this type is an unsigned int.
Every other consumer of this type can ignore this metadata and treat
this type as int.
The first argument to Annotated must be a valid type (and will be in
the __origin__ field), the remaining arguments are kept as a tuple in
the __extra__ field.
Details:
- It's an error to call `Annotated` with less than two arguments.
- Nested Annotated are flattened::
Annotated[Annotated[T, Ann1, Ann2], Ann3] == Annotated[T, Ann1, Ann2, Ann3]
- Instantiating an annotated type is equivalent to instantiating the
underlying type::
Annotated[C, Ann1](5) == C(5)
- Annotated can be used as a generic type alias::
Optimized = Annotated[T, runtime.Optimize()]
Optimized[int] == Annotated[int, runtime.Optimize()]
OptimizedList = Annotated[List[T], runtime.Optimize()]
OptimizedList[int] == Annotated[List[int], runtime.Optimize()]
rC c t d )Nz&Type Annotated cannot be instantiated.rE r r r' s r r zAnnotated.__new__ s DEE Er c t |t rt | dk rt d d}t j |d | }t |dd }t
|| S )Nr\ zUAnnotated[...] should be used with at least two arguments (a type and an annotation).$Annotated[t, ...]: t must be a type.r r~ )r r r r ri rj r )r r@ r: r r s r rB zAnnotated.__class_getitem__ s{ fe,,
0F a !/ 0 0 0 9C'q 377F VABBZ((H"6844 4r c 2 t d| j d )NCannot subclass z
.Annotated)r rP r s r rk zAnnotated.__init_subclass__ s$ =3>===
r N)
rO rP rQ rR r r ri rl rB rk rC r r r0 r0 sf @ F F F
5 5
5 r c ( t | t rt | j S t | t j rNt
d | j D }|| j k r| S | | }| j |_ |S | S )z2Strips the annotations from a given type.
c 3 4 K | ]}t | V d S rw _strip_annotationsr{ s r r z%_strip_annotations.. s+ !L!LA"4Q"7"7!L!L!L!L!L!Lr )
r r r r ri rk r r r _special)rI
stripped_argsr s r r r s a ) ) 4%al33 3 a- . . !!L!L!L!L!L L LM
**++m,,C :CLJr Fc t t j | || }|r|S d | D S )a] Return type hints for an object.
This is often the same as obj.__annotations__, but it handles
forward references encoded as string literals, adds Optional[t] if a
default value equal to None is set and recursively replaces all
'Annotated[T, ...]' with 'T' (unless 'include_extras=True').
The argument may be a module, class, method, or function. The annotations
are returned as a dictionary. For classes, annotations include also
inherited members.
TypeError is raised if the argument is not of a type that can contain
annotations, and an empty dictionary is returned if no annotations are
present.
BEWARE -- the behavior of globalns and localns is counterintuitive
(unless you are familiar with how eval() and exec() work). The
search order is locals first, then globals.
- If no dict arguments are passed, an attempt is made to use the
globals from obj (or the respective module's globals for classes),
and these are also used as the locals. If the object does not appear
to have globals, an empty dictionary is used.
- If one dict argument is passed, it is used for both globals and
locals.
- If two dict arguments are passed, they specify globals and
locals, respectively.
)r r c 4 i | ]\ }}|t | S rC r )r krI s r r z"get_type_hints.. s' BBBTQ%a((BBBr )ri r? r )rH r r include_extrashints r r? r? sD > $S8WMMM KBBTZZ\\BBBBr c | t | dk o)| d o| d S )z3Returns True if name is a __dunder_variable_name__. __)r r endswithr s r
_is_dunderr s4 4yy1}N !6!6N4==;N;NNr c e Zd ZdZ fdZed Zd Zd fd Zd Z e
j fd Z d Z
d
Z fd Zd Zd
Z xZS )
AnnotatedMetazMetaclass for Annotatedc t d |D r$t dt t z t j | |||fi |S )Nc 3 ( K | ]
}|t uV d S rw )ra rS s r r z(AnnotatedMeta.__new__.. s& 22q1F?222222r r )r` r rG r0 r r )r r r r r' r s r r zAnnotatedMeta.__new__
sa 22E22222
E 2S^^ CDDD"577?3eYII&II Ir c 6 | d S )Nr\ )r} rc s r r zAnnotatedMeta.__metadata__ s ??$$Q' 'r c |\ }}}t |t st j | }n|d | }d d |D }| d| d| dS )Nr r c 3 4 K | ]}t | V d S rw r )r args r r z+AnnotatedMeta._tree_repr.. s( &E&EStCyy&E&E&E&E&E&Er r r )r r ri r
_tree_reprr )rG treer r r tp_reprmetadata_reprss r r zAnnotatedMeta._tree_repr s $( !C fe,,
7 +F33 )..v66 !YY&E&EH&E&E&E E EN88G88~888 8r Nc , | t u rt S t || }t |d t rD|d d t u r/|d d }|d d }t |||d z fS |S )N)rd r r~ r r\ )r0 r r} r r )rG rd r r sub_tp sub_annotr s r r} zAnnotatedMeta._subs_tree s y ''$$5t$<>Jr c 4 | j t d | }t |t r;|d t
u r,|d }t |t r|d t
u ,t |t r|d S |S )z6Return the class used to create instance of this type.NzCCannot get the underlying type of a non-specialized Annotated type.r r~ )r r r} r r r0 )rG r s r _get_conszAnnotatedMeta._get_cons' s & !B C C C??$$D T5))
d1g.B.BAw T5))
d1g.B.B$&&
Aw r c t |t s|f}| j !t | S t |t rt | dk rt
d d}t j |d | }t |dd }| | j
| j t | j
t |f ||f| S )Nr\ z]Annotated[...] should be instantiated with at least two arguments (a type and an annotation).r r r~ )rd r r )r r r r rn r r ri rj r rO r_ r r
r )rG r@ r: ry r r s r rn zAnnotatedMeta.__getitem__4 s fe,,
# * ww**6222 ..
-#f++// !/ 0 0 0 ='q 377 ,,>>
t}-- "''(^ "
r c p | } ||i |} | |_ n# t $ r Y nw xY w|S rw )r __orig_class__r )rG r r' consresults r __call__zAnnotatedMeta.__call__L sZ >>##DT4*6**F
(,%%!
Ms &
33c | j 1t | s"t | | S t | rw )r r r r r )rG r s r __getattr__zAnnotatedMeta.__getattr__U s? *:d3C3C* t~~ / /666 && &r c
t | s| d r$t || d S | j t | t
| || d S )Nr )r r r r r r setattrr )rG r valuer s r r zAnnotatedMeta.__setattr__[ s~ $
74??7#;#;
7##D%00000 ($T***(($66666r c t d )Nz+Annotated cannot be used with isinstance().rE rF s r rI z AnnotatedMeta.__instancecheck__c IJJ Jr c t d )Nz+Annotated cannot be used with issubclass().rE rL s r rM z AnnotatedMeta.__subclasscheck__f r
r )NN)rO rP rQ rR r propertyr r r} r ri rl rn r r r rI rM r r s @r r r s" %% J J J J J
( (
( 9 9 9
. ' ' ' 7 7 7 7 7 K K K K K K K K K Kr r c e Zd ZdZdS )r0 av Add context specific metadata to a type.
Example: Annotated[int, runtime_check.Unsigned] indicates to the
hypothetical runtime_check module that this type is an unsigned int.
Every other consumer of this type can ignore this metadata and treat
this type as int.
The first argument to Annotated must be a valid type, the remaining
arguments are kept as a tuple in the __metadata__ field.
Details:
- It's an error to call `Annotated` with less than two arguments.
- Nested Annotated are flattened::
Annotated[Annotated[T, Ann1, Ann2], Ann3] == Annotated[T, Ann1, Ann2, Ann3]
- Instantiating an annotated type is equivalent to instantiating the
underlying type::
Annotated[C, Ann1](5) == C(5)
- Annotated can be used as a generic type alias::
Optimized = Annotated[T, runtime.Optimize()]
Optimized[int] == Annotated[int, runtime.Optimize()]
OptimizedList = Annotated[List[T], runtime.Optimize()]
OptimizedList[int] == Annotated[List[int], runtime.Optimize()]
NrO rP rQ rR rC r r r0 r0 i s r )r
)_BaseGenericAlias) GenericAliasc t | t rt S t | t j t
t t t f r| j S | t j
u r t j
S dS )a6 Get the unsubscripted version of a type.
This supports generic types, Callable, Tuple, Union, Literal, Final, ClassVar
and Annotated. Return None for unsupported types. Examples::
get_origin(Literal[42]) is Literal
get_origin(int) is None
get_origin(ClassVar[int]) is ClassVar
get_origin(Generic) is Generic
get_origin(Generic[T]) is Generic
get_origin(Union[T, int]) is Union
get_origin(List[Tuple[T, T]][int]) == list
get_origin(P.args) is P
N) r r r0 ri rk r r
ParamSpecArgsParamSpecKwargsr r )ry s r r> r> sf b/ * * b6/ ?P(/; < < !=
> !tr c f t | t r| j f| j z S t | t j t f rjt | dd rdS | j }t | t j j u r.|d t ur t |dd |d f}|S dS )a Get type arguments with all substitutions performed.
For unions, basic simplifications used by Union constructor are performed.
Examples::
get_args(Dict[str, int]) == (str, int)
get_args(int) == ()
get_args(Union[int, Union[T, int], str][int]) == (int, str)
get_args(Union[int, Tuple[T, int]][str]) == (int, Tuple[str, int])
get_args(Callable[[], T][int]) == ([], int)
r FrC r Nr )r r r r ri rk r r r r> r r r Ellipsisr )ry r s r r= r= s b/ * * 6M#bo5 5 b6/ > ? ? r:u--
r+C"~~ !999c!fH>T>TCH~~s2w/Jrr r: )r r c e Zd Zd ZdS )_TypeAliasFormc d| j z S r` ra rc s r rd z_TypeAliasForm.__repr__ re r NrO rP rQ rd rC r r r r # 5 5 5 5 5r r c & t | d )& Special marker indicating that an assignment should
be recognized as a proper type alias definition by type
checkers.
For example::
Predicate: TypeAlias = Callable[..., bool]
It's invalid when used anywhere except as in the example above.
is not subscriptablerE r s r r: r: s 4666777r c e Zd Zd ZdS )r c d| j z S r` ra rc s r rd z_TypeAliasForm.__repr__ re r Nr rC r r r r r r a Special marker indicating that an assignment should
be recognized as a proper type alias definition by type
checkers.
For example::
Predicate: TypeAlias = Callable[..., bool]
It's invalid when used anywhere except as in the example
above.c e Zd ZdZd ZdS )_TypeAliasMetazMetaclass for TypeAliasc dS Nztyping_extensions.TypeAliasrC rc s r rd z_TypeAliasMeta.__repr__ 00r NrO rP rQ rR rd rC r r r" r" s) %% 1 1 1 1 1r r" c ( e Zd ZdZdZd Zd Zd ZdS )_TypeAliasBaser rC c t d )Nz+TypeAlias cannot be used with isinstance().rE rF s r rI z _TypeAliasBase.__instancecheck__ r
r c t d )Nz+TypeAlias cannot be used with issubclass().rE rL s r rM z _TypeAliasBase.__subclasscheck__
r
r c dS r$ rC rc s r rd z_TypeAliasBase.__repr__
r% r N)rO rP rQ rR r rI rM rd rC r r r( r( sX K K K K K K 1 1 1 1 1r r( )r rT r c " e Zd ZdZdZd Zd ZdS )
_Immutablez3Mixin to indicate that object should not be copied.rC c | S rw rC rc s r __copy__z_Immutable.__copy__ r r c | S rw rC )rG memos r __deepcopy__z_Immutable.__deepcopy__ r r N)rO rP rQ rR r r/ r2 rC r r r- r- s= AA r r- c e Zd ZdZd Zd ZdS )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 || _ d S rw r rG r s r r{ zParamSpecArgs.__init__/ r r c | j j dS )Nz.argsr rO rc s r rd zParamSpecArgs.__repr__2 s o.555 5r NrO rP rQ rR r{ rd rC r r r r # s<
% % % 6 6 6 6 6r c e Zd ZdZd Zd ZdS )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 || _ d S rw r5 r6 s r r{ zParamSpecKwargs.__init__A r r c | j j dS )Nz.kwargsr8 rc s r rd zParamSpecKwargs.__repr__D s o.777 7r Nr9 rC r r r r 5 s<
% % % 8 8 8 8 8r r r c e Zd ZdZej Zed Zed Z dddd fd
Z
d Z d Z d
Z
d Zd Zesd
Z xZS xZS )r a' Parameter specification variable.
Usage::
P = ParamSpec('P')
Parameter specification variables exist primarily for the benefit of static
type checkers. They are used to forward the parameter types of one
callable to another callable, a pattern commonly found in higher order
functions and decorators. They are only valid when used in ``Concatenate``,
or s the first argument to ``Callable``. In Python 3.10 and higher,
they are also supported in user-defined Generics at runtime.
See class Generic for more information on generic types. An
example for annotating a decorator::
T = TypeVar('T')
P = ParamSpec('P')
def add_logging(f: Callable[P, T]) -> Callable[P, T]:
'''A type-safe decorator to add logging to a function.'''
def inner(*args: P.args, **kwargs: P.kwargs) -> T:
logging.info(f'{f.__name__} was called')
return f(*args, **kwargs)
return inner
@add_logging
def add_two(x: float, y: float) -> float:
'''Add two numbers together.'''
return x + y
Parameter specification variables defined with covariant=True or
contravariant=True can be used to declare covariant or contravariant
generic types. These keyword arguments are valid, but their actual semantics
are yet to be decided. See PEP 612 for details.
Parameter specification variables can be introspected. e.g.:
P.__name__ == 'T'
P.__bound__ == None
P.__covariant__ == False
P.__contravariant__ == False
Note that only parameter specification variables defined in global scope can
be pickled.
c t | S rw )r rc s r r zParamSpec.args s && &r c t | S rw )r rc s r r' zParamSpec.kwargs s "4(( (r NF)boundrY r[ c t | g || _ t | | _ t | | _ |rt
j |d | _ nd | _ t j
d j dd }n# t t f$ r d }Y nw xY w|dk r || _ d S d S )NzBound must be a type.r~ rO r typing_extensions)r r{ rO bool
__covariant____contravariant__ri rj __bound__r r r rY r r rP )rG r r@ rY r[ def_modr s r r{ zParamSpec.__init__ s GG dV $ $ $ DM!%i D %)-%8%8D "
&!'!3E;R!S!S!%
-**488ZPP"J/
---") .-s 8-B& &B<;B<c B | j rd}n | j rd}nd}|| j z S )N+-~)rD rE rO )rG prefixs r rd zParamSpec.__repr__ s8 !
'
DM) )r c 6 t | S rw )ra r rc s r r zParamSpec.__hash__ s ??4(( (r c
| |u S rw rC r s r r zParamSpec.__eq__ s 5= r c | j S rw )rO rc s r r zParamSpec.__reduce__ s
= r c d S rw rC r& s r r zParamSpec.__call__ Dr c < | |vr| | d S d S rw )appendrG rd s r _get_type_varszParamSpec._get_type_vars s- u$$LL&&&&& %$r )rO rP rQ rR ri r r r r r' r{ rd r r r r PEP_560rU r r s @r r r N s , , ^ N ' '
'
) )
) +/%u * * * * * * *$ * * * ) ) ) ! ! ! ! ! ! '
'
'
'
'
'
'
' ' ' ' 'r r c e Zd Zerej Znej ZdZej Z
fdZ d Z d Z
d Zed Zesd Z xZS xZS )_ConcatenateGenericAliasFc f t | || _ || _ d S rw )r r{ r r )rG r r r s r r{ z!_ConcatenateGenericAlias.__init__ s- GG T " " " $DO DMMMr c t j | j dd fd| j D dS )Nr r c 3 . K | ]} | V d S rw rC )r r r s r r z4_ConcatenateGenericAlias.__repr__.. s+ !K!Kc**S//!K!K!K!K!K!Kr r )ri r r r r )rG r s @r rd z!_ConcatenateGenericAlias.__repr__ sd *J!z$/22 O O !K!K!K!KT]!K!K!KKKO O O
Pr c 8 t | j | j f S rw )r r r rc s r r z!_ConcatenateGenericAlias.__hash__ s $-899 9r c d S rw rC r& s r r z!_ConcatenateGenericAlias.__call__ rQ r c > t d | j D S )Nc 3 \ K | ]'}t |t j t f #|V (d S rw )r ri r r )r ry s r r z:_ConcatenateGenericAlias.__parameters__.. sL jfni=X.Y.Y r )r r rc s r r z'_ConcatenateGenericAlias.__parameters__ s2 !]
r c ^ | j r#| j r t j | j | d S d S d S rw )r r ri rU rT s r rU z'_ConcatenateGenericAlias._get_type_vars sL ? Ft': F)$*=uEEEEEF F F Fr )rO rP rQ rV ri rk r _TypingBaser r r r{ rd r r r r rU r r s @r rX rX s + ,II *I ! ! ! ! !
P P P
: : :
F
F
F
F
F
F
F
F F F F Fr rX c |dk rt d t |t s|f}t |d t st d dt fd|D }t | | S )NrC z&Cannot take a Concatenate of no types.r zAThe last parameter to Concatenate should be a ParamSpec variable.z/Concatenate[arg, ...]: each arg must be a type.c 3 B K | ]}t j | V d S rw r7 r8 s r r z'_concatenate_getitem.. s0 FFav)!S11FFFFFFr )r r r r rX )rG r r: s @r _concatenate_getitemrd s R@AAA j% ( ( # ]
jni 0 0 / . / / /
;CFFFF:FFFFFJ #D* 5 55r c " t | | S )& Used in conjunction with ``ParamSpec`` and ``Callable`` to represent a
higher order function which adds, removes or transforms parameters of a
callable.
For example::
Callable[Concatenate[int, P], int]
See PEP 612 for detailed information.
rd r s r r r s $D*555r c e Zd Zd Zd ZdS )_ConcatenateFormc d| j z S r` ra rc s r rd z_ConcatenateForm.__repr__
re r c " t | | S rw rg r s r rn z _ConcatenateForm.__getitem__
'j99 9r Nro rC r r ri ri s2 5 5 5 : : : : :r ri rf c e Zd ZdZd ZdS )_ConcatenateAliasMetazMetaclass for Concatenate.c dS Nz typing_extensions.ConcatenaterC rc s r rd z _ConcatenateAliasMeta.__repr__! 22r Nr& rC r r rn rn s) (( 3 3 3 3 3r rn c . e Zd ZdZdZd Zd Zd Zd ZdS )_ConcatenateAliasBaserf rC c t d )Nz-Concatenate cannot be used with isinstance().rE rF s r rI z'_ConcatenateAliasBase.__instancecheck__3 KLL Lr c t d )Nz-Concatenate cannot be used with issubclass().rE rL s r rM z'_ConcatenateAliasBase.__subclasscheck__6 ru r c dS rp rC rc s r rd z _ConcatenateAliasBase.__repr__9 rq r c " t | | S rw rg r s r rn z!_ConcatenateAliasBase.__getitem__< rl r N) rO rP rQ rR r rI rM rd rn rC r r rs rs $ sg M M M M M M 3 3 3 : : : : :r rs r; c e Zd Zd ZdS )_TypeGuardFormc d| j z S r` ra rc s r rd z_TypeGuardForm.__repr__G re r Nr rC r r rz rz F r r rz c ^ t j || d }t j | |f S ) Special typing form used to annotate the return type of a user-defined
type guard function. ``TypeGuard`` only accepts a single type argument.
At runtime, functions marked this way should return a boolean.
``TypeGuard`` aims to benefit *type narrowing* -- a technique used by static
type checkers to determine a more precise type of an expression within a
program's code flow. Usually type narrowing is done by analyzing
conditional code flow and applying the narrowing to a block of code. The
conditional expression here is sometimes referred to as a "type guard".
Sometimes it would be convenient to use a user-defined boolean function
as a type guard. Such a function should use ``TypeGuard[...]`` as its
return type to alert static type checkers to this intention.
Using ``-> TypeGuard`` tells the static type checker that for a given
function:
1. The return value is a boolean.
2. If the return value is ``True``, the type of its argument
is the type inside ``TypeGuard``.
For example::
def is_str(val: Union[str, float]):
# "isinstance" type guard
if isinstance(val, str):
# Type of ``val`` is narrowed to ``str``
...
else:
# Else, type of ``val`` is narrowed to ``float``.
...
Strict type narrowing is not enforced -- ``TypeB`` need not be a narrower
form of ``TypeA`` (it can even be a wider form) and this may lead to
type-unsafe results. The main reason is to allow for things like
narrowing ``List[object]`` to ``List[str]`` even though the latter is not
a subtype of the former, since ``List`` is invariant. The responsibility of
writing type-safe type guards is left to the user.
``TypeGuard`` also works with type variables. For more information, see
PEP 647 (User-Defined Type Guards).
r )ri rj rk rl s r r; r; J s5 X !*.Q.Q.QRR#D4'222r c e Zd Zd Zd ZdS )rz c d| j z S r` ra rc s r rd z_TypeGuardForm.__repr__| re r c h t j || j d }t j | |f S )Nz accepts only a single typerh rl s r rn z_TypeGuardForm.__getitem__ s; %j)-&P&P&PR RD'tg66 6r Nro rC r r rz rz z rp r r} c F e Zd ZdZdZd
dZd Zd Z fdZd Z d Z
xZ S )
_TypeGuardr} rt Nc || _ d S rw rt rx s r r{ z_TypeGuard.__init__ r| r c t | }| j 0 |t j ||j dd d d S t |j dd d )Nr~ z accepts only a single type.TrS r r r s r rn z_TypeGuard.__getitem__ s t**C}$s6-d !l122 .LLL N N!%' ' ' ' s|ABB / O O OPP Pr c t j | j || }|| j k r| S t | |d S r r r s r r z_TypeGuard._eval_type r r c t }| j |dt j | j dz
}|S r r r s r rd z_TypeGuard.__repr__ r r c R t t | j | j f S rw r rc s r r z_TypeGuard.__hash__ r r c p t |t st S | j | j |j k S | |u S rw )r r r ru r s r r z_TypeGuard.__eq__ s; eZ00
&%%}(}665= r rw r r s @r r r s ) ) V " Q Q Q 2 2 2 > > > ! ! ! ! ! ! !r r r c n e Zd ZdZd Zd Zd Zd Zd Zd Z d Z
d Z d
Z d Z
ej d Zd
S ) _SpecialForm)rb rR _getitemc D || _ |j | _ |j | _ d S rw )r rO rb rR )rG r s r r{ z_SpecialForm.__init__
s #DM )DJ"?DLLLr c 6 |dv r| j S t | )N> rO rQ )rb r )rG rm s r r z_SpecialForm.__getattr__ s$ 333z! && &r c & t d| )Nr rE )rG r s r __mro_entries__z _SpecialForm.__mro_entries__ s 7t 7 788 8r c d| j S r` ra rc s r rd z_SpecialForm.__repr__ s 4
44 4r c | j S rw ra rc s r r z_SpecialForm.__reduce__ s
: r c & t d| )NzCannot instantiate rE )rG r rz s r r z_SpecialForm.__call__ s :$ : :;; ;r c * t j | |f S rw ri Unionr s r __or__z_SpecialForm.__or__! s <e , ,r c * t j || f S rw r r s r __ror__z_SpecialForm.__ror__$ s <t , ,r c & t | d )Nz! cannot be used with isinstance()rE rF s r rI z _SpecialForm.__instancecheck__' t F F FGG Gr c & t | d )Nz! cannot be used with issubclass()rE rL s r rM z _SpecialForm.__subclasscheck__* r r c . | | | S rw )r r s r rn z_SpecialForm.__getitem__- s ==z22 2r N)rO rP rQ r r{ r r rd r r r r rI rM ri rl rn rC r r r r s 4 + + +
' ' ' 9 9 9 5 5 5 < < < - - - - - - H H H H H H
3 3
3 3 3r r c & t | d )Used to spell the type of "self" in classes.
Example::
from typing import Self
class ReturnsSelf:
def parse(self, data: bytes) -> Self:
...
return self
r rE )rG r@ s r r r 1 s 4666777r c " e Zd ZdZdZd Zd ZdS )_Selfr rC c & t | d )Nz" cannot be used with isinstance().rE rF s r rI z_Self.__instancecheck__R t G G GHH Hr c & t | d )Nz" cannot be used with issubclass().rE rL s r rM z_Self.__subclasscheck__U r r NrN rC r r r r B sK I I I I I I I Ir r Requiredc e Zd Zd ZdS )_ExtensionsSpecialFormc d| j z S r` ra rc s r rd z _ExtensionsSpecialForm.__repr__` re r Nr rC r r r r _ r r r c h t j || j d }t j | |f S ) A special typing construct to mark a key of a total=False TypedDict
as required. For example:
class Movie(TypedDict, total=False):
title: Required[str]
year: int
m = Movie(
title='The Matrix', # typechecker error if key is omitted
year=1999,
)
There is no runtime checking that a required key is actually provided
when instantiating a related TypedDict.
rg rh rl s r r r c s6 " !*.V.V.VWW#D4'222r c h t j || j d }t j | |f S )` 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,
)
rg rh rl s r NotRequiredr w s6 !*.V.V.VWW#D4'222r c e Zd Zd Zd ZdS )
_RequiredFormc d| j z S r` ra rc s r rd z_RequiredForm.__repr__ re r c t j |d | j }t j | |f S )Nz{} accepts only single type)ri rj formatrb rk rl s r rn z_RequiredForm.__getitem__ s@ %j&C&J&J4:&V&VX XD'tg66 6r Nro rC r r r r s2 5 5 5 7 7 7 7 7r r r r r c B e Zd ZdZd dZd Zd Z fdZd Zd Z xZ
S )
_MaybeRequiredrt Nc || _ d S rw rt rx s r r{ z_MaybeRequired.__init__ r| r c
t | }| j @ |t j |d |j dd d S t
d |j dd )Nz {} accepts only single type.r~ TrS z {} cannot be further subscripted)r ru ri rj r rO r r s r rn z_MaybeRequired.__getitem__ s t**C}$s6-d9@@ abbAQRR T T!%' ' ' ' > #VCL$4 5 57 7
7r c t j | j || }|| j k r| S t | |d S r r r s r r z_MaybeRequired._eval_type r r c t }| j /|d t j | j z
}|S )Nz[{}])r rd ru r ri r r s r rd z_MaybeRequired.__repr__ sH ""A}(V]]6#4T]#C#CDDDHr c R t t | j | j f S rw r rc s r r z_MaybeRequired.__hash__ r r c t |t | st S | j | j |j k S | |u S rw )r r r ru r s r r z_MaybeRequired.__eq__ sA eT$ZZ00
&%%}(}665= r rw ) rO rP rQ r r{ rn r rd r r r r s @r r r s ! 7 7 7 2 2 2 > > > ! ! ! ! ! ! !r r c e Zd ZdZdS ) _Requiredr Nr rC r r r r s r r c e Zd ZdZdS ) _NotRequiredr Nr rC r r r r s r r )NNF)r r collections.abcr r ri version_inforV r r r r r __all__extendr r@ _FinalTypingBaserB r rU rV rW rX rZ r r r r^ rs r1 r2 r3 r r _overload_dummyr5 r! r r" r% r$ r# r+ r MutableSequencer) r' _collections_abcr r r r, r- _aliasMutableMappingr* Dictr r( r& r4 r9 r< r rb r r! r6 r" r( r~ r+ rm rj r8 r7 r/ r. r r __text_signature__r r r rO rP rR r0 r? r rk r r r r> r= r ImportErrorr r: r r r" r( r r r- r r rX rl rd r ri rn rs r; rz r r r r r r r r r r rC r r r s
2A2
)
+
/KK /....... < < <+ + + Z A NN???@@@ 76: %HHJ J J J JF+4 J J J J( yt$$$H FN3V^DV^Dv~f--- 6>*D 9 9 9 ? 767 Q 0! 4 > > LEEbqbV##7 7 7 7 7V( 7 7 7 7
Jw L
M
M
MEE 1! 1! 1! 1! 1!( 1! 1! 1! 1!f
F E 767 LEE .
769 I#nGGbqbV##: : : : :v*$ : : : : l9 1 2 2 2GG ,! ,! ,! ,! ,!6*$ ,! ,! ,! ,!\ hT"""G ( ? { [ 6
$
$
767 N LEEN N N N N !6#9!#<0!'N N N N &
76()) " 4 IHHHHH" " " " "fnT 2 " " " 76=!! T$KK#"2A2&222222222 &- 7"bBBKK T T T T Tk-v/DRV/L 6 ' 3 T T T T 769
PnGG P P P P P+%+af% 2+:M P P P P 76: QHH W[*%%
Q Q Q Q Q Q;')>r2v)F 3$- Q Q Q Q 76#$$ *NN t,fnT8^.L#9 * =
.
{$
= = = &X X X
76: gPHH dP))))))@ @ @7 7 7 7 7 7 7 7$]$ ]$ ]$ ]$ ]$] ]$ ]$ ]$ ]$ ]$@ 10000000@ @ @B B B B B B B BB$P $P $P $P $P] $P $P $P $PP 76&'' 0 76?##
(MM y
II % % % $RI $( *= *= *= *= *=X*HN%*= *= *= *= *= *= *= *=X {TGR88I#I @ 76; a I*N ,OO Z %> %> %> %> %>&.d %> %> %> %>N4 4 4 4 4 4 4 4l "C "C "C "C "CLO O O`K `K `K `K `K* `K `K `KD m F BQB7"""JHH 81,,,,,,, 1 1 1 " 01,''''''' , , , + , 0 0 76; D+ IIbqbV##5 5 5 5 5,D 5 5 5 5 8 8 ^ 8 8 bqbV##5 5 5 5 5,D 5 5 5 5 { $)
*
*
*II1 1 1 1 1* 1 1 1 1 1 1 1 10NRV 1 1 1 1, T***I 76?## 18(M ,OO 6 6 6 6 6
6 6 6$8 8 8 8 8* 8 8 8& 76; l' II
f' f' f' f' f'D f' f' f'T wv}%% *F(F (F (F (F (F4 (F (F (FX
6
6
6 76=!! J4$K % > bqbV## 6 6 ^ 6 6 bqbV##: : : : :6.d : : : : #"
KK 3 3 3 3 3 1 3 3 3 : : : : : 7*?&*: : : :6 ('d333K 76; ' IIbqbV##5 5 5 5 5,D 5 5 5 5 ,3 ,3 ^,3 ,3\ bqbV##7 7 7 7 7,D 7 7 7 7 )
+
+
+
II\M! M! M! M! M!V,D M! M! M! M!^
&&&I
766 U ;DDbqbV##(3 (3 (3 (3 (3v}D (3 (3 (3 (3T 8 8 \8 8 I I I I I't I I I I, 5t D 76: ]+H$KKKbqbV##5 5 5 5 5!4D 5 5 5 5 3 3 3& 3 3 3 3 3 bqbV##7 7 7 7 7+4 7 7 7 7 }
H" -
KKK #! #! #! #! #!0 #! #! #! #!J N$ " ~T yt$$$H ,T***KKKs$ $V+ + V:9V:>W WW