U
e5db
G @ s d dl mZmZ d dlZd dlZd dlZd dlZd dlZd dlZ d dl
Z
d dl Z d dl m Z m
Z
mZ dddddd d
d d d
ddddddddddddddd d d d d d!d"d#d$d%d&d'd(d)d*d+d,d-d.d/d0d1d2d3d4d5d6d7d8d9d:d;dd?d@dAdBdCdDdEdFdGdHdIdJgGZddLdMZdNdO ZdPdQ ZdRdS ZdTdU ZdVdW Zg ZdXdY ZdZd[ ZG d\d] d]ZG d^d_ d_ZG d`da daeedKdbZeddcddZ edFdeddZ eddfddZ eddgddZ eddhddZ ed diddZ!ed
djddZ"G dkd dedKdbZ#G dld deedKdbZ$d6d
d4d8d9d3d5dddm Z%dndo Z&G dpdq dqedKdbZ'G drds dse'dKdbZ(G dtd d Z)G dudv dvZ*G dwdx dxZ+dydzd{d|d}gZ,d~dddddddddg
Z-e,e- dg Z.dd Z/dd Z0dd Z1dd Z2dd"ddd$dd dd&d)g
ddgdZ3G dd deZ4G dd d e)e4dZ5ddH Z6dd> Z7dd Z8e j9e j:e j;e jddA Z?dd@ Z@ddD ZAddE ZBdd ZCddG ZDdd? ZEe$dZFe$dZGe$dZHe$ddKdZIe$ddKdZJe$ddKdZKe$ddKdZLe$ddKeMdZNe$d=eOePZQdddZReRej jSdZSeRej jTeIZTeRej jUeIeLeJfZUeRej jVeIZVeRej jWeIZWeRej jXeIZXeRej jYeIZYeRej jZeIZZeRej j[dZ[eRej j\eIZ\eRej j]eIZ]e(ej j^ddKdZ^de^__eRej j`eIZaeRej jbeFZbeRej jceGeKfZceRej jdeGeHfZdeRej jeeIZeeRej jfeFZfeRej jgdZge(ehdddKdZidei__eRejeFddZkeRejleFZmeReneFddZ`eReoeIddZpeRej jqeIZqeRej jreGZreRej jseGeKfZseRej jteKZteRejueIZveRejweIZxeReyeGeHfddZzeRej{eGeHfZ|eRej}eGeHfZ}eRej~eFZ~eRejeGeHfZeRej jeIeLeJfZeRej jeIeLfZeReMeNddZde__e6G dd/ d/e5Ze6G dd- d-e5Ze6G dd, d,e5Ze6G dd+ d+e5Ze6G dd. d.e5Ze6G dd* d*e5eI Ze6G dd0 d0e5eI Zdd ZdZdZG ddƄ deMZG dd: d:edZddɄ ZddKdʜdd̄Zdd΄ ZG ddЄ deMZG dd; d;eyedZddC ZePZdZG ddԄ de)eQ ZG ddք deeO ZG dd deeP ZG ddڄ dڃZed e_ee
jej< eRe jeQZeRe jeQZG dd݄ d݃Zed e_ee
jej< dS ) )abstractmethodABCMetaN)WrapperDescriptorTypeMethodWrapperTypeMethodDescriptorTypeAnyCallableClassVarFinal
ForwardRefGenericLiteralOptionalProtocolTupleTypeTypeVarUnion AbstractSet
ByteString ContainerContextManagerHashable ItemsViewIterableIteratorKeysViewMapping MappingViewMutableMappingMutableSequence
MutableSetSequenceSized
ValuesView Awaitable
AsyncIterator
AsyncIterable Coroutine
CollectionAsyncGeneratorAsyncContextManager
Reversible SupportsAbs
SupportsBytesSupportsComplex
SupportsFloat
SupportsIndex SupportsInt
SupportsRoundChainMapCounterDequeDict DefaultDictList OrderedDictSet FrozenSet
NamedTuple TypedDict GeneratorAnyStrcastfinalget_args
get_originget_type_hintsNewType
no_type_checkno_type_check_decoratorNoReturnoverloadruntime_checkableText
TYPE_CHECKINGTc C s t tf}|r|ttf }| d kr(td S t| tr:t| S t| tr\| j |kr\t
| dt| t rr| t t
fks~| t tfkrt
d| dt| tttfr| S t| st
| d| dd| S )Nz is not valid as type argumentzPlain z Got z.100.)r r r r
type
isinstancestrr
_GenericAlias
__origin__ TypeError _SpecialFormr rI r callable)argmsg is_argumentZinvalid_generic_forms rZ /usr/lib64/python3.8/typing.py _type_checkx s(
r\ c C sR t | tr,| jdkr| jS | j d| j S | dkr8dS t | tjrJ| jS t| S )NbuiltinsrN .z...)rP rO
__module__ __qualname__types FunctionType__name__repr)objrZ rZ r[
_type_repr s
re c s\ g | D ]J}t |tr(| kr( | t |tr|js fdd|jD qt S )Nc s g | ]}| kr|qS rZ rZ .0ttvarsrZ r[
s z&_collect_type_vars..)rP r appendrR _specialextend__parameters__tuple)r` rh rZ ri r[ _collect_type_vars s
rq c C s t | ts| S t| j}t| jD ]J\}}t |tr\t|D ] \}}||kr<|| ||< qdnd d| d| d| d S )Nz is not a generic classzToo ZmanyZfewz parameters for z ; actual z , expected )ro rT len)cls
parametersZalenZelenrZ rZ r[ _check_generic s
r~ c C s g }| D ]f}t |tr.|jtkr.||j qt |trdt|dkrd|d tkrd||dd q|| qt |}t|t|k rg }|D ] }||kr|| |
| q|}t|S )Nr ) rP rR rS r rn rt rp r{ rl setremove)r} paramspZ
all_paramsZ
new_paramsrh rZ rZ r[ _remove_dups_flatten s "
r c s4 t t j t fdd}|S )Nc s, z | |W S t k
r Y nX | |S rr rT argskwdscachedfuncrZ r[ inner s
z_tp_cache..inner) functools lru_cache _cleanupsrl cache_clearwraps)r r rZ r r[ _tp_cache s
r c sb t | tr| S t | tr^t fdd| jD }|| jkrH| S | |}| j|_|S | S )Nc 3 s | ]}t | V qd S rr )
_eval_typerg ry globalnslocalnsrZ r[ s z _eval_type..)rP r _evaluaterR rp rt rw rm )rh r r Zev_argsresrZ r r[ r s
r c @ s e Zd ZdZdd ZdS )_Final) __weakref__c O s d|krt dd S )N_rootz&Cannot subclass special typing classesr selfr r rZ rZ r[ __init_subclass__ s z_Final.__init_subclass__N)rb r^ r_ __slots__r rZ rZ rZ r[ r s r c @ s e Zd Zdd Zdd ZdS )
_Immutablec C s | S rr rZ r rZ rZ r[ __copy__% s z_Immutable.__copy__c C s | S rr rZ )r ZmemorZ rZ r[ __deepcopy__( s z_Immutable.__deepcopy__N)rb r^ r_ r r rZ rZ rZ r[ r " s r c sl e Zd ZdZ fddZdd Zdd Zdd Zd
d Zd d
Z dd Z
dd Z dd Z e
dd Z ZS )rU _nameZ_docc sB t |dkr6t|d tr6t|d tr6td| t | S )N r r zCannot subclass )r{ rP rQ rp rT super__new__)r| r r __class__rZ r[ r 3 s z_SpecialForm.__new__c C s || _ || _d S rr r )r namedocrZ rZ r[ __init__@ s z_SpecialForm.__init__c C s t |tstS | j|jkS rr )rP rU NotImplementedr r otherrZ rZ r[ __eq__D s
z_SpecialForm.__eq__c C s t | jfS rr )hashr r rZ rZ r[ __hash__I s z_SpecialForm.__hash__c C s
d| j S )Ntyping.r r rZ rZ r[ __repr__L s z_SpecialForm.__repr__c C s | j S rr r r rZ rZ r[
__reduce__O s z_SpecialForm.__reduce__c O s t d| d S )NzCannot instantiate r r rZ rZ r[ __call__R s z_SpecialForm.__call__c C s t | dd S )Nz! cannot be used with isinstance()r r rd rZ rZ r[ __instancecheck__U s z _SpecialForm.__instancecheck__c C s t | dd S )Nz! cannot be used with issubclass()r r r| rZ rZ r[ __subclasscheck__X s z _SpecialForm.__subclasscheck__c s | j dkr(t|| j d}t| |fS | j dkr|dkrBtdt|tsR|f}d t fdd|D }t|}t|d kr|d
S t| |S | j d krt|d }t|t d f S | j d
krt| |S t| dd S )N)r r
z accepts only single type.r rZ z Cannot take a Union of no types.z)Union[arg, ...]: each arg must be a type.c 3 s | ]}t | V qd S rr r\ rg r rX rZ r[ r f s z+_SpecialForm.__getitem__..r r r z#Optional[t] requires a single type.r
z is not subscriptable)
r r\ rR rT rP rp r r{ r rO )r r} itemrW rZ r r[ __getitem__[ s(
z_SpecialForm.__getitem__)rb r^ r_ r r r r r r r r r r r r
__classcell__rZ rZ r r[ rU , s
rU )r a` Special type indicating an unconstrained type.
- Any is compatible with every type.
- Any assumed to have all methods.
- All values assumed to be instances of Any.
Note that all the above statements are true from the point of view of
static type checkers. At runtime, Any should not be used with instance
or class checks.
)r a Special 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.
a3 Special type construct to mark class variables.
An annotation wrapped in ClassVar indicates that a given
attribute is intended to be used as a class variable and
should not be set on instances of that class. Usage::
class Starship:
stats: ClassVar[Dict[str, int]] = {} # class variable
damage: int = 10 # instance variable
ClassVar accepts only types and cannot be further subscribed.
Note that ClassVar is not a class itself, and should not
be used with isinstance() or issubclass().
a Special typing construct to indicate final names to type checkers.
A final 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.
a' Union type; Union[X, Y] means either X or Y.
To define a union, use e.g. Union[int, str]. Details:
- The arguments must be types and there must be at least one.
- None as an argument is a special case and is replaced by
type(None).
- Unions of unions are flattened, e.g.::
Union[Union[int, str], float] == Union[int, str, float]
- Unions of a single argument vanish, e.g.::
Union[int] == int # The constructor actually returns int
- Redundant arguments are skipped, e.g.::
Union[int, str, int] == Union[int, str]
- When comparing unions, the argument order is ignored, e.g.::
Union[int, str] == Union[str, int]
- You cannot subclass or instantiate a union.
- You can use Optional[X] as a shorthand for Union[X, None].
zEOptional type.
Optional[X] is equivalent to Union[X, None].
a Special typing form to define literal types (a.k.a. value types).
This form can be used to indicate to type checkers that the corresponding
variable or function parameter has a value equivalent to the provided
literal (or one of several literals):
def validate_simple(data: Any) -> Literal[True]: # always returns True
...
MODE = Literal['r', 'rb', 'w', 'wb']
def open_helper(file: str, mode: MODE) -> str:
...
open_helper('/some/path', 'r') # Passes type check
open_helper('/other/path', 'typo') # Error in type checker
Literal[...] cannot be subclassed. At runtime, an arbitrary value
is allowed as type argument to Literal[...], but type checkers may
impose restrictions.
c @ s: e Zd ZdZdddZdd Zdd Zd d
Zd d Zd
S )r )__forward_arg____forward_code____forward_evaluated____forward_value____forward_is_argument__Tc C sn t |tstd|zt|dd}W n" tk
rJ td|Y nX || _|| _d| _d | _|| _ d S )Nz*Forward reference must be a string -- got zevalz/Forward reference must be an expression -- got F)
rP rQ rT compile SyntaxErrorr r r r r )r rW rY coderZ rZ r[ r s
zForwardRef.__init__c C sj | j r||k rd|d kr(|d kr(i }}n|d kr6|}n |d krB|}tt| j||d| jd| _d| _ | jS )Nz*Forward references must evaluate to types.rY T)r r\ r r r r )r r r rZ rZ r[ r s
zForwardRef._evaluatec C s> t |tstS | jr2|jr2| j|jko0| j|jkS | j|jkS rr )rP r r r r r r rZ rZ r[ r s
zForwardRef.__eq__c C s
t | jS rr )r r r rZ rZ r[ r s zForwardRef.__hash__c C s d| j dS )Nz ForwardRef())r r rZ rZ r[ r s zForwardRef.__repr__N)T) rb r^ r_ r r r r r r rZ rZ rZ r[ r s
c @ s2 e Zd ZdZddddddZdd Zd d
ZdS ) r )rb __bound____constraints__
__covariant____contravariant__NF)bound covariant
contravariantc s || _ |r|rtdt|| _t|| _|r>|d k r>td|rVt|dkrVtdd t fdd|D | _|rt |d| _
nd | _
zt dj
d d
}W n ttfk
r d }Y nX |d kr|| _d S ) Nz"Bivariant types are not supported.z-Constraints cannot be combined with bound=...r z"A single constraint is not allowedz:TypeVar(name, constraint, ...): constraints must be types.c 3 s | ]}t | V qd S rr r rf r rZ r[ r V s z#TypeVar.__init__..zBound must be a type.rb __main__typing)rb
ValueErrorboolr r rT r{ rp r r\ r sys _getframe f_globalsgetAttributeErrorr^ )r r r r r Z constraintsZdef_modrZ r r[ r J s(
zTypeVar.__init__c C s& | j r d}n| jrd}nd}|| j S )N+-~)r r rb )r prefixrZ rZ r[ r b s zTypeVar.__repr__c C s | j S rr )rb r rZ rZ r[ r k s zTypeVar.__reduce__)rb r^ r_ r r r r rZ rZ rZ r[ r s , ) rs rp dictr frozensetdeque defaultdictrO r; c C s | do| dS )N__)
startswithendswith)attrrZ rZ r[
_is_dunder s r c s e Zd ZddddddZedd Zd d
Zd d Zd
d Zdd Z dd Z
dd Z dd Z fddZ
dd Zdd Zd d Z ZS ) rR TFN)instspecialr c C sz || _ || _|r*|d kr*|j}t||}|| _t|ts@|f}|| _tdd |D | _ t
|| _ d | _ |sv|j
| _
d S )Nc s s* | ]"}|t krd n|tkr dn|V qdS ).rZ N)_TypingEllipsis _TypingEmptyr rZ rZ r[ r s z)_GenericAlias.__init__..)_instrm rb _normalize_aliasr r rP rp rS rt rq ro r r^ )r originr r r r Z orig_namerZ rZ r[ r s
z_GenericAlias.__init__c s^ | j ttfkr td| t|ts,|f}d t fdd|D }t| | t| | j|S )Nz%Cannot subscript already-subscripted *Parameters to generic types must be types.c 3 s | ]}t | V qd S rr r r r rZ r[ r s z,_GenericAlias.__getitem__..) rS r r rT rP rp r~ rv ro r r rZ r r[ r s
z_GenericAlias.__getitem__c C s t | j|| j| jdS )N)r r )rR rS r r r rZ rZ r[ rw s z_GenericAlias.copy_withc C s | j dks&t| jdkrx| jd tkrx| j r8d| j }n
t| j}| jshdddd | jD d }nd
}| | S | jrd S d dd
d | jd d D dt| jd d S )Nr r r [, c S s g | ] }t |qS rZ re r rZ rZ r[ rk s z*_GenericAlias.__repr__..] ztyping.Callableztyping.Callable[[c S s g | ] }t |qS rZ r r rZ rZ r[ rk s z], )r r{ rt Ellipsisre rS rm join)r r r rZ rZ r[ r s
z_GenericAlias.__repr__c C sR t |tstS | j|jkr dS | jtkrF|jtkrFt| jt|jkS | j|jkS )NF)rP rR r rS r r rt r rZ rZ r[ r s
z_GenericAlias.__eq__c C s, | j tkr ttt| jfS t| j | jfS rr )rS r r r rt r rZ rZ r[ r s
z_GenericAlias.__hash__c O sT | j s$td| j d| j d| j||}z
| |_W n tk
rN Y nX |S )NType z cannot be instantiated; use z
() instead)r rT r lowerrS __orig_class__r )r r kwargsresultrZ rZ r[ r s
z_GenericAlias.__call__c C s | j rZg }| j|kr || j || }tdd ||d d D sR|t t|S | jtkrt|krpdS || }||d d D ] }t|t r|| k r dS q| jfS )Nc s s" | ]}t |tpt|tV qd S rr )rP rR
issubclassr rg brZ rZ r[ r s z0_GenericAlias.__mro_entries__..r rZ )
r rS rl indexanyr rp r rP rR )r basesr rz r rZ rZ r[ __mro_entries__ s$
z _GenericAlias.__mro_entries__c C s* d| j kr t|s t| j|S t|d S )NrS )__dict__r getattrrS r )r r rZ rZ r[ __getattr__ s z_GenericAlias.__getattr__c s2 t |s|dkr t || nt| j|| d S )N)r r rm )r r __setattr__setattrrS )r r valr rZ r[ r s z_GenericAlias.__setattr__c C s | t|S rr )r rO r rZ rZ r[ r s z _GenericAlias.__instancecheck__c C s< | j r0t|ts t|| jS |j r0t|j| jS tdd S )NzBSubscripted generics cannot be used with class and instance checks)rm rP rR r rS rT r rZ rZ r[ r s
z _GenericAlias.__subclasscheck__c C s | j r | jS | jr t | j }n| j}|tkrht| jdkrJ| jd tksht| jd d | jd f}n*t | j}t|dkrt
|d t s|\}t j ||ffS )Nr r r r )
rm r globalsrS r r{ rt r rs rp rP operatorgetitem)r r r rZ rZ r[ r s
z_GenericAlias.__reduce__)rb r^ r_ r r r rw r r r r r
r
r r r r r rZ rZ r r[ rR s
rR c s( e Zd Zdd Ze fddZ ZS )_VariadicGenericAliasc C s | j dks| js| |S t|tr0t|dkr8td|\}}|tkrRt|f}n$t|tsjtd| t||f}| |S )Nr r z6Callable must be used as Callable[[arg, ...], result].z1Callable[args, result]: args must be a list. Got ) r rm __getitem_inner__rP rp r{ rT r rs )r r r r rZ rZ r[ r " s
z!_VariadicGenericAlias.__getitem__c s
| j tkr| jr|dkr$| tfS t|ts4|f}t|dkrl|d dkrld t|d }| |tfS d t fdd |D }| |S | j t j
j kr| jr|\}}d
t| }|t kr| t|fS d t fd d |D }||f }| |S t
|S )
NrZ r r .z Tuple[t, ...]: t must be a type.r z*Tuple[t0, t1, ...]: each t must be a type.c 3 s | ]}t | V qd S rr r r r rZ r[ r > s z:_VariadicGenericAlias.__getitem_inner__..z.Callable[args, result]: result must be a type.z6Callable[[arg, ...], result]: each arg must be a type.c 3 s | ]}t | V qd S rr r )rg rW r rZ r[ r G s )rS rp rm rw r rP r{ r\ r collectionsabcr r r r )r r r r r r r r[ r 2 s.
z'_VariadicGenericAlias.__getitem_inner__)rb r^ r_ r r r r rZ rZ r r[ r s r c s< e Zd ZdZdZ fddZedd Z fddZ Z S ) r rZ Fc s^ | t tfkr td| j dt jtjkrF| jtjk rFt | }nt j| f||}|S )Nr z< cannot be instantiated; it can be used only as a base class)r r rT rb r r objectr )r| r r rd r rZ r[ r d s zGeneric.__new__c s t |ts|f}|s.| tk r.td| j dd t fdd|D }| ttfkrtdd |D sxtd| j dt t
|t |krtd| j d n
t | | t | |S )
NzParameter list to z[...] cannot be emptyr c 3 s | ]}t | V qd S rr r r r rZ r[ r v s z,Generic.__class_getitem__..c s s | ]}t |tV qd S rr )rP r r rZ rZ r[ r y s zParameters to z [...] must all be type variablesz[...] must all be unique)
rP rp r rT r_ r r allrb r{ r r~ rR )r| r rZ r r[ __class_getitem__n s&
zGeneric.__class_getitem__c
s
t j|| g }d| jkr(t| jk}nt| jko:| jdk}|rHtdd| jkrt| j}d }| jD ].}t |t
rf|j tkrf|d k rtd|j }qf|d k rt
|}t
| | ksd fdd|D }ddd |D } td | d
| d |}t|| _ d S ) N__orig_bases__r z!Cannot inherit from plain Genericz0Cannot inherit from Generic[...] multiple types.r c 3 s | ]}| krt |V qd S rr rQ rf ZgvarsetrZ r[ r s z,Generic.__init_subclass__..c s s | ]}t |V qd S rr r )rg grZ rZ r[ r s zSome type variables (z ) are not listed in Generic[r )r r r r r __bases__rb rT rq rP rR rS ro r r rp )
r| r r rj errorZgvarsbaseZtvarsetZs_varsZs_argsr r r[ r s8
zGeneric.__init_subclass__)
rb r^ r_ r _is_protocolr r r r r rZ rZ r r[ r M s
c @ s e Zd ZdS )r Nrb r^ r_ rZ rZ rZ r[ r s r c @ s e Zd ZdS )r Nr# rZ rZ rZ r[ r s r ro r r r" _is_runtime_protocol__abstractmethods____annotations__r __doc__r r^ r r __subclasshook__r _MutableMapping__markerc C sr t }| jd d D ]X}|jdkr$qt|di }t|j t| D ] }|dsJ|tkrJ| | qJq|S )Nr )r r r& Z_abc_)
r __mro__rb r rs r keysr EXCLUDED_ATTRIBUTESadd)r| attrsr! annotationsr rZ rZ r[ _get_protocol_attrs s
r0 c s t fddt D S )Nc 3 s | ]}t t |d V qd S rr )rV r rg r r| rZ r[ r s z,_is_callable_members_only..)r r0 r2 rZ r2 r[ _is_callable_members_only s r3 c O s t | jrtdd S )Nz Protocols cannot be instantiated)rO r" rT )r r r rZ rZ r[ _no_init s
r4 c C s6 zt djd dkW S ttfk
r0 Y dS X d S )Nr rb )r r T)r r r r r rZ rZ rZ r[ _allow_reckless_class_cheks s r5 AbstractContextManagerAbstractAsyncContextManager)zcollections.abc
contextlibc s e Zd Z fddZ ZS )
_ProtocolMetac sV t ddrt r$tj r$dS jrJt fddt D rJdS t S )Nr" FTc 3 s8 | ]0}t |o.tt |d p.t|d k V qd S rr )hasattrrV r r1 r| instancerZ r[ r s
z2_ProtocolMeta.__instancecheck__..) r r3 r r r" r r0 r r r; r r; r[ r s
z _ProtocolMeta.__instancecheck__)rb r^ r_ r r rZ rZ r r[ r9 s r9 c s( e Zd ZdZdZdZ fddZ ZS )r rZ TFc s t j|| jdds2tdd jD _ fdd}d jkrN| _ jsXd S jD ]F}|tt fks^|j
t kr|j t |j
ks^t
|t r|js^td| q^t _d S ) Nr" Fc s s | ]}|t kV qd S rr )r r rZ rZ r[ r ) s z-Protocol.__init_subclass__..c s j ddstS t dds0t r(tS tdt sJt rBtS tdt| ts\tdt D ]v}| j
D ]b}||j kr|j | d krt S qdt|di }t|t j j
rn||krnt| trn| jrn qdqnt S qddS ) Nr" Fr$ zLInstance and class checks can only be used with @runtime_checkable protocolsz._proto_hookr( z7Protocols can only inherit from other protocols, got %r)r r r r r r r" r( r r r^ _PROTO_WHITELISTrb r rT r4 r )r| r r r= r! r r2 r[ r $ s, &
zProtocol.__init_subclass__)rb r^ r_ r r" r$ r r rZ rZ r r[ r s ) metaclassc C s& t | tr| js td| d| _| S )NzB@runtime_checkable can be only applied to protocol classes, got %rT)r r r" rT r$ r2 rZ rZ r[ rK d s c C s |S rr rZ )typr rZ rZ r[ rA } s c
C s z
| j }W n tk
r" i Y S X |j}|j}|d | }| jpDd}| j}|rXt|ni }|t| }t||d |D ]\}} | ||< qz|S )NrZ ) __code__r co_argcount co_varnames __defaults____kwdefaults__r r{ zip)
r r Z pos_countZ arg_namesdefaultsZ
kwdefaultsr Z
pos_offsetr valuerZ rZ r[
_get_defaults s
rI c C s t | dd ri S t| tri }t| jD ]z}|d krDtj|j j}n|}|j di }|
D ]B\}}|d krvtd }t|t rt |dd}t
|||}|||< q^q(|S |d krt| tjr| j}n"| } t| dr| j} qt | di }|d kr|}n|d kr|}t | dd }|d kr6t| tr(i S td| t| }
t|}|
D ]d\}}|d krhtd }t|t r|t |}t
|||}||
kr|
| d krt| }|||< qN|S )N__no_type_check__r& Fr __wrapped__ __globals__z1{!r} is not a module, class, method, or function.)r rP rO reversedr* r modulesr^ r r itemsrQ r r r`
ModuleTyper: rK _allowed_typesrT formatrI r r ) rd r r Zhintsr! Z base_globalsannr rH ZnsobjrG rZ rZ r[ rE s^
c C s t | tr| jS | tkr tS d S rr )rP rR rS r )rx rZ rZ r[ rD s
c C sR t | trN| jsN| j}t| tjjkrJ|d tk rJt |d d |d f}|S dS )Nr r rZ )
rP rR rm rt rD r r r r rs )rx r rZ rZ r[ rC s c C s t | trt| j }| j D ]"\}}|| j| f kr || q | D ](}t |tj r`d|_
t |trJt | qJz
d| _
W n t k
r Y nX | S )NT)
rP rO r copyrO r popvaluesr` ra rJ rG rT )rW Z arg_attrsr r rd rZ rZ r[ rG s
c s t fdd}|S )Nc s | |}t |}|S rr )rG )r r r decoratorrZ r[ wrapped_decorator@ s
z2no_type_check_decorator..wrapped_decorator)r r )rX rY rZ rW r[ rH 9 s c O s t dd S )NzYou should not call an overloaded function. A series of @overload-decorated functions outside a stub module should always be followed by an implementation that is not @overload-ed.)NotImplementedErrorr rZ rZ r[ _overload_dummyI s r[ c C s t S rr )r[ )r rZ rZ r[ rJ R s c C s | S rr rZ )frZ rZ r[ rB o s TKTVTT_co)r V_coVT_coT_contra)r CT_co)r r c C s t | |d|dS )NT)r r )rR )r r r rZ rZ r[ _alias s re rZ )r a Callable type; Callable[[int], str] is a function of (int) -> str.
The subscription syntax must always be used with exactly two
values: the argument list and the return type. The argument list
must be a list of types or ellipsis; the return type must be a single type.
There is no syntax to indicate optional or keyword arguments,
such function types are rarely used as callback types.
F)r r a@ Tuple type; Tuple[X, Y] is the cross-product type of X and Y.
Example: Tuple[T1, T2] is a tuple of two elements corresponding
to type variables T1 and T2. Tuple[int, float, str] is a tuple
of an int, a float and a string.
To specify a variable-length tuple of homogeneous type, use Tuple[T, ...].
)r a A special construct usable to annotate class objects.
For example, suppose we have the following classes::
class User: ... # Abstract base for User classes
class BasicUser(User): ...
class ProUser(User): ...
class TeamUser(User): ...
And a function that takes a class argument that's a subclass of
User and returns an instance of the corresponding class::
U = TypeVar('U', bound=User)
def new_user(user_class: Type[U]) -> U:
user = user_class()
# (Here we could write the user object to a database)
return user
joe = new_user(BasicUser)
At this point the type checker knows that joe has type BasicUser.
c @ s" e Zd ZdZeedddZdS )r2 rZ returnc C s d S rr rZ r rZ rZ r[ __int__ s zSupportsInt.__int__N)rb r^ r_ r r intrh rZ rZ rZ r[ r2 s c @ s" e Zd ZdZeedddZdS )r0 rZ rf c C s d S rr rZ r rZ rZ r[ __float__ s zSupportsFloat.__float__N)rb r^ r_ r r floatrj rZ rZ rZ r[ r0 s c @ s" e Zd ZdZeedddZdS )r/ rZ rf c C s d S rr rZ r rZ rZ r[ __complex__
s zSupportsComplex.__complex__N)rb r^ r_ r r complexrl rZ rZ rZ r[ r/ s c @ s" e Zd ZdZeedddZdS )r. rZ rf c C s d S rr rZ r rZ rZ r[ __bytes__ s zSupportsBytes.__bytes__N)rb r^ r_ r r bytesrn rZ rZ rZ r[ r. s c @ s" e Zd ZdZeedddZdS )r1 rZ rf c C s d S rr rZ r rZ rZ r[ __index__ s zSupportsIndex.__index__N)rb r^ r_ r r ri rp rZ rZ rZ r[ r1 s c @ s" e Zd ZdZeedddZdS )r- rZ rf c C s d S rr rZ r rZ rZ r[ __abs__( s zSupportsAbs.__abs__N)rb r^ r_ r r r` rq rZ rZ rZ r[ r- # s c @ s& e Zd ZdZedeedddZdS )r3 rZ r )ndigitsrg c C s d S rr rZ )r rr rZ rZ r[ __round__2 s zSupportsRound.__round__N)r )rb r^ r_ r r ri r` rs rZ rZ rZ r[ r3 - s c st d fdd|D }t | dd |D }t| |_|_ztdjdd|_ W n t
t fk
rn Y nX |S )NzDNamedTuple('Name', [(f0, t0), (f1, t1), ...]); each t must be a typec s g | ]\}}|t | fqS rZ r rg nrh r rZ r[ rk 9 s z!_make_nmtuple..c S s g | ] \}}|qS rZ rZ rt rZ rZ r[ rk : s r rb r ) r
namedtupler r& _field_typesr r r r r^ r r )r r` nm_tplrZ r r[
_make_nmtuple7 s ry ) r r r __getnewargs___fields_field_defaultsrw _make_replace_asdictZ_source)r^ rb r& c s e Zd Z fddZ ZS )NamedTupleMetac s | ddr t | |||S | di }t|| }g }i }|D ]H}||krl|| } || | ||< qD|rDtdj|d| dqDt
||j_ t ||j_
||_|D ]<}
|
tkrtd|
q|
tkr|
|jkrt||
||
q|S )Nr Fr& zXNon-default namedtuple field {field_name} cannot follow default field(s) {default_names}r )
field_nameZ
default_namesz&Cannot overwrite NamedTuple attribute )r r r ry rO rl rT rR r r+ r r& rp rD r| _prohibitedr rm r{ r ) r| typenamer nsr` rx rG Z
defaults_dictr Z
default_valuekeyr rZ r[ r O s2
zNamedTupleMeta.__new__)rb r^ r_ r r rZ rZ r r[ r M s r c @ s e Zd ZdZdd Zde_dS )r= Tc O s | s t d| ^}} | r"| ^}} n4d|krN|d}dd l}|jdtdd nt d| rz
| \}W q tk
r t dt| d d d Y qX n r r& z?TypedDict('Name', {f0: t0, f1: t1, ...}); each t must be a typec s i | ]\}}|t | qS rZ r )rg ru rx r rZ r[
s z*_TypedDictMeta.__new__..r )
r r r r r r r rO updater r& r: r )r| r r r r Ztp_dictZannsr! r r r[ r s
z_TypedDictMeta.__new__)T)rb r^ r_ r r r r r rZ rZ r r[ r s r c @ s e Zd ZdS )r> Nr# rZ rZ rZ r[ r> s c C s dd }| |_ ||_|S )Nc S s | S rr rZ )xrZ rZ r[ new_type s zNewType..new_type)rb Z
__supertype__)r rx r rZ rZ r[ rF s c @ s e Zd ZdZeeedddZeeedddZedddd Z eee
dd
d Z ee dd d
Z
eddddZee
dddZed6e edddZee
dddZed7e edddZed8e ee dd d Zed9e e e d d d!Zee
dd"d#Zee dd$d%Zed:e e d&d'd(Zee
dd)d*Zeee d+d,d-Zeee dd.d/d0Z ed1dd2d3Z eddd4d5Z dS );IOrZ rf c C s d S rr rZ r rZ rZ r[ mode= s zIO.modec C s d S rr rZ r rZ rZ r[ r B s zIO.nameNc C s d S rr rZ r rZ rZ r[ closeG s zIO.closec C s d S rr rZ r rZ rZ r[ closedK s z IO.closedc C s d S rr rZ r rZ rZ r[ filenoP s z IO.filenoc C s d S rr rZ r rZ rZ r[ flushT s zIO.flushc C s d S rr rZ r rZ rZ r[ isattyX s z IO.isattyr )ru rg c C s d S rr rZ )r ru rZ rZ r[ read\ s zIO.readc C s d S rr rZ r rZ rZ r[ readable` s z IO.readable)limitrg c C s d S rr rZ )r r rZ rZ r[ readlined s z IO.readline)hintrg c C s d S rr rZ )r r rZ rZ r[ readlinesh s z IO.readlinesr )offsetwhencerg c C s d S rr rZ )r r r rZ rZ r[ seekl s zIO.seekc C s d S rr rZ r rZ rZ r[ seekablep s z IO.seekablec C s d S rr rZ r rZ rZ r[ tellt s zIO.tell)sizerg c C s d S rr rZ )r r rZ rZ r[ truncatex s z IO.truncatec C s d S rr rZ r rZ rZ r[ writable| s z IO.writablesrg c C s d S rr rZ r r rZ rZ r[ write s zIO.write)linesrg c C s d S rr rZ )r r rZ rZ r[
writelines s z
IO.writelinesz
IO[AnyStr]c C s d S rr rZ r rZ rZ r[ __enter__ s z IO.__enter__c C s d S rr rZ )r rO rH tracebackrZ rZ r[ __exit__ s z IO.__exit__)r )r )r )r )N) rb r^ r_ r propertyr rQ r r r r r ri r r r r@ r r r r9 r r r r r r r r r r rZ rZ rZ r[ r . sX
r c @ s> e Zd ZdZeeeef edddZ ed dddZ
dS ) BinaryIOrZ r c C s d S rr rZ r rZ rZ r[ r s zBinaryIO.writerf c C s d S rr rZ r rZ rZ r[ r s zBinaryIO.__enter__N) rb r^ r_ r r r ro bytearrayri r r rZ rZ rZ r[ r s
r c @ s e Zd ZdZeeedddZeeedddZ eee
e dddZ eee dd d
Z
eeedd d Zed dd
dZdS )TextIOrZ rf c C s d S rr rZ r rZ rZ r[ buffer s z
TextIO.bufferc C s d S rr rZ r rZ rZ r[ encoding s zTextIO.encodingc C s d S rr rZ r rZ rZ r[ errors s z
TextIO.errorsc C s d S rr rZ r rZ rZ r[ line_buffering s zTextIO.line_bufferingc C s d S rr rZ r rZ rZ r[ newlines s zTextIO.newlinesc C s d S rr rZ r rZ rZ r[ r s zTextIO.__enter__N)rb r^ r_ r r r r r rQ r r r r r r r r rZ rZ rZ r[ r s$ r c @ s" e Zd ZdddgZeZeZeZdS )ior r r N)rb r^ r_ __all__r r r rZ rZ rZ r[ r s
r z.ioc @ s e Zd ZddgZeZeZdS )rePatternMatchN)rb r^ r_ r r r rZ rZ rZ r[ r s r z.re)T)NN)T)N)r r r r Zcollections.abcr8 r r r Z stdlib_rer r` r r r r r\ re rq rv r~ r r r r r r rU r rI r r
r r r
r r r r rR r r r r Z_TYPING_INTERNALSZ_SPECIAL_NAMESr, r0 r3 r4 r5 r> r9 r rK rA rI ra BuiltinFunctionType
MethodTyperP rQ rE rD rC rG rH r[ rJ rB r] r^ r_ r` ra rb rc rO rd ro rQ r@ re r r% r( r' r& r r r, r# r r) r r' r; r r! r r r" r r rp r rs r9 r r6 r r r< r r r r$ r6 r r7 r+ r r7 r r8 r: r5 r4 r? r* r r2 r0 r/ r. r1 r- r3 ry r rm r r= r r r r r> rF rL rM r r r r rb rN r r rZ rZ rZ r[ s& X
!
I
2a
/[ b
V
@+ c#