o ƩZhS@s~dZddlmZddlZddlmZddZddZd2d d ZGd d d eZ e d e fiZ e e _ de _edfddZedfddZedfddZedfddZefddZefddZGdddZddZdd ZGd!d"d"ZGd#d$d$ZeZGd%d&d&eZeZGd'd(d(ed)ZGd*d+d+ed)ZGd,d-d-ed)ZGd.d/d/ed)Z eeee fD] Z!d0j"e!j d1e!_q[!dS)3zDefines experimental extensions to the standard "typing" module that are supported by the mypy typechecker. Example usage: from mypy_extensions import TypedDict )AnyN _type_checkc Cs<ztdjddvrtdWdSttfyYdSw)N__name__)abc functoolstypingz4TypedDict does not support instance and class checksF)sys _getframe f_globals TypeErrorAttributeError ValueError)clsotherrF/var/www/html/lang_env/lib/python3.10/site-packages/mypy_extensions.py _check_failssrcOst|i|SN)dict)rargskwargsrrr _dict_newsrc Kst|dd}|dur |}n|rtdt||d}ztdjdd|d<Wn ttfy3Ynwt |d |S) NtotalTz@TypedDict takes either a dict or keyword arguments, but not both)__annotations__ __total__rr__main__ __module__r) popr rr r r getrr_TypedDictMeta)rZ _typename_fieldsrrnsrrr_typeddict_news  r$cs&eZdZdfdd ZeZZZS)r!Tcs|dkrtnt|d<tt|||tf|}|di}dfdd|D}|D] }||j diq+||_ t |dsC||_ |S)N TypedDict__new__rz?TypedDict('Name', {f0: t0, f1: t1, ...}); each t must be a typecsi|] \}}|t|qSrr).0ntpmsgrr =sz*_TypedDictMeta.__new__..r) r$rsuperr!r&rr itemsupdate__dict__rhasattrr)rnamebasesr#rtp_dictannsbase __class__r*rr&1s  z_TypedDictMeta.__new__)T)rr __qualname__r&r__instancecheck____subclasscheck__ __classcell__rrr7rr!0sr!r%aA simple typed name space. At runtime it is equivalent to a plain dict. TypedDict creates a dictionary type that expects all of its instances to have a certain set of keys, with each key associated with a value of a consistent type. This expectation is not checked at runtime but is only enforced by typecheckers. Usage:: Point2D = TypedDict('Point2D', {'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 could be accessed via Point2D.__annotations__. TypedDict supports two additional equivalent forms:: Point2D = TypedDict('Point2D', x=int, y=int, label=str) class Point2D(TypedDict): x: int y: int label: str The latter syntax is only supported in Python 3.6+, while two other syntax forms work for 3.2+ cC|S)zA normal positional argumentrtyper2rrrArgkr@cCr=)z*A positional argument with a default valuerr>rrr DefaultArgprArBcCr=)zA keyword-only argumentrr>rrrNamedArgurArCcCr=)z,A keyword-only argument with a default valuerr>rrrDefaultNamedArgzrArDcCr=)z*A *args-style variadic positional argumentrr?rrrVarArgrArFcCr=)z*A **kwargs-style variadic keyword argumentrrErrrKwArgrArGc@s eZdZdS)NoReturnN)rrr9rrrrrHs rHcCr=rr)rrrrtraitsrIcOsddS)NcSr=rr)xrrrszmypyc_attr..r)attrsZkwattrsrrr mypyc_attrsrMc@seZdZddZddZdS)_FlexibleAliasClsAppliedcCs ||_dSrval)selfrPrrr__init__ z!_FlexibleAliasClsApplied.__init__cCs|jSrrOrQrrrr __getitem__sz$_FlexibleAliasClsApplied.__getitem__N)rrr9rRrUrrrrrNs rNc@eZdZddZdS)_FlexibleAliasClscCs t|dS)N)rNrTrrrrUs z_FlexibleAliasCls.__getitem__N)rrr9rUrrrrrW rWc@rV)_NativeIntMetacCs t|tSr) isinstanceint)rinstrrrr:rSz _NativeIntMeta.__instancecheck__N)rrr9r:rrrrrZrYrZc@eZdZdefddZdS)i64rcC|tur t||St|Sr _sentinelr\rrJr6rrrr& z i64.__new__Nrrr9rbr&rrrrr_r_) metaclassc@r^)i32rcCr`rrarcrrrr&rdz i32.__new__Nrerrrrrhrfrhc@r^)i16rcCr`rrarcrrrr&rdz i16.__new__Nrerrrrrirfric@r^)u8rcCr`rrarcrrrr&rdz u8.__new__Nrerrrrrjrfrja/A native fixed-width integer type when used with mypyc. In code not compiled with mypyc, behaves like the 'int' type in these runtime contexts: * {name}(x[, base=n]) converts a number or string to 'int' * isinstance(x, {name}) is the same as isinstance(x, int) )r2r)#__doc__r rr rrrr$r?r!rr%rrr@rBrCrDrFrGrHrIrMrNrWZ FlexibleAliasrZobjectrbr_rhrirjZ _int_typeformatrrrrsH   !