TMhB @ UdZddlZddlZddlZddlZddlZddlZddlm Z ddl m Z m Z ddlm Z mZddlZddlmZmZmZmZdZejddd kZd ed ed e fd Zd ed ed e fdZejd krddl mZn edZeddZde_eddZde_eddZde_eddZde_eddZde_edd Z d!e _ed"d#Z!d$e!_ed%d&Z"d'e"_ed(d)Z#d*e#_ed+d,Z$d-e$_ed.d/Z%d0e%_ed1d2Z&d3e&_d4e d e'fd5Z(ed6d7Z)d8e)_ed9d:Z*d;e*_ejd kr edZ+d?e+_ed@dAZ,dBe,_edCdDZ-dEe-_edFdGZ.dHe._edIdJZ/dKe/_edLdMZ0dNe0_edOdPZ1dQe1_edRdSZ2dTe2_edUdVZ3dWe3_edXdYZ4dZe4_ed[d\Z5d]e5_ed^d_Z6d`e6_edadbZ7er d4e d dcfddZ8n edadeZ8dfe8_edgdhZ9die9_ejdjkr d4e d dkfdlZ:nd4e d dkfdmZ:dne:_iej;ej<j;ej=ej<j=ej>ej<j>ej?ej<j?ej@ej<j@ejAej<jAejBej<jBejCej<jCejDej<jDejEej<jEejFej<jFejGej<jGejHej<jIejJej<jJejKej<jKejLej<jLejMej<jMiejNej<jNejOePejQeRejSejTejIeUejVeWejXej<jXejYej<jYejZej<jZej[ej<j[ej\e]ej^ej_ej`ej`ejaejaejbejbejcej<jcejdej<jdejeeejfejfejgejgejhejiejjejkiZlee]e ee femdo< eRelnD]\ZoZpeqeeojrdxZsepeles<dS)pzLow-level introspection utilities for [`typing`][] members. The provided functions in this module check against both the [`typing`][] and [`typing_extensions`][] variants, if they exists and are different. N)dedent) FunctionType GenericAlias)AnyFinal) LiteralString TypeAliasTypeTypeIs deprecated) DEPRECATED_ALIASESNoneType is_annotatedis_any is_classvaris_concatenate is_deprecatedis_final is_forwardref is_generic is_literalis_literalstring is_namedtupleis_never is_newtype is_nodefault is_noreturnis_notrequired is_paramspecis_paramspecargsis_paramspeckwargs is_readonly is_requiredis_self is_typealiasis_typealiastype is_typeguard is_typeis is_typevaris_typevartupleis_union is_unpack) member function_namereturnctt|}tt|}|r;|r9tt|tt|urd|}nd|d|}n|r|sd|}n |s|rd|}nd}t d|d|d}i}t ttd}t |||||S) a}Create a function checking that the function argument is the (unparameterized) typing :paramref:`member`. The function will make sure to check against both the `typing` and `typing_extensions` variants as depending on the Python version, the `typing_extensions` variant might be different. For instance, on Python 3.9: ```pycon >>> from typing import Literal as t_Literal >>> from typing_extensions import Literal as te_Literal, get_origin >>> t_Literal is te_Literal False >>> get_origin(t_Literal[1]) typing.Literal >>> get_origin(te_Literal[1]) typing_extensions.Literal ``` zobj is typing.z or obj is typing_extensions.zobj is typing_extensions.False def z&(obj: Any, /) -> bool: return  rtypingtyping_extensionshasattrr7r8getattrrrexecr/r0 in_typingin_typing_extensions check_code func_codelocals_globals_s `/var/www/html/test/jupyter/venv/lib/python3.11/site-packages/typing_inspection/typing_objects.py _compile_identity_check_functionrE;s$&''I"#4f== )  66 " "g.?&H&H H H2&22JJW&WWvWWJJ /.f.. /999     I !G'*fSdeeHHg&&& = !!c tt|}tt|}|r=|r;tt|tt|urd|d}n"d|d|d}n|r |sd|d}n |s |rd|d}nd}t d|d |d |d }i}t ttd }t |||||S) aCreate a function checking that the function is an instance of the typing `member`. The function will make sure to check against both the `typing` and `typing_extensions` variants as depending on the Python version, the `typing_extensions` variant might be different. zisinstance(obj, typing.)zisinstance(obj, (typing.z, typing_extensions.z))z"isinstance(obj, typing_extensions.r3r4z(obj: Any, /) -> 'TypeIs[z]': return r5r6r9r=s rD"_compile_isinstance_check_functionrIhs> ''I"#4f== )  66 " "g.?&H&H H H<6<<>> is_annotated(Annotated) True >>> is_annotated(Annotated[int, ...]) False ``` rrzm Return whether the argument is the [`Any`][typing.Any] [special form][]. ```pycon >>> is_any(Any) True ``` ClassVarrz Return whether the argument is the [`ClassVar`][typing.ClassVar] [type qualifier][]. ```pycon >>> is_classvar(ClassVar) True >>> is_classvar(ClassVar[int]) >>> False ``` Concatenaterz Return whether the argument is the [`Concatenate`][typing.Concatenate] [special form][]. ```pycon >>> is_concatenate(Concatenate) True >>> is_concatenate(Concatenate[int, P]) False ``` rrz Return whether the argument is the [`Final`][typing.Final] [type qualifier][]. ```pycon >>> is_final(Final) True >>> is_final(Final[int]) False ``` ForwardRefrz Return whether the argument is an instance of [`ForwardRef`][typing.ForwardRef]. ```pycon >>> is_forwardref(ForwardRef('T')) True ``` Genericrz Return whether the argument is the [`Generic`][typing.Generic] [special form][]. ```pycon >>> is_generic(Generic) True >>> is_generic(Generic[T]) False ``` Literalrz Return whether the argument is the [`Literal`][typing.Literal] [special form][]. ```pycon >>> is_literal(Literal) True >>> is_literal(Literal["a"]) False ``` ParamSpecrz Return whether the argument is an instance of [`ParamSpec`][typing.ParamSpec]. ```pycon >>> P = ParamSpec('P') >>> is_paramspec(P) True ``` TypeVarr(z Return whether the argument is an instance of [`TypeVar`][typing.TypeVar]. ```pycon >>> T = TypeVar('T') >>> is_typevar(T) True ``` TypeVarTupler)z Return whether the argument is an instance of [`TypeVarTuple`][typing.TypeVarTuple]. ```pycon >>> Ts = TypeVarTuple('Ts') >>> is_typevartuple(Ts) True ``` Unionr*a Return whether the argument is the [`Union`][typing.Union] [special form][]. This function can also be used to check for the [`Optional`][typing.Optional] [special form][], as at runtime, `Optional[int]` is equivalent to `Union[int, None]`. ```pycon >>> is_union(Union) True >>> is_union(Union[int, str]) False ``` !!! warning This does not check for unions using the [new syntax][types-union] (e.g. `int | str`). objcvt|to$t|tot |dS)aReturn whether the argument is a named tuple type. This includes [`NamedTuple`][typing.NamedTuple] subclasses and classes created from the [`collections.namedtuple`][] factory function. ```pycon >>> class User(NamedTuple): ... name: str ... >>> is_namedtuple(User) True >>> City = collections.namedtuple('City', []) >>> is_namedtuple(City) True >>> is_namedtuple(NamedTuple) False ``` _fields) isinstancetype issubclasstupler:rTs rDrr)s2& c4 WZU%;%; WY@W@WWrFrrz Return whether the argument is the [`LiteralString`][typing.LiteralString] [special form][]. ```pycon >>> is_literalstring(LiteralString) True ``` Neverrzu Return whether the argument is the [`Never`][typing.Never] [special form][]. ```pycon >>> is_never(Never) True ``` NewTyperc"t|dS)N __supertype__)r:r[s rDrr[ssO,,,rFz Return whether the argument is a [`NewType`][typing.NewType]. ```pycon >>> UserId = NewType("UserId", int) >>> is_newtype(UserId) True ``` NoDefaultrz Return whether the argument is the [`NoDefault`][typing.NoDefault] sentinel object. ```pycon >>> is_nodefault(NoDefault) True ``` NoReturnrz Return whether the argument is the [`NoReturn`][typing.NoReturn] [special form][]. ```pycon >>> is_noreturn(NoReturn) True >>> is_noreturn(Never) False ``` NotRequiredrz Return whether the argument is the [`NotRequired`][typing.NotRequired] [special form][]. ```pycon >>> is_notrequired(NotRequired) True ``` ParamSpecArgsrz Return whether the argument is an instance of [`ParamSpecArgs`][typing.ParamSpecArgs]. ```pycon >>> P = ParamSpec('P') >>> is_paramspecargs(P.args) True ``` ParamSpecKwargsr z Return whether the argument is an instance of [`ParamSpecKwargs`][typing.ParamSpecKwargs]. ```pycon >>> P = ParamSpec('P') >>> is_paramspeckwargs(P.kwargs) True ``` ReadOnlyr!z Return whether the argument is the [`ReadOnly`][typing.ReadOnly] [special form][]. ```pycon >>> is_readonly(ReadOnly) True ``` Requiredr"z Return whether the argument is the [`Required`][typing.Required] [special form][]. ```pycon >>> is_required(Required) True ``` Selfr#zq Return whether the argument is the [`Self`][typing.Self] [special form][]. ```pycon >>> is_self(Self) True ``` TypeAliasr$z Return whether the argument is the [`TypeAlias`][typing.TypeAlias] [special form][]. ```pycon >>> is_typealias(TypeAlias) True ``` TypeGuardr&z Return whether the argument is the [`TypeGuard`][typing.TypeGuard] [special form][]. ```pycon >>> is_typeguard(TypeGuard) True ``` r r'zy Return whether the argument is the [`TypeIs`][typing.TypeIs] [special form][]. ```pycon >>> is_typeis(TypeIs) True ``` r _is_typealiastype_innerzTypeIs[TypeAliasType]cLt|tuot|SN)rXrrjr[s rDr%r%s!Cyy ,M1H1M1MMrFr%a' Return whether the argument is a [`TypeAliasType`][typing.TypeAliasType] instance. ```pycon >>> type MyInt = int >>> is_typealiastype(MyInt) True >>> MyStr = TypeAliasType("MyStr", str) >>> is_typealiastype(MyStr): True >>> type MyList[T] = list[T] >>> is_typealiastype(MyList[int]) False ``` Unpackr+z Return whether the argument is the [`Unpack`][typing.Unpack] [special form][]. ```pycon >>> is_unpack(Unpack) True >>> is_unpack(Unpack[Ts]) False ``` )r- zTypeIs[deprecated]cNt|tjtjfSrl)rWwarningsr r8r[s rDrr s# 35F5QRSSSrFc6t|tjSrl)rWr8r r[s rDrrs#0;<<>> is_deprecated(warnings.deprecated('message')) True >>> is_deprecated(typing_extensions.deprecated('message')) True ``` r )t__doc__collections.abc collections contextlibresysr7rptextwraprtypesrrrrr8rr r r __all__ version_info _IS_PY310rErIr rXrrrrrrrrrr(r)r*boolrrrrrrrrr r!r"r#r$r&r'rjr%r+rHashableabc Awaitable Coroutine AsyncIterable AsyncIteratorIterableIterator ReversibleSized Container CollectionCallable AbstractSetSet MutableSetMappingMutableMappingSequenceMutableSequenceTuplerZListlistDequedequeset FrozenSet frozenset MappingViewKeysView ItemsView ValuesViewDictdict DefaultDict defaultdict OrderedDictCounterChainMap GeneratorAsyncGeneratorTypePatternMatchContextManagerAbstractContextManagerAsyncContextManagerAbstractAsyncContextManagerr __annotations__itemsaliastargetr;_namete_aliasrFrDrs)  ,,,,,,,,NNNNNNNNNNNN! F  RaR G + *"]*"=*"]i*"*"*"*"Z"}"]"_k""""@wtDzzH0/ ^LL    * )% : :/.z=II   21-AQRR  , +GZ @ @ 32<QQ  . -i F F   . -i F F   21+~NN  0 / < H H  54^EVWW , +GZ @ @$XsX$XXXX443OEWXX , +GZ @ @w33I|LLJJ--4---- 0/ ^LL  /.z=II   21-AQRR65oGYZZ878IK_``/.z=II  /.z=II   + *69 = =0/ ^LL  0/ ^LL   - ,X{ C C  =<_Nghh _ NcN)@NNNNN:9/K]^^ - ,X{ C C   wT3T&:TTTTT =3=&:====  +3 O[_-+3 ko/+3 ko/+3 +/7 +3  +/7 +3  O[_- +3 O[_-+3 {1+3 L+/'+3 ko/+3 {1+3 O[_-+3  ++3 {1+3  NKO+!+3" ;?9#+3$ O[_-%+3+3& KO;'+3( L%)+3* K++3, L+#-+3. J/+30 i1+32  33+34 O[_-5+36 ko/7+38 {19+3: K;+3<  /=+3>  /?+3@ NK'A+3B O[)C+3D ko/E+3F ;?9G+3+3H K NBJ L"( :<  FS+3+3E$sDI~./+++XAT,224455..ME6G-u{DAAAN'-8$..rF