a0bimT S SK r S SKrS SKrS SKrS SKrS SKr\R SS S: r\( a \r OS SKJ r J
r
S r S r / SQr
\( a \
R / SQ5 \" \S 5 ( a
\R rO " S
S \R" S S
9r\" S S
9r\R& " S5 r\R& " S5 r\R& " S5 r\R& " SS S9r\R& " SS S9r\R2 r\" \S5 ( a \R SS S: a
\R4 rOI\R SS S: a " S S\R6 S S
9r \ " SSS9rO " S S \R" S S
9r \ " S S
9r\" \S 5 ( a
\R< r OS r S r \" \S!5 ( a
\R@ r OI\R SS S: a " S" S#\R6 S S
9r!\!" S!S$S9r O " S% S&\R" S S
9r"\"" S S
9r \RF r#\RH r$\RJ r% " S' S(\ 5 r&\RN r'\RP r(\RR r)\RT r*\" \S)5 ( a
\RV r+O- " S* S)\RX \RZ \ \&\RX S+9r+\R\ r.\" \S,5 ( a
\R^ r/O S S-K0J1r2 " S. S,\Rf \ 5 r/\Rh r4\" \S/5 ( a
\Rj r5OlS\R SS s=:: a S0: a# O O \Rl " \Rj \\45 r5O/ " S1 S/\Rj \Rn \\4 \&\Rj S+9r5\" \S25 ( a
\Rp r8O/ " S3 S2\Rp \Rr \\:4 \&\Rp S+9r8\" \S45 ( a
\Rv r;O=\" \S45 ( a/ " S5 S4\Rv \Rn \\4 \&\Rv S+9r;\" \S65 ( a
\Rx r\R~ r?S8 r@/ S9QrAS: rBS; rC\" \S<5 ( a
\R rDON\( a( S S=KJErE S> rF " S? S@\ R 5 rH " SA S<\HSB9rDO S SCKJIrIJJrJ SD rF " SE S@\ 5 rH " SF S<\HSB9rD\" \SG5 ( a
\R rKOSH rK\KrL\" \SI5 ( a
\R rMO\K " SJ SI\D5 5 rM\R SK: a
\R rNO?SL rOSM rPSN\PlQ S SO.SP jrRSQ\RlQ " SR SS\5 rS\S" ST\T40 5 rN\U\NlV SU\NlW \" \SV5 ( a% \R rX\R rY\R rZOO\( a' " SW SX\R S S
9rZ " SY SV5 rXSZ r\SS[ jrYO!S\ r] " S] S^\R 5 r^ " S_ SV\^SB9rX\R SS S`: a \R r_\R r`O\( a S SaKJara S SbKJcrc Sc r_Sd r`\" \Se5 ( a
\R rdO\R SS Sf: a " Sg Sh\R6 S S
9re\eSi 5 rdO_\R SS S: a " Sj Sh\R6 S S
9re\e" SeSkS9rdO0 " Sl Sm\R 5 rg " Sn So\R" \gS Sp9rh\h" S S
9rd\" \Sq5 ( a \R ri\R rjO " Sr Ss5 rk " St Sq\k5 ri " Su Sv\k5 rj\" \Sw5 ( a
\R rlO " Sx Sw\m5 rl\" \Sy5 ( d " Sz S{\m5 rn\R S| 5 rp\" \Sy5 ( a \R rq\R rnO{\R SS Sf: a \eS} 5 rqO_\R SS S: a " S~ S\R6 S S
9rr\r" SySS9rqO0 " S S\R 5 rs " S S\R" \sS Sp9rt\t" S S
9rq\" \S5 ( a
\R ruOy\R SS Sf: a " S S\R6 S S
9rv\vS 5 ruOI\R SS S: a " S S\R6 S S
9rv\v" SSS9ruO " S S\R" S S
9rw\w" S S
9ru\" \S5 ( a
\R rxOJ\R SS S: a " S S\R: S S
9r\S 5 rxO " S S\R" S S
9ry\y" S S
9rx\" \S5 ( a \R rz\R r{g\R SS Sf: a% " S S\R6 S S
9r|\|S 5 rz\|S 5 r{g\R SS S: a# " S S\R6 S S
9r}\}" SSS9rz\}" SSS9r{g " S S\R" S S
9r~ " S S\~S S
9r " S S\~S S
9r\" S S
9rz\" S S
9r{g! \b a \R ra GNf = f! \b a \R rc GNf = f) N )r r ) GenericMeta
_type_varsc d [ U 5 nSU; a US H nUR US 5 M U$ )N __slots__)dictpop)dct dict_copyslots ڝ/builddir/build/BUILDROOT/alt-python313-setuptools-69.0.2-3.el8.x86_64/opt/alt/python313/lib/python3.13/site-packages/setuptools/_vendor/typing_extensions.py_no_slots_copyr s6 S Ii k*D MM$ % + c
U R ( d [ U S35 e[ U5 n[ U R 5 nX#:w a [ SX#: a SOS SU SU SU 35 eg )Nz is not a generic classzToo manyfewz arguments for z ; actual z , expected )__parameters__ TypeErrorlen)cls
parametersalenelens r _check_genericr sx 3% 6788 z?D s!! "D |$v% @PSu U##'& D6; < < r )!ClassVar ConcatenateFinal ParamSpecSelfType Awaitable
AsyncIterator
AsyncIterable CoroutineAsyncGeneratorAsyncContextManagerChainMapContextManagerCounterDeque DefaultDict OrderedDict TypedDict
SupportsIndex AnnotatedfinalIntVarLiteralNewTypeoverloadProtocolruntimeruntime_checkableText TypeAlias TypeGuard
TYPE_CHECKING)get_args
get_originget_type_hintsNoReturnc ( \ rS rSrSrSrS rS rSrg) _NoReturn_ zSpecial type indicating functions that never return.
Example::
from typing import NoReturn
def stop() -> NoReturn:
raise Exception('no way')
This type is invalid in other positions, e.g., ``List[NoReturn]``
will fail in static type checkers.
c [ S5 e)Nz*NoReturn cannot be used with isinstance().r selfobjs r __instancecheck___NoReturn.__instancecheck__m HI Ir c [ S5 e)Nz*NoReturn cannot be used with issubclass().rF rH r s r __subclasscheck___NoReturn.__subclasscheck__p rL r N __name__
__module__ __qualname____firstlineno____doc__r rJ rO __static_attributes__rD r r rB rB _ s
J Jr rB T_rootTKTVTT_co) covariantT_contra)
contravariantr )r r c \ rS rSrS rS rSrg)
_FinalForm c SU R - $ Nztyping_extensions._namerH s r __repr___FinalForm.__repr__ '$**4 4r c x [ R " UU R S35 n[ R " X45 $ )N accepts only single typetyping _type_checkrh
_GenericAliasrH r items r __getitem___FinalForm.__getitem__ s7 %%j)- 4M&NPD''g6 6r rD NrR rS rT rU rj ru rW rD r r rc rc 5 7r rc 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 R ^ \ rS rSrSrSrS
S jrS rS rU 4S jr S r
S r Sr U =r
$ ) _Final a A special typing construct to indicate that a name
cannot be re-assigned or overridden in a subclass.
For example:
MAX_SIZE: Final = 9000
MAX_SIZE += 1 # Error reported by type checker
class Connection:
TIMEOUT: Final[int] = 10
class FastConnector(Connection):
TIMEOUT = 1 # Error reported by type checker
There is no runtime checking of these properties.
__type__c Xl g Nr} rH tpkwdss r __init___Final.__init__ Mr c [ U 5 nU R c, U" [ R " UUR SS S35 SS9$ [ UR SS S35 e)N accepts only single type.TrX cannot be further subscriptedtyper~ rp rq rR r rH rt r s r ru _Final.__getitem__ sm t*C}}$6--d !ll12 . //IJ L!%' ' s||AB / 00N OP Pr c [ R " U R X5 nX0R :X a U $ [ U 5 " USS9$ NTrX rp
_eval_typer~ r rH globalnslocalnsnew_tps r r _Final._eval_type 8 &&t}}hHF & :fD1 1r c > [ TU ] 5 nU R b' US[ R " U R 5 S3-
nU$ N[]superrj r~ rp
_type_reprrH r __class__s r rj _Final.__repr__ B "A}}(q**4==9:!<<Hr c V [ [ U 5 R U R 45 $ r hashr rR r~ ri s r __hash___Final.__hash__ d,,dmm<= =r c [ U[ 5 ( d [ $ U R b U R UR :H $ XL $ r )
isinstancer{ NotImplementedr~ rH others r __eq__
_Final.__eq__ s: eV,,%%}}(}}66= r r rR rS rT rU rV r r ru r rj r r rW
__classcell__r s @r r{ r{ s3
" Q 2 > ! !r r{ r1 c U $ )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.
rD )fs r r1 r1 s ( r c . [ R " U 5 $ r )rp TypeVarnames r r2 r2 s >>$ r r3 c \ rS rSrS rS rSrg) _LiteralForm c SU R - $ rf rg ri s r rj _LiteralForm.__repr__ rl r c . [ R " X5 $ r )rp rr rH r s r ru _LiteralForm.__getitem__ s ''9 9r rD Nrw rD r r r r s 5 :r r ao A type that can be used to indicate to type checkers
that the corresponding value has a value literally equivalent
to the provided parameter. For example:
var: Literal[4] = 4
The type checker understands that 'var' is literally equal to
the value 4 and no other value.
Literal[...] cannot be subclassed. There is no runtime
checking verifying that the parameter is actually a value
instead of a type.c R ^ \ rS rSrSrSrS
S jrS rS rU 4S jr S r
S r Sr U =r
$ ) _Literali 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.
__values__c Xl g r r )rH valuesr s r r _Literal.__init__! $Or c [ U 5 nU R c [ U[ 5 ( d U4nU" USS9$ [ UR
SS S35 e)NTrX r r )r r r tupler rR )rH r r s r ru _Literal.__getitem__$ sU t*C&!&%00 $YF6..s||AB / 00N OP Pr c U $ r rD )rH r r s r r _Literal._eval_type, Kr c > [ TU ] 5 nU R b: USSR [ [
R U R 5 5 S3-
nU$ )Nr , r )r rj r joinmaprp r r s r rj _Literal.__repr__/ sM "A*q3v'8'8$//#JKLANNHr c V [ [ U 5 R U R 45 $ r )r r rR r ri s r r _Literal.__hash__5 s d,,doo>? ?r c [ U[ 5 ( d [ $ U R b U R UR :H $ XL $ r )r r r r r s r r _Literal.__eq__8 s< eX..%%*%*:*:::= r r r r s @r r r s4 $ % Q @ ! !r r c ( ^ \ rS rSrU 4S jrSrU =r$ )_ExtensionsGenericMetaiM c > U R b3 [ R " S5 R S S; a [ S5 egU R
( d [ TU ] U5 $ U R
R U5 nU[ La U$ U R
UR ; a gU R
R 5 H, n[ U[ 5 ( a M [ X5 ( d M, g g)a
This mimics a more modern GenericMeta.__subclasscheck__() logic
(that does not have problems with recursion) to work around interactions
between collections, typing, and typing_extensions on older
versions of Python, see https://github.com/python/typing/issues/501.
r rR abc functoolsCParameterized generics cannot be used with class or instance checksFT)
__origin__sys _getframe f_globalsr __extra__r rO __subclasshook__r __mro____subclasses__r r
issubclass)rH subclassressclsr s r rO (_ExtensionsGenericMeta.__subclasscheck__N s ?? &}}Q ))*5=QQ !5 6 6~~7,X6 6nn--h7 n $J >>X - - -NN113D$ ,,()) 4
r rD )rR rS rT rU rO rW r r s @r r r M s
r r r+ c \ rS rSrSrS rSrg)r+ ir rD c U R [ L a [ R " U0 UD6$ [ R
" [ R U /UQ70 UD6$ r )_gorgr+ collectionsdequerp _generic_newr argsr s r __new__
Deque.__new__w sG yyE!"(($7$77&&{'8'8#MMM Mr NrR rS rT rU r r rW rD r r r+ r+ r s Nr ) metaclassextrar' )_check_methodsc R \ rS rSrSrS r\R S 5 r\ S 5 r
Sr g)r' i rD c # U $ 7fr rD ri s r
__aenter__ AsyncContextManager.__aenter__ s
Ks c # g 7fr rD )rH exc_type exc_value tracebacks r __aexit__ AsyncContextManager.__aexit__ s s c : U [ L a
[ USS5 $ [ $ )Nr r )r' _check_methods_in_mror )r Cs r r $AsyncContextManager.__subclasshook__ s )),Q kJJ! !r N) rR rS rT rU r r r abstractmethodr classmethodr rW rD r r r' r' s:
"
"r r- )r r ra c \ rS rSrSrS rSrg)r- i rD c U R [ L a [ R " U0 UD6$ [ R " [ R U /UQ70 UD6$ r )r r- r rp r r s r r OrderedDict.__new__ sG yyK'"..===&&{'>'>SdSdS Sr Nr rD r r r- r- s Tr r* c \ rS rSrSrS rSrg)r* i rD c U R [ L a [ R " U0 UD6$ [ R " [ R U /UQ70 UD6$ r )r r* r rp r r s r r Counter.__new__ sG yyG#"**D9D99&&{':':CO$O$O Or Nr rD r r r* r* s Pr r( c \ rS rSrSrS rSrg)r( i rD c U R [ L a [ R " U0 UD6$ [ R " [ R U /UQ70 UD6$ r )r r( r rp r r s r r ChainMap.__new__ sG yyH$"++T:T::&&{';';SP4P4P Pr Nr rD r r r( r( s Qr r& c \ rS rSrSrSrg)r& i rD N)rR rS rT rU r rW rD r r r& r& s r c [ U [ 5 ( d e[ U S5 ( a U R $ U R b U R n U R b M U $ )z@This function exists for compatibility with old typing versions.r )r r hasattrr r r s r r r sP c; ' '' 'sG yy
..
$nn ..
$ Jr )
Callabler" IterableIteratorr$ r# HashableSized Container
Collection
Reversibler) r' c n [ 5 nU R S S H nUR S; a M [ US0 5 n[ UR
R
5 5 [ UR
5 5 - H4 nUR S5 ( a M US; d M# UR U5 M6 M U$ )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__rV r r r rS _MutableMapping__markerr ) setr rR getattrlistr* keys
startswithadd)r attrsbase annotationsattrs r _get_protocol_attrsr: s EE CR == 3 3 d$5r: ++-.k6F6F6H1IIDOOG,, >F 2F $ J ! Lr c @ ^ [ U 4S j[ T 5 5 5 $ )Nc 3 P ># U H n[ [ TUS 5 5 v M g 7fr )callabler1 ).0r9 r s r ,_is_callable_members_only.. s$ W>VdxT4011>Vs #&)allr: r s `r _is_callable_members_onlyrB s W>QRU>VW WWr r6 )_collect_type_varsc N [ U 5 R ( a [ S5 eg Nz Protocols cannot be instantiatedr r( r rH r kwargss r _no_initrI : " " >? ? #r c ( ^ \ rS rSrU 4S jrSrU =r$ )
_ProtocolMetai c >^ ^ [ T SS5 ( a [ T 5 ( a [ TR T 5 ( a gT R ( a% [ U U4S j[
T 5 5 5 ( a g[ TT ]! T5 $ )Nr( FTc 3 ># U HH n[ TU5 =( a0 [ [ TUS 5 5 ( + =( d [ TU5 S Lv MJ g 7fr r r= r1 )r> r9 r instances r r? 2_ProtocolMeta.__instancecheck__.. sU = $<4 x. = $WS$%= >> < $/t;= $< AA) r1 rB r r r( rA r: r rJ )r rP r s ``r rJ _ProtocolMeta.__instancecheck__ st S.%88*3// x 1 1377 = $7s#;= = = 7,X6 6r rD )rR rS rT rU rJ rW r r s @r rL rL s
7
7r rL c ^ ^ \ rS rSrSrSrSrU 4S jr\R S 5 r
S r Sr U =r
$ )r6 i 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:
...
rD Tc J > U [ L a [ S5 e[ TU ]
U 5 $ )NzIType Protocol cannot be instantiated; it can only be used as a base class)r6 r r r )r r r r s r r Protocol.__new__> s. h !F G G7?3' 'r c f ^ [ U[ 5 ( d U4nU( d, U [ R La [ SU R
S35 eSm[ U4S jU 5 5 nU [ L a [ S U 5 5 ( da Sn[ X [ R 5 ( a( US-
n[ X [ R 5 ( a M( [ SUS- S X 35 e[ [ U5 5 [ U5 :w a [ S
5 eO [ X5 [ R " X5 $ ) NParameter list to [...] cannot be empty*Parameters to generic types must be types.c 3 R ># U H n[ R " UT5 v M g 7fr rp rq r> pmsgs r r? -Protocol.__class_getitem__..L s! Fv!6--a55v $'c 3 V # U H n[ U[ R 5 v M! g 7fr r rp r r> r^ s r r? r` O I&Q:a 88& ')r r zBParameters to Protocol[...] must all be type variables. Parameter z is z.Parameters to Protocol[...] must all be unique)
r r rp Tupler rT r6 rA r r r0 r rr )r paramsir_ s @r __class_getitem__Protocol.__class_getitem__D s fe,, c 5 ()9)9(::OPR R>CFvFFFhI&IIIA$VY??Q %VY??#&&'!eWD => > s6{#s6{2#HJ J 3
s+''4 4r c > ^ ^ / nST R ; a [ R T R ; nO [ R T R ; nU( a [ S5 eST R ; Ga
[
T R 5 nS nT R Hz n[ U[ R 5 ( d M$ UR [ R [ 4; d MJ UR R nUb [ S5 eUR nM| Uc UnOf[ U5 n[ U5 m UT :: dH SR U 4S jU 5 5 n SR S U 5 5 n
[ SU SW S U
S
35 eUn[ U5 T l T R R! S S 5 ( d! [# S T R 5 5 T l U 4S
jn ST R ; a U T l T R$ ( d g T R H nU[( [ R 4; a M UR* S:X a UR [, ; a ME [ U[. 5 ( a UR$ ( a Mm [ S[1 U5 35 e [2 T l g )Nr- !Cannot inherit from plain GenericzECannot inherit from Generic[...] and/or Protocol[...] multiple types.r c 3 H ># U H oT; d M
[ U5 v M g 7fr strr> tgvarsets r r? -Protocol.__init_subclass__..~ *U5aWDT63q665 ""c 3 8 # U H n[ U5 v M g 7fr ro r> gs r r? rt *A5a3q665 Some type variables () are not listed in r r r( c 3 0 # U H o[ L v M g 7fr )r6 r> bs r r? rt s &LmH}m c & > TR R SS 5 ( d [ $ [ TSS5 ( d8 [ R
" S5 R S S; a [ $ [ S5 e[ T5 ( d8 [ R
" S5 R S S; a [ $ [ S5 e[ U [ 5 ( d [ S 5 e[ T5 H nU R H nXR ; a UR U c
[ s s $ M> [ US
0 5 n[ U[ R 5 ( d M] X; d Md [ U [ 5 ( d M{ U R ( d M M [ s $ g ) Nr( r) Fra rR r BInstance and class checks can only be used with @runtime protocols._proto_hook sO ||''==)) s$:EBB}}Q'11*=AUU --# %: ; ;055}}Q'11*=AUU --# %B C C!%..#$HII / 4D %
==0 #}}T 2 :'5 5 !&-d4Er&J &{FNN C C $ 3 *5- @ @ % 2 2 2 ! !. .- 5 r r collections.abc5Protocols can only inherit from other protocols, got )r* rp r# r- __bases__r rC r rr r r6 rR r r0 r r r anyr( r objectrS _PROTO_WHITELISTrL reprrI r )
r r rH tvarserrorgvarsr7 the_basetvarsets_varss_argsr rs s
` @r __init_subclass__Protocol.__init_subclass__^ sA E 3<</ #*<*<< #--7 CDD 3<</*3+=+=> . .D"4)=)=>> OO/I I#'??#;#; ,"+!H#I I !% 3 3 / = !E !%jG !%jG"g-!%*U5*U!U!%*A5*A!A '*?x H::B1VHA)O P P !E!&u C <<##ND99#&&Lcmm&L#L
> " 5'2$ ##
88 +<<
)99"4 77D^ Ub eUb% Uc e[ S U 5 5 ( d U5 eGO[ U5 nS n U Hx n
U
[ R L a [ S5 e[ U
[ 5 ( d M8 U
R [ R [ 4; d M^ U b [ S5 eU
R n Mz U c Un O[ U5 n [ U 5 mU T:: dc SR U4S jU 5 5 n SR S U 5 5 n
[ S U 5 5 ( a SOS n[ S
U S U S U
S
35 eU nUnUb' [ U5 [ R L a Xr; a U4U- n[! S U 5 5 n[ S U 5 5 ( a [! S U 5 5 nUR# XgS.5 [$ [ U ]O XX#SS9n[$ [ U]S SU( d UO
[+ U5 5 UUl U( a [! S U 5 5 OS Ul [/ U5 Ul Uc UUl O%Ub" UR4 Ul UR6 Ul [9 US5 ( a7 U( a [; UR= 5 5 O[$ [ U] 5 Ul U$ )Nc 3 V # U H n[ U[ R 5 v M! g 7fr rc )r> rr s r r? (_ProtocolMeta.__new__.. s H%Q:a 88%rf rm zACannot inherit from Generic[...] or Protocol[...] multiple times.r c 3 H ># U H oT; d M
[ U5 v M g 7fr ro rq s r r? r ru rv c 3 8 # U H n[ U5 v M g 7fr ro rx s r r? r rz r{ c 3 Z # U H! nUR [ R L v M# g 7fr )r rp r# r s r r? r s% 4D=B 56LLFNN4R=Bs )+r# r6 r| r} r r c 3 f # U H' n[ U[ 5 ( a [ U5 OUv M) g 7fr )r r r r s r r? r s, *#(a '1K&@&@%(aG#(s /1c 3 t # U H. n[ U[ 5 =( a U[ R Lv M0 g 7fr )r r rp r# r s r r? r s* YSXa:a-I!6>>2IISXs 68c 3 N # U H o[ R Ld M Uv M g 7fr )rp r# r s r r? r s JA6>>2Iaas % %)r r TrX r c 3 z # U H1 nU[ R L a S OU[ R L a SOUv M3 g7f).rD N)rp _TypingEllipsis _TypingEmptyr> as r r? r s< "3-1 *+f.D.D)D#()V-@-@(@""##$-1s 9;
_subs_tree)!rA r rp r# r r r r r6 r r0 r r r r ABCMetar updater r __setattr__r r+ r r, r-
_abc_registry
_abc_cacher r r r r. )r r bases namespacer r originr
orig_basesr r7 r r r cls_name
initial_basesrH rs r s @r r _ProtocolMeta.__new__ s = = )))H%HHHO%OH"5) !Dv~~- '(K LL"455 OO/I I ,"+!A#B B !% 3 3 " = !E !%jG !%jG"g-!%*U5*U!U!%*A5*A!A03 4D=B4D 1D 1D9IS ! '*?x H::B1VHA)O P P !E !M!d5kS[[&@& 5( *#(* *EYSXYYY J JJ F G Hc23e9= 3 ?D +t 0=C16v
@ #(D 7; " "3-1"3 3@D
M $0#5D !&3##%+%9%9""("3"3t\**AGd4??+<&=&+K&G&I "Kr c >^ [ TT ] " U0 UD6 T R R SS 5 ( d! [ S T R
5 5 T l T R ( a T R SS H nU[ [ R 4; a M UR S:X a UR [ ; a ME [ U[ R 5 ( a UR ( a Mw [ U[ 5 ( a UR" [ R L a M [% S[' U5 35 e [( T l U 4S jnST R ; a UT l g g )Nr( c 3 # U H= nU[ L =( d) [ U[ 5 =( a UR [ L v M? g 7fr )r6 r rL r r s r r? )_ProtocolMeta.__init__..
sG '? 1>1 ()H} (@'1!]'C (@'(||x'?(@ 1>s AAr r r c > TR R SS 5 ( d [ $ [ U [ 5 ( d [ S5 e[
T5 H nU R H nXR ; a UR U c
[ s s $ M> [ US0 5 n[ U[ R 5 ( d M] X; d Md [ U [ 5 ( d M{ U R ( d M M [ s $ g)Nr( r r$ T)
r* r r r r r r: r r1 rp r rL r( r s r r +_ProtocolMeta.__init__.._proto_hook s ||''==))!%..#$HII / 4D %
==0 #}}T 2 :'5 5 !&-d4Er&J &{FNN C C $ 3 *5- @ @ % 2 2 2 ! !. .- 5 r r )r r r* r r r r( r r rp r# rS rR r r
TypingMetar r r r rI r )r r rH r7 r r s ` r r _ProtocolMeta.__init__ s G d -f -<<##ND99#& '? 14
'? $? KKOD VV^^$< < OO/@ @ MM-= = &tV->-> ? ?DDUDUDU &t[ 9 9 OOv~~ = ' +;;?:,)H I I , (
* " 5'2$ 6r c >^ ^ [ T SS5 ( a [ T 5 ( a [ TR T 5 ( a gT R ( a% [ UU 4S j[
T 5 5 5 ( a g[ [ T ]' T5 $ )Nr( FTc 3 ># U HH n[ TU5 =( a0 [ [ TUS 5 5 ( + =( d [ TU5 S Lv MJ g 7fr rO )r> r9 rP rH s r r? rQ ; sU ? %>D x. > %gdD$&? @@ = 40<> %>rR )
r1 rB r r r( rA r: r r rJ )rH rP r s ``r rJ rS 3 sv T>599-d33 x 1 1488 ? %8$=? ? ? d=hG Gr c > U R b3 [ R " S5 R S S; a [ S5 egU R
R
SS 5 ( aT U R
R
SS 5 ( d3 [ R " S5 R S S; a g[ S 5 eU R
R
SS 5 ( aU [ U 5 ( dE [ R " S5 R S S; a [ [ U ]+ U5 $ [ S
5 e[ [ U ]+ U5 $ ) Nr rR r r Fr( r) r r rp r r ) r r r r r r* r rB r r rO )rH r r s r rO _ProtocolMeta.__subclasscheck__B s& *==#--j9AUU# %9 : :
!!.$77
))*@$GG==#--j9 >H H ! !6 7 7
!!"8$??1$77==#--j9 >H H !dEcJJ !> ? ?d=cB Br c ^ [ U[ 5 ( d U4nU( d5 [ U 5 [ R La [ SU R S35 eSm[ U4S jU 5 5 nU [ R [ 4; am [ S U 5 5 ( d [ S[ U 5 S35 e[ [ U5 5 [ U5 :w a [ S[ U 5 S35 eUnUnOU [ R [ R 4; a [ U5 nUnOSU R [ R [ 4; a [ S [ U 5 35 e[! X5 [ U5 nUnU R c U 4OS
nU R# U R$ X@R& - [) U R* 5 UUU U R, U R. S 9$ ) NrX rY rZ c 3 < ># U H n[ UT5 v M g 7fr )rq r] s r r? ,_ProtocolMeta.__getitem__..d s ?1;q#..s c 3 V # U H n[ U[ R 5 v M! g 7fr rc rd s r r? r f re rf zParameters to z [...] must all be type variablesz[...] must all be uniquez%Cannot subscript already-subscripted rD )r r r r r )r r r rp rg r rT r# r6 rA r r r0 r r r r r rR r r r* r r- )rH rh r r prependr_ s @r ru _ProtocolMeta.__getitem__Z s fe,, eDk = ():):(;;PQS S>C???F11I&III#(d 4TUW Ws6{#s6{2#(d 4LMO O &,,88"6* V^^X$>> "GT
| TUU t,"6* !% !8tgbG>>$--")NN":"0 "?(-'+)-(,-1-@-@ " B
Br )r+ r, r- r r. r r )NNNNN)rR rS rT rU rV r r rJ rO rp r ru rW r r s @r rL rL sC PT> @* 3X
H C0
% B
% Br c & \ rS rSrSrSrSrS rSrg)r6 i 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:
...
rD Tc [ U 5 [ L a [ S5 e[ R " U R
U /UQ70 UD6$ )NzIType Protocol cannot be instantiated; it can be used only as a base class)r r6 r rp r r, r s r r rV sF SzX% !F G G&&s':':CO$O$O Or N) rR rS rT rU rV r r( r rW rD r r r6 r6 s 8 Pr r8 c ~ [ U [ 5 ( a U R ( d [ SU < 35 eSU l U $ )a 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 rL r( r r) r s r r8 r8 sB #}--S5E5E $$'7 , -
-#'
r r/ c D \ rS rSrSr\R S\4S j5 rSr g)r/ i rD returnc g r rD ri s r __index__SupportsIndex.__index__ s r N)
rR rS rT rU r r r
intr rW rD r r r/ r/ s& s
r )r ra c [ R " S5 R S S; a [ S5 e g! [ [
4 a gf = f)Nr rR r z4TypedDict does not support instance and class checksF)r r r r AttributeError
ValueError)r r s r _check_failsr s_ }}Q ))*5 >H H VWW H
+ s 26 A A c N U ( d [ S5 eU S U SS p[ U 0 UD6$ )N)TypedDict.__new__(): not enough argumentsr r )r r )r rH _s r _dict_newr s2 GH Hq'484T$V$$r z,($cls, _typename, _fields=None, /, **kwargs)totalc U( d [ S5 eUS USS pU( a
US USS pOF
, -
- f
. "}}Q / 9 9 = =j* UB| hB<<3
. !< [ TU ] XU5 g r )r r )r r r r r r s r r _TypedDictMeta.__init__ s G T" -r c f > US:X a [ O[ US' [ TU ]
X[ 4U5 n0 nUR S0 5 n[
UR 5 5 nSn UR 5 V
V s0 s H u pU
[ R " X5 _M nn
n [
5 n [
5 n
U H nUR UR R S0 5 5 U R UR R SS5 5 U
R UR R SS5 5 M UR U5 U( a U R U5 OU
R U5 Xel
[ U 5 Ul [ U
5 Ul [# US5 ( d XEl U$ s sn n
f ) Nr. r r$ z?TypedDict('Name', {f0: t0, f1: t1, ...}); each t must be a type__required_keys__rD __optional_keys__ __total__)r r r r r r r0 r3 itemsrp rq r r* r$ frozensetr r r r )r r r r r tp_dictr8 own_annotationsown_annotation_keysr_ nr
required_keys
optional_keysr7 r s r r _TypedDictMeta.__new__ sz /3k.ANyByMgoc$"=G K ff%6 ;O"%o&:&:&<"= SC [ U[ 5 ( a UR U- nUR n[ TU ] X5 X l g r )r r __metadata__r r r )rH r metadatar s r r _AnnotatedAlias.__init__v s> &/22!..9 ** G V , ( r c X [ U5 S:X d eUS n[ X R 5 $ )Nr r )r r r )rH rh new_types r copy_with_AnnotatedAlias.copy_with} s. v;!# ## ayH"8->->? ?r c S[ R " U R 5 SSR S U R 5 5 S3$ )Nz typing_extensions.Annotated[r c 3 8 # U H n[ U5 v M g 7fr r r s r r? +_AnnotatedAlias.__repr__.. s D2CQa2Cr{ r )rp r r r r ri s r rj _AnnotatedAlias.__repr__ sE 263D3DT__3U2VVXyy D$2C2C DDEQH
Ir c b [ R [ U R 4U R - 44$ r )operatorgetitemr0 r r ri s r
__reduce___AnnotatedAlias.__reduce__ s1 ##DOO-0A0AA&
r c [ U[ 5 ( d [ $ U R UR :w a gU R UR :H $ )NF)r r r r r r s r r _AnnotatedAlias.__eq__ sA e_55%%%"2"22 $$(:(:: :r c D [ U R U R 45 $ r )r r r ri s r r _AnnotatedAlias.__hash__ s $*;*;<= =r )r )
rR rS rT rU rV r r rj r r r rW r r s @r r r n s- ) @
I
; > >r r c L \ rS rSrSrSrS r\R S 5 r S r
Sr g)r0 i 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()]
rD c [ S5 e)Nz&Type Annotated cannot be instantiated.rF r r rH s r r Annotated.__new__ s DE Er c [ U[ 5 ( a [ U5 S: a [ S5 eSn[ R
" US U5 n[ USS 5 n[
X45 $ )Nra 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 rp rq r )r rh r_ r r s r rj Annotated.__class_getitem__ sc fe,,F a !/ 0 0 9C''q 37F VABZ(H"64 4r c 4 [ SU R S35 e)NCannot subclass z
.Annotated)r rS r s r r Annotated.__init_subclass__ s "3>>"2*=
r N) rR rS rT rU rV r r rp r rj r rW rD r r r0 r0 s4 @ F
5
5 r c : [ U [ 5 ( a [ U R 5 $ [ U [ R
5 ( aQ [
S U R 5 5 nXR :X a U $ U R U5 nU R Ul U$ U $ )z2Strips the annotations from a given type.
c 3 8 # U H n[ U5 v M g 7fr )_strip_annotationsr s r r? %_strip_annotations.. s !LA"4Q"7"7r{ )
r r r! r rp rr r r+ r _special)rr
stripped_argsr s r r! r! sy a ) )%all3 3 a-- . . !!L!L LM
*++m,C ::CLJr c [ R " XUS9nU( a U$ UR 5 VVs0 s H u pVU[ U5 _M snn$ s snnf )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 )rp r? r r! )rI r r include_extrashintkrr s r r? r? sI > $$SWM K59ZZ\B\TQ%a((\BBBs Ac ~ [ U 5 S: =( a) U R S5 =( a U R S5 $ )z3Returns True if name is a __dunder_variable_name__. __)r r4 endswithr s r
_is_dunderr- s, 4y1}N !6N4==;NNr c ^ \ rS rSrSrU 4S jr\S 5 rS rSU 4S jjr S r
\ R U 4S j5 r
S rS
rU 4S jrS rS
rSrU =r$ )
AnnotatedMetai zMetaclass for Annotatedc > [ S U 5 5 ( a [ S[ [ 5 - 5 e[ TU ] " XX#40 UD6$ )Nc 3 0 # U H o[ Lv M g 7fr )r r s r r? (AnnotatedMeta.__new__.. s 2EqF?Er r )r r rp r0 r r )r r r r rH r s r r AnnotatedMeta.__new__
s? 2E222 2S^ CDD7?3eI&I Ir c ( U R 5 S $ )Nra )r ri s r r AnnotatedMeta.__metadata__ s ??$Q' 'r c Uu p#n[ U[ 5 ( d [ R " U5 nOUS R U5 nSR S U 5 5 nU SU SU S3$ )Nr r c 3 8 # U H n[ U5 v M g 7fr r )r> args r r? +AnnotatedMeta._tree_repr.. s &EHStCyyHr{ r r )r r rp r
_tree_reprr )rH treer r r tp_reprmetadata_reprss r r: AnnotatedMeta._tree_repr sk $( !C fe,, ++F3 )..v6 !YY&EH&E ENU!G9B~&6a8 8r c > U [ L a [ $ [ TU ] XS9n[ US [ 5 ( a- US S [ L a US S nUS S n[ XEUS - 4$ U$ )N)r r r r ra )r0 r r r r )rH r r r sub_tp sub_annotr s r r AnnotatedMeta._subs_tree sv y '$5$>Jr c U R c [ S5 eU R 5 n[ U[ 5 ( a4 US [
L a( US n[ U[ 5 ( a US [
L a M( [ U[ 5 ( a US $ U$ )z6Return the class used to create instance of this type.zCCannot get the underlying type of a non-specialized Annotated type.r r )r r r r r r0 )rH r; s r _get_consAnnotatedMeta._get_cons' s & !B C C??$D T5))d1g.BAw T5))d1g.B$&&Aw r c > [ U[ 5 ( d U4nU R b [ TU ] U5 $ [ U[ 5 ( a [ U5 S: a [
S5 eSn[ R " US U5 n[ USS 5 nU R U R U R [ U R 5 [ U45 X44U S9$ )Nra z]Annotated[...] should be instantiated with at least two arguments (a type and an annotation).r r r )r r r )r r r r ru r r rp rq r rR r r r* r )rH rh r_ r r r s r ru AnnotatedMeta.__getitem__4 s fe,, * w*622 ..#f+/ !/ 0 0 =''q 37 ,>>
t}}- "'^ "
r c f U R 5 nU" U0 UD6n Xl U$ ! [ a U$ f = fr )rD __orig_class__r )rH r rH consresults r __call__AnnotatedMeta.__call__L sH >>#D4*6*F
(,% M "
M
s "
00c U R b* [ U5 ( d [ U R 5 U5 $ [ U5 er )r r- r1 rD r )rH r9 s r __getattr__AnnotatedMeta.__getattr__U s5 *:d3C3C t~~ /66 & &r c > [ U5 ( d UR S5 ( a [ TU ]
X5 g U R c [ U5 e[
U R 5 X5 g )Nr% )r- r4 r r r r setattrrD )rH r9 valuer s r r AnnotatedMeta.__setattr__[ sO $ 4??7#;#;#D0 ($T**($6r c [ S5 e)Nz+Annotated cannot be used with isinstance().rF rG s r rJ AnnotatedMeta.__instancecheck__c IJ Jr c [ S5 e)Nz+Annotated cannot be used with issubclass().rF rN s r rO AnnotatedMeta.__subclasscheck__f rW r rD )NN)rR rS rT rU rV r propertyr r: r rD rp r ru rL rO r rJ rO rW r r s @r r/ r/ sj % J
(
( 9
. ' 7 K K Kr r/ c \ rS rSrSrSrg)r0 ii 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, 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()]
rD NrR rS rT rU rV rW rD r r r0 r0 i s r )r
)_BaseGenericAlias) GenericAliasc [ U [ 5 ( a [ $ [ U [ R [
[ [ [ 45 ( a U R $ U [ R L a [ R $ g)a 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 rp rr r_ r^
ParamSpecArgsParamSpecKwargsr r# )r s r r> r> s` b/ * * b6// ?P(/; < <==
>> !r c x [ U [ 5 ( a U R 4U R - $ [ U [ R
[ 45 ( af [ U SS5 ( a gU R n[ U 5 [ R R L a US [ La [ USS 5 US 4nU$ g)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# FrD r Nr" )r r r r rp rr r_ r1 r+ r> r r r Ellipsisr2 )r r s r r= r= s b/ * *MM#boo5 5 b6// > ? ?r:u--++C"~ !9!99c!fH>TCH~s2w/Jr r: )r r c \ rS rSrS rSrg)_TypeAliasFormi c SU R - $ rf rg ri s r rj _TypeAliasForm.__repr__ rl r rD NrR rS rT rU rj rW rD r r rf rf 5r rf c [ U S35 e)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 subscriptablerF r s r r: r: s 4& 5677r c \ rS rSrS rSrg)rf i c SU R - $ rf rg ri s r rj rh rl r rD Nri rD r r rf rf rj 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 \ rS rSrSrS rSrg)_TypeAliasMetai zMetaclass for TypeAliasc gNztyping_extensions.TypeAliasrD ri s r rj _TypeAliasMeta.__repr__ 0r rD NrR rS rT rU rV rj rW rD r r rq rq s
% 1r rq c . \ rS rSrSrSrS rS rS rSr g)_TypeAliasBasei rl rD c [ S5 e)Nz+TypeAlias cannot be used with isinstance().rF rG s r rJ _TypeAliasBase.__instancecheck__ rW r c [ S5 e)Nz+TypeAlias cannot be used with issubclass().rF rN s r rO _TypeAliasBase.__subclasscheck__
rW r c grs rD ri s r rj _TypeAliasBase.__repr__
ru r N)
rR rS rT rU rV r rJ rO rj rW rD r r rx rx s K K 1r rx )r rY ra c ( \ rS rSrSrSrS rS rSrg)
_Immutablei z3Mixin to indicate that object should not be copied.rD c U $ r rD ri s r __copy___Immutable.__copy__ r r c U $ r rD )rH memos r __deepcopy___Immutable.__deepcopy__ r r N) rR rS rT rU rV r r r rW rD r r r r s A r r c $ \ rS rSrSrS rS rSrg)ra i# a! 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 Xl g r r rH r s r r ParamSpecArgs.__init__/ r r c 4 U R R S3$ )Nz.argsr rR ri s r rj ParamSpecArgs.__repr__2 s oo../u5 5r r NrR rS rT rU rV r rj rW rD r r ra ra # s
% 6r c $ \ rS rSrSrS rS rSrg)rb i5 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 Xl g r r r s r r ParamSpecKwargs.__init__A r r c 4 U R R S3$ )Nz.kwargsr ri s r rj ParamSpecKwargs.__repr__D s oo../w7 7r r Nr rD r r rb rb 5 s
% 8r rb r c ^ \ rS rSrSr\R r\S 5 r \S 5 r
SSSS.U 4S jjr S r S
r
S rS rS
r\( d S rSrU =r$ SrU =r$ )r iN 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 [ U 5 $ r )ra ri s r r ParamSpec.args s
& &r c [ U 5 $ r )rb ri s r rH ParamSpec.kwargs s
"4( (r NF)boundr^ r` c t > [ TU ] U /5 Xl [ U5 U l [ U5 U l U( a [ R " US5 U l OS U l [ R " S5 R R SS5 nUS:w a XPl g g ! [ [ 4 a S n N"f = f)NzBound must be a type.r rR r typing_extensions)r r rR bool
__covariant____contravariant__rp rq __bound__r r r r r r rS )rH r r r^ r` def_modr s r r ParamSpec.__init__ s G dV $ M!%i D %)-%8D "!'!3!3E;R!S!%
--*4488ZP --") . #J/
s $0B" "B76B7c r U R ( a SnOU R ( a SnOSnXR - $ )N+-~)r r rR )rH prefixs r rj ParamSpec.__repr__ s0 !! '' MM) )r c , [ R U 5 $ r )r r ri s r r ParamSpec.__hash__ s ??4( (r c XL $ r rD r s r r ParamSpec.__eq__ s
= r c U R $ r )rR ri s r r ParamSpec.__reduce__ s == r c g r rD rG s r rL ParamSpec.__call__ r c 2 X; a UR U 5 g g r )appendrH r s r _get_type_varsParamSpec._get_type_vars s $LL& %r )r r r rS rR )rR rS rT rU rV rp r r rZ r rH r rj r r r rL PEP_560r rW r r s @r r r N sz , ^ NN '
'
)
) +/%u * *$ * ) ! !
'
' r r c ^ \ rS rSr\( a
\R rO \R rSr \R r U 4S jr S r
S rS r\S 5 r\( d S rS rU =r$ S rU =r$ )
_ConcatenateGenericAliasi Fc < > [ TU ] U5 Xl X l g r )r r r r+ )rH r r r s r r !_ConcatenateGenericAlias.__init__ s G T " $O Mr c ^ [ R mT" U R 5 SSR U4S jU R 5 5 S3$ )Nr r c 3 4 ># U H
nT" U5 v M g 7fr rD )r> r8 r s r r? 4_ConcatenateGenericAlias.__repr__.. s !K]c*S//]s r )rp r r r r+ )rH r s @r rj !_ConcatenateGenericAlias.__repr__ sF **J!$//23 !KT]]!KKLAO
Pr c D [ U R U R 45 $ r )r r r+ ri s r r !_ConcatenateGenericAlias.__hash__ s $--89 9r c g r rD rG s r rL !_ConcatenateGenericAlias.__call__ r r c : [ S U R 5 5 $ )Nc 3 t # U H. n[ U[ R [ 45 ( d M* Uv M0 g 7fr )r rp r r )r> r s r r? :_ConcatenateGenericAlias.__parameters__.. s' *rjfnni=X.Y]s )8 8)r r+ ri s r r '_ConcatenateGenericAlias.__parameters__ s !]]
r c U R ( a4 U R ( a" [ R " U R U5 g g g r )r r rp r r s r r '_ConcatenateGenericAlias._get_type_vars s. ??t':':))$*=*=uE (;?r )r+ r )rR rS rT rU r rp rr r _TypingBaser# r# r r rj r rL rZ r r rW r r s @r r r sm ,,I **I !
P
:
F
F r r c ^ US:X a [ S5 e[ U[ 5 ( d U4n[ US [ 5 ( d [ S5 eSm[ U4S jU 5 5 n[ X5 $ )NrD 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 R ># U H n[ R " UT5 v M g 7fr r\ r] s r r? '_concatenate_getitem.. s! F:av))!S11:ra )r r r r r )rH r r_ s @r _concatenate_getitemr sn R@AA j% ( ( ]
jni 0 0 . / /
;CF:FFJ #D 55r c [ X5 $ )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 s $D55r c \ rS rSrS rS rSrg)_ConcatenateFormi c SU R - $ rf rg ri s r rj _ConcatenateForm.__repr__
rl r c [ X5 $ r r r s r ru _ConcatenateForm.__getitem__
'9 9r rD Nrw rD r r r r s 5 :r r 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.
c \ rS rSrSrS rSrg)_ConcatenateAliasMetai zMetaclass for Concatenate.c gNz typing_extensions.ConcatenaterD ri s r rj _ConcatenateAliasMeta.__repr__! 2r rD Nrv rD r r r r s
( 3r r c 4 \ rS rSrSrSrS rS rS rS r Sr
g) _ConcatenateAliasBasei$ r rD c [ S5 e)Nz-Concatenate cannot be used with isinstance().rF rG s r rJ '_ConcatenateAliasBase.__instancecheck__3 KL Lr c [ S5 e)Nz-Concatenate cannot be used with issubclass().rF rN s r rO '_ConcatenateAliasBase.__subclasscheck__6 r r c gr rD ri s r rj _ConcatenateAliasBase.__repr__9 r r c [ X5 $ r r r s r ru !_ConcatenateAliasBase.__getitem__< r r N) rR rS rT rU rV r rJ rO rj ru rW rD r r r r $ s$ M M 3 :r r r; c \ rS rSrS rSrg)_TypeGuardFormiF c SU R - $ rf rg ri s r rj _TypeGuardForm.__repr__G rl r rD Nri rD r r r r F rj r r c b [ R " X S35 n[ R " X45 $ ) 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 )rp rq rr rs s r r; r; J s0 X !!*6P.QR##D'22r c \ rS rSrS rS rSrg)r iz c SU R - $ rf rg ri s r rj r | rl r c x [ R " UU R S35 n[ R " X45 $ )Nz accepts only a single typero rs s r ru _TypeGuardForm.__getitem__ s7 %%j)- 4O&PRD''g6 6r rD Nrw rD r r r r z rx r 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).
c R ^ \ rS rSrSrSrS
S jrS rS rU 4S jr S r
S r Sr U =r
$ )
_TypeGuardi r r} c Xl g r r} r s r r _TypeGuard.__init__ r r c [ U 5 nU R c, U" [ R " UUR SS S35 SS9$ [ UR SS S35 e)Nr z accepts only a single type.TrX r r r s r ru _TypeGuard.__getitem__ sm t*C}}$6--d !ll12 . //KL N!%' ' s||AB / 00N OP Pr c [ R " U R X5 nX0R :X a U $ [ U 5 " USS9$ r r r s r r _TypeGuard._eval_type r r c > [ TU ] 5 nU R b' US[ R " U R 5 S3-
nU$ r r r s r rj _TypeGuard.__repr__ r r c V [ [ U 5 R U R 45 $ r r ri s r r _TypeGuard.__hash__ r r c [ U[ 5 ( d [ $ U R b U R UR :H $ XL $ r )r r r r~ r s r r _TypeGuard.__eq__ s: eZ00%%}}(}}66= r r r r s @r r r s4 ) V " Q 2 > ! !r r r c x \ rS rSrSrS rS rS rS rS r S r
S r S
r S r
S r\R S
5 rSrg) _SpecialFormi )rh rV _getitemc T Xl UR U l UR U l g r )r rR rh rV )rH r s r r _SpecialForm.__init__
s #M ))DJ"??DLr c < US; a U R $ [ U5 e)N> rR rT )rh r )rH rt s r rO _SpecialForm.__getattr__ s 33zz! & &r c [ SU < 35 e)Nr rF )rH r s r __mro_entries__ _SpecialForm.__mro_entries__ s .th 78 8r c SU R 3$ rf rg ri s r rj _SpecialForm.__repr__ s '
|4 4r c U R $ r rg ri s r r _SpecialForm.__reduce__ s :: r c [ SU < 35 e)NzCannot instantiate rF )rH r r s r rL _SpecialForm.__call__ s 1$ :; ;r c * [ R X4 $ r rp Unionr s r __or___SpecialForm.__or__! s << , ,r c * [ R X4 $ r r r s r __ror___SpecialForm.__ror__$ s << , ,r c [ U S35 e)Nz! cannot be used with isinstance()rF rG s r rJ _SpecialForm.__instancecheck__' tf$E FG Gr c [ U S35 e)Nz! cannot be used with issubclass()rF rN s r rO _SpecialForm.__subclasscheck__* r r c $ U R X5 $ r )r r s r ru _SpecialForm.__getitem__- s ==2 2r )rV r rh N)rR rS rT rU r r rO r rj r rL r r rJ rO rp r ru rW rD r r r r sU 4 +
' 9 5 < - - H H
3
3r r c [ U S35 e)Used to spell the type of "self" in classes.
Example::
from typing import Self
class ReturnsSelf:
def parse(self, data: bytes) -> Self:
...
return self
rm rF )rH rh s r r r 1 s 4& 5677r c ( \ rS rSrSrSrS rS rSrg)_SelfiB r# rD c [ U S35 e)Nz" cannot be used with isinstance().rF rG s r rJ _Self.__instancecheck__R tf$F GH Hr c [ U S35 e)Nz" cannot be used with issubclass().rF rN s r rO _Self.__subclasscheck__U r( r NrQ rD r r r% r% B s I Ir r% Requiredc \ rS rSrS rSrg)_ExtensionsSpecialFormi_ c SU R - $ rf rg ri s r rj _ExtensionsSpecialForm.__repr__` rl r rD Nri rD r r r- r- _ rj r r- c v [ R " XR S35 n[ R " X45 $ ) 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.
rn ro rs s r r+ r+ c s3 " !!* #VCLL$4 57
7r c [ R " U R X5 nX0R :X a U $ [ U 5 " USS9$ r r r s r r _MaybeRequired._eval_type r r c > [ TU ] 5 nU R b2 USR [ R
" U R 5 5 -
nU$ )Nz[{}])r rj r~ r: rp r r s r rj _MaybeRequired.__repr__ sA "A}}(V]]6#4#4T]]#CDDHr c V [ [ U 5 R U R 45 $ r r ri s r r _MaybeRequired.__hash__ r r c [ U[ U 5 5 ( d [ $ U R b U R UR :H $ XL $ r )r r r r~ r s r r _MaybeRequired.__eq__ s> eT$Z00%%}}(}}66= r r )
rR rS rT rU r r ru r rj r r rW r r s @r r= r= s+ ! 7 2 > ! !r r= c \ rS rSrSrSrg) _Requiredi r1 rD Nr\ rD r r rK rK s r rK c \ rS rSrSrSrg) _NotRequiredi r3 rD Nr\ rD r r rM rM s r rM )NNF)r r collections.abcr
r rp version_infor r r r r r __all__extendr r@ _FinalTypingBaserB r rZ r[ r\ r] r_ r r r rc r{ 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 r r: rB r6 rC rI r rL r rq r8 r7 r/ r. r r __text_signature__r r r rR rS rV r0 r? r rr r! r- r/ r> r= r^ ImportErrorr_ r: rf r rq rx ra rb r r r2 r r r r r r r r; r r r r% r+ r4 r- r6 r= rK rM rD r r r[ sb
2A
)
+
K / <+ Z NN?@ 6: HJF++4 J( t$H NN3 ^^D ^^D
~~f- >>*D 9 ?? 67 0 0! 4 > LLEbqV#7V(( 7
w L
ME 1!(( 1!f
E 67 LLE.
69 nnGbqV#:v**$ : 9 1 2G ,!6**$ ,!\ T"G (( ?? {{ [ 6
$$
$$
67 LLEN !!6#9#9!#<0!''N &&
6()) 44 I"fnnT 2 " 6=!!$$K#""2A&22-- 7 7"bBK Tk--v/D/DRV/L 6 ' 3 3 T 69 nnG P+%%++af% 2+:M:M P 6: H [*%% Q;'')>)>r2v)F 3$-- Q 6#$$**N t,fnnT8^.L#9 * = =
..
{{$$
= &X
6: H )@7 7$]$] ]$@ 1@B BB$P] $PP 6&'' 00 6?##((M y
I % $RI $( *=X*HN%*= *=X {TGR8I#I @ 6; I**N ,,O %>&..d %>N4 4l "CLO`K** `KD m F BQ7"""JH 1,,'00 6; IbqV#5,,D 5 8 8 bqV#5,,D 5 { $)
*I1** 1 100NRV 1, T*I 6?##((M ,,O 6
6$8* 8& 6; I
f'D f'T v}%%(F4 (FX
6
6 6=!!$$K % > > bqV# 6 6 bqV#:6..d : #
K 3 1 1 3 : 7 7*?&*:6 (d3K 6; IbqV#5,,D 5 ,3 ,3\ bqV#7,,D 7 )
+
I\M!V,,D M!^ &I
66 ;;DbqV#(3v}}D (3T 8 8 I''t I, t D 6: H$$KbqV#5!4!4D 5 3 3& 3 3 bqV#7++4 7
H"
K #!00 #!J N$ " ~T t$H T*KI 1 " 0 01
, ++ ,s$ h "h. h+*h+.ii