mypy.binder

module documentation
(source)

Undocumented

Class ConditionalTypeBinder Keep track of conditional types of variables.
Class Frame A Frame represents a specific point in the execution of a program. It carries information about the current types of expressions at that point, arising either from assignments to those expressions or the result of isinstance checks...
Function get_declaration Undocumented
Type Alias Assigns Undocumented
Type Alias BindableExpression Undocumented
def get_declaration(expr: BindableExpression) -> Type|None: (source)

Undocumented

Assigns = (source)

Undocumented

Value
DefaultDict[Expression, List[Tuple[Type, Optional[Type]]]]
BindableExpression: _TypeAlias = (source)

Undocumented

Value
Union[IndexExpr, MemberExpr, NameExpr]