U hmn @s0dZddlZddlZddlZddlZddlmZdejddkrNdkr`nnddlmZ nZejdddkrzddlmZ Wqe k rddlmZ YqXnddlm Z e e Z ejdddkZ e rddlZd Zd Zd Zd Zd Ze rfdd lmZmZmZmZmZmZmZmZmZdd lmZmZejddd kr\ddlm Z ee ej!fZ"nefZ"n`ddlmZm#Z#mZmZm$Z$mZm%Z%m&Z&zddlm'Z'm(Z(Wn&e k re eZ'd Zd ZYnXzddlm)Z)WnBe k rzddlm)Z)Wne k rd ZYnXYnXzddlmZWnBe k rpzddlmZWne k rjd ZYnXYnXzddlmZWnBe k rzddlmZWne k rd ZYnXYnXddZ*ddZ+ddZ,ddZ-ddZ.ddZ/z ej0Z1Wne2k rdZ1YnXd d!Z3ehZ4e5ed"rBe46ejd#d$Z7d%d&Z8d'd(Z9d)d*Z:d+d,Z;d-d.Zd3d4Z?d5d6Z@d[d7d8ZAd9d:ZBd;d<ZCd=d>ZDd?d@ZEdAdBZFdCdDZGdEdFZHdGdHZId\dIdJZJd]dKdLZKd^dMdNZLd_dOdPZMdQdRZNdSdTZOdUdVZPdWdXZQdYdZZRdS)`zDefines experimental API for runtime inspection of types defined in the standard "typing" module. Example usage:: from typing_inspect import is_generic_type N)_TypedDictMeta)rr)r ) TypedDict)rrTF) GenericCallableUnionTypeVarClassVarTuple _GenericAlias ForwardRefNewType)FinalLiteral)rrr)_SpecialGenericAlias)r CallableMetar r TupleMetar GenericMeta _ForwardRef)_Union _ClassVar)_Final)r)rcCs4t|tstt|dr|jS|jdk r0|j}q|S)z@This function exists for compatibility with old typing versions._gorgN) isinstancerAssertionErrorhasattrr __origin__clsr#2/tmp/pip-unpacked-wheel-ixaamrzm/typing_inspect.pyr\s   rcCsRtr8t|trt|tp6t|to6|jttt t j j fkSt|t oPt|ttf S)aTest if the given type is a generic type. This includes Generic itself, but excludes special typing constructs such as Union, Tuple, Callable, ClassVar. Examples:: is_generic_type(int) == False is_generic_type(Union[int, str]) == False is_generic_type(Union[int, T]) == False is_generic_type(ClassVar[List[int]]) == False is_generic_type(Callable[..., T]) == False is_generic_type(Generic) == True is_generic_type(Generic[T]) == True is_generic_type(Iterable[int]) == True is_generic_type(Mapping) == True is_generic_type(MutableMapping[T, List[int]]) == True is_generic_type(Sequence[Union[str, bytes]]) == True ) NEW_TYPINGrtype issubclassr typingGenericAliasr r tupler collectionsabcr rrrtpr#r#r$is_generic_typefs   r.cCsRtrF|tkpDt|tr$|jtjjkpDt|toDt|t oDt|tjjSt|t kS)aTest if the type is a generic callable type, including subclasses excluding non-generic types and callables. Examples:: is_callable_type(int) == False is_callable_type(type) == False is_callable_type(Callable) == True is_callable_type(Callable[..., int]) == True is_callable_type(Callable[[int, int], Iterable[str]]) == True class MyClass(Callable[[int], int]): ... is_callable_type(MyClass) == True For more general tests use callable(), for more precise test (excluding subclasses) use:: get_origin(tp) is collections.abc.Callable # Callable prior to Python 3.7 ) r%r rr(r r*r+r&r'r rr,r#r#r$is_callable_types  r/cCsJtr>|tkpsz#is_optional_type..)evaluateF)r& is_union_typeanyget_argsr,r#r#r$r2s r2cCs0tr |tkpt|to|jtkSto.t|tkS)zTest if the type is a final type. Examples:: is_final_type(int) == False is_final_type(Final) == True is_final_type(Final[int]) == True )r%rrr(r WITH_FINALr&rr,r#r#r$ is_final_types r;cCs:tr.|tkp,t|tr |jtkp,to,t|tSt|tkS)a)Test if the type is a union type. Examples:: is_union_type(int) == False is_union_type(Union) == True is_union_type(Union[int, int]) == False is_union_type(Union[T, int]) == True is_union_type(int | int) == False is_union_type(T | int) == True )r%r rr(r MaybeUnionTyper&rr,r#r#r$r7s  r7rcCs4tr |tkpt|to|jtkSto2t|ttkSr1)r%LITERALSrr(r WITH_LITERALr&rr,r#r#r$is_literal_types r?cCs t|tkS)zTest if the type represents a type variable. Examples:: is_typevar(int) == False is_typevar(T) == True is_typevar(Union[T, int]) == False )r&r r,r#r#r$ is_typevarsr@cCs8tr |tkpt|to|jtkStr0t|tkSdSdS)zTest if the type represents a class variable. Examples:: is_classvar(int) == False is_classvar(ClassVar) == True is_classvar(ClassVar[int]) == True is_classvar(ClassVar[List[T]]) == True FN)r%r rr(r WITH_CLASSVARr&rr,r#r#r$ is_classvars rBcCstsdStjdddkrDtjjdkrD|ttjfkpBt|ttjfStjdddkrzt|tj}Wntk rzYn X|r|S|ttjfkpt|dddk ot|dd d ko|j d kS|tkpt|dddk o|j d kSdS) zTests if the type represents a distinct type. Examples:: is_new_type(int) == False is_new_type(NewType) == True is_new_type(NewType('Age', int)) == True is_new_type(NewType('Scores', List[Dict[str, float]])) == True FNr)r rbeta)rrr __supertype__ __qualname__zNewType..new_type)typingtyping_extensions) WITH_NEWTYPEsys version_info releaselevelrrIr TypeErrorgetattr __module__)r-resr#r#r$ is_new_types.rRcCstst|tSt|tS)zTests if the type is a :class:`typing.ForwardRef`. Examples:: u = Union["Milk", Way] args = get_args(u) is_forward_ref(args[0]) == True is_forward_ref(args[1]) == False )r%rrrr,r#r#r$is_forward_ref6s rScCs:tr tdt}t|d|}||kr*dS|dkr6|S|S)aGet the last base of (multiply) subscripted type. Supports generic types, Union, Callable, and Tuple. Returns None for unsupported types. Examples:: get_last_origin(int) == None get_last_origin(ClassVar[int]) == None get_last_origin(Generic[T]) == Generic get_last_origin(Union[T, int][str]) == Union[T, int] get_last_origin(List[Tuple[T, T]][int]) == List[Tuple[T, T]] get_last_origin(List) == List zEThis function is only supported in Python 3.6, use get_origin insteadr N)r% ValueErrorobjectrO)r-sentineloriginr#r#r$get_last_originCs  rXcCsztr2t|tr"|jtk r|jSdS|tkr.tSdSt|trDt|St|rPt St |r\t St |rvtrr|jpp|St SdS)aGet the unsubscripted version of a type. Supports generic types, Union, Callable, and Tuple. Returns None for unsupported types. Examples:: get_origin(int) == None get_origin(ClassVar[int]) == None get_origin(Generic) == Generic get_origin(Generic[T]) == Generic get_origin(Union[T, int]) == Union get_origin(List[Tuple[T, T]][int]) == list # List prior to Python 3.7 N)r%rr(r r r rrr7r r0rr?rr,r#r#r$ get_origin[s"    rYcCstrt|r@g}|jdk r"|jndD]}|t|7}q&t|St|rzg}|jdk r\|jndD]}|t|7}q`t|St|rg}|j}|dkrdS|D]\}t|rt |n|fD]@}t |rt |t st d||dkrg}||kr||qq|dk rt|SdSndSntrft |tr8t|dsZt |tr`t|tr`|tk r`|jSdSnBt|st|st|st|r|jdk r|jSdSdSdS)a>Return type parameters of a parameterizable type as a tuple in lexicographic order. Parameterizable types are generic types, unions, tuple types and callable types. Examples:: get_parameters(int) == () get_parameters(Generic) == () get_parameters(Union) == () get_parameters(List[int]) == () get_parameters(Generic[T]) == (T,) get_parameters(Tuple[List[T], List[S_co]]) == (T, S_co) get_parameters(Union[S_co, Tuple[T, T]][int, U]) == (U,) get_parameters(Mapping[T, Tuple[S_co, T]]) == (T, S_co) Nr#zKCannot inherit from a generic class parameterized with non-type-variable %s__parameters__) LEGACY_TYPINGr7__union_params__get_parametersr)r0__tuple_params__r.rZr9 _has_type_varrr rNappendr%r(rr&r'r r/)r-paramsargZ base_paramsZbp_Zbpr#r#r$r]zsn  r]cCsDtrtdn0t|r.|jdk r*|jfSdSt|rz$|jdk rXt|jdkrX|jWSWntk rnYnX|jdk r|jSdSt |rz|jdk r|jndWStk r|j dk r|j ndYSXnrt |r|jdk r|jSdSt |r= 3.7rdrrir#rh)r%rTrr(rrdrYr*r+r rkrlr<rBr;rcr?Z __values__r.r7r/r0 _subs_treerf_union_subs_tree_generic_subs_tree_tuple_subs_treer)rerj)r-r6rQtreer#r#r$r9sR           r9cCs(t|rt|ddStdt|dS)zReturn the type bound to a `TypeVar` if any. It the type is not a `TypeVar`, a `TypeError` is raised. Examples:: get_bound(TypeVar('T')) == None get_bound(TypeVar('T', bound=int)) == int __bound__Ntype is not a `TypeVar`: r@rOrNstrr,r#r#r$ get_boundAs  rxcCs(t|rt|ddStdt|dS)zReturns the constraints of a `TypeVar` if any. It the type is not a `TypeVar`, a `TypeError` is raised Examples:: get_constraints(TypeVar('T')) == () get_constraints(TypeVar('T', int, str)) == (int, str) __constraints__r#ruNrvr,r#r#r$get_constraintsQs  rzcCs t|dd}|dk r|St|S)a6Get the generic type of an object if possible, or runtime class otherwise. Examples:: class Node(Generic[T]): ... type(Node[int]()) == Node get_generic_type(Node[int]()) == Node[int] get_generic_type(Node[T]()) == Node[T] get_generic_type(1) == int __orig_class__N)rOr&)objZgen_typer#r#r$get_generic_typeas r}cCs(trtdd|jDSt|ddSdS)aGet generic base types of a type or empty tuple if not possible. Example:: class MyClass(List[int], Mapping[str, List[int]]): ... MyClass.__bases__ == (List, Mapping) get_generic_bases(MyClass) == (List[int], Mapping[str, List[int]]) css|]}t|tr|VqdSr1)rrr3tr#r#r$r5{s z$get_generic_bases..__orig_bases__r#N)r[r) __bases__rOr,r#r#r$get_generic_basesqs rcCst|ttfr|jSdS)aIf td is a TypedDict class, return a dictionary mapping the typed keys to types. Otherwise, return None. Examples:: class TD(TypedDict): x: int y: int class Other(dict): x: int y: int typed_dict_keys(TD) == {'x': int, 'y': int} typed_dict_keys(dict) == None typed_dict_keys(Other) == None N)r_TypedDictMeta_Mypy_TypedDictMeta_TE__annotations__copy)tdr#r#r$typed_dict_keyss rcCst|r|jSdS)a If fr is a ForwardRef, return the string representation of the forward reference. Otherwise return None. Examples:: tp = List["FRef"] fr = get_args(tp)[0] get_forward_arg(fr) == "FRef" get_forward_arg(tp) == None N)rS__forward_arg__)frr#r#r$get_forward_args rcCs||dkr g}t|r t|||St|r4t|||St|rHt|||St|trxt|D]\}}||krZ||SqZ|S)zbackport of _replace_argN) r7rpr0rrr.rqrr enumerate)rbtvarsrnitvarr#r#r$ _replace_args    rcsg}|D]\}t|tr$||jqt|trZt|dkrZ|dtkrZ||ddq||qt|tt|krg}|D] }|kr|| |q|}rt t||D]6tt sqt fddhDrĈ qtfdd|DS)z backport of _remove_dups_flattenrrhNc3sB|]:}t|trt|dk st|tst|to8t|VqdSr1)rrrYr r&r')r3t2)t1r#r$r5s    z'_remove_dups_flatten..c3s|]}|kr|VqdSr1r#r~) all_paramsr#r$r5s) rrextendr\r)rer r`setremoverr&r8) parametersrap new_paramsrr#)rrr$_remove_dups_flattens2 "       rc Csdd}||}|dkr,t|s,t|s,|Sg}||dk rP||||}q0g}dd}||D]}|t|||qd|D]0} g} || D]}| t|t| |q| }q|S)z;backport of typing._subs_tree, adapted for legacy versions cSs$z|jWStk rYdSXdSr1)r rfr!r#r#r$ _get_originsz_subs_tree.._get_originNcSsTt|r|j}n4t|r |j}n$z |j}Wntk rBd}YnX|dk rP|SdS)Nr#)r7r\r0r^rdrf)r"Zcls_argsr#r#r$ _get_argss  z_subs_tree.._get_args)r7r0r`rr]) r"rrnrcurrentZ orig_chain tree_argsrrbZoclsZ new_tree_argsr#r#r$ros&     rocCs>|tkr tSt|||}t|}t|dkr4|dStf|S)z backport of Union._subs_tree rhr)r rorrer-rrnrr#r#r$rp s  rpcCs,|jdkr|St|||}t|ft|S)z$ backport of GenericMeta._subs_tree N)r rorr)rr#r#r$rqs  rqcCs&|tkr tSt|||}tft|S)z7 ad-hoc function (inspired by union) for legacy typing )rror)rr#r#r$rrs rrcCsT|dkr dSt|rt|St|r,t|St|rs  rcCs*|jr |jD]}t|r dSq t|jS)NT)rdr_Z __result__rr#r#r$rFs  rcCs$|jr |jD]}t|r dSq dSr)rZr_rr#r#r$rNs  r)N)NN)NN)NN)NN)S__doc__rKtypesrHrIZmypy_extensionsrrrLr ImportErrorrr&r%collections.abcr*r:r>rArJr[r r r r r rrrrrrrZ GenericAliasr(rrrrrrrrr.r/r0r2r;Z UnionTyper<rfr7r=raddr?r@rBrRrSrXrYr]rgrjr9rxrzr}rrrrrrorprqrrr_rrrrr#r#r#r$s  " ,  (          E+ D( -