TMhXUdZddlmZddlZddlZddlmZddlmZddl m Z m Z m Z ddl mZmZmZmZddlmZmZmZmZd d lmZd Zejd ks ejd krd7dZnd7dZd8dZdddd9dZed Zd!ed"< e eeZ!d#ed$<Gd%d&e Z"Gd'd(e#Z$Gd)d*e Z%e%j&Z& ee%j&Z'd!ed+< Gd,d-eZ(d.d/d:d1Z)d;d5Z*dd/d>> is_union_origin(typing.Union) True >>> is_union_origin(get_origin(int | str)) True >>> is_union_origin(types.UnionType) True ``` !!! note Since Python 3.14, both `Union[, , ...]` and ` | | ...` forms create instances of the same [`typing.Union`][] class. As such, it is recommended to not use this function anymore (provided that you only support Python 3.14 or greater), and instead use the [`typing_objects.is_union()`][typing_inspection.typing_objects.is_union] function directly: ```python from typing import Union, get_origin from typing_inspection import typing_objects typ = int | str # Or Union[int, str] origin = get_origin(typ) if typing_objects.is_union(origin): ... ``` )ris_unionrs _/var/www/html/test/jupyter/venv/lib/python3.11/site-packages/typing_inspection/introspection.pyrrs:&s+++cFtj|p |tjuSr!)rr"types UnionTyper#s r$rr>s!:&s++Eseo/EEr%valueNonec t|ttttt t jfs |t jurt|ddSdS)zCType check the provided literal value against the legal parameters.zK is not a valid literal value, must be one of: int, bytes, str, Enum, None.N) isinstanceintbytesstrrrrNoneType TypeError)r)s r$_literal_type_checkr2^s^ usE3dN>> type MyAlias = Literal[1, 2] >>> list(get_literal_values(Literal[MyAlias, 3], unpack_type_aliases="skip")) [MyAlias, 3] ``` - `'lenient'`: Try to parse type aliases, and fallback to `'skip'` if the type alias can't be inspected (because of an undefined forward reference). - `'eager'`: Parse type aliases and raise any encountered [`NameError`][] exceptions (the default): ```pycon >>> type MyAlias = Literal[1, 2] >>> list(get_literal_values(Literal[MyAlias, 3], unpack_type_aliases="eager")) [1, 2, 3] ``` Note: While `None` is [equivalent to][none] `type(None)`, the runtime implementation of [`Literal`][typing.Literal] does not de-duplicate them. This function makes sure this de-duplication is applied: ```pycon >>> list(get_literal_values(Literal[NoneType, None])) [None] ``` Example: ```pycon >>> type Ints = Literal[1, 2] >>> list(get_literal_values(Literal[1, Ints], unpack_type_alias="skip")) ["a", Ints] >>> list(get_literal_values(Literal[1, Ints])) [1, 2] >>> list(get_literal_values(Literal[1.0], type_check=True)) Traceback (most recent call last): ... TypeError: 1.0 is not a valid literal value, must be one of: int, bytes, str, Enum, None. ``` skipFNTr4c38K|]}|t|fVdSN)type).0as r$ z%get_literal_values..s,*J*JAAtAww<*J*J*J*J*J*Jr%r3c3 K|] \}}|V dSr=r?p_s r$rAz%get_literal_values..s&**da******r%c3 K|] \}}|V dSr=rCrDs r$rAz%get_literal_values..s&66da666666r%)__args__r2rr0is_typealiastype __value__rextend NameErrorappendr>dictfromkeysr1) r7r5r6 _has_noneargvalues_and_type alias_valuesub_argsdcts r$rrgs`tf$$ &  C )#C((({c^%<<< JJJ    8:& = =C .s33 = K"%-K 2# Pc   H$***J*J*J*J*JJJJJ!===*g55!1+C000#**Cc+;<<<<< =-',,,.111#**D.2I+JKKKK#**Cc+;<<<< +--00C +*c*** * * * * * * * * *  7 7 766o666 6 6 6 6 6 6 6 6 6 6 7s%&BAC('C(FF! F!)required not_required read_only class_varinit_varfinalr rset[Qualifier]_all_qualifiersceZdZdZeZ eZ eZ eZ eZ eZ eZ eZ e ddZdS)rzThe source of an annotation, e.g. a class or a function. Depending on the source, different [type qualifiers][type qualifier] may be (dis)allowed. rr\cB|tjurdhS|tjurddhS|tjurhdS|tjurhdS|tjtjtjfvrtS|tj urtSt|dS)zIThe allowed [type qualifiers][type qualifier] for this annotation source.r[rY>r[rZrY>rVrXrWN) rASSIGNMENT_OR_VARIABLECLASS DATACLASS TYPED_DICT NAMED_TUPLEFUNCTIONBAREsetANYr]rselfs r$allowed_qualifiersz#AnnotationSource.allowed_qualifiers<s #: : :9  %+ + +[) ) %/ / /555 5 %0 0 0<<< < &24D4MO_Ode e e55L %) ) )" "      r%N)rr\)__name__ __module__ __qualname____doc__rr`rarbrcrdrerhrfpropertyrkrCr%r$rrs "TVV DFFE I J $&&K tvvH $&&C 466D Xr%rc(eZdZUdZded< ddZdS) rz-The provided [type qualifier][] is forbidden.r qualifierrr*c||_dSr=)rr)rjrrs r$__init__zForbiddenQualifier.__init__Vs "r%N)rrrrr*)rlrmrnro__annotations__rtrCr%r$rrPs?77"######r%rc2eZdZeZddZddZdS)_UnknownTypeEnumrr/cdS)NUNKNOWNrCris r$__str__z_UnknownTypeEnum.__str__]syr%cdS)Nz rCris r$__repr__z_UnknownTypeEnum.__repr__`s{r%N)rr/)rlrmrnrryrzr|rCr%r$rwrwZsGdffGr%rw _UnkownTypec6eZdZUdZded< ded< ded<dS) rz'The result of the inspected annotation.zAny | _UnkownTyper>r\ qualifiersz list[Any]metadataN)rlrmrnrorurCr%r$rrksF11 J!!r%rr;r6annotation_sourcec|j}t}g} t||\}}|r||z}t|}|ut j|r7d|vrt d|d|jd}nt j |r7d|vrt d|d|jd}n8t j |r6d|vrt d|d|jd}nt j |r6d|vrt d|d|jd}nt j |r6d |vrt d|d |jd}nZn[t|trCd |vrt d |d tt |j}nnt j |r0d|vrt d|dt$}n|t j|r0d|vrt d|dt$}n8|tur/d |vrt d |d t$}t'|||S) a Inspect an [annotation expression][], extracting any [type qualifier][] and metadata. An [annotation expression][] is a [type expression][] optionally surrounded by one or more [type qualifiers][type qualifier] or by [`Annotated`][typing.Annotated]. This function will: - Unwrap the type expression, keeping track of the type qualifiers. - Unwrap [`Annotated`][typing.Annotated] forms, keeping track of the annotated metadata. Args: annotation: The annotation expression to be inspected. annotation_source: The source of the annotation. Depending on the source (e.g. a class), different type qualifiers may be (dis)allowed. To allow any type qualifier, use [`AnnotationSource.ANY`][typing_inspection.introspection.AnnotationSource.ANY]. unpack_type_aliases: What to do when encountering [PEP 695](https://peps.python.org/pep-0695/) [type aliases][type-aliases]. Can be one of: - `'skip'`: Do not try to parse type aliases (the default): ```pycon >>> type MyInt = Annotated[int, 'meta'] >>> inspect_annotation(MyInt, annotation_source=AnnotationSource.BARE, unpack_type_aliases='skip') InspectedAnnotation(type=MyInt, qualifiers={}, metadata=[]) ``` - `'lenient'`: Try to parse type aliases, and fallback to `'skip'` if the type alias can't be inspected (because of an undefined forward reference): ```pycon >>> type MyInt = Annotated[Undefined, 'meta'] >>> inspect_annotation(MyInt, annotation_source=AnnotationSource.BARE, unpack_type_aliases='lenient') InspectedAnnotation(type=MyInt, qualifiers={}, metadata=[]) >>> Undefined = int >>> inspect_annotation(MyInt, annotation_source=AnnotationSource.BARE, unpack_type_aliases='lenient') InspectedAnnotation(type=int, qualifiers={}, metadata=['meta']) ``` - `'eager'`: Parse type aliases and raise any encountered [`NameError`][] exceptions. Returns: The result of the inspected annotation, where the type expression, used qualifiers and metadata is stored. Example: ```pycon >>> inspect_annotation( ... Final[Annotated[ClassVar[Annotated[int, 'meta_1']], 'meta_2']], ... annotation_source=AnnotationSource.CLASS, ... ) ... InspectedAnnotation(type=int, qualifiers={'class_var', 'final'}, metadata=['meta_1', 'meta_2']) ``` TrNrYrr[rVrWrXrZ)rkrg_unpack_annotatedrr is_classvarraddrHis_final is_requiredis_notrequired is_readonlyr,rr r r>ryr)r7rr6rkrr_metaorigins r$rrs#p+=!$JH*-jNabbb E  x'H J''  )&11 &888,[999{+++'03 (00 "444,W555w''''03 +F33 %777,Z888z***'03 .v66 !);;;,^<<<~...'03 +F33 &888,^<<<{+++'03   G , , !333(444 NN: & & &c:?33JJ U*Zz** , , ,$W-- -w  #J / /  0 0 0$[11 1{### w   / / /$Z00 0z""" z:x @ @@r%Literal['lenient', 'eager']check_annotatedtuple[Any, list[Any]]cLt|}|rMtj|r9|j}t |j}t ||d\}}||z}||fStj|r> |j}t ||d\}}|r||fS|gfS#t$r |dkrYnuwxYwtj|r] |j} ||j }n#t$rYnwxYwt ||d\}}|r||fS|gfS#t$r |dkrYnwxYw|gfS)NFr6rTr3) rr is_annotated __origin__list __metadata___unpack_annotated_innerrIrJrLrHr1) r7r6rrannotated_typersub_metar)typs r$rrs # #F9">6v>>9"#. /00 $; 0CUZ$ $ $  h&x''  ( 4 4-" "(E 4+>PTMC %H}$r> !   "g--.-   ( 0 0" "$E j12    4+>PTMC %H}$r> !/   "g--.- 2 r>s64BB.-B.D  C C)(C) DDc|dkr@tjt|r|jt |jfS|gfSt ||dS)Nr;Tr)rrrrrrr)r7r6s r$rrBsdf$$  &z*'='= > > "($z/F*G*GG Gr> ! ":CVhl m m mmr%)rr rr)r)r rr*)r7r r5rr6r8rr9)r7r rrr6r8rr)r7r r6rrrrr)r7r r6r8rr),ro __future__rsysr'collections.abcr dataclassesrenumrrrtypingr r r r typing_extensionsr rrrr__all__ version_inforr2rrrurgr]r Exceptionrrwryr}rrrrrCr%r$rsKKK"""""" %%%%%%$$$$$$$$$$111111111111KKKKKKKKKKKK w#"2W"<"<,,,,,DFFFF@oooo?F m+m+m+m+m+m+`hi iiii"%#hhy&9&9":"::::: nnnnnwnnnb########t  "C !1!9: ::::Z"""""*""":@F yAyAyAyAyAyAx????HW^ n n n n n n n nr%