Skip to content

Upgrading mypy 0.256 to 0.470

Unknown0.256 → 0.470

Fetching 1 release from GitHub…0 / 1
UnknownUpgrade verdict

DepDelta is still reading the notes for this range, so breaking changes can't be ruled out yet.

  • DepDelta is still reading the release notes in this range, so it can't rule out breaking changes yet.
  • This page updates as the notes come in.
Still reading release notes

DepDelta is still reading the release notes in this range. This updates as they come in.

Adds typed-ast >= 0.6.3.

Installs 1 package in all (was 0).

Generated by DepDelta from published Python source. Not mixed with prose notes.

  • added: function run(params: str) -> Tuple[str, str]
  • added: function apply_generic_arguments(callable: CallableType, types: List[Type], msg: MessageBuilder, context: Context) -> CallableType
  • added: class ConditionalTypeBinder
  • added: class Frame(Dict[Key, Type])
  • added: constructor ConditionalTypeBinder() -> None
  • added: constructor Frame() -> None
  • added: method ConditionalTypeBinder.allow_jump(index: int) -> None
  • added: method ConditionalTypeBinder.assign_type(expr: Expression, type: Type, declared_type: Type, restrict_any: bool=…) -> None
  • added: method ConditionalTypeBinder.cleanse(expr: Expression) -> None
  • added: method ConditionalTypeBinder.frame_context(*, can_skip: bool, fall_through: int=…, break_frame: int=…, continue_frame: int=…, try_frame: bool=…) -> Iterator[Frame]
  • added: method ConditionalTypeBinder.get(expr: Union[Expression, Var]) -> Type
  • added: method ConditionalTypeBinder.get_declaration(expr: Node) -> Type
  • added: method ConditionalTypeBinder.handle_break() -> None
  • added: method ConditionalTypeBinder.handle_continue() -> None
  • added: method ConditionalTypeBinder.invalidate_dependencies(expr: Expression) -> None
  • added: method ConditionalTypeBinder.is_unreachable() -> bool
  • added: method ConditionalTypeBinder.most_recent_enclosing_type(expr: Expression, type: Type) -> Type
  • added: method ConditionalTypeBinder.pop_frame(can_skip: bool, fall_through: int) -> Frame
  • added: method ConditionalTypeBinder.push(node: Node, typ: Type) -> None
  • added: method ConditionalTypeBinder.push_frame() -> Frame
  • added: method ConditionalTypeBinder.top_frame_context() -> Iterator[Frame]
  • added: method ConditionalTypeBinder.unreachable() -> None
  • added: method ConditionalTypeBinder.update_from_options(frames: List[Frame]) -> bool
  • added: class BuildManager
  • added: class BuildResult
  • added: class BuildSource
  • added: class BuildSourceSet
  • added: class ModuleNotFound(Exception)
  • added: class NodeInfo
  • added: class State
  • added: constructor BuildManager(data_dir: str, lib_path: List[str], ignore_prefix: str, source_set: BuildSourceSet, reports: Reports, options: Options, version_id: str) -> None
  • added: constructor BuildResult(manager: BuildManager) -> None
  • added: constructor BuildSource(path: Optional[str], module: Optional[str], text: Optional[str]) -> None
  • added: constructor BuildSourceSet(sources: List[BuildSource]) -> None
  • added: constructor NodeInfo(index: int, scc: List[str]) -> None
  • added: constructor State(id: Optional[str], path: Optional[str], source: Optional[str], manager: BuildManager, caller_state: State=…, caller_line: int=…, ancestor_for: State=…) -> None
  • added: field State.ancestors
  • added: field State.caller_line
  • added: field State.caller_state
  • added: field State.child_modules
  • added: field State.data
  • added: field State.dep_line_map
  • added: field State.dependencies
  • added: field State.externally_same
  • added: field State.id
  • added: field State.ignore_all
  • added: field State.import_context
  • added: field State.interface_hash
  • added: field State.manager
  • added: field State.meta
  • added: field State.options
  • added: field State.order
  • added: field State.order_counter
  • added: field State.path
  • added: field State.priorities
  • added: field State.source
  • added: field State.suppressed
  • added: field State.tree
  • added: field State.xpath
  • added: function build(sources: List[BuildSource], options: Options, alt_lib_path: str=…, bin_dir: str=…) -> BuildResult
  • added: function compute_hash(text: str) -> str
  • added: function default_data_dir(bin_dir: Optional[str]) -> str
  • added: function default_lib_path(data_dir: str, pyversion: Tuple[int, int], custom_typeshed_dir: Optional[str]) -> List[str]
  • added: function deps_filtered(graph: Graph, vertices: AbstractSet[str], id: str, pri_max: int) -> List[str]
  • added: function dispatch(sources: List[BuildSource], manager: BuildManager) -> None
  • added: function dump_graph(graph: Graph) -> None
  • added: function find_cache_meta(id: str, path: str, manager: BuildManager) -> Optional[CacheMeta]
  • added: function find_module(id: str, lib_path_arg: Iterable[str]) -> str
  • added: function find_module_clear_caches() -> None
  • added: function find_modules_recursive(module: str, lib_path: List[str]) -> List[BuildSource]
  • added: function get_cache_names(id: str, path: str, cache_dir: str, pyversion: Tuple[int, int]) -> Tuple[str, str]
  • added: function import_priority(imp: ImportBase, toplevel_priority: int) -> int
  • added: function is_file(path: str) -> bool
  • added: function is_meta_fresh(meta: Optional[CacheMeta], id: str, path: str, manager: BuildManager) -> bool
  • added: function list_dir(path: str) -> Optional[List[str]]
  • added: function load_graph(sources: List[BuildSource], manager: BuildManager) -> Graph
  • added: function mypy_path() -> List[str]
  • added: function order_ascc(graph: Graph, ascc: AbstractSet[str], pri_max: int=…) -> List[str]
  • added: function process_fresh_scc(graph: Graph, scc: List[str]) -> None
  • added: function process_graph(graph: Graph, manager: BuildManager) -> None
  • added: function process_stale_scc(graph: Graph, scc: List[str]) -> None
  • added: function random_string() -> str
  • added: function read_with_python_encoding(path: str, pyversion: Tuple[int, int]) -> str
  • added: function remove_cwd_prefix_from_path(p: str) -> str
  • added: function sorted_components(graph: Graph, vertices: Optional[AbstractSet[str]]=…, pri_max: int=…) -> List[AbstractSet[str]]
  • added: function strongly_connected_components(vertices: AbstractSet[str], edges: Dict[str, List[str]]) -> Iterator[Set[str]]
  • added: function topsort(data: Dict[AbstractSet[str], Set[AbstractSet[str]]]) -> Iterable[Set[AbstractSet[str]]]
  • added: function verify_module(id: str, path: str) -> bool
  • added: function write_cache(id: str, path: str, tree: MypyFile, dependencies: List[str], suppressed: List[str], child_modules: List[str], dep_prios: List[int], old_interface_hash: str, manager: BuildManager) -> str
  • added: method BuildManager.all_imported_modules_in_file(file: MypyFile) -> List[Tuple[int, str, int]]
  • added: method BuildManager.get_stat(path: str) -> os.stat_result
  • added: method BuildManager.is_module(id: str) -> bool
  • added: method BuildManager.log(*message: str) -> None
  • added: method BuildManager.maybe_swap_for_shadow_path(path: str) -> str
  • added: method BuildManager.module_not_found(path: str, line: int, id: str) -> None
  • added: method BuildManager.parse_file(id: str, path: str, source: str, ignore_errors: bool) -> MypyFile
  • added: method BuildManager.report_file(file: MypyFile, type_map: Dict[Expression, Type]) -> None
  • added: method BuildManager.trace(*message: str) -> None
  • added: method BuildSourceSet.is_source(file: MypyFile) -> bool
  • added: method NodeInfo.dumps() -> str
  • added: method State.add_ancestors() -> None
  • added: method State.calculate_mros() -> None
  • added: method State.check_blockers() -> None
  • added: method State.finish_passes() -> None
  • added: method State.fix_cross_refs() -> None
  • added: method State.fix_suppressed_dependencies(graph: Graph) -> None
  • added: method State.has_new_submodules() -> bool
  • added: method State.is_fresh() -> bool
  • added: method State.is_interface_fresh() -> bool
  • added: method State.load_tree() -> None
  • added: method State.mark_as_rechecked() -> None
  • added: method State.mark_interface_stale() -> None
  • added: method State.parse_file() -> None
  • added: method State.semantic_analysis() -> None
  • added: method State.semantic_analysis_pass_three() -> None
  • added: method State.skipping_ancestor(id: str, path: str, ancestor_for: State) -> None
  • added: method State.skipping_module(id: str, path: str) -> None
  • added: method State.type_check_first_pass() -> None
  • added: method State.type_check_second_pass() -> bool
  • added: method State.valid_references() -> Set[str]
  • added: method State.wrap_context() -> Iterator[None]
  • added: method State.write_cache() -> None
  • added: variable CacheMeta
  • added: variable Graph
  • added: variable PRI_ALL
  • added: variable PRI_HIGH
  • added: variable PRI_INDIRECT
  • added: variable PRI_LOW
  • added: variable PRI_MED
  • added: variable PRI_MYPY
  • added: variable PYTHON_EXTENSIONS
  • added: variable find_module_cache
  • added: variable find_module_dir_cache
  • added: variable find_module_listdir_cache
  • added: class Scope
  • added: class TypeChecker(NodeVisitor[Type])
  • added: class TypeTransformVisitor(TransformVisitor)
  • added: constructor Scope(module: MypyFile) -> None
  • added: constructor TypeChecker(errors: Errors, modules: Dict[str, MypyFile], options: Options, tree: MypyFile, path: str) -> None
  • added: constructor TypeTransformVisitor(map: Dict[TypeVarId, Type]) -> None
  • added: field Scope.stack
  • added: field TypeChecker.binder
  • added: field TypeChecker.current_node_deferred
  • added: field TypeChecker.deferred_nodes
  • added: field TypeChecker.dynamic_funcs
  • added: field TypeChecker.errors
  • added: field TypeChecker.expr_checker
  • added: field TypeChecker.globals
  • added: field TypeChecker.is_stub
  • added: field TypeChecker.is_typeshed_stub
  • added: field TypeChecker.module_refs
  • added: field TypeChecker.modules
  • added: field TypeChecker.msg
  • added: field TypeChecker.options
  • added: field TypeChecker.partial_types
  • added: field TypeChecker.pass_num
  • added: field TypeChecker.return_types
  • added: field TypeChecker.scope
  • added: field TypeChecker.suppress_none_errors
  • added: field TypeChecker.type_context
  • added: field TypeChecker.type_map
  • added: function and_conditional_maps(m1: TypeMap, m2: TypeMap) -> TypeMap
  • added: function conditional_callable_type_map(expr: Expression, current_type: Optional[Type]) -> Tuple[TypeMap, TypeMap]
  • added: function conditional_type_map(expr: Expression, current_type: Optional[Type], proposed_type: Optional[Type]) -> Tuple[TypeMap, TypeMap]
  • added: function expand_func(defn: FuncItem, map: Dict[TypeVarId, Type]) -> FuncItem
  • added: function find_isinstance_check(node: Expression, type_map: Dict[Expression, Type]) -> Tuple[TypeMap, TypeMap]
  • added: function get_isinstance_type(expr: Expression, type_map: Dict[Expression, Type]) -> Type
  • added: function infer_operator_assignment_method(type: Type, operator: str) -> Tuple[bool, str]
  • added: function is_false_literal(n: Expression) -> bool
  • added: function is_literal_none(n: Expression) -> bool
  • added: function is_more_general_arg_prefix(t: FunctionLike, s: FunctionLike) -> bool
  • added: function is_more_precise_signature(t: CallableType, s: CallableType) -> bool
  • added: function is_optional(t: Type) -> bool
  • added: function is_same_arg_prefix(t: CallableType, s: CallableType) -> bool
  • added: function is_true_literal(n: Expression) -> bool
  • added: function is_unsafe_overlapping_signatures(signature: Type, other: Type) -> bool
  • added: function is_valid_inferred_type(typ: Type) -> bool
  • added: function is_valid_inferred_type_component(typ: Type) -> bool
  • added: function or_conditional_maps(m1: TypeMap, m2: TypeMap) -> TypeMap
  • added: function partition_by_callable(type: Optional[Type]) -> Tuple[List[Type], List[Type]]
  • added: function remove_optional(typ: Type) -> Type
  • added: method Scope.active_class() -> Optional[Type]
  • added: method Scope.push_class(t: Type) -> Iterator[None]
  • added: method Scope.push_function(item: FuncItem) -> Iterator[None]
  • added: method Scope.top_function() -> Optional[FuncItem]
  • added: method TypeChecker.accept(node: Union[Expression, Statement, FuncItem], type_context: Type=…) -> Type
  • added: method TypeChecker.accept_loop(body: Statement, else_body: Statement=…, *, exit_condition: Expression=…) -> None
  • added: method TypeChecker.analyze_async_iterable_item_type(expr: Expression) -> Type
  • added: method TypeChecker.analyze_index_variables(index: Expression, item_type: Type, context: Context) -> None
  • added: method TypeChecker.analyze_iterable_item_type(expr: Expression) -> Type
  • added: method TypeChecker.bool_type() -> Instance
  • added: method TypeChecker.check_assignment(lvalue: Lvalue, rvalue: Expression, infer_lvalue_type: bool=…, new_syntax: bool=…) -> None
  • added: method TypeChecker.check_assignment_to_multiple_lvalues(lvalues: List[Lvalue], rvalue: Expression, context: Context, infer_lvalue_type: bool=…) -> None
  • added: method TypeChecker.check_async_with_item(expr: Expression, target: Expression) -> None
  • added: method TypeChecker.check_awaitable_expr(t: Type, ctx: Context, msg: str) -> Type
  • added: method TypeChecker.check_compatibility(name: str, base1: TypeInfo, base2: TypeInfo, ctx: Context) -> None
  • added: method TypeChecker.check_first_pass() -> None
  • added: method TypeChecker.check_func_def(defn: FuncItem, typ: CallableType, name: str) -> None
  • added: method TypeChecker.check_func_item(defn: FuncItem, type_override: CallableType=…, name: str=…) -> None
  • added: method TypeChecker.check_getattr_method(typ: CallableType, context: Context) -> None
  • added: method TypeChecker.check_import(node: ImportBase) -> None
  • added: method TypeChecker.check_incompatible_property_override(e: Decorator) -> None
  • added: method TypeChecker.check_indexed_assignment(lvalue: IndexExpr, rvalue: Expression, context: Context) -> None
  • added: method TypeChecker.check_inplace_operator_method(defn: FuncBase) -> None
  • added: method TypeChecker.check_lvalue(lvalue: Lvalue) -> Tuple[Type, IndexExpr, Var]
  • added: method TypeChecker.check_member_assignment(instance_type: Type, attribute_type: Type, rvalue: Expression, context: Context) -> Tuple[Type, bool]
  • added: method TypeChecker.check_method_or_accessor_override_for_base(defn: FuncBase, base: TypeInfo) -> None
  • added: method TypeChecker.check_method_override(defn: FuncBase) -> None
  • added: method TypeChecker.check_method_override_for_base_with_name(defn: FuncBase, name: str, base: TypeInfo) -> None
  • added: method TypeChecker.check_multi_assignment(lvalues: List[Lvalue], rvalue: Expression, context: Context, infer_lvalue_type: bool=…, msg: str=…) -> None
  • added: method TypeChecker.check_multi_assignment_from_iterable(lvalues: List[Lvalue], rvalue_type: Type, context: Context, infer_lvalue_type: bool=…) -> None
  • added: method TypeChecker.check_multi_assignment_from_tuple(lvalues: List[Lvalue], rvalue: Expression, rvalue_type: TupleType, context: Context, undefined_rvalue: bool, infer_lvalue_type: bool=…) -> None
  • added: method TypeChecker.check_multiple_inheritance(typ: TypeInfo) -> None
  • added: method TypeChecker.check_overlapping_op_methods(reverse_type: CallableType, reverse_name: str, reverse_class: TypeInfo, forward_type: Type, forward_name: str, forward_base: Instance, context: Context) -> None
  • added: method TypeChecker.check_overlapping_overloads(defn: OverloadedFuncDef) -> None
  • added: method TypeChecker.check_override(override: FunctionLike, original: FunctionLike, name: str, name_in_super: str, supertype: str, node: Context) -> None
  • added: method TypeChecker.check_return_stmt(s: ReturnStmt) -> None
  • added: method TypeChecker.check_reverse_op_method(defn: FuncItem, typ: CallableType, method: str) -> None
  • added: method TypeChecker.check_rvalue_count_in_assignment(lvalues: List[Lvalue], rvalue_count: int, context: Context) -> bool
  • added: method TypeChecker.check_second_pass() -> bool
  • added: method TypeChecker.check_simple_assignment(lvalue_type: Type, rvalue: Expression, context: Context, msg: str=…, lvalue_name: str=…, rvalue_name: str=…) -> Type
  • added: method TypeChecker.check_subtype(subtype: Type, supertype: Type, context: Context, msg: str=…, subtype_label: str=…, supertype_label: str=…) -> bool
  • added: method TypeChecker.check_usable_type(typ: Type, context: Context) -> None
  • added: method TypeChecker.check_with_item(expr: Expression, target: Expression) -> None
  • added: method TypeChecker.contains_none(t: Type) -> bool
  • added: method TypeChecker.enter_partial_types() -> None
  • added: method TypeChecker.expand_typevars(defn: FuncItem, typ: CallableType) -> List[Tuple[FuncItem, CallableType]]
  • added: method TypeChecker.fail(msg: str, context: Context) -> None
  • added: method TypeChecker.find_isinstance_check(n: Expression) -> Tuple[Optional[Dict[Expression, Type]], Optional[Dict[Expression, Type]]]
  • added: method TypeChecker.find_partial_types(var: Var) -> Optional[Dict[Var, Context]]
  • added: method TypeChecker.function_type(func: FuncBase) -> FunctionLike
  • added: method TypeChecker.get_generator_receive_type(return_type: Type, is_coroutine: bool) -> Type
  • added: method TypeChecker.get_generator_return_type(return_type: Type, is_coroutine: bool) -> Type
  • added: method TypeChecker.get_generator_yield_type(return_type: Type, is_coroutine: bool) -> Type
  • added: method TypeChecker.handle_cannot_determine_type(name: str, context: Context) -> None
  • added: method TypeChecker.has_coroutine_decorator(t: Type) -> bool
  • added: method TypeChecker.in_checked_function() -> bool
  • added: method TypeChecker.infer_partial_type(name: Var, lvalue: Lvalue, init_type: Type) -> bool
  • added: method TypeChecker.infer_variable_type(name: Var, lvalue: Lvalue, init_type: Type, context: Context) -> None
  • added: method TypeChecker.is_async_def(t: Type) -> bool
  • added: method TypeChecker.is_definition(s: Lvalue) -> bool
  • added: method TypeChecker.is_generator_return_type(typ: Type, is_coroutine: bool) -> bool
  • added: method TypeChecker.is_trivial_body(block: Block) -> bool
  • added: method TypeChecker.is_unusable_type(typ: Type) -> bool
  • added: method TypeChecker.iterable_item_type(instance: Instance) -> Type
  • added: method TypeChecker.leave_partial_types() -> None
  • added: method TypeChecker.lookup(name: str, kind: int) -> SymbolTableNode
  • added: method TypeChecker.lookup_qualified(name: str) -> SymbolTableNode
  • added: method TypeChecker.lookup_typeinfo(fullname: str) -> TypeInfo
  • added: method TypeChecker.lvalue_type_for_inference(lvalues: List[Lvalue], rvalue_type: TupleType) -> Type
  • added: method TypeChecker.named_generic_type(name: str, args: List[Type]) -> Instance
  • added: method TypeChecker.named_type(name: str) -> Instance
  • added: method TypeChecker.narrow_type_from_binder(expr: Expression, known_type: Type) -> Type
  • added: method TypeChecker.object_type() -> Instance
  • added: method TypeChecker.push_type_map(type_map: Optional[Dict[Expression, Type]]) -> None
  • added: method TypeChecker.set_inference_error_fallback_type(var: Var, lvalue: Lvalue, type: Type, context: Context) -> None
  • added: method TypeChecker.set_inferred_type(var: Var, lvalue: Lvalue, type: Type) -> None
  • added: method TypeChecker.should_suppress_optional_error(related_types: List[Type]) -> bool
  • added: method TypeChecker.split_around_star(items: List[T], star_index: int, length: int) -> Tuple[List[T], List[T], List[T]]
  • added: method TypeChecker.store_type(node: Expression, typ: Type) -> None
  • added: method TypeChecker.str_type() -> Instance
  • added: method TypeChecker.temp_node(t: Type, context: Context=…) -> TempNode
  • added: method TypeChecker.try_infer_partial_type_from_indexed_assignment(lvalue: IndexExpr, rvalue: Expression) -> None
  • added: method TypeChecker.type_check_raise(e: Expression, s: RaiseStmt, optional: bool=…) -> None
  • added: method TypeChecker.type_is_iterable(type: Type) -> bool
  • added: method TypeChecker.type_type() -> Instance
  • added: method TypeChecker.visit_assert_stmt(s: AssertStmt) -> Type
  • added: method TypeChecker.visit_assignment_stmt(s: AssignmentStmt) -> Type
  • added: method TypeChecker.visit_await_expr(e: AwaitExpr) -> Type
  • added: method TypeChecker.visit_backquote_expr(e: BackquoteExpr) -> Type
  • added: method TypeChecker.visit_block(b: Block) -> Type
  • added: method TypeChecker.visit_break_stmt(s: BreakStmt) -> Type
  • added: method TypeChecker.visit_bytes_expr(e: BytesExpr) -> Type
  • added: method TypeChecker.visit_call_expr(e: CallExpr) -> Type
  • added: method TypeChecker.visit_cast_expr(e: CastExpr) -> Type
  • added: method TypeChecker.visit_class_def(defn: ClassDef) -> Type
  • added: method TypeChecker.visit_comparison_expr(e: ComparisonExpr) -> Type
  • added: method TypeChecker.visit_complex_expr(e: ComplexExpr) -> Type
  • added: method TypeChecker.visit_conditional_expr(e: ConditionalExpr) -> Type
  • added: method TypeChecker.visit_continue_stmt(s: ContinueStmt) -> Type
  • added: method TypeChecker.visit_decorator(e: Decorator) -> Type
  • added: method TypeChecker.visit_del_stmt(s: DelStmt) -> Type
  • added: method TypeChecker.visit_dict_expr(e: DictExpr) -> Type
  • added: method TypeChecker.visit_dictionary_comprehension(e: DictionaryComprehension) -> Type
  • added: method TypeChecker.visit_ellipsis(e: EllipsisExpr) -> Type
  • added: method TypeChecker.visit_except_handler_test(n: Expression) -> Type
  • added: method TypeChecker.visit_expression_stmt(s: ExpressionStmt) -> Type
  • added: method TypeChecker.visit_float_expr(e: FloatExpr) -> Type
  • added: method TypeChecker.visit_for_stmt(s: ForStmt) -> Type
  • added: method TypeChecker.visit_func_def(defn: FuncDef) -> Type
  • added: method TypeChecker.visit_func_expr(e: FuncExpr) -> Type
  • added: method TypeChecker.visit_generator_expr(e: GeneratorExpr) -> Type
  • added: method TypeChecker.visit_if_stmt(s: IfStmt) -> Type
  • added: method TypeChecker.visit_import_all(node: ImportAll) -> Type
  • added: method TypeChecker.visit_import_from(node: ImportFrom) -> Type
  • added: method TypeChecker.visit_index_expr(e: IndexExpr) -> Type
  • added: method TypeChecker.visit_int_expr(e: IntExpr) -> Type
  • added: method TypeChecker.visit_list_comprehension(e: ListComprehension) -> Type
  • added: method TypeChecker.visit_list_expr(e: ListExpr) -> Type
  • added: method TypeChecker.visit_member_expr(e: MemberExpr) -> Type
  • added: method TypeChecker.visit_name_expr(e: NameExpr) -> Type
  • added: method TypeChecker.visit_namedtuple_expr(e: NamedTupleExpr) -> Type
  • added: method TypeChecker.visit_newtype_expr(e: NewTypeExpr) -> Type
  • added: method TypeChecker.visit_op_expr(e: OpExpr) -> Type
  • added: method TypeChecker.visit_operator_assignment_stmt(s: OperatorAssignmentStmt) -> Type
  • added: method TypeChecker.visit_overloaded_func_def(defn: OverloadedFuncDef) -> Type
  • added: method TypeChecker.visit_print_stmt(s: PrintStmt) -> Type
  • added: method TypeChecker.visit_raise_stmt(s: RaiseStmt) -> Type
  • added: method TypeChecker.visit_return_stmt(s: ReturnStmt) -> Type
  • added: method TypeChecker.visit_reveal_type_expr(e: RevealTypeExpr) -> Type
  • added: method TypeChecker.visit_set_comprehension(e: SetComprehension) -> Type
  • added: method TypeChecker.visit_set_expr(e: SetExpr) -> Type
  • added: method TypeChecker.visit_slice_expr(e: SliceExpr) -> Type
  • added: method TypeChecker.visit_str_expr(e: StrExpr) -> Type
  • added: method TypeChecker.visit_super_expr(e: SuperExpr) -> Type
  • added: method TypeChecker.visit_temp_node(e: TempNode) -> Type
  • added: method TypeChecker.visit_try_stmt(s: TryStmt) -> Type
  • added: method TypeChecker.visit_try_without_finally(s: TryStmt, try_frame: bool) -> None
  • added: method TypeChecker.visit_tuple_expr(e: TupleExpr) -> Type
  • added: method TypeChecker.visit_type_alias_expr(e: TypeAliasExpr) -> Type
  • added: method TypeChecker.visit_type_application(e: TypeApplication) -> Type
  • added: method TypeChecker.visit_type_var_expr(e: TypeVarExpr) -> Type
  • added: method TypeChecker.visit_typeddict_expr(e: TypedDictExpr) -> Type
  • added: method TypeChecker.visit_unary_expr(e: UnaryExpr) -> Type
  • added: method TypeChecker.visit_unicode_expr(e: UnicodeExpr) -> Type
  • added: method TypeChecker.visit_while_stmt(s: WhileStmt) -> Type
  • added: method TypeChecker.visit_with_stmt(s: WithStmt) -> Type
  • added: method TypeChecker.visit_yield_expr(e: YieldExpr) -> Type
  • added: method TypeChecker.visit_yield_from_expr(e: YieldFromExpr) -> Type
  • added: method TypeTransformVisitor.type(type: Type) -> Type
  • added: variable DeferredNode
  • added: variable LAST_PASS
  • added: variable T
  • added: variable TypeMap
  • added: class ArgInferSecondPassQuery(types.TypeQuery)
  • added: class ExpressionChecker
  • added: class Finished(Exception)
  • added: class HasErasedComponentsQuery(types.TypeQuery)
  • added: class HasTypeVarQuery(types.TypeQuery)
  • added: constructor ArgInferSecondPassQuery() -> None
  • added: constructor ExpressionChecker(chk: mypy.checker.TypeChecker, msg: MessageBuilder) -> None
  • added: constructor HasErasedComponentsQuery() -> None
  • added: constructor HasTypeVarQuery() -> None
  • added: field ExpressionChecker.chk
  • added: field ExpressionChecker.container_args
  • added: field ExpressionChecker.item_args
  • added: field ExpressionChecker.msg
  • added: field ExpressionChecker.strfrm_checker
  • added: function extract_refexpr_names(expr: RefExpr) -> Set[str]
  • added: function freshen_generic_callable(callee: CallableType) -> CallableType
  • added: function has_erased_component(t: Type) -> bool
  • added: function is_duplicate_mapping(mapping: List[int], actual_kinds: List[int]) -> bool
  • added: function is_empty_tuple(t: Type) -> bool
  • added: function map_actuals_to_formals(caller_kinds: List[int], caller_names: List[str], callee_kinds: List[int], callee_names: List[str], caller_arg_type: Callable[[int], Type]) -> List[List[int]]
  • added: function overload_arg_similarity(actual: Type, formal: Type) -> int
  • added: function replace_callable_return_type(c: CallableType, new_ret_type: Type) -> CallableType
  • added: method ArgInferSecondPassQuery.visit_callable_type(t: CallableType) -> bool
  • added: method ExpressionChecker.accept(node: Expression, context: Type=…) -> Type
  • added: method ExpressionChecker.analyze_cond_branch(map: Optional[Dict[Expression, Type]], node: Expression, context: Optional[Type]) -> Type
  • added: method ExpressionChecker.analyze_descriptor_access(instance_type: Type, descriptor_type: Type, context: Context) -> Type
  • added: method ExpressionChecker.analyze_external_member_access(member: str, base_type: Type, context: Context) -> Type
  • added: method ExpressionChecker.analyze_ordinary_member_access(e: MemberExpr, is_lvalue: bool) -> Type
  • added: method ExpressionChecker.analyze_ref_expr(e: RefExpr, lvalue: bool=…) -> Type
  • added: method ExpressionChecker.analyze_super(e: SuperExpr, is_lvalue: bool) -> Type
  • added: method ExpressionChecker.analyze_type_type_callee(item: Type, context: Context) -> Type
  • added: method ExpressionChecker.analyze_var_ref(var: Var, context: Context) -> Type
  • added: method ExpressionChecker.apply_generic_arguments(callable: CallableType, types: List[Type], context: Context) -> CallableType
  • added: method ExpressionChecker.apply_inferred_arguments(callee_type: CallableType, inferred_args: List[Type], context: Context) -> CallableType
  • added: method ExpressionChecker.check_arg(caller_type: Type, original_caller_type: Type, caller_kind: int, callee_type: Type, n: int, m: int, callee: CallableType, context: Context, messages: MessageBuilder) -> None
  • added: method ExpressionChecker.check_argument_count(callee: CallableType, actual_types: List[Type], actual_kinds: List[int], actual_names: List[str], formal_to_actual: List[List[int]], context: Context, messages: Optional[MessageBuilder]) -> bool
  • added: method ExpressionChecker.check_argument_types(arg_types: List[Type], arg_kinds: List[int], callee: CallableType, formal_to_actual: List[List[int]], context: Context, messages: MessageBuilder=…, check_arg: ArgChecker=…) -> None
  • added: method ExpressionChecker.check_boolean_op(e: OpExpr, context: Context) -> Type
  • added: method ExpressionChecker.check_call(callee: Type, args: List[Expression], arg_kinds: List[int], context: Context, arg_names: List[str]=…, callable_node: Expression=…, arg_messages: MessageBuilder=…) -> Tuple[Type, Type]
  • added: method ExpressionChecker.check_call_expr_with_callee_type(callee_type: Type, e: CallExpr) -> Type
  • added: method ExpressionChecker.check_for_comp(e: Union[GeneratorExpr, DictionaryComprehension]) -> None
  • added: method ExpressionChecker.check_generator_or_comprehension(gen: GeneratorExpr, type_name: str, id_for_messages: str) -> Type
  • added: method ExpressionChecker.check_list_multiply(e: OpExpr) -> Type
  • added: method ExpressionChecker.check_lst_expr(items: List[Expression], fullname: str, tag: str, context: Context) -> Type
  • added: method ExpressionChecker.check_op(method: str, base_type: Type, arg: Expression, context: Context, allow_reverse: bool=…) -> Tuple[Type, Type]
  • added: method ExpressionChecker.check_op_local(method: str, base_type: Type, arg: Expression, context: Context, local_errors: MessageBuilder) -> Tuple[Type, Type]
  • added: method ExpressionChecker.check_typeddict_call(callee: TypedDictType, arg_kinds: List[int], arg_names: List[str], args: List[Expression], context: Context) -> Type
  • added: method ExpressionChecker.check_typeddict_call_with_dict(callee: TypedDictType, kwargs: DictExpr, context: Context) -> Type
  • added: method ExpressionChecker.check_typeddict_call_with_kwargs(callee: TypedDictType, kwargs: OrderedDict[str, Expression], context: Context) -> Type
  • added: method ExpressionChecker.check_usable_type(typ: Type, context: Context) -> None
  • added: method ExpressionChecker.erased_signature_similarity(arg_types: List[Type], arg_kinds: List[int], arg_names: List[str], callee: CallableType, context: Context) -> int
  • added: method ExpressionChecker.get_arg_infer_passes(arg_types: List[Type], formal_to_actual: List[List[int]], num_actuals: int) -> List[int]
  • added: method ExpressionChecker.get_operator_method(op: str) -> str
  • added: method ExpressionChecker.get_reverse_op_method(method: str) -> str
  • added: method ExpressionChecker.has_member(typ: Type, member: str) -> bool
  • added: method ExpressionChecker.infer_arg_types_in_context(callee: Optional[CallableType], args: List[Expression]) -> List[Type]
  • added: method ExpressionChecker.infer_arg_types_in_context2(callee: CallableType, args: List[Expression], arg_kinds: List[int], formal_to_actual: List[List[int]]) -> List[Type]
  • added: method ExpressionChecker.infer_function_type_arguments(callee_type: CallableType, args: List[Expression], arg_kinds: List[int], formal_to_actual: List[List[int]], context: Context) -> CallableType
  • added: method ExpressionChecker.infer_function_type_arguments_pass2(callee_type: CallableType, args: List[Expression], arg_kinds: List[int], formal_to_actual: List[List[int]], inferred_args: List[Type], context: Context) -> Tuple[CallableType, List[Type]]
  • added: method ExpressionChecker.infer_function_type_arguments_using_context(callable: CallableType, error_context: Context) -> CallableType
  • added: method ExpressionChecker.infer_lambda_type_using_context(e: FuncExpr) -> Optional[CallableType]
  • added: method ExpressionChecker.is_valid_cast(source_type: Type, target_type: Type) -> bool
  • added: method ExpressionChecker.is_valid_keyword_var_arg(typ: Type) -> bool
  • added: method ExpressionChecker.is_valid_var_arg(typ: Type) -> bool
  • added: method ExpressionChecker.match_signature_types(arg_types: List[Type], arg_kinds: List[int], arg_names: List[str], callee: CallableType, context: Context) -> bool
  • added: method ExpressionChecker.named_type(name: str) -> Instance
  • added: method ExpressionChecker.not_ready_callback(name: str, context: Context) -> None
  • added: method ExpressionChecker.overload_call_target(arg_types: List[Type], arg_kinds: List[int], arg_names: List[str], overload: Overloaded, context: Context, messages: MessageBuilder=…) -> Type
  • added: method ExpressionChecker.replace_tvars_any(tp: Type) -> Type
  • added: method ExpressionChecker.try_infer_partial_type(e: CallExpr) -> None
  • added: method ExpressionChecker.visit_backquote_expr(e: BackquoteExpr) -> Type
  • added: method ExpressionChecker.visit_bytes_expr(e: BytesExpr) -> Type
  • added: method ExpressionChecker.visit_call_expr(e: CallExpr) -> Type
  • added: method ExpressionChecker.visit_cast_expr(expr: CastExpr) -> Type
  • added: method ExpressionChecker.visit_comparison_expr(e: ComparisonExpr) -> Type
  • added: method ExpressionChecker.visit_complex_expr(e: ComplexExpr) -> Type
  • added: method ExpressionChecker.visit_conditional_expr(e: ConditionalExpr) -> Type
  • added: method ExpressionChecker.visit_dict_expr(e: DictExpr) -> Type
  • added: method ExpressionChecker.visit_dictionary_comprehension(e: DictionaryComprehension) -> Type
  • added: method ExpressionChecker.visit_ellipsis(e: EllipsisExpr) -> Type
  • added: method ExpressionChecker.visit_float_expr(e: FloatExpr) -> Type
  • added: method ExpressionChecker.visit_func_expr(e: FuncExpr) -> Type
  • added: method ExpressionChecker.visit_generator_expr(e: GeneratorExpr) -> Type
  • added: method ExpressionChecker.visit_index_expr(e: IndexExpr) -> Type
  • added: method ExpressionChecker.visit_index_expr_helper(e: IndexExpr) -> Type
  • added: method ExpressionChecker.visit_int_expr(e: IntExpr) -> Type
  • added: method ExpressionChecker.visit_list_comprehension(e: ListComprehension) -> Type
  • added: method ExpressionChecker.visit_list_expr(e: ListExpr) -> Type
  • added: method ExpressionChecker.visit_member_expr(e: MemberExpr) -> Type
  • added: method ExpressionChecker.visit_name_expr(e: NameExpr) -> Type
  • added: method ExpressionChecker.visit_op_expr(e: OpExpr) -> Type
  • added: method ExpressionChecker.visit_reveal_type_expr(expr: RevealTypeExpr) -> Type
  • added: method ExpressionChecker.visit_set_comprehension(e: SetComprehension) -> Type
  • added: method ExpressionChecker.visit_set_expr(e: SetExpr) -> Type
  • added: method ExpressionChecker.visit_slice_expr(e: SliceExpr) -> Type
  • added: method ExpressionChecker.visit_str_expr(e: StrExpr) -> Type
  • added: method ExpressionChecker.visit_super_expr(e: SuperExpr) -> Type
  • added: method ExpressionChecker.visit_tuple_expr(e: TupleExpr) -> Type
  • added: method ExpressionChecker.visit_tuple_slice_helper(left_type: TupleType, slic: SliceExpr) -> Type
  • added: method ExpressionChecker.visit_type_alias_expr(alias: TypeAliasExpr) -> Type
  • added: method ExpressionChecker.visit_type_application(tapp: TypeApplication) -> Type
  • added: method ExpressionChecker.visit_typeddict_index_expr(td_type: TypedDictType, index: Expression) -> Type
  • added: method ExpressionChecker.visit_unary_expr(e: UnaryExpr) -> Type
  • added: method ExpressionChecker.visit_unicode_expr(e: UnicodeExpr) -> Type
  • added: method HasErasedComponentsQuery.visit_erased_type(t: ErasedType) -> bool
  • added: method HasTypeVarQuery.visit_type_var(t: TypeVarType) -> bool
  • added: variable ArgChecker
  • added: function add_class_tvars(t: Type, itype: Instance, is_classmethod: bool, builtin_type: Callable[[str], Instance], original_type: Type) -> Type
  • added: function analyze_class_attribute_access(itype: Instance, name: str, context: Context, is_lvalue: bool, builtin_type: Callable[[str], Instance], not_ready_callback: Callable[[str, Context], None], msg: MessageBuilder, original_type: Type) -> Type
  • added: function analyze_member_access(name: str, typ: Type, node: Context, is_lvalue: bool, is_super: bool, is_operator: bool, builtin_type: Callable[[str], Instance], not_ready_callback: Callable[[str, Context], None], msg: MessageBuilder, *, original_type: Type, override_info: TypeInfo=…, chk: mypy.checker.TypeChecker=…) -> Type
  • added: function analyze_member_var_access(name: str, itype: Instance, info: TypeInfo, node: Context, is_lvalue: bool, is_super: bool, builtin_type: Callable[[str], Instance], not_ready_callback: Callable[[str, Context], None], msg: MessageBuilder, original_type: Type, chk: mypy.checker.TypeChecker=…) -> Type
  • added: function analyze_var(name: str, var: Var, itype: Instance, info: TypeInfo, node: Context, is_lvalue: bool, msg: MessageBuilder, original_type: Type, not_ready_callback: Callable[[str, Context], None]) -> Type
  • added: function bind_self(method: F, original_type: Type=…) -> F
  • added: function check_method_type(functype: FunctionLike, itype: Instance, is_classmethod: bool, context: Context, msg: MessageBuilder) -> None
  • added: function class_callable(init_type: CallableType, info: TypeInfo, type_type: Instance, special_sig: Optional[str]) -> CallableType
  • added: function erase_to_bound(t: Type) -> Type
  • added: function handle_partial_attribute_type(typ: PartialType, is_lvalue: bool, msg: MessageBuilder, context: Context) -> Type
  • added: function lookup_member_var_or_accessor(info: TypeInfo, name: str, is_lvalue: bool) -> Optional[SymbolNode]
  • added: function map_type_from_supertype(typ: Type, sub_info: TypeInfo, super_info: TypeInfo) -> Type
  • added: function type_object_type(info: TypeInfo, builtin_type: Callable[[str], Instance]) -> Type
  • added: function type_object_type_from_function(init_or_new: FuncBase, info: TypeInfo, fallback: Instance) -> FunctionLike
  • added: variable F
  • added: variable MYPY
  • added: class ConversionSpecifier
  • added: class StringFormatterChecker
  • added: constructor ConversionSpecifier(key: str, flags: str, width: str, precision: str, type: str) -> None
  • added: constructor StringFormatterChecker(exprchk: mypy.checkexpr.ExpressionChecker, chk: mypy.checker.TypeChecker, msg: MessageBuilder) -> None
  • added: field StringFormatterChecker.chk
  • added: field StringFormatterChecker.exprchk
  • added: field StringFormatterChecker.msg
  • added: method ConversionSpecifier.has_key() -> bool
  • added: method ConversionSpecifier.has_star() -> bool
  • added: method StringFormatterChecker.accept(expr: Expression, context: Type=…) -> Type
  • added: method StringFormatterChecker.analyze_conversion_specifiers(specifiers: List[ConversionSpecifier], context: Context) -> bool
  • added: method StringFormatterChecker.build_replacement_checkers(specifiers: List[ConversionSpecifier], context: Context) -> List[Tuple[Callable[[Expression], None], Callable[[Type], None]]]
  • added: method StringFormatterChecker.check_mapping_str_interpolation(specifiers: List[ConversionSpecifier], replacements: Expression) -> None
  • added: method StringFormatterChecker.check_simple_str_interpolation(specifiers: List[ConversionSpecifier], replacements: Expression) -> None
  • added: method StringFormatterChecker.check_str_interpolation(str: Union[StrExpr, BytesExpr, UnicodeExpr], replacements: Expression) -> Type
  • added: method StringFormatterChecker.checkers_for_c_type(type: str, context: Context) -> Tuple[Callable[[Expression], None], Callable[[Type], None]]
  • added: method StringFormatterChecker.checkers_for_regular_type(type: str, context: Context) -> Tuple[Callable[[Expression], None], Callable[[Type], None]]
  • added: method StringFormatterChecker.checkers_for_star(context: Context) -> Tuple[Callable[[Expression], None], Callable[[Type], None]]
  • added: method StringFormatterChecker.conversion_type(p: str, context: Context) -> Type
  • added: method StringFormatterChecker.named_type(name: str) -> Instance
  • added: method StringFormatterChecker.parse_conversion_specifiers(format: str) -> List[ConversionSpecifier]
  • added: method StringFormatterChecker.replacement_checkers(specifier: ConversionSpecifier, context: Context) -> List[Tuple[Callable[[Expression], None], Callable[[Type], None]]]
  • removed: function ignore_new(dirname, filelist)
  • removed: function runcmd(argv)
  • removed: variable PREFIX
  • added: class Constraint
  • added: class ConstraintBuilderVisitor(TypeVisitor[List[Constraint]])
  • added: constructor Constraint(type_var: TypeVarId, op: int, target: Type) -> None
  • added: constructor ConstraintBuilderVisitor(actual: Type, direction: int) -> None
  • added: field Constraint.op
  • added: field Constraint.target
  • added: field Constraint.type_var
  • added: field ConstraintBuilderVisitor.actual
  • added: function any_constraints(options: List[Optional[List[Constraint]]]) -> List[Constraint]
  • added: function find_matching_overload_item(overloaded: Overloaded, template: CallableType) -> CallableType
  • added: function get_actual_type(arg_type: Type, kind: int, tuple_counter: List[int]) -> Type
  • added: function infer_constraints(template: Type, actual: Type, direction: int) -> List[Constraint]
  • added: function infer_constraints_for_callable(callee: CallableType, arg_types: List[Optional[Type]], arg_kinds: List[int], formal_to_actual: List[List[int]]) -> List[Constraint]
  • added: function infer_constraints_if_possible(template: Type, actual: Type, direction: int) -> Optional[List[Constraint]]
  • added: function neg_op(op: int) -> int
  • added: method ConstraintBuilderVisitor.infer_against_any(types: Iterable[Type]) -> List[Constraint]
  • added: method ConstraintBuilderVisitor.infer_against_overloaded(overloaded: Overloaded, template: CallableType) -> List[Constraint]
  • added: method ConstraintBuilderVisitor.visit_any(template: AnyType) -> List[Constraint]
  • added: method ConstraintBuilderVisitor.visit_callable_type(template: CallableType) -> List[Constraint]
  • added: method ConstraintBuilderVisitor.visit_deleted_type(template: DeletedType) -> List[Constraint]
  • added: method ConstraintBuilderVisitor.visit_erased_type(template: ErasedType) -> List[Constraint]
  • added: method ConstraintBuilderVisitor.visit_instance(template: Instance) -> List[Constraint]
  • added: method ConstraintBuilderVisitor.visit_none_type(template: NoneTyp) -> List[Constraint]
  • added: method ConstraintBuilderVisitor.visit_overloaded(template: Overloaded) -> List[Constraint]
  • added: method ConstraintBuilderVisitor.visit_partial_type(template: PartialType) -> List[Constraint]
  • added: method ConstraintBuilderVisitor.visit_tuple_type(template: TupleType) -> List[Constraint]
  • added: method ConstraintBuilderVisitor.visit_type_type(template: TypeType) -> List[Constraint]
  • added: method ConstraintBuilderVisitor.visit_type_var(template: TypeVarType) -> List[Constraint]
  • added: method ConstraintBuilderVisitor.visit_typeddict_type(template: TypedDictType) -> List[Constraint]
  • added: method ConstraintBuilderVisitor.visit_unbound_type(template: UnboundType) -> List[Constraint]
  • added: method ConstraintBuilderVisitor.visit_uninhabited_type(template: UninhabitedType) -> List[Constraint]
  • added: method ConstraintBuilderVisitor.visit_union_type(template: UnionType) -> List[Constraint]
  • added: method ConstraintBuilderVisitor.visit_void(template: Void) -> List[Constraint]
  • added: variable SUBTYPE_OF
  • added: variable SUPERTYPE_OF
  • removed: function delete(key, path=…, request=…)
  • removed: function set(key, value, expires=…, path=…, request=…)
  • added: variable CACHE_DIR
  • added: variable CONFIG_FILE
  • added: variable PYTHON2_VERSION
  • added: variable PYTHON3_VERSION
  • added: class EraseTypeVisitor(TypeVisitor[Type])
  • added: class TypeVarEraser(TypeTranslator)
  • added: constructor TypeVarEraser(erase_id: Callable[[TypeVarId], bool], replacement: Type) -> None
  • added: function erase_type(typ: Type) -> Type
  • added: function erase_typevars(t: Type, ids_to_erase: Optional[Container[TypeVarId]]=…) -> Type
  • added: function replace_meta_vars(t: Type, target_type: Type) -> Type
  • added: method EraseTypeVisitor.visit_any(t: AnyType) -> Type
  • added: method EraseTypeVisitor.visit_callable_type(t: CallableType) -> Type
  • added: method EraseTypeVisitor.visit_deleted_type(t: DeletedType) -> Type
  • added: method EraseTypeVisitor.visit_erased_type(t: ErasedType) -> Type
  • added: method EraseTypeVisitor.visit_error_type(t: ErrorType) -> Type
  • added: method EraseTypeVisitor.visit_instance(t: Instance) -> Type
  • added: method EraseTypeVisitor.visit_none_type(t: NoneTyp) -> Type
  • added: method EraseTypeVisitor.visit_overloaded(t: Overloaded) -> Type
  • added: method EraseTypeVisitor.visit_partial_type(t: PartialType) -> Type
  • added: method EraseTypeVisitor.visit_tuple_type(t: TupleType) -> Type
  • added: method EraseTypeVisitor.visit_type_list(t: TypeList) -> Type
  • added: method EraseTypeVisitor.visit_type_type(t: TypeType) -> Type
  • added: method EraseTypeVisitor.visit_type_var(t: TypeVarType) -> Type
  • added: method EraseTypeVisitor.visit_typeddict_type(t: TypedDictType) -> Type
  • added: method EraseTypeVisitor.visit_unbound_type(t: UnboundType) -> Type
  • added: method EraseTypeVisitor.visit_uninhabited_type(t: UninhabitedType) -> Type
  • added: method EraseTypeVisitor.visit_union_type(t: UnionType) -> Type
  • added: method EraseTypeVisitor.visit_void(t: Void) -> Type
  • added: method TypeVarEraser.visit_type_var(t: TypeVarType) -> Type
  • added: class CompileError(Exception)
  • added: class DecodeError(Exception)
  • added: class ErrorInfo
  • added: class Errors
  • added: constructor CompileError(messages: List[str], use_stdout: bool=…) -> None
  • added: constructor ErrorInfo(import_ctx: List[Tuple[str, int]], file: str, typ: str, function_or_member: str, line: int, column: int, severity: str, message: str, blocker: bool, only_once: bool, origin: Tuple[str, int]=…) -> None
  • added: constructor Errors(hide_error_context: bool=…, show_column_numbers: bool=…) -> None
  • added: field CompileError.messages
  • added: field CompileError.use_stdout
  • added: field ErrorInfo.blocker
  • added: field ErrorInfo.column
  • added: field ErrorInfo.file
  • added: field ErrorInfo.function_or_member
  • added: field ErrorInfo.import_ctx
  • added: field ErrorInfo.line
  • added: field ErrorInfo.message
  • added: field ErrorInfo.only_once
  • added: field ErrorInfo.severity
  • added: field ErrorInfo.type
  • added: field Errors.error_info
  • added: field Errors.file
  • added: field Errors.function_or_member
  • added: field Errors.hide_error_context
  • added: field Errors.ignore_prefix
  • added: field Errors.ignored_files
  • added: field Errors.ignored_lines
  • added: field Errors.import_ctx
  • added: field Errors.only_once_messages
  • added: field Errors.show_column_numbers
  • added: field Errors.type_name
  • added: field Errors.used_ignored_lines
  • added: function remove_path_prefix(path: str, prefix: str) -> str
  • added: function report_internal_error(err: Exception, file: str, line: int, errors: Errors, options: Options) -> None
  • added: method Errors.add_error_info(info: ErrorInfo) -> None
  • added: method Errors.copy() -> Errors
  • added: method Errors.generate_unused_ignore_notes() -> None
  • added: method Errors.import_context() -> List[Tuple[str, int]]
  • added: method Errors.is_blockers() -> bool
  • added: method Errors.is_errors() -> bool
  • added: method Errors.is_typeshed_file(file: str) -> bool
  • added: method Errors.messages() -> List[str]
  • added: method Errors.num_messages() -> int
  • added: method Errors.pop_function() -> None
  • added: method Errors.pop_type() -> None
  • added: method Errors.push_function(name: str) -> None
  • added: method Errors.push_type(name: str) -> None
  • added: method Errors.raise_error() -> None
  • added: method Errors.remove_duplicates(errors: List[Tuple[str, int, int, str, str]]) -> List[Tuple[str, int, int, str, str]]
  • added: method Errors.render_messages(errors: List[ErrorInfo]) -> List[Tuple[str, int, int, str, str]]
  • added: method Errors.report(line: int, column: int, message: str, blocker: bool=…, severity: str=…, file: str=…, only_once: bool=…, origin_line: int=…) -> None
  • added: method Errors.set_file(file: str, ignored_lines: Set[int]=…) -> None
  • added: method Errors.set_file_ignored_lines(file: str, ignored_lines: Set[int]=…, ignore_all: bool=…) -> None
  • added: method Errors.set_ignore_prefix(prefix: str) -> None
  • added: method Errors.set_import_context(ctx: List[Tuple[str, int]]) -> None
  • added: method Errors.simplify_path(file: str) -> str
  • added: method Errors.sort_messages(errors: List[ErrorInfo]) -> List[ErrorInfo]
  • added: variable T
  • added: class ExpandTypeVisitor(TypeVisitor[Type])
  • added: constructor ExpandTypeVisitor(variables: Dict[TypeVarId, Type]) -> None
  • added: field ExpandTypeVisitor.variables
  • added: function expand_type(typ: Type, env: Dict[TypeVarId, Type]) -> Type
  • added: function expand_type_by_instance(typ: Type, instance: Instance) -> Type
  • added: method ExpandTypeVisitor.expand_types(types: Iterable[Type]) -> List[Type]
  • added: method ExpandTypeVisitor.visit_any(t: AnyType) -> Type
  • added: method ExpandTypeVisitor.visit_callable_type(t: CallableType) -> Type
  • added: method ExpandTypeVisitor.visit_deleted_type(t: DeletedType) -> Type
  • added: method ExpandTypeVisitor.visit_erased_type(t: ErasedType) -> Type
  • added: method ExpandTypeVisitor.visit_error_type(t: ErrorType) -> Type
  • added: method ExpandTypeVisitor.visit_instance(t: Instance) -> Type
  • added: method ExpandTypeVisitor.visit_none_type(t: NoneTyp) -> Type
  • added: method ExpandTypeVisitor.visit_overloaded(t: Overloaded) -> Type
  • added: method ExpandTypeVisitor.visit_partial_type(t: PartialType) -> Type
  • added: method ExpandTypeVisitor.visit_tuple_type(t: TupleType) -> Type
  • added: method ExpandTypeVisitor.visit_type_list(t: TypeList) -> Type
  • added: method ExpandTypeVisitor.visit_type_type(t: TypeType) -> Type
  • added: method ExpandTypeVisitor.visit_type_var(t: TypeVarType) -> Type
  • added: method ExpandTypeVisitor.visit_typeddict_type(t: TypedDictType) -> Type
  • added: method ExpandTypeVisitor.visit_unbound_type(t: UnboundType) -> Type
  • added: method ExpandTypeVisitor.visit_uninhabited_type(t: UninhabitedType) -> Type
  • added: method ExpandTypeVisitor.visit_union_type(t: UnionType) -> Type
  • added: method ExpandTypeVisitor.visit_void(t: Void) -> Type
  • added: variable STRICT_OPTIONAL
  • added: variable find_occurrences
  • added: class TypeTranslationError(Exception)
  • added: function expr_to_unanalyzed_type(expr: Expression) -> Type
  • added: function get_member_expr_fullname(expr: MemberExpr) -> str
  • added: class ASTConverter(ast35.NodeTransformer)
  • added: class FastParserError(TypeCommentParseError)
  • added: class TypeCommentParseError(Exception)
  • added: class TypeConverter(ast35.NodeTransformer)
  • added: constructor ASTConverter(pyversion: Tuple[int, int], is_stub: bool, custom_typing_module: str=…) -> None
  • added: constructor TypeCommentParseError(msg: str, lineno: int, offset: int) -> None
  • added: constructor TypeConverter(line: int=…) -> None
  • added: field ASTConverter.comp_op_map
  • added: field ASTConverter.op_map
  • added: function find(f: Callable[[V], bool], seq: Sequence[V]) -> V
  • added: function parse(source: Union[str, bytes], fnam: str=…, errors: Errors=…, pyversion: Tuple[int, int]=…, custom_typing_module: str=…) -> MypyFile
  • added: function parse_type_comment(type_comment: str, line: int) -> Type
  • added: function with_line(f: Callable[[ASTConverter, T], U]) -> Callable[[ASTConverter, T], U]
  • added: method ASTConverter.as_block(stmts: List[ast35.stmt], lineno: int) -> Block
  • added: method ASTConverter.do_func_def(n: Union[ast35.FunctionDef, ast35.AsyncFunctionDef], is_coroutine: bool=…) -> Union[FuncDef, Decorator]
  • added: method ASTConverter.fix_function_overloads(stmts: List[Statement]) -> List[Statement]
  • added: method ASTConverter.from_comp_operator(op: ast35.cmpop) -> str
  • added: method ASTConverter.from_operator(op: ast35.operator) -> str
  • added: method ASTConverter.generic_visit(node: ast35.AST) -> None
  • added: method ASTConverter.in_class() -> bool
  • added: method ASTConverter.set_type_optional(type: Type, initializer: Expression) -> None
  • added: method ASTConverter.stringify_name(n: ast35.AST) -> str
  • added: method ASTConverter.transform_args(args: ast35.arguments, line: int) -> List[Argument]
  • added: method ASTConverter.translate_expr_list(l: Sequence[ast35.AST]) -> List[Expression]
  • added: method ASTConverter.translate_module_id(id: str) -> str
  • added: method ASTConverter.translate_stmt_list(l: Sequence[ast35.AST]) -> List[Statement]
  • added: method ASTConverter.visit_Assert(n: ast35.Assert) -> AssertStmt
  • added: method ASTConverter.visit_Assign(n: ast35.Assign) -> AssignmentStmt
  • added: method ASTConverter.visit_AsyncFor(n: ast35.AsyncFor) -> ForStmt
  • added: method ASTConverter.visit_AsyncFunctionDef(n: ast35.AsyncFunctionDef) -> Union[FuncDef, Decorator]
  • added: method ASTConverter.visit_AsyncWith(n: ast35.AsyncWith) -> WithStmt
  • added: method ASTConverter.visit_Attribute(n: ast35.Attribute) -> Union[MemberExpr, SuperExpr]
  • added: method ASTConverter.visit_AugAssign(n: ast35.AugAssign) -> OperatorAssignmentStmt
  • added: method ASTConverter.visit_Await(n: ast35.Await) -> AwaitExpr
  • added: method ASTConverter.visit_BinOp(n: ast35.BinOp) -> OpExpr
  • added: method ASTConverter.visit_BoolOp(n: ast35.BoolOp) -> OpExpr
  • added: method ASTConverter.visit_Break(n: ast35.Break) -> BreakStmt
  • added: method ASTConverter.visit_Bytes(n: ast35.Bytes) -> Union[BytesExpr, StrExpr]
  • added: method ASTConverter.visit_Call(n: ast35.Call) -> CallExpr
  • added: method ASTConverter.visit_ClassDef(n: ast35.ClassDef) -> ClassDef
  • added: method ASTConverter.visit_Compare(n: ast35.Compare) -> ComparisonExpr
  • added: method ASTConverter.visit_Continue(n: ast35.Continue) -> ContinueStmt
  • added: method ASTConverter.visit_Delete(n: ast35.Delete) -> DelStmt
  • added: method ASTConverter.visit_Dict(n: ast35.Dict) -> DictExpr
  • added: method ASTConverter.visit_DictComp(n: ast35.DictComp) -> DictionaryComprehension
  • added: method ASTConverter.visit_Ellipsis(n: ast35.Ellipsis) -> EllipsisExpr
  • added: method ASTConverter.visit_Expr(n: ast35.Expr) -> ExpressionStmt
  • added: method ASTConverter.visit_ExtSlice(n: ast35.ExtSlice) -> TupleExpr
  • added: method ASTConverter.visit_For(n: ast35.For) -> ForStmt
  • added: method ASTConverter.visit_FunctionDef(n: ast35.FunctionDef) -> Union[FuncDef, Decorator]
  • added: method ASTConverter.visit_GeneratorExp(n: ast35.GeneratorExp) -> GeneratorExpr
  • added: method ASTConverter.visit_Global(n: ast35.Global) -> GlobalDecl
  • added: method ASTConverter.visit_If(n: ast35.If) -> IfStmt
  • added: method ASTConverter.visit_IfExp(n: ast35.IfExp) -> ConditionalExpr
  • added: method ASTConverter.visit_Import(n: ast35.Import) -> Import
  • added: method ASTConverter.visit_ImportFrom(n: ast35.ImportFrom) -> ImportBase
  • added: method ASTConverter.visit_Index(n: ast35.Index) -> Node
  • added: method ASTConverter.visit_Lambda(n: ast35.Lambda) -> FuncExpr
  • added: method ASTConverter.visit_List(n: ast35.List) -> ListExpr
  • added: method ASTConverter.visit_ListComp(n: ast35.ListComp) -> ListComprehension
  • added: method ASTConverter.visit_Module(mod: ast35.Module) -> MypyFile
  • added: method ASTConverter.visit_Name(n: ast35.Name) -> NameExpr
  • added: method ASTConverter.visit_NameConstant(n: ast35.NameConstant) -> NameExpr
  • added: method ASTConverter.visit_NoneType(n: Any) -> Optional[Node]
  • added: method ASTConverter.visit_Nonlocal(n: ast35.Nonlocal) -> NonlocalDecl
  • added: method ASTConverter.visit_Num(n: ast35.Num) -> Union[IntExpr, FloatExpr, ComplexExpr]
  • added: method ASTConverter.visit_Pass(n: ast35.Pass) -> PassStmt
  • added: method ASTConverter.visit_Raise(n: ast35.Raise) -> RaiseStmt
  • added: method ASTConverter.visit_Return(n: ast35.Return) -> ReturnStmt
  • added: method ASTConverter.visit_Set(n: ast35.Set) -> SetExpr
  • added: method ASTConverter.visit_SetComp(n: ast35.SetComp) -> SetComprehension
  • added: method ASTConverter.visit_Slice(n: ast35.Slice) -> SliceExpr
  • added: method ASTConverter.visit_Starred(n: ast35.Starred) -> StarExpr
  • added: method ASTConverter.visit_Str(n: ast35.Str) -> Union[UnicodeExpr, StrExpr]
  • added: method ASTConverter.visit_Subscript(n: ast35.Subscript) -> IndexExpr
  • added: method ASTConverter.visit_Try(n: ast35.Try) -> TryStmt
  • added: method ASTConverter.visit_Tuple(n: ast35.Tuple) -> TupleExpr
  • added: method ASTConverter.visit_UnaryOp(n: ast35.UnaryOp) -> UnaryExpr
  • added: method ASTConverter.visit_While(n: ast35.While) -> WhileStmt
  • added: method ASTConverter.visit_With(n: ast35.With) -> WithStmt
  • added: method ASTConverter.visit_Yield(n: ast35.Yield) -> YieldExpr
  • added: method ASTConverter.visit_YieldFrom(n: ast35.YieldFrom) -> YieldFromExpr
  • added: method TypeConverter.generic_visit(node: ast35.AST) -> None
  • added: method TypeConverter.translate_expr_list(l: Sequence[ast35.AST]) -> List[Type]
  • added: method TypeConverter.visit_Attribute(n: ast35.Attribute) -> Type
  • added: method TypeConverter.visit_Ellipsis(n: ast35.Ellipsis) -> Type
  • added: method TypeConverter.visit_List(n: ast35.List) -> Type
  • added: method TypeConverter.visit_Name(n: ast35.Name) -> Type
  • added: method TypeConverter.visit_NameConstant(n: ast35.NameConstant) -> Type
  • added: method TypeConverter.visit_NoneType(n: Any) -> Type
  • added: method TypeConverter.visit_Str(n: ast35.Str) -> Type
  • added: method TypeConverter.visit_Subscript(n: ast35.Subscript) -> Type
  • added: method TypeConverter.visit_Tuple(n: ast35.Tuple) -> Type
  • added: method TypeConverter.visit_raw_str(s: str) -> Type
  • added: variable T
  • added: variable TYPE_COMMENT_AST_ERROR
  • added: variable TYPE_COMMENT_SYNTAX_ERROR
  • added: variable U
  • added: variable V
  • added: class ASTConverter(ast27.NodeTransformer)
  • added: constructor ASTConverter(pyversion: Tuple[int, int], is_stub: bool, custom_typing_module: str=…) -> None
  • added: field ASTConverter.comp_op_map
  • added: field ASTConverter.op_map
  • added: function find(f: Callable[[V], bool], seq: Sequence[V]) -> V
  • added: function parse(source: Union[str, bytes], fnam: str=…, errors: Errors=…, pyversion: Tuple[int, int]=…, custom_typing_module: str=…) -> MypyFile
  • added: function parse_type_comment(type_comment: str, line: int) -> Type
  • added: function with_line(f: Callable[[ASTConverter, T], U]) -> Callable[[ASTConverter, T], U]
  • added: method ASTConverter.as_block(stmts: List[ast27.stmt], lineno: int) -> Block
  • added: method ASTConverter.fix_function_overloads(stmts: List[Statement]) -> List[Statement]
  • added: method ASTConverter.from_comp_operator(op: ast27.cmpop) -> str
  • added: method ASTConverter.from_operator(op: ast27.operator) -> str
  • added: method ASTConverter.generic_visit(node: ast27.AST) -> None
  • added: method ASTConverter.in_class() -> bool
  • added: method ASTConverter.set_type_optional(type: Type, initializer: Expression) -> None
  • added: method ASTConverter.stringify_name(n: ast27.AST) -> str
  • added: method ASTConverter.transform_args(n: ast27.arguments, line: int) -> List[Argument]
  • added: method ASTConverter.translate_expr_list(l: Sequence[ast27.AST]) -> List[Expression]
  • added: method ASTConverter.translate_module_id(id: str) -> str
  • added: method ASTConverter.translate_stmt_list(l: Sequence[ast27.AST]) -> List[Statement]
  • added: method ASTConverter.try_handler(body: List[ast27.stmt], handlers: List[ast27.ExceptHandler], orelse: List[ast27.stmt], finalbody: List[ast27.stmt], lineno: int) -> TryStmt
  • added: method ASTConverter.visit_Assert(n: ast27.Assert) -> AssertStmt
  • added: method ASTConverter.visit_Assign(n: ast27.Assign) -> AssignmentStmt
  • added: method ASTConverter.visit_Attribute(n: ast27.Attribute) -> Expression
  • added: method ASTConverter.visit_AugAssign(n: ast27.AugAssign) -> OperatorAssignmentStmt
  • added: method ASTConverter.visit_BinOp(n: ast27.BinOp) -> OpExpr
  • added: method ASTConverter.visit_BoolOp(n: ast27.BoolOp) -> OpExpr
  • added: method ASTConverter.visit_Break(n: ast27.Break) -> BreakStmt
  • added: method ASTConverter.visit_Call(n: ast27.Call) -> CallExpr
  • added: method ASTConverter.visit_ClassDef(n: ast27.ClassDef) -> ClassDef
  • added: method ASTConverter.visit_Compare(n: ast27.Compare) -> ComparisonExpr
  • added: method ASTConverter.visit_Continue(n: ast27.Continue) -> ContinueStmt
  • added: method ASTConverter.visit_Delete(n: ast27.Delete) -> DelStmt
  • added: method ASTConverter.visit_Dict(n: ast27.Dict) -> DictExpr
  • added: method ASTConverter.visit_DictComp(n: ast27.DictComp) -> DictionaryComprehension
  • added: method ASTConverter.visit_Ellipsis(n: ast27.Ellipsis) -> EllipsisExpr
  • added: method ASTConverter.visit_Exec(n: ast27.Exec) -> ExpressionStmt
  • added: method ASTConverter.visit_Expr(n: ast27.Expr) -> ExpressionStmt
  • added: method ASTConverter.visit_ExtSlice(n: ast27.ExtSlice) -> TupleExpr
  • added: method ASTConverter.visit_For(n: ast27.For) -> ForStmt
  • added: method ASTConverter.visit_FunctionDef(n: ast27.FunctionDef) -> Statement
  • added: method ASTConverter.visit_GeneratorExp(n: ast27.GeneratorExp) -> GeneratorExpr
  • added: method ASTConverter.visit_Global(n: ast27.Global) -> GlobalDecl
  • added: method ASTConverter.visit_If(n: ast27.If) -> IfStmt
  • added: method ASTConverter.visit_IfExp(n: ast27.IfExp) -> ConditionalExpr
  • added: method ASTConverter.visit_Import(n: ast27.Import) -> Import
  • added: method ASTConverter.visit_ImportFrom(n: ast27.ImportFrom) -> ImportBase
  • added: method ASTConverter.visit_Index(n: ast27.Index) -> Expression
  • added: method ASTConverter.visit_Lambda(n: ast27.Lambda) -> FuncExpr
  • added: method ASTConverter.visit_List(n: ast27.List) -> ListExpr
  • added: method ASTConverter.visit_ListComp(n: ast27.ListComp) -> ListComprehension
  • added: method ASTConverter.visit_Module(mod: ast27.Module) -> MypyFile
  • added: method ASTConverter.visit_Name(n: ast27.Name) -> NameExpr
  • added: method ASTConverter.visit_NoneType(n: Any) -> Optional[Node]
  • added: method ASTConverter.visit_Num(new: ast27.Num) -> Expression
  • added: method ASTConverter.visit_Pass(n: ast27.Pass) -> PassStmt
  • added: method ASTConverter.visit_Print(n: ast27.Print) -> ExpressionStmt
  • added: method ASTConverter.visit_Raise(n: ast27.Raise) -> RaiseStmt
  • added: method ASTConverter.visit_Repr(n: ast27.Repr) -> CallExpr
  • added: method ASTConverter.visit_Return(n: ast27.Return) -> ReturnStmt
  • added: method ASTConverter.visit_Set(n: ast27.Set) -> SetExpr
  • added: method ASTConverter.visit_SetComp(n: ast27.SetComp) -> SetComprehension
  • added: method ASTConverter.visit_Slice(n: ast27.Slice) -> SliceExpr
  • added: method ASTConverter.visit_Str(s: ast27.Str) -> Expression
  • added: method ASTConverter.visit_Subscript(n: ast27.Subscript) -> IndexExpr
  • added: method ASTConverter.visit_TryExcept(n: ast27.TryExcept) -> TryStmt
  • added: method ASTConverter.visit_TryFinally(n: ast27.TryFinally) -> TryStmt
  • added: method ASTConverter.visit_Tuple(n: ast27.Tuple) -> TupleExpr
  • added: method ASTConverter.visit_UnaryOp(n: ast27.UnaryOp) -> UnaryExpr
  • added: method ASTConverter.visit_While(n: ast27.While) -> WhileStmt
  • added: method ASTConverter.visit_With(n: ast27.With) -> WithStmt
  • added: method ASTConverter.visit_Yield(n: ast27.Yield) -> YieldExpr
  • added: variable T
  • added: variable TYPE_COMMENT_AST_ERROR
  • added: variable TYPE_COMMENT_SYNTAX_ERROR
  • added: variable U
  • added: variable V
  • added: class NodeFixer(NodeVisitor[None])
  • added: class TypeFixer(TypeVisitor[None])
  • added: constructor NodeFixer(modules: Dict[str, MypyFile], type_fixer: TypeFixer=…) -> None
  • added: constructor TypeFixer(modules: Dict[str, MypyFile]) -> None
  • added: field NodeFixer.current_info
  • added: function compute_all_mros(symtab: SymbolTable, modules: Dict[str, MypyFile]) -> None
  • added: function fixup_module_pass_one(tree: MypyFile, modules: Dict[str, MypyFile]) -> None
  • added: function fixup_module_pass_two(tree: MypyFile, modules: Dict[str, MypyFile]) -> None
  • added: function lookup_qualified(modules: Dict[str, MypyFile], name: str) -> SymbolNode
  • added: function lookup_qualified_stnode(modules: Dict[str, MypyFile], name: str) -> SymbolTableNode
  • added: method NodeFixer.visit_class_def(c: ClassDef) -> None
  • added: method NodeFixer.visit_decorator(d: Decorator) -> None
  • added: method NodeFixer.visit_func_def(func: FuncDef) -> None
  • added: method NodeFixer.visit_overloaded_func_def(o: OverloadedFuncDef) -> None
  • added: method NodeFixer.visit_symbol_table(symtab: SymbolTable) -> None
  • added: method NodeFixer.visit_type_info(info: TypeInfo) -> None
  • added: method NodeFixer.visit_type_var_expr(tv: TypeVarExpr) -> None
  • added: method NodeFixer.visit_var(v: Var) -> None
  • added: method TypeFixer.visit_any(o: Any) -> None
  • added: method TypeFixer.visit_callable_type(ct: CallableType) -> None
  • added: method TypeFixer.visit_deleted_type(o: Any) -> None
  • added: method TypeFixer.visit_ellipsis_type(e: EllipsisType) -> None
  • added: method TypeFixer.visit_instance(inst: Instance) -> None
  • added: method TypeFixer.visit_none_type(o: Any) -> None
  • added: method TypeFixer.visit_overloaded(t: Overloaded) -> None
  • added: method TypeFixer.visit_partial_type(o: Any) -> None
  • added: method TypeFixer.visit_tuple_type(tt: TupleType) -> None
  • added: method TypeFixer.visit_type_list(tl: TypeList) -> None
  • added: method TypeFixer.visit_type_type(t: TypeType) -> None
  • added: method TypeFixer.visit_type_var(tvt: TypeVarType) -> None
  • added: method TypeFixer.visit_typeddict_type(tdt: TypedDictType) -> None
  • added: method TypeFixer.visit_unbound_type(o: UnboundType) -> None
  • added: method TypeFixer.visit_uninhabited_type(o: Any) -> None
  • added: method TypeFixer.visit_union_type(ut: UnionType) -> None
  • added: method TypeFixer.visit_void(o: Any) -> None
  • added: function chdir_prefix(dir: str) -> str
  • added: function error_submodule_not_initialized(name: str, dir: str) -> None
  • added: function error_submodule_not_updated(name: str, dir: str) -> None
  • added: function get_submodules(dir: str) -> Iterator[str]
  • added: function git_revision(dir: str) -> bytes
  • added: function has_extra_files(dir: str) -> bool
  • added: function have_git() -> bool
  • added: function is_dirty(dir: str) -> bool
  • added: function is_git_repo(dir: str) -> bool
  • added: function submodule_revision(dir: str, submodule: str) -> bytes
  • added: function verify_git_integrity_or_abort(datadir: str) -> None
  • added: function warn_dirty(dir: str) -> None
  • added: function warn_extra_files(dir: str) -> None
  • added: function warn_no_git_executable() -> None
  • added: variable MYPY
  • removed: class Http404(HttpException)
  • removed: class HttpException(Exception)
  • added: class TypeIndirectionVisitor(TypeVisitor[Set[str]])
  • added: constructor TypeIndirectionVisitor() -> None
  • added: function extract_module_names(type_name: Optional[str]) -> List[str]
  • added: method TypeIndirectionVisitor.find_modules(typs: Iterable[types.Type]) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_any(t: types.AnyType) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_callable_type(t: types.CallableType) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_deleted_type(t: types.DeletedType) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_ellipsis_type(t: types.EllipsisType) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_erased_type(t: types.ErasedType) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_error_type(t: types.ErrorType) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_instance(t: types.Instance) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_none_type(t: types.NoneTyp) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_overloaded(t: types.Overloaded) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_partial_type(t: types.PartialType) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_star_type(t: types.StarType) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_tuple_type(t: types.TupleType) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_type_list(t: types.TypeList) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_type_type(t: types.TypeType) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_type_var(t: types.TypeVarType) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_typeddict_type(t: types.TypedDictType) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_unbound_type(t: types.UnboundType) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_uninhabited_type(t: types.UninhabitedType) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_union_type(t: types.UnionType) -> Set[str]
  • added: method TypeIndirectionVisitor.visit_void(t: types.Void) -> Set[str]
  • added: function infer_function_type_arguments(callee_type: CallableType, arg_types: List[Optional[Type]], arg_kinds: List[int], formal_to_actual: List[List[int]], strict: bool=…) -> List[Type]
  • added: function infer_type_arguments(type_var_ids: List[TypeVarId], template: Type, actual: Type) -> List[Type]
  • added: class TypeJoinVisitor(TypeVisitor[Type])
  • added: constructor TypeJoinVisitor(s: Type) -> None
  • added: function combine_similar_callables(t: CallableType, s: CallableType) -> CallableType
  • added: function is_better(t: Type, s: Type) -> bool
  • added: function is_similar_callables(t: CallableType, s: CallableType) -> bool
  • added: function join_instances(t: Instance, s: Instance) -> Type
  • added: function join_instances_via_supertype(t: Instance, s: Instance) -> Type
  • added: function join_simple(declaration: Type, s: Type, t: Type) -> Type
  • added: function join_type_list(types: List[Type]) -> Type
  • added: function join_types(s: Type, t: Type) -> Type
  • added: function object_from_instance(instance: Instance) -> Instance
  • added: method TypeJoinVisitor.default(typ: Type) -> Type
  • added: method TypeJoinVisitor.join(s: Type, t: Type) -> Type
  • added: method TypeJoinVisitor.visit_any(t: AnyType) -> Type
  • added: method TypeJoinVisitor.visit_callable_type(t: CallableType) -> Type
  • added: method TypeJoinVisitor.visit_deleted_type(t: DeletedType) -> Type
  • added: method TypeJoinVisitor.visit_erased_type(t: ErasedType) -> Type
  • added: method TypeJoinVisitor.visit_error_type(t: ErrorType) -> Type
  • added: method TypeJoinVisitor.visit_instance(t: Instance) -> Type
  • added: method TypeJoinVisitor.visit_none_type(t: NoneTyp) -> Type
  • added: method TypeJoinVisitor.visit_overloaded(t: Overloaded) -> Type
  • added: method TypeJoinVisitor.visit_partial_type(t: PartialType) -> Type
  • added: method TypeJoinVisitor.visit_tuple_type(t: TupleType) -> Type
  • added: method TypeJoinVisitor.visit_type_list(t: TypeList) -> Type
  • added: method TypeJoinVisitor.visit_type_type(t: TypeType) -> Type
  • added: method TypeJoinVisitor.visit_type_var(t: TypeVarType) -> Type
  • added: method TypeJoinVisitor.visit_typeddict_type(t: TypedDictType) -> Type
  • added: method TypeJoinVisitor.visit_unbound_type(t: UnboundType) -> Type
  • added: method TypeJoinVisitor.visit_uninhabited_type(t: UninhabitedType) -> Type
  • added: method TypeJoinVisitor.visit_union_type(t: UnionType) -> Type
  • added: method TypeJoinVisitor.visit_void(t: Void) -> Type
  • added: class Bom(Token)
  • added: class Break(Token)
  • added: class BytesLit(Token)
  • added: class Colon(Token)
  • added: class ComplexLit(Token)
  • added: class Dedent(Token)
  • added: class EllipsisToken(Token)
  • added: class Eof(Token)
  • added: class FloatLit(Token)
  • added: class Indent(Token)
  • added: class IntLit(Token)
  • added: class Keyword(Token)
  • added: class LexError(Token)
  • added: class Lexer
  • added: class Name(Token)
  • added: class Op(Token)
  • added: class Punct(Token)
  • added: class StrLit(Token)
  • added: class Token
  • added: class UnicodeLit(Token)
  • added: constructor LexError(string: str, type: int, message: str=…) -> None
  • added: constructor Lexer(pyversion: Tuple[int, int]=…, is_stub_file: bool=…) -> None
  • added: constructor Token(string: str, pre: str=…) -> None
  • added: field Lexer.backslash_exp
  • added: field Lexer.break_exp
  • added: field Lexer.close_bracket_exp
  • added: field Lexer.column
  • added: field Lexer.comment_exp
  • added: field Lexer.comment_or_newline
  • added: field Lexer.ellipsis_exp
  • added: field Lexer.enc
  • added: field Lexer.i
  • added: field Lexer.ignored_lines
  • added: field Lexer.indent_exp
  • added: field Lexer.indents
  • added: field Lexer.line
  • added: field Lexer.map
  • added: field Lexer.name_char_exp
  • added: field Lexer.name_exp
  • added: field Lexer.number_complex
  • added: field Lexer.number_exp
  • added: field Lexer.number_exp2
  • added: field Lexer.octal_int
  • added: field Lexer.open_bracket
  • added: field Lexer.open_bracket_exp
  • added: field Lexer.open_brackets
  • added: field Lexer.pre_whitespace
  • added: field Lexer.pyversion
  • added: field Lexer.s
  • added: field Lexer.space_exp
  • added: field Lexer.str_exp_double
  • added: field Lexer.str_exp_double3
  • added: field Lexer.str_exp_double3end
  • added: field Lexer.str_exp_double_multi
  • added: field Lexer.str_exp_raw_double
  • added: field Lexer.str_exp_raw_double_multi
  • added: field Lexer.str_exp_raw_single
  • added: field Lexer.str_exp_raw_single_multi
  • added: field Lexer.str_exp_single
  • added: field Lexer.str_exp_single3
  • added: field Lexer.str_exp_single3end
  • added: field Lexer.str_exp_single_multi
  • added: field Lexer.tok
  • added: field Lexer.type_ignore_exp
  • added: function escape_repl(m: Match[str], prefix: str) -> str
  • added: function lex(string: Union[str, bytes], first_line: int=…, pyversion: Tuple[int, int]=…, is_stub_file: bool=…) -> Tuple[List[Token], Set[int]]
  • added: method BytesLit.parsed() -> str
  • added: method Lexer.add_pre_whitespace(s: str) -> None
  • added: method Lexer.add_special_token(tok: Token, line: int, skip: int) -> None
  • added: method Lexer.add_token(tok: Token) -> None
  • added: method Lexer.calc_indent(s: str) -> int
  • added: method Lexer.ignore_break() -> bool
  • added: method Lexer.is_at_ellipsis() -> bool
  • added: method Lexer.is_at_number() -> bool
  • added: method Lexer.lex(text: Union[str, bytes], first_line: int) -> None
  • added: method Lexer.lex_backslash() -> None
  • added: method Lexer.lex_break() -> None
  • added: method Lexer.lex_close_bracket() -> None
  • added: method Lexer.lex_colon() -> None
  • added: method Lexer.lex_comment() -> None
  • added: method Lexer.lex_ellipsis() -> None
  • added: method Lexer.lex_indent() -> None
  • added: method Lexer.lex_misc() -> None
  • added: method Lexer.lex_multiline_string_literal(re_end: Pattern[str], prefix: str) -> None
  • added: method Lexer.lex_name() -> None
  • added: method Lexer.lex_number() -> None
  • added: method Lexer.lex_number_or_dot() -> None
  • added: method Lexer.lex_open_bracket() -> None
  • added: method Lexer.lex_prefixed_str(prefix: str) -> None
  • added: method Lexer.lex_semicolon() -> None
  • added: method Lexer.lex_space() -> None
  • added: method Lexer.lex_str(regex: Pattern[str], re2: Pattern[str], re3: Pattern[str], re3end: Pattern[str], prefix: str=…) -> None
  • added: method Lexer.lex_str_double() -> None
  • added: method Lexer.lex_str_single() -> None
  • added: method Lexer.lex_triple_quoted_str(re3end: Pattern[str], prefix: str) -> None
  • added: method Lexer.match(pattern: Pattern[str]) -> str
  • added: method Lexer.report_unicode_decode_error(exc: UnicodeDecodeError, text: bytes) -> None
  • added: method Lexer.report_unknown_encoding(encoding_line: int) -> None
  • added: method Lexer.unknown_character() -> None
  • added: method StrLit.parsed() -> str
  • added: method Token.fix(s: str) -> str
  • added: method Token.rep() -> str
  • added: method UnicodeLit.parsed() -> str
  • added: variable DECODE_ERROR
  • added: variable INVALID_BACKSLASH
  • added: variable INVALID_CHARACTER
  • added: variable INVALID_DEDENT
  • added: variable NUMERIC_LITERAL_ERROR
  • added: variable UNTERMINATED_STRING_LITERAL
  • added: variable alpha_operators
  • added: variable escape_map
  • added: variable escape_re
  • added: variable fnam
  • added: variable keywords2
  • added: variable keywords3
  • added: variable keywords_common
  • added: variable operators
  • added: variable punctuators
  • added: variable str_prefix_re
  • added: variable str_prefixes
  • added: class SplitNamespace(argparse.Namespace)
  • added: constructor SplitNamespace(standard_namespace: object, alt_namespace: object, alt_prefix: str) -> None
  • added: function crawl_up(arg: str) -> Tuple[str, str]
  • added: function expand_dir(arg: str, mod_prefix: str=…) -> List[BuildSource]
  • added: function fail(msg: str) -> None
  • added: function find_bin_directory(script_path: str) -> str
  • added: function get_init_file(dir: str) -> Optional[str]
  • added: function keyfunc(name: str) -> Tuple[int, str]
  • added: function main(script_path: str) -> None
  • added: function parse_config_file(options: Options, filename: str) -> None
  • added: function parse_section(prefix: str, template: Options, section: Mapping[str, str]) -> Tuple[Dict[str, object], Dict[str, str]]
  • added: function parse_version(v: str) -> Tuple[int, int]
  • added: function process_options(args: List[str], require_targets: bool=…) -> Tuple[List[BuildSource], Options]
  • added: function readlinkabs(link: str) -> str
  • added: function strip_py(arg: str) -> Optional[str]
  • added: function type_check_only(sources: List[BuildSource], bin_dir: str, options: Options) -> BuildResult
  • added: variable FOOTER
  • added: variable PY_EXTENSIONS
  • added: variable config_types
  • added: function class_derivation_paths(typ: TypeInfo, supertype: TypeInfo) -> List[List[TypeInfo]]
  • added: function instance_to_type_environment(instance: Instance) -> Dict[TypeVarId, Type]
  • added: function map_instance_to_direct_supertypes(instance: Instance, supertype: TypeInfo) -> List[Instance]
  • added: function map_instance_to_supertype(instance: Instance, superclass: TypeInfo) -> Instance
  • added: function map_instance_to_supertypes(instance: Instance, supertype: TypeInfo) -> List[Instance]
  • added: class TypeMeetVisitor(TypeVisitor[Type])
  • added: constructor TypeMeetVisitor(s: Type) -> None
  • added: function is_overlapping_types(t: Type, s: Type, use_promotions: bool=…) -> bool
  • added: function meet_simple(s: Type, t: Type, default_right: bool=…) -> Type
  • added: function meet_types(s: Type, t: Type) -> Type
  • added: method TypeMeetVisitor.default(typ: Type) -> Type
  • added: method TypeMeetVisitor.meet(s: Type, t: Type) -> Type
  • added: method TypeMeetVisitor.visit_any(t: AnyType) -> Type
  • added: method TypeMeetVisitor.visit_callable_type(t: CallableType) -> Type
  • added: method TypeMeetVisitor.visit_deleted_type(t: DeletedType) -> Type
  • added: method TypeMeetVisitor.visit_erased_type(t: ErasedType) -> Type
  • added: method TypeMeetVisitor.visit_error_type(t: ErrorType) -> Type
  • added: method TypeMeetVisitor.visit_instance(t: Instance) -> Type
  • added: method TypeMeetVisitor.visit_none_type(t: NoneTyp) -> Type
  • added: method TypeMeetVisitor.visit_partial_type(t: PartialType) -> Type
  • added: method TypeMeetVisitor.visit_tuple_type(t: TupleType) -> Type
  • added: method TypeMeetVisitor.visit_type_list(t: TypeList) -> Type
  • added: method TypeMeetVisitor.visit_type_type(t: TypeType) -> Type
  • added: method TypeMeetVisitor.visit_type_var(t: TypeVarType) -> Type
  • added: method TypeMeetVisitor.visit_typeddict_type(t: TypedDictType) -> Type
  • added: method TypeMeetVisitor.visit_unbound_type(t: UnboundType) -> Type
  • added: method TypeMeetVisitor.visit_uninhabited_type(t: UninhabitedType) -> Type
  • added: method TypeMeetVisitor.visit_union_type(t: UnionType) -> Type
  • added: method TypeMeetVisitor.visit_void(t: Void) -> Type
  • added: class MessageBuilder
  • added: constructor MessageBuilder(errors: Errors, modules: Dict[str, MypyFile]) -> None
  • added: field MessageBuilder.disable_count
  • added: field MessageBuilder.disable_type_names
  • added: field MessageBuilder.errors
  • added: field MessageBuilder.modules
  • added: function best_matches(current: str, options: Iterable[str]) -> List[str]
  • added: function callable_name(type: CallableType) -> str
  • added: function capitalize(s: str) -> str
  • added: function extract_type(name: str) -> str
  • added: function format_item_name_list(s: Iterable[str]) -> str
  • added: function format_string_list(s: Iterable[str]) -> str
  • added: function plural_s(s: Sequence[Any]) -> str
  • added: function pretty_or(args: List[str]) -> str
  • added: function strip_quotes(s: str) -> str
  • added: function temp_message_builder() -> MessageBuilder
  • added: method MessageBuilder.add_errors(messages: MessageBuilder) -> None
  • added: method MessageBuilder.argument_incompatible_with_supertype(arg_num: int, name: str, name_in_supertype: str, supertype: str, context: Context) -> None
  • added: method MessageBuilder.base_class_definitions_incompatible(name: str, base1: TypeInfo, base2: TypeInfo, context: Context) -> None
  • added: method MessageBuilder.cannot_determine_type(name: str, context: Context) -> None
  • added: method MessageBuilder.cannot_determine_type_in_base(name: str, base: str, context: Context) -> None
  • added: method MessageBuilder.cannot_instantiate_abstract_class(class_name: str, abstract_attributes: List[str], context: Context) -> None
  • added: method MessageBuilder.cant_assign_to_method(context: Context) -> None
  • added: method MessageBuilder.check_unusable_type(typ: Type, context: Context) -> bool
  • added: method MessageBuilder.copy() -> MessageBuilder
  • added: method MessageBuilder.could_not_infer_type_arguments(callee_type: CallableType, n: int, context: Context) -> None
  • added: method MessageBuilder.deleted_as_lvalue(typ: DeletedType, context: Context) -> None
  • added: method MessageBuilder.deleted_as_rvalue(typ: DeletedType, context: Context) -> None
  • added: method MessageBuilder.disable_errors() -> None
  • added: method MessageBuilder.does_not_return_value(unusable_type: Type, context: Context) -> None
  • added: method MessageBuilder.duplicate_argument_value(callee: CallableType, index: int, context: Context) -> None
  • added: method MessageBuilder.enable_errors() -> None
  • added: method MessageBuilder.fail(msg: str, context: Context, file: str=…, origin: Context=…) -> None
  • added: method MessageBuilder.format(typ: Type, verbosity: int=…) -> str
  • added: method MessageBuilder.format_distinctly(type1: Type, type2: Type) -> Tuple[str, str]
  • added: method MessageBuilder.format_simple(typ: Type, verbosity: int=…) -> str
  • added: method MessageBuilder.forward_operator_not_callable(forward_method: str, context: Context) -> None
  • added: method MessageBuilder.has_no_attr(typ: Type, member: str, context: Context) -> Type
  • added: method MessageBuilder.incompatible_argument(n: int, m: int, callee: CallableType, arg_type: Type, arg_kind: int, context: Context) -> None
  • added: method MessageBuilder.incompatible_conditional_function_def(defn: FuncDef) -> None
  • added: method MessageBuilder.incompatible_operator_assignment(op: str, context: Context) -> None
  • added: method MessageBuilder.incompatible_type_application(expected_arg_count: int, actual_arg_count: int, context: Context) -> None
  • added: method MessageBuilder.incompatible_typevar_value(callee: CallableType, index: int, type: Type, context: Context) -> None
  • added: method MessageBuilder.invalid_cast(target_type: Type, source_type: Type, context: Context) -> None
  • added: method MessageBuilder.invalid_class_method_type(sig: CallableType, context: Context) -> None
  • added: method MessageBuilder.invalid_index_type(index_type: Type, expected_type: Type, base_str: str, context: Context) -> None
  • added: method MessageBuilder.invalid_keyword_var_arg(typ: Type, context: Context) -> None
  • added: method MessageBuilder.invalid_method_type(sig: CallableType, context: Context) -> None
  • added: method MessageBuilder.invalid_signature(func_type: Type, context: Context) -> None
  • added: method MessageBuilder.invalid_var_arg(typ: Type, context: Context) -> None
  • added: method MessageBuilder.is_errors() -> bool
  • added: method MessageBuilder.key_not_in_mapping(key: str, context: Context) -> None
  • added: method MessageBuilder.missing_named_argument(callee: CallableType, context: Context, name: str) -> None
  • added: method MessageBuilder.no_variant_matches_arguments(overload: Overloaded, arg_types: List[Type], context: Context) -> None
  • added: method MessageBuilder.not_callable(typ: Type, context: Context) -> Type
  • added: method MessageBuilder.note(msg: str, context: Context, file: str=…, origin: Context=…) -> None
  • added: method MessageBuilder.operator_method_signatures_overlap(reverse_class: str, reverse_method: str, forward_class: str, forward_method: str, context: Context) -> None
  • added: method MessageBuilder.overloaded_signatures_overlap(index1: int, index2: int, context: Context) -> None
  • added: method MessageBuilder.override_target(name: str, name_in_super: str, supertype: str) -> str
  • added: method MessageBuilder.read_only_property(name: str, type: TypeInfo, context: Context) -> None
  • added: method MessageBuilder.redundant_cast(typ: Type, context: Context) -> None
  • added: method MessageBuilder.report(msg: str, context: Context, severity: str, file: str=…, origin: Context=…) -> None
  • added: method MessageBuilder.requires_int_or_char(context: Context) -> None
  • added: method MessageBuilder.return_type_incompatible_with_supertype(name: str, name_in_supertype: str, supertype: str, context: Context) -> None
  • added: method MessageBuilder.reveal_type(typ: Type, context: Context) -> None
  • added: method MessageBuilder.signature_incompatible_with_supertype(name: str, name_in_super: str, supertype: str, context: Context) -> None
  • added: method MessageBuilder.signatures_incompatible(method: str, other_method: str, context: Context) -> None
  • added: method MessageBuilder.string_interpolation_mixing_key_and_non_keys(context: Context) -> None
  • added: method MessageBuilder.string_interpolation_with_star_and_key(context: Context) -> None
  • added: method MessageBuilder.too_few_arguments(callee: CallableType, context: Context, argument_names: List[str]) -> None
  • added: method MessageBuilder.too_few_string_formatting_arguments(context: Context) -> None
  • added: method MessageBuilder.too_many_arguments(callee: CallableType, context: Context) -> None
  • added: method MessageBuilder.too_many_positional_arguments(callee: CallableType, context: Context) -> None
  • added: method MessageBuilder.too_many_string_formatting_arguments(context: Context) -> None
  • added: method MessageBuilder.type_not_iterable(type: Type, context: Context) -> None
  • added: method MessageBuilder.typeddict_instantiated_with_unexpected_items(expected_item_names: List[str], actual_item_names: List[str], context: Context) -> None
  • added: method MessageBuilder.typeddict_item_name_must_be_string_literal(typ: TypedDictType, context: Context) -> None
  • added: method MessageBuilder.typeddict_item_name_not_found(typ: TypedDictType, item_name: str, context: Context) -> None
  • added: method MessageBuilder.undefined_in_superclass(member: str, context: Context) -> None
  • added: method MessageBuilder.unexpected_keyword_argument(callee: CallableType, name: str, context: Context) -> None
  • added: method MessageBuilder.unsupported_left_operand(op: str, typ: Type, context: Context) -> None
  • added: method MessageBuilder.unsupported_operand_types(op: str, left_type: Any, right_type: Any, context: Context) -> None
  • added: method MessageBuilder.unsupported_placeholder(placeholder: str, context: Context) -> None
  • added: method MessageBuilder.unsupported_type_type(item: Type, context: Context) -> None
  • added: method MessageBuilder.untyped_function_call(callee: CallableType, context: Context) -> Type
  • added: method MessageBuilder.wrong_number_values_to_unpack(provided: int, expected: int, context: Context) -> None
  • added: method MessageBuilder.yield_from_invalid_operand_type(expr: Type, context: Context) -> Type
  • added: variable ALL_MUST_BE_SEQ_STR
  • added: variable ARGUMENT_TYPE_EXPECTED
  • added: variable ARG_CONSTRUCTOR_NAMES
  • added: variable ASYNC_ITERABLE_EXPECTED
  • added: variable CANNOT_ACCESS_INIT
  • added: variable CANNOT_ASSIGN_TO_METHOD
  • added: variable CANNOT_ASSIGN_TO_TYPE
  • added: variable CANNOT_INFER_ITEM_TYPE
  • added: variable CANNOT_INFER_LAMBDA_TYPE
  • added: variable COMMON_MISTAKES
  • added: variable FORMAT_REQUIRES_MAPPING
  • added: variable FUNCTION_PARAMETER_CANNOT_BE_COVARIANT
  • added: variable FUNCTION_TYPE_EXPECTED
  • added: variable INCOMPATIBLE_IMPORT_OF
  • added: variable INCOMPATIBLE_REDEFINITION
  • added: variable INCOMPATIBLE_RETURN_VALUE_TYPE
  • added: variable INCOMPATIBLE_TYPES
  • added: variable INCOMPATIBLE_TYPES_IN_ASSIGNMENT
  • added: variable INCOMPATIBLE_TYPES_IN_ASYNC_FOR
  • added: variable INCOMPATIBLE_TYPES_IN_ASYNC_WITH_AENTER
  • added: variable INCOMPATIBLE_TYPES_IN_ASYNC_WITH_AEXIT
  • added: variable INCOMPATIBLE_TYPES_IN_AWAIT
  • added: variable INCOMPATIBLE_TYPES_IN_STR_INTERPOLATION
  • added: variable INCOMPATIBLE_TYPES_IN_YIELD
  • added: variable INCOMPATIBLE_TYPES_IN_YIELD_FROM
  • added: variable INCONSISTENT_ABSTRACT_OVERLOAD
  • added: variable INVALID_EXCEPTION
  • added: variable INVALID_EXCEPTION_TYPE
  • added: variable INVALID_GENERATOR_RETURN_ITEM_TYPE
  • added: variable INVALID_RETURN_TYPE_FOR_GENERATOR
  • added: variable INVALID_SLICE_INDEX
  • added: variable INVALID_TYPEDDICT_ARGS
  • added: variable ITERABLE_EXPECTED
  • added: variable KEYWORD_ARGUMENT_REQUIRES_STR_KEY_TYPE
  • added: variable MISSING_RETURN_STATEMENT
  • added: variable MUST_HAVE_NONE_RETURN_TYPE
  • added: variable NEED_ANNOTATION_FOR_VAR
  • added: variable NO_RETURN_VALUE_EXPECTED
  • added: variable ONLY_CLASS_APPLICATION
  • added: variable READ_ONLY_PROPERTY_OVERRIDES_READ_WRITE
  • added: variable RETURN_TYPE_CANNOT_BE_CONTRAVARIANT
  • added: variable RETURN_TYPE_EXPECTED
  • added: variable RETURN_VALUE_EXPECTED
  • added: variable TUPLE_INDEX_MUST_BE_AN_INT_LITERAL
  • added: variable TUPLE_INDEX_OUT_OF_RANGE
  • added: variable TUPLE_SLICE_MUST_BE_AN_INT_LITERAL
  • added: variable TYPEDDICT_ITEM_NAME_MUST_BE_STRING_LITERAL
  • added: variable YIELD_VALUE_EXPECTED
  • added: function is_in_module_collection(collection: Set[str], id: str) -> bool
  • added: function is_py2_std_lib_module(id: str) -> bool
  • added: function is_py3_std_lib_module(id: str) -> bool
  • added: function is_third_party_module(id: str) -> bool
  • added: variable common_std_lib_modules
  • added: variable python2_std_lib_modules
  • added: variable python3_std_lib_modules
  • added: variable third_party_modules
  • removed: variable FUNC_MODULE_PREFIX_LEN
  • removed: variable LOCAL
  • removed: variable LOOKUP
  • added: class Argument(Node)
  • added: class AssertStmt(Statement)
  • added: class AssignmentStmt(Statement)
  • added: class AwaitExpr(Expression)
  • added: class BackquoteExpr(Expression)
  • added: class Block(Statement)
  • added: class BreakStmt(Statement)
  • added: class BytesExpr(Expression)
  • added: class CallExpr(Expression)
  • added: class CastExpr(Expression)
  • added: class ClassDef(Statement)
  • added: class ComparisonExpr(Expression)
  • added: class ComplexExpr(Expression)
  • added: class ConditionalExpr(Expression)
  • added: class Context
  • added: class ContinueStmt(Statement)
  • added: class Decorator(SymbolNode, Statement)
  • added: class DelStmt(Statement)
  • added: class DictExpr(Expression)
  • added: class DictionaryComprehension(Expression)
  • added: class EllipsisExpr(Expression)
  • added: class ExecStmt(Statement)
  • added: class Expression(Node)
  • added: class ExpressionStmt(Statement)
  • added: class FloatExpr(Expression)
  • added: class ForStmt(Statement)
  • added: class FuncBase(Node)
  • added: class FuncDef(FuncItem, SymbolNode, Statement)
  • added: class FuncExpr(FuncItem, Expression)
  • added: class FuncItem(FuncBase)
  • added: class GeneratorExpr(Expression)
  • added: class GlobalDecl(Statement)
  • added: class IfStmt(Statement)
  • added: class Import(ImportBase)
  • added: class ImportAll(ImportBase)
  • added: class ImportBase(Statement)
  • added: class ImportFrom(ImportBase)
  • added: class IndexExpr(Expression)
  • added: class IntExpr(Expression)
  • added: class ListComprehension(Expression)
  • added: class ListExpr(Expression)
  • added: class MemberExpr(RefExpr)
  • added: class MroError(Exception)
  • added: class MypyFile(SymbolNode)
  • added: class NameExpr(RefExpr)
  • added: class NamedTupleExpr(Expression)
  • added: class NewTypeExpr(Expression)
  • added: class Node(Context)
  • added: class NonlocalDecl(Statement)
  • added: class OpExpr(Expression)
  • added: class OperatorAssignmentStmt(Statement)
  • added: class OverloadedFuncDef(FuncBase, SymbolNode, Statement)
  • added: class PassStmt(Statement)
  • added: class PrintStmt(Statement)
  • added: class PromoteExpr(Expression)
  • added: class RaiseStmt(Statement)
  • added: class RefExpr(Expression)
  • added: class ReturnStmt(Statement)
  • added: class RevealTypeExpr(Expression)
  • added: class SetComprehension(Expression)
  • added: class SetExpr(Expression)
  • added: class SliceExpr(Expression)
  • added: class StarExpr(Expression)
  • added: class Statement(Node)
  • added: class StrExpr(Expression)
  • added: class SuperExpr(Expression)
  • added: class SymbolNode(Node)
  • added: class SymbolTable(Dict[str, SymbolTableNode])
  • added: class SymbolTableNode
  • added: class TempNode(Expression)
  • added: class TryStmt(Statement)
  • added: class TupleExpr(Expression)
  • added: class TypeAliasExpr(Expression)
  • added: class TypeApplication(Expression)
  • added: class TypeInfo(SymbolNode)
  • added: class TypeVarExpr(SymbolNode, Expression)
  • added: class TypedDictExpr(Expression)
  • added: class UnaryExpr(Expression)
  • added: class UnicodeExpr(Expression)
  • added: class Var(SymbolNode)
  • added: class WhileStmt(Statement)
  • added: class WithStmt(Statement)
  • added: class YieldExpr(Expression)
  • added: class YieldFromExpr(Expression)
  • added: constructor Argument(variable: Var, type_annotation: Optional[mypy.types.Type], initializer: Optional[Expression], kind: int, initialization_statement: Optional[AssignmentStmt]=…) -> None
  • added: constructor AssertStmt(expr: Expression) -> None
  • added: constructor AssignmentStmt(lvalues: List[Lvalue], rvalue: Expression, type: mypy.types.Type=…, new_syntax: bool=…) -> None
  • added: constructor AwaitExpr(expr: Expression) -> None
  • added: constructor BackquoteExpr(expr: Expression) -> None
  • added: constructor Block(body: List[Statement]) -> None
  • added: constructor BytesExpr(value: str) -> None
  • added: constructor CallExpr(callee: Expression, args: List[Expression], arg_kinds: List[int], arg_names: List[str]=…, analyzed: Expression=…) -> None
  • added: constructor CastExpr(expr: Expression, typ: mypy.types.Type) -> None
  • added: constructor ClassDef(name: str, defs: Block, type_vars: List[mypy.types.TypeVarDef]=…, base_type_exprs: List[Expression]=…, metaclass: str=…) -> None
  • added: constructor ComparisonExpr(operators: List[str], operands: List[Expression]) -> None
  • added: constructor ComplexExpr(value: complex) -> None
  • added: constructor ConditionalExpr(cond: Expression, if_expr: Expression, else_expr: Expression) -> None
  • added: constructor Decorator(func: FuncDef, decorators: List[Expression], var: Var) -> None
  • added: constructor DelStmt(expr: Lvalue) -> None
  • added: constructor DictExpr(items: List[Tuple[Expression, Expression]]) -> None
  • added: constructor DictionaryComprehension(key: Expression, value: Expression, indices: List[Lvalue], sequences: List[Expression], condlists: List[List[Expression]]) -> None
  • added: constructor ExecStmt(expr: Expression, variables1: Optional[Expression], variables2: Optional[Expression]) -> None
  • added: constructor ExpressionStmt(expr: Expression) -> None
  • added: constructor FloatExpr(value: float) -> None
  • added: constructor ForStmt(index: Lvalue, expr: Expression, body: Block, else_body: Block) -> None
  • added: constructor FuncDef(name: str, arguments: List[Argument], body: Block, typ: mypy.types.FunctionLike=…) -> None
  • added: constructor FuncItem(arguments: List[Argument], body: Block, typ: mypy.types.FunctionLike=…) -> None
  • added: constructor GeneratorExpr(left_expr: Expression, indices: List[Lvalue], sequences: List[Expression], condlists: List[List[Expression]]) -> None
  • added: constructor GlobalDecl(names: List[str]) -> None
  • added: constructor IfStmt(expr: List[Expression], body: List[Block], else_body: Block) -> None
  • added: constructor Import(ids: List[Tuple[str, Optional[str]]]) -> None
  • added: constructor ImportAll(id: str, relative: int) -> None
  • added: constructor ImportBase() -> None
  • added: constructor ImportFrom(id: str, relative: int, names: List[Tuple[str, Optional[str]]]) -> None
  • added: constructor IndexExpr(base: Expression, index: Expression) -> None
  • added: constructor IntExpr(value: int) -> None
  • added: constructor ListComprehension(generator: GeneratorExpr) -> None
  • added: constructor ListExpr(items: List[Expression]) -> None
  • added: constructor MemberExpr(expr: Expression, name: str) -> None
  • added: constructor MypyFile(defs: List[Statement], imports: List[ImportBase], is_bom: bool=…, ignored_lines: Set[int]=…) -> None
  • added: constructor NameExpr(name: str) -> None
  • added: constructor NamedTupleExpr(info: TypeInfo) -> None
  • added: constructor NewTypeExpr(name: str, old_type: mypy.types.Type, line: int) -> None
  • added: constructor NonlocalDecl(names: List[str]) -> None
  • added: constructor OpExpr(op: str, left: Expression, right: Expression) -> None
  • added: constructor OperatorAssignmentStmt(op: str, lvalue: Lvalue, rvalue: Expression) -> None
  • added: constructor OverloadedFuncDef(items: List[Decorator]) -> None
  • added: constructor PrintStmt(args: List[Expression], newline: bool, target: Expression=…) -> None
  • added: constructor PromoteExpr(type: mypy.types.Type) -> None
  • added: constructor RaiseStmt(expr: Expression, from_expr: Expression=…) -> None
  • added: constructor ReturnStmt(expr: Optional[Expression]) -> None
  • added: constructor RevealTypeExpr(expr: Expression) -> None
  • added: constructor SetComprehension(generator: GeneratorExpr) -> None
  • added: constructor SetExpr(items: List[Expression]) -> None
  • added: constructor SliceExpr(begin_index: Optional[Expression], end_index: Optional[Expression], stride: Optional[Expression]) -> None
  • added: constructor StarExpr(expr: Expression) -> None
  • added: constructor StrExpr(value: str) -> None
  • added: constructor SuperExpr(name: str) -> None
  • added: constructor SymbolTableNode(kind: int, node: Optional[SymbolNode], mod_id: str=…, typ: mypy.types.Type=…, tvar_def: mypy.types.TypeVarDef=…, module_public: bool=…) -> None
  • added: constructor TempNode(typ: mypy.types.Type) -> None
  • added: constructor TryStmt(body: Block, vars: List[NameExpr], types: List[Expression], handlers: List[Block], else_body: Block, finally_body: Block) -> None
  • added: constructor TupleExpr(items: List[Expression]) -> None
  • added: constructor TypeAliasExpr(type: mypy.types.Type, fallback: mypy.types.Type=…, in_runtime: bool=…) -> None
  • added: constructor TypeApplication(expr: Expression, types: List[mypy.types.Type]) -> None
  • added: constructor TypeInfo(names: SymbolTable, defn: ClassDef, module_name: str) -> None
  • added: constructor TypeVarExpr(name: str, fullname: str, values: List[mypy.types.Type], upper_bound: mypy.types.Type, variance: int=…) -> None
  • added: constructor TypedDictExpr(info: TypeInfo) -> None
  • added: constructor UnaryExpr(op: str, expr: Expression) -> None
  • added: constructor UnicodeExpr(value: str) -> None
  • added: constructor Var(name: str, type: mypy.types.Type=…) -> None
  • added: constructor WhileStmt(expr: Expression, body: Block, else_body: Block) -> None
  • added: constructor WithStmt(expr: List[Expression], target: List[Lvalue], body: Block) -> None
  • added: constructor YieldExpr(expr: Optional[Expression]) -> None
  • added: constructor YieldFromExpr(expr: Expression) -> None
  • added: field Argument.initialization_statement
  • added: field Argument.initializer
  • added: field Argument.kind
  • added: field Argument.type_annotation
  • added: field Argument.variable
  • added: field AssertStmt.expr
  • added: field AssignmentStmt.lvalues
  • added: field AssignmentStmt.new_syntax
  • added: field AssignmentStmt.rvalue
  • added: field AssignmentStmt.type
  • added: field AwaitExpr.expr
  • added: field BackquoteExpr.expr
  • added: field Block.body
  • added: field Block.is_unreachable
  • added: field BytesExpr.literal
  • added: field BytesExpr.value
  • added: field CallExpr.analyzed
  • added: field CallExpr.arg_kinds
  • added: field CallExpr.arg_names
  • added: field CallExpr.args
  • added: field CallExpr.callee
  • added: field CastExpr.expr
  • added: field CastExpr.type
  • added: field ClassDef.base_type_exprs
  • added: field ClassDef.decorators
  • added: field ClassDef.defs
  • added: field ClassDef.fullname
  • added: field ClassDef.has_incompatible_baseclass
  • added: field ClassDef.info
  • added: field ClassDef.metaclass
  • added: field ClassDef.name
  • added: field ClassDef.type_vars
  • added: field ComparisonExpr.method_types
  • added: field ComparisonExpr.operands
  • added: field ComparisonExpr.operators
  • added: field ComplexExpr.literal
  • added: field ComplexExpr.value
  • added: field ConditionalExpr.cond
  • added: field ConditionalExpr.else_expr
  • added: field ConditionalExpr.if_expr
  • added: field Decorator.decorators
  • added: field Decorator.func
  • added: field Decorator.is_overload
  • added: field Decorator.var
  • added: field DelStmt.expr
  • added: field DictExpr.items
  • added: field DictionaryComprehension.condlists
  • added: field DictionaryComprehension.indices
  • added: field DictionaryComprehension.key
  • added: field DictionaryComprehension.sequences
  • added: field DictionaryComprehension.value
  • added: field ExecStmt.expr
  • added: field ExecStmt.variables1
  • added: field ExecStmt.variables2
  • added: field ExpressionStmt.expr
  • added: field FloatExpr.literal
  • added: field FloatExpr.value
  • added: field ForStmt.body
  • added: field ForStmt.else_body
  • added: field ForStmt.expr
  • added: field ForStmt.index
  • added: field ForStmt.is_async
  • added: field FuncBase.info
  • added: field FuncBase.is_property
  • added: field FuncBase.type
  • added: field FuncDef.FLAGS
  • added: field FuncDef.is_abstract
  • added: field FuncDef.is_conditional
  • added: field FuncDef.is_decorated
  • added: field FuncDef.is_property
  • added: field FuncDef.original_def
  • added: field FuncItem.FLAGS
  • added: field FuncItem.arg_kinds
  • added: field FuncItem.arg_names
  • added: field FuncItem.arguments
  • added: field FuncItem.body
  • added: field FuncItem.expanded
  • added: field FuncItem.is_awaitable_coroutine
  • added: field FuncItem.is_class
  • added: field FuncItem.is_coroutine
  • added: field FuncItem.is_generator
  • added: field FuncItem.is_overload
  • added: field FuncItem.is_static
  • added: field FuncItem.max_pos
  • added: field FuncItem.min_args
  • added: field GeneratorExpr.condlists
  • added: field GeneratorExpr.indices
  • added: field GeneratorExpr.left_expr
  • added: field GeneratorExpr.sequences
  • added: field GlobalDecl.names
  • added: field IfStmt.body
  • added: field IfStmt.else_body
  • added: field IfStmt.expr
  • added: field Import.ids
  • added: field ImportAll.id
  • added: field ImportAll.relative
  • added: field ImportBase.assignments
  • added: field ImportBase.is_mypy_only
  • added: field ImportBase.is_top_level
  • added: field ImportBase.is_unreachable
  • added: field ImportFrom.id
  • added: field ImportFrom.names
  • added: field ImportFrom.relative
  • added: field IndexExpr.analyzed
  • added: field IndexExpr.base
  • added: field IndexExpr.index
  • added: field IndexExpr.method_type
  • added: field IntExpr.literal
  • added: field IntExpr.value
  • added: field ListComprehension.generator
  • added: field ListExpr.items
  • added: field MemberExpr.def_var
  • added: field MemberExpr.expr
  • added: field MemberExpr.name
  • added: field MypyFile.defs
  • added: field MypyFile.ignored_lines
  • added: field MypyFile.imports
  • added: field MypyFile.is_bom
  • added: field MypyFile.is_stub
  • added: field MypyFile.names
  • added: field MypyFile.path
  • added: field NameExpr.literal
  • added: field NameExpr.name
  • added: field NamedTupleExpr.info
  • added: field NewTypeExpr.info
  • added: field NewTypeExpr.name
  • added: field NewTypeExpr.old_type
  • added: field Node.column
  • added: field Node.line
  • added: field Node.literal
  • added: field Node.literal_hash
  • added: field NonlocalDecl.names
  • added: field OpExpr.left
  • added: field OpExpr.method_type
  • added: field OpExpr.op
  • added: field OpExpr.right
  • added: field OperatorAssignmentStmt.lvalue
  • added: field OperatorAssignmentStmt.op
  • added: field OperatorAssignmentStmt.rvalue
  • added: field OverloadedFuncDef.items
  • added: field PrintStmt.args
  • added: field PrintStmt.newline
  • added: field PrintStmt.target
  • added: field PromoteExpr.type
  • added: field RaiseStmt.expr
  • added: field RaiseStmt.from_expr
  • added: field RefExpr.fullname
  • added: field RefExpr.is_def
  • added: field RefExpr.kind
  • added: field RefExpr.node
  • added: field ReturnStmt.expr
  • added: field RevealTypeExpr.expr
  • added: field SetComprehension.generator
  • added: field SetExpr.items
  • added: field SliceExpr.begin_index
  • added: field SliceExpr.end_index
  • added: field SliceExpr.stride
  • added: field StarExpr.expr
  • added: field StrExpr.literal
  • added: field StrExpr.value
  • added: field SuperExpr.info
  • added: field SuperExpr.name
  • added: field SymbolTableNode.cross_ref
  • added: field SymbolTableNode.kind
  • added: field SymbolTableNode.mod_id
  • added: field SymbolTableNode.module_public
  • added: field SymbolTableNode.node
  • added: field SymbolTableNode.tvar_def
  • added: field SymbolTableNode.type_override
  • added: field TempNode.type
  • added: field TryStmt.body
  • added: field TryStmt.else_body
  • added: field TryStmt.finally_body
  • added: field TryStmt.handlers
  • added: field TryStmt.types
  • added: field TryStmt.vars
  • added: field TupleExpr.items
  • added: field TypeAliasExpr.fallback
  • added: field TypeAliasExpr.in_runtime
  • added: field TypeAliasExpr.type
  • added: field TypeApplication.expr
  • added: field TypeApplication.types
  • added: field TypeInfo.FLAGS
  • added: field TypeInfo.abstract_attributes
  • added: field TypeInfo.alt_fullname
  • added: field TypeInfo.bases
  • added: field TypeInfo.defn
  • added: field TypeInfo.fallback_to_any
  • added: field TypeInfo.is_abstract
  • added: field TypeInfo.is_enum
  • added: field TypeInfo.is_named_tuple
  • added: field TypeInfo.is_newtype
  • added: field TypeInfo.module_name
  • added: field TypeInfo.mro
  • added: field TypeInfo.names
  • added: field TypeInfo.subtypes
  • added: field TypeInfo.tuple_type
  • added: field TypeInfo.type_vars
  • added: field TypeInfo.typeddict_type
  • added: field TypeVarExpr.upper_bound
  • added: field TypeVarExpr.values
  • added: field TypeVarExpr.variance
  • added: field TypedDictExpr.info
  • added: field UnaryExpr.expr
  • added: field UnaryExpr.method_type
  • added: field UnaryExpr.op
  • added: field UnicodeExpr.literal
  • added: field UnicodeExpr.value
  • added: field Var.FLAGS
  • added: field Var.info
  • added: field Var.is_classmethod
  • added: field Var.is_inferred
  • added: field Var.is_initialized_in_class
  • added: field Var.is_property
  • added: field Var.is_ready
  • added: field Var.is_self
  • added: field Var.is_settable_property
  • added: field Var.is_staticmethod
  • added: field Var.is_suppressed_import
  • added: field Var.type
  • added: field WhileStmt.body
  • added: field WhileStmt.else_body
  • added: field WhileStmt.expr
  • added: field WithStmt.body
  • added: field WithStmt.expr
  • added: field WithStmt.is_async
  • added: field WithStmt.target
  • added: field YieldExpr.expr
  • added: field YieldFromExpr.expr
  • added: function get_flags(node: Node, names: List[str]) -> List[str]
  • added: function linearize_hierarchy(info: TypeInfo) -> List[TypeInfo]
  • added: function merge(seqs: List[List[TypeInfo]]) -> List[TypeInfo]
  • added: function set_flags(node: Node, flags: List[str]) -> None
  • added: method Argument.set_line(target: Union[Token, Node, int], column: int=…) -> None
  • added: method AssertStmt.accept(visitor: NodeVisitor[T]) -> T
  • added: method AssignmentStmt.accept(visitor: NodeVisitor[T]) -> T
  • added: method AwaitExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method BackquoteExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method Block.accept(visitor: NodeVisitor[T]) -> T
  • added: method BreakStmt.accept(visitor: NodeVisitor[T]) -> T
  • added: method BytesExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method CallExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method CastExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method ClassDef.accept(visitor: NodeVisitor[T]) -> T
  • added: method ClassDef.is_generic() -> bool
  • added: method ClassDef.serialize() -> JsonDict
  • added: method ComparisonExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method ComplexExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method ConditionalExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method Context.get_column() -> int
  • added: method Context.get_line() -> int
  • added: method ContinueStmt.accept(visitor: NodeVisitor[T]) -> T
  • added: method Decorator.accept(visitor: NodeVisitor[T]) -> T
  • added: method Decorator.fullname() -> str
  • added: method Decorator.name() -> str
  • added: method Decorator.serialize() -> JsonDict
  • added: method DelStmt.accept(visitor: NodeVisitor[T]) -> T
  • added: method DictExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method DictionaryComprehension.accept(visitor: NodeVisitor[T]) -> T
  • added: method EllipsisExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method ExecStmt.accept(visitor: NodeVisitor[T]) -> T
  • added: method ExpressionStmt.accept(visitor: NodeVisitor[T]) -> T
  • added: method FloatExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method ForStmt.accept(visitor: NodeVisitor[T]) -> T
  • added: method FuncBase.fullname() -> str
  • added: method FuncBase.name() -> str
  • added: method FuncDef.accept(visitor: NodeVisitor[T]) -> T
  • added: method FuncDef.name() -> str
  • added: method FuncDef.serialize() -> JsonDict
  • added: method FuncExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method FuncExpr.expr() -> Expression
  • added: method FuncExpr.name() -> str
  • added: method FuncItem.is_dynamic() -> bool
  • added: method FuncItem.max_fixed_argc() -> int
  • added: method FuncItem.set_line(target: Union[Token, Node, int], column: int=…) -> None
  • added: method GeneratorExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method GlobalDecl.accept(visitor: NodeVisitor[T]) -> T
  • added: method IfStmt.accept(visitor: NodeVisitor[T]) -> T
  • added: method Import.accept(visitor: NodeVisitor[T]) -> T
  • added: method ImportAll.accept(visitor: NodeVisitor[T]) -> T
  • added: method ImportFrom.accept(visitor: NodeVisitor[T]) -> T
  • added: method IndexExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method IntExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method ListComprehension.accept(visitor: NodeVisitor[T]) -> T
  • added: method ListExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method MemberExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method MypyFile.accept(visitor: NodeVisitor[T]) -> T
  • added: method MypyFile.fullname() -> str
  • added: method MypyFile.is_package_init_file() -> bool
  • added: method MypyFile.name() -> str
  • added: method MypyFile.serialize() -> JsonDict
  • added: method NameExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method NameExpr.serialize() -> JsonDict
  • added: method NamedTupleExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method NewTypeExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method Node.accept(visitor: NodeVisitor[T]) -> T
  • added: method Node.get_column() -> int
  • added: method Node.get_line() -> int
  • added: method Node.set_line(target: Union[Token, Node, int], column: int=…) -> None
  • added: method NonlocalDecl.accept(visitor: NodeVisitor[T]) -> T
  • added: method OpExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method OperatorAssignmentStmt.accept(visitor: NodeVisitor[T]) -> T
  • added: method OverloadedFuncDef.accept(visitor: NodeVisitor[T]) -> T
  • added: method OverloadedFuncDef.name() -> str
  • added: method OverloadedFuncDef.serialize() -> JsonDict
  • added: method PassStmt.accept(visitor: NodeVisitor[T]) -> T
  • added: method PrintStmt.accept(visitor: NodeVisitor[T]) -> T
  • added: method PromoteExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method RaiseStmt.accept(visitor: NodeVisitor[T]) -> T
  • added: method ReturnStmt.accept(visitor: NodeVisitor[T]) -> T
  • added: method RevealTypeExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method SetComprehension.accept(visitor: NodeVisitor[T]) -> T
  • added: method SetExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method SliceExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method StarExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method StrExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method SuperExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method SymbolNode.fullname() -> str
  • added: method SymbolNode.name() -> str
  • added: method SymbolNode.serialize() -> JsonDict
  • added: method SymbolTable.serialize(fullname: str) -> JsonDict
  • added: method SymbolTableNode.serialize(prefix: str, name: str) -> JsonDict
  • added: method TempNode.accept(visitor: NodeVisitor[T]) -> T
  • added: method TryStmt.accept(visitor: NodeVisitor[T]) -> T
  • added: method TupleExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method TypeAliasExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method TypeApplication.accept(visitor: NodeVisitor[T]) -> T
  • added: method TypeInfo.calculate_mro() -> None
  • added: method TypeInfo.direct_base_classes() -> List[TypeInfo]
  • added: method TypeInfo.fullname() -> str
  • added: method TypeInfo.get(name: str) -> SymbolTableNode
  • added: method TypeInfo.get_method(name: str) -> FuncBase
  • added: method TypeInfo.has_base(fullname: str) -> bool
  • added: method TypeInfo.has_method(name: str) -> bool
  • added: method TypeInfo.has_readable_member(name: str) -> bool
  • added: method TypeInfo.is_generic() -> bool
  • added: method TypeInfo.name() -> str
  • added: method TypeInfo.serialize() -> JsonDict
  • added: method TypeVarExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method TypeVarExpr.fullname() -> str
  • added: method TypeVarExpr.name() -> str
  • added: method TypeVarExpr.serialize() -> JsonDict
  • added: method TypedDictExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method UnaryExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method UnicodeExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method Var.accept(visitor: NodeVisitor[T]) -> T
  • added: method Var.fullname() -> str
  • added: method Var.name() -> str
  • added: method Var.serialize() -> JsonDict
  • added: method WhileStmt.accept(visitor: NodeVisitor[T]) -> T
  • added: method WithStmt.accept(visitor: NodeVisitor[T]) -> T
  • added: method YieldExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: method YieldFromExpr.accept(visitor: NodeVisitor[T]) -> T
  • added: property SymbolTableNode.fullname -> str
  • added: property SymbolTableNode.type -> mypy.types.Type
  • added: static method ClassDef.deserialize(data: JsonDict) -> ClassDef
  • added: static method Decorator.deserialize(data: JsonDict) -> Decorator
  • added: static method FuncDef.deserialize(data: JsonDict) -> FuncDef
  • added: static method MypyFile.deserialize(data: JsonDict) -> MypyFile
  • added: static method NameExpr.deserialize(data: JsonDict) -> NameExpr
  • added: static method OverloadedFuncDef.deserialize(data: JsonDict) -> OverloadedFuncDef
  • added: static method SymbolNode.deserialize(data: JsonDict) -> SymbolNode
  • added: static method SymbolTable.deserialize(data: JsonDict) -> SymbolTable
  • added: static method SymbolTableNode.deserialize(data: JsonDict) -> SymbolTableNode
  • added: static method TypeInfo.deserialize(data: JsonDict) -> TypeInfo
  • added: static method TypeVarExpr.deserialize(data: JsonDict) -> TypeVarExpr
  • added: static method Var.deserialize(data: JsonDict) -> Var
  • added: variable ARG_NAMED
  • added: variable ARG_NAMED_OPT
  • added: variable ARG_OPT
  • added: variable ARG_POS
  • added: variable ARG_STAR
  • added: variable ARG_STAR2
  • added: variable BOUND_TVAR
  • added: variable CONTRAVARIANT
  • added: variable COVARIANT
  • added: variable ENUM_BASECLASS
  • added: variable GDEF
  • added: variable INVARIANT
  • added: variable JsonDict
  • added: variable Key
  • added: variable LDEF
  • added: variable LITERAL_NO
  • added: variable LITERAL_TYPE
  • added: variable LITERAL_YES
  • added: variable Lvalue
  • added: variable MDEF
  • added: variable MODULE_REF
  • added: variable T
  • added: variable TYPE_ALIAS
  • added: variable UNBOUND_IMPORTED
  • added: variable UNBOUND_TVAR
  • added: variable comparison_fallback_method
  • added: variable implicit_module_attrs
  • added: variable inplace_operator_methods
  • added: variable inverse_node_kinds
  • added: variable node_kinds
  • added: variable normal_from_reverse_op
  • added: variable op_methods
  • added: variable ops_falling_back_to_cmp
  • added: variable ops_with_inplace_method
  • added: variable reverse_op_method_set
  • added: variable reverse_op_methods
  • added: variable reverse_type_aliases
  • added: variable type_aliases
  • added: class BuildType
  • added: class Options
  • added: constructor Options() -> None
  • added: field BuildType.MODULE
  • added: field BuildType.PROGRAM_TEXT
  • added: field BuildType.STANDARD
  • added: field Options.OPTIONS_AFFECTING_CACHE
  • added: field Options.PER_MODULE_OPTIONS
  • added: method Options.clone_for_module(module: str) -> Options
  • added: method Options.module_matches_pattern(module: str, pattern: Pattern[str]) -> bool
  • added: method Options.select_options_affecting_cache() -> Mapping[str, bool]
  • added: class ParseError(Exception)
  • added: class Parser
  • added: constructor Parser(fnam: str, errors: Errors, pyversion: Tuple[int, int], custom_typing_module: str=…, is_stub_file: bool=…) -> None
  • added: field Parser.annotation_prefix_re
  • added: field Parser.errors
  • added: field Parser.future_options
  • added: field Parser.ignore_prefix_re
  • added: field Parser.ignored_lines
  • added: field Parser.imports
  • added: field Parser.ind
  • added: field Parser.is_class_body
  • added: field Parser.octal_int
  • added: field Parser.raise_on_error
  • added: field Parser.tok
  • added: function parse(source: Union[str, bytes], fnam: str, errors: Errors, options: Options) -> MypyFile
  • added: function token_repr(tok: Token) -> str
  • added: function usage() -> None
  • added: method Parser.build_func_annotation(ret_type: Type, args: List[Argument], line: int, column: int, is_default_ret: bool=…, *, include_names: bool=…) -> CallableType
  • added: method Parser.check_argument_kinds(funckinds: List[int], sigkinds: List[int], line: int, column: int) -> None
  • added: method Parser.check_duplicate_argument_names(names: List[str]) -> None
  • added: method Parser.construct_function_type(args: List[Argument], ret_type: Type, line: int, column: int, include_names: bool=…) -> CallableType
  • added: method Parser.current() -> Token
  • added: method Parser.current_str() -> str
  • added: method Parser.eof() -> bool
  • added: method Parser.eol() -> bool
  • added: method Parser.expect(string: str) -> Token
  • added: method Parser.expect_break() -> Token
  • added: method Parser.expect_indent() -> Token
  • added: method Parser.expect_type(typ: type) -> Token
  • added: method Parser.fail(msg: str, line: int, column: int) -> None
  • added: method Parser.find_tuple_arg_argument_names(node: Expression) -> List[str]
  • added: method Parser.is_no_type_check_decorator(expr: Expression) -> bool
  • added: method Parser.parse(s: Union[str, bytes]) -> MypyFile
  • added: method Parser.parse_arg_expr() -> Tuple[List[Expression], List[int], List[str]]
  • added: method Parser.parse_arg_list(allow_signature: bool=…, no_type_checks: bool=…) -> Tuple[List[Argument], List[AssignmentStmt]]
  • added: method Parser.parse_arg_type(allow_signature: bool) -> Type
  • added: method Parser.parse_args(no_type_checks: bool=…, include_names: bool=…) -> Tuple[List[Argument], CallableType, List[AssignmentStmt]]
  • added: method Parser.parse_assert_stmt() -> AssertStmt
  • added: method Parser.parse_assignment(lvalue: Expression) -> AssignmentStmt
  • added: method Parser.parse_asterisk_arg(allow_signature: bool, no_type_checks: bool) -> Argument
  • added: method Parser.parse_backquote_expr() -> BackquoteExpr
  • added: method Parser.parse_bin_op_expr(left: Expression, prec: int) -> OpExpr
  • added: method Parser.parse_block(allow_type: bool=…) -> Tuple[Block, Type]
  • added: method Parser.parse_bom() -> bool
  • added: method Parser.parse_break_stmt() -> BreakStmt
  • added: method Parser.parse_bytes_literal() -> Union[BytesExpr, StrExpr]
  • added: method Parser.parse_call_expr(callee: Expression) -> CallExpr
  • added: method Parser.parse_class_def() -> ClassDef
  • added: method Parser.parse_class_keywords() -> Optional[str]
  • added: method Parser.parse_comp_for() -> Tuple[List[Expression], List[Expression], List[List[Expression]]]
  • added: method Parser.parse_comparison_expr(left: Expression, prec: int) -> ComparisonExpr
  • added: method Parser.parse_complex_expr() -> ComplexExpr
  • added: method Parser.parse_conditional_expr(left_expr: Expression) -> ConditionalExpr
  • added: method Parser.parse_continue_stmt() -> ContinueStmt
  • added: method Parser.parse_decorated_function_or_class() -> Union[Decorator, ClassDef]
  • added: method Parser.parse_defs() -> List[Statement]
  • added: method Parser.parse_del_stmt() -> DelStmt
  • added: method Parser.parse_dict_comprehension(key: Expression, value: Expression, colon: Token) -> DictionaryComprehension
  • added: method Parser.parse_dict_or_set_expr() -> Union[SetComprehension, SetExpr, DictionaryComprehension, DictExpr]
  • added: method Parser.parse_ellipsis() -> EllipsisExpr
  • added: method Parser.parse_empty_tuple_expr() -> TupleExpr
  • added: method Parser.parse_error() -> ParseError
  • added: method Parser.parse_error_at(tok: Token, skip: bool=…, reason: Optional[str]=…) -> None
  • added: method Parser.parse_exec_stmt() -> ExecStmt
  • added: method Parser.parse_expression(prec: int=…, star_expr_allowed: bool=…) -> Expression
  • added: method Parser.parse_expression_list() -> Expression
  • added: method Parser.parse_expression_or_assignment() -> Union[AssignmentStmt, OperatorAssignmentStmt, ExpressionStmt]
  • added: method Parser.parse_file() -> MypyFile
  • added: method Parser.parse_float_expr() -> FloatExpr
  • added: method Parser.parse_for_index_variables() -> Expression
  • added: method Parser.parse_for_stmt() -> ForStmt
  • added: method Parser.parse_function(no_type_checks: bool=…) -> FuncDef
  • added: method Parser.parse_function_header(no_type_checks: bool=…) -> Tuple[str, List[Argument], CallableType, bool, List[AssignmentStmt]]
  • added: method Parser.parse_generator_expr(left_expr: Expression) -> GeneratorExpr
  • added: method Parser.parse_global_decl() -> GlobalDecl
  • added: method Parser.parse_identifier_list() -> List[str]
  • added: method Parser.parse_if_stmt() -> IfStmt
  • added: method Parser.parse_import() -> Import
  • added: method Parser.parse_import_from() -> ImportBase
  • added: method Parser.parse_import_name() -> Tuple[str, Optional[str]]
  • added: method Parser.parse_index_expr(base: Expression) -> IndexExpr
  • added: method Parser.parse_int_expr() -> IntExpr
  • added: method Parser.parse_lambda_expr() -> FuncExpr
  • added: method Parser.parse_list_expr() -> Union[ListExpr, ListComprehension]
  • added: method Parser.parse_member_expr(expr: Expression) -> Union[SuperExpr, MemberExpr]
  • added: method Parser.parse_name_expr() -> NameExpr
  • added: method Parser.parse_nonlocal_decl() -> NonlocalDecl
  • added: method Parser.parse_normal_arg(require_named: bool, allow_signature: bool, no_type_checks: bool) -> Tuple[Argument, bool]
  • added: method Parser.parse_parameter_annotation() -> Expression
  • added: method Parser.parse_parentheses() -> Expression
  • added: method Parser.parse_pass_stmt() -> PassStmt
  • added: method Parser.parse_print_stmt() -> PrintStmt
  • added: method Parser.parse_qualified_name() -> str
  • added: method Parser.parse_raise_stmt() -> RaiseStmt
  • added: method Parser.parse_return_stmt() -> ReturnStmt
  • added: method Parser.parse_set_comprehension(expr: Expression) -> SetComprehension
  • added: method Parser.parse_set_expr(first: Expression) -> SetExpr
  • added: method Parser.parse_slice_item() -> Expression
  • added: method Parser.parse_star_expr() -> StarExpr
  • added: method Parser.parse_statement() -> Tuple[Statement, bool]
  • added: method Parser.parse_str_expr() -> Union[UnicodeExpr, StrExpr]
  • added: method Parser.parse_super_type() -> Expression
  • added: method Parser.parse_try_stmt() -> TryStmt
  • added: method Parser.parse_tuple_arg(index: int) -> Tuple[Argument, AssignmentStmt, List[str]]
  • added: method Parser.parse_tuple_expr(expr: Expression, prec: int=…) -> TupleExpr
  • added: method Parser.parse_type() -> Type
  • added: method Parser.parse_type_comment(token: Token, signature: bool) -> Type
  • added: method Parser.parse_unary_expr() -> UnaryExpr
  • added: method Parser.parse_unicode_literal() -> Union[StrExpr, UnicodeExpr]
  • added: method Parser.parse_while_stmt() -> WhileStmt
  • added: method Parser.parse_with_stmt() -> WithStmt
  • added: method Parser.parse_yield_or_yield_from_expr() -> Union[YieldFromExpr, YieldExpr]
  • added: method Parser.peek() -> Token
  • added: method Parser.set_type_optional(type: Type, initializer: Expression) -> None
  • added: method Parser.skip() -> Token
  • added: method Parser.skip_until_break() -> None
  • added: method Parser.skip_until_next_line() -> None
  • added: method Parser.translate_module_id(id: str) -> str
  • added: method Parser.try_combine_overloads(s: Statement, stmt: List[Statement]) -> bool
  • added: method Parser.verify_argument_kinds(kinds: List[int], line: int, column: int) -> None
  • added: method Parser.verify_tuple_arg(paren_arg: Expression) -> None
  • added: variable args
  • added: variable none
  • added: variable op_assign
  • added: variable op_comp
  • added: variable precedence
  • added: variable pyversion
  • added: variable quiet
  • added: variable status
  • added: class TypeParseError(Exception)
  • added: class TypeParser
  • added: constructor TypeParseError(token: Token, index: int, message: Optional[str]=…) -> None
  • added: constructor TypeParser(tok: List[Token], ind: int) -> None
  • added: function parse_signature(tokens: List[Token]) -> Tuple[CallableType, int]
  • added: function parse_str_as_type(typestr: str, line: int) -> Type
  • added: function parse_type(tok: List[Token], index: int) -> Tuple[Type, int]
  • added: function parse_types(tok: List[Token], index: int) -> Tuple[Type, int]
  • added: method TypeParser.current_token() -> Token
  • added: method TypeParser.current_token_str() -> str
  • added: method TypeParser.expect(string: str) -> Token
  • added: method TypeParser.expect_type(typ: type) -> Token
  • added: method TypeParser.index() -> int
  • added: method TypeParser.parse_ellipsis_type() -> Type
  • added: method TypeParser.parse_error() -> TypeParseError
  • added: method TypeParser.parse_named_type() -> Type
  • added: method TypeParser.parse_parens() -> Type
  • added: method TypeParser.parse_star_type() -> Type
  • added: method TypeParser.parse_type() -> Type
  • added: method TypeParser.parse_type_list() -> TypeList
  • added: method TypeParser.parse_types() -> Type
  • added: method TypeParser.skip() -> Token
  • added: variable none
  • removed: class CallLogger(object)
  • removed: class ProfileInfo
  • removed: constructor CallLogger(obj)
  • removed: constructor ProfileInfo(stage, pid, profiler_id=…)
  • removed: function ProfileMiddleware(application)
  • removed: function delete_profile_info(pid=…)
  • removed: function format_call(funcname, *a, **kw)
  • removed: function format_stats(stats, strip_dirs=…, sort=…)
  • removed: function get_profile_info(pid=…)
  • removed: function load_stats(filename=…)
  • removed: function on_profile_finished()
  • removed: function request_start_profile(request, profiler_id, req_count=…)
  • removed: function start_profile(filename=…)
  • removed: method ProfileInfo.get_stats()
  • removed: variable PROFILE_FUNC_LIST
  • removed: variable PROFILE_LIMIT
  • removed: variable PROFILE_LOG_FILENAME_PATTERN
  • removed: variable PROFILE_PICKLE_FILENAME_PATTERN
  • removed: variable normalize_re
  • removed: variable tempdir
  • removed: class JythonMonitor(Monitor)
  • removed: class Monitor(object)
  • removed: class classinstancemethod(object)
  • removed: constructor Monitor(poll_interval)
  • removed: constructor classinstancemethod(func)
  • removed: field Monitor.add_file_callback
  • removed: field Monitor.global_extra_files
  • removed: field Monitor.global_file_callbacks
  • removed: field Monitor.instances
  • removed: field Monitor.watch_file
  • removed: function install(poll_interval=…)
  • removed: method JythonMonitor.periodic_reload()
  • removed: method Monitor.add_file_callback(cls, callback)
  • removed: method Monitor.check_reload()
  • removed: method Monitor.periodic_reload()
  • removed: method Monitor.watch_file(cls, filename)
  • removed: variable add_file_callback
  • removed: variable watch_file
  • added: class AbstractReporter
  • added: class AbstractXmlReporter(AbstractReporter)
  • added: class CoberturaPackage(object)
  • added: class CoberturaXmlReporter(AbstractReporter)
  • added: class FileInfo
  • added: class FuncCounterVisitor(TraverserVisitor)
  • added: class LineCountReporter(AbstractReporter)
  • added: class LineCoverageReporter(AbstractReporter)
  • added: class LineCoverageVisitor(TraverserVisitor)
  • added: class MemoryXmlReporter(AbstractReporter)
  • added: class OldHtmlReporter(AbstractReporter)
  • added: class Reports
  • added: class XmlReporter(AbstractXmlReporter)
  • added: class XsltHtmlReporter(AbstractXmlReporter)
  • added: class XsltTxtReporter(AbstractXmlReporter)
  • added: constructor AbstractReporter(reports: Reports, output_dir: str) -> None
  • added: constructor AbstractXmlReporter(reports: Reports, output_dir: str) -> None
  • added: constructor CoberturaPackage(name: str) -> None
  • added: constructor CoberturaXmlReporter(reports: Reports, output_dir: str) -> None
  • added: constructor FileInfo(name: str, module: str) -> None
  • added: constructor FuncCounterVisitor() -> None
  • added: constructor LineCountReporter(reports: Reports, output_dir: str) -> None
  • added: constructor LineCoverageReporter(reports: Reports, output_dir: str) -> None
  • added: constructor LineCoverageVisitor(source: List[str]) -> None
  • added: constructor MemoryXmlReporter(reports: Reports, output_dir: str) -> None
  • added: constructor Reports(data_dir: str, report_dirs: Dict[str, str]) -> None
  • added: constructor XsltHtmlReporter(reports: Reports, output_dir: str) -> None
  • added: constructor XsltTxtReporter(reports: Reports, output_dir: str) -> None
  • added: function alias_reporter(source_reporter: str, target_reporter: str) -> None
  • added: function get_line_rate(covered_lines: int, total_lines: int) -> str
  • added: function register_reporter(report_name: str, reporter: Callable[[Reports, str], AbstractReporter], needs_lxml: bool=…) -> None
  • added: method AbstractReporter.on_file(tree: MypyFile, type_map: Dict[Expression, Type]) -> None
  • added: method AbstractReporter.on_finish() -> None
  • added: method CoberturaPackage.add_packages(parent_element: Any) -> None
  • added: method CoberturaPackage.as_xml() -> Any
  • added: method CoberturaXmlReporter.on_file(tree: MypyFile, type_map: Dict[Expression, Type]) -> None
  • added: method CoberturaXmlReporter.on_finish() -> None
  • added: method FileInfo.attrib() -> Dict[str, str]
  • added: method FileInfo.total() -> int
  • added: method FuncCounterVisitor.visit_func_def(defn: FuncDef) -> None
  • added: method LineCountReporter.on_file(tree: MypyFile, type_map: Dict[Expression, Type]) -> None
  • added: method LineCountReporter.on_finish() -> None
  • added: method LineCoverageReporter.on_file(tree: MypyFile, type_map: Dict[Expression, Type]) -> None
  • added: method LineCoverageReporter.on_finish() -> None
  • added: method LineCoverageVisitor.indentation_level(line_number: int) -> Optional[int]
  • added: method LineCoverageVisitor.visit_func_def(defn: FuncDef) -> None
  • added: method MemoryXmlReporter.on_file(tree: MypyFile, type_map: Dict[Expression, Type]) -> None
  • added: method MemoryXmlReporter.on_finish() -> None
  • added: method OldHtmlReporter.on_file(tree: MypyFile, type_map: Dict[Expression, Type]) -> None
  • added: method OldHtmlReporter.on_finish() -> None
  • added: method Reports.add_report(report_type: str, report_dir: str) -> AbstractReporter
  • added: method Reports.file(tree: MypyFile, type_map: Dict[Expression, Type]) -> None
  • added: method Reports.finish() -> None
  • added: method XmlReporter.on_file(tree: MypyFile, type_map: Dict[Expression, Type]) -> None
  • added: method XmlReporter.on_finish() -> None
  • added: method XsltHtmlReporter.on_file(tree: MypyFile, type_map: Dict[Expression, Type]) -> None
  • added: method XsltHtmlReporter.on_finish() -> None
  • added: method XsltTxtReporter.on_file(tree: MypyFile, type_map: Dict[Expression, Type]) -> None
  • added: method XsltTxtReporter.on_finish() -> None
  • added: variable LXML_INSTALLED
  • added: variable reporter_classes
  • removed: class RequestRoute(object)
  • removed: function route_render_doc(func)
  • removed: function route_render_func(func)
  • removed: function wrap_func(func)
  • removed: variable route
  • added: class SameTypeVisitor(TypeVisitor[bool])
  • added: constructor SameTypeVisitor(right: Type) -> None
  • added: function is_same_type(left: Type, right: Type) -> bool
  • added: function is_same_types(a1: Sequence[Type], a2: Sequence[Type]) -> bool
  • added: function simplify_union(t: Type) -> Type
  • added: method SameTypeVisitor.visit_any(left: AnyType) -> bool
  • added: method SameTypeVisitor.visit_callable_type(left: CallableType) -> bool
  • added: method SameTypeVisitor.visit_deleted_type(left: DeletedType) -> bool
  • added: method SameTypeVisitor.visit_erased_type(left: ErasedType) -> bool
  • added: method SameTypeVisitor.visit_error_type(left: ErrorType) -> bool
  • added: method SameTypeVisitor.visit_instance(left: Instance) -> bool
  • added: method SameTypeVisitor.visit_none_type(left: NoneTyp) -> bool
  • added: method SameTypeVisitor.visit_overloaded(left: Overloaded) -> bool
  • added: method SameTypeVisitor.visit_partial_type(left: PartialType) -> bool
  • added: method SameTypeVisitor.visit_tuple_type(left: TupleType) -> bool
  • added: method SameTypeVisitor.visit_type_list(t: TypeList) -> bool
  • added: method SameTypeVisitor.visit_type_type(left: TypeType) -> bool
  • added: method SameTypeVisitor.visit_type_var(left: TypeVarType) -> bool
  • added: method SameTypeVisitor.visit_typeddict_type(left: TypedDictType) -> bool
  • added: method SameTypeVisitor.visit_unbound_type(left: UnboundType) -> bool
  • added: method SameTypeVisitor.visit_uninhabited_type(t: UninhabitedType) -> bool
  • added: method SameTypeVisitor.visit_union_type(left: UnionType) -> bool
  • added: method SameTypeVisitor.visit_void(left: Void) -> bool
  • added: class FirstPass(NodeVisitor)
  • added: class MarkImportsMypyOnlyVisitor(TraverserVisitor)
  • added: class MarkImportsUnreachableVisitor(TraverserVisitor)
  • added: class SemanticAnalyzer(NodeVisitor)
  • added: class ThirdPass(TraverserVisitor)
  • added: constructor FirstPass(sem: SemanticAnalyzer) -> None
  • added: constructor SemanticAnalyzer(modules: Dict[str, MypyFile], missing_modules: Set[str], lib_path: List[str], errors: Errors) -> None
  • added: constructor ThirdPass(modules: Dict[str, MypyFile], errors: Errors) -> None
  • added: field SemanticAnalyzer.block_depth
  • added: field SemanticAnalyzer.bound_tvars
  • added: field SemanticAnalyzer.cur_mod_id
  • added: field SemanticAnalyzer.errors
  • added: field SemanticAnalyzer.function_stack
  • added: field SemanticAnalyzer.global_decls
  • added: field SemanticAnalyzer.globals
  • added: field SemanticAnalyzer.imports
  • added: field SemanticAnalyzer.is_stub_file
  • added: field SemanticAnalyzer.lib_path
  • added: field SemanticAnalyzer.locals
  • added: field SemanticAnalyzer.loop_depth
  • added: field SemanticAnalyzer.modules
  • added: field SemanticAnalyzer.next_function_tvar_id_stack
  • added: field SemanticAnalyzer.nonlocal_decls
  • added: field SemanticAnalyzer.options
  • added: field SemanticAnalyzer.postpone_nested_functions_stack
  • added: field SemanticAnalyzer.postponed_functions_stack
  • added: field SemanticAnalyzer.tvar_stack
  • added: field SemanticAnalyzer.type
  • added: field SemanticAnalyzer.type_stack
  • added: function calculate_class_mro(defn: ClassDef, fail: Callable[[str, Context], None]) -> None
  • added: function consider_sys_platform(expr: Expression, platform: str) -> int
  • added: function consider_sys_version_info(expr: Expression, pyversion: Tuple[int, ...]) -> int
  • added: function contains_int_or_tuple_of_ints(expr: Expression) -> Union[None, int, Tuple[int], Tuple[int, ...]]
  • added: function contains_sys_version_info(expr: Expression) -> Union[None, int, Tuple[Optional[int], Optional[int]]]
  • added: function disable_typevars(nodes: List[SymbolTableNode]) -> None
  • added: function enable_typevars(nodes: List[SymbolTableNode]) -> None
  • added: function fill_typevars(typ: TypeInfo) -> Union[Instance, TupleType]
  • added: function find_duplicate(list: List[T]) -> T
  • added: function find_fixed_callable_return(expr: Expression) -> Optional[CallableType]
  • added: function fixed_comparison(left: Targ, op: str, right: Targ) -> int
  • added: function has_no_typevars(typ: Type) -> bool
  • added: function infer_if_condition_value(expr: Expression, pyversion: Tuple[int, int], platform: str) -> int
  • added: function infer_reachability_of_if_statement(s: IfStmt, pyversion: Tuple[int, int], platform: str) -> None
  • added: function is_identity_signature(sig: Type) -> bool
  • added: function is_sys_attr(expr: Expression, name: str) -> bool
  • added: function mark_block_mypy_only(block: Block) -> None
  • added: function mark_block_unreachable(block: Block) -> None
  • added: function refers_to_class_or_function(node: Expression) -> bool
  • added: function refers_to_fullname(node: Expression, fullname: str) -> bool
  • added: function remove_imported_names_from_symtable(names: SymbolTable, module: str) -> None
  • added: function replace_implicit_first_type(sig: FunctionLike, new: Type) -> FunctionLike
  • added: function returns_any_if_called(expr: Expression) -> bool
  • added: function set_callable_name(sig: Type, fdef: FuncDef) -> Type
  • added: method FirstPass.analyze_lvalue(lvalue: Lvalue, explicit_type: bool=…) -> None
  • added: method FirstPass.kind_by_scope() -> int
  • added: method FirstPass.process_nested_classes(outer_def: ClassDef) -> None
  • added: method FirstPass.visit_assignment_stmt(s: AssignmentStmt) -> None
  • added: method FirstPass.visit_block(b: Block) -> None
  • added: method FirstPass.visit_class_def(cdef: ClassDef) -> None
  • added: method FirstPass.visit_decorator(d: Decorator) -> None
  • added: method FirstPass.visit_file(file: MypyFile, fnam: str, mod_id: str, options: Options) -> None
  • added: method FirstPass.visit_for_stmt(s: ForStmt) -> None
  • added: method FirstPass.visit_func_def(func: FuncDef) -> None
  • added: method FirstPass.visit_if_stmt(s: IfStmt) -> None
  • added: method FirstPass.visit_import(node: Import) -> None
  • added: method FirstPass.visit_import_all(node: ImportAll) -> None
  • added: method FirstPass.visit_import_from(node: ImportFrom) -> None
  • added: method FirstPass.visit_overloaded_func_def(func: OverloadedFuncDef) -> None
  • added: method FirstPass.visit_try_stmt(s: TryStmt) -> None
  • added: method FirstPass.visit_while_stmt(s: WhileStmt) -> None
  • added: method FirstPass.visit_with_stmt(s: WithStmt) -> None
  • added: method MarkImportsMypyOnlyVisitor.visit_import(node: Import) -> None
  • added: method MarkImportsMypyOnlyVisitor.visit_import_all(node: ImportAll) -> None
  • added: method MarkImportsMypyOnlyVisitor.visit_import_from(node: ImportFrom) -> None
  • added: method MarkImportsUnreachableVisitor.visit_import(node: Import) -> None
  • added: method MarkImportsUnreachableVisitor.visit_import_all(node: ImportAll) -> None
  • added: method MarkImportsUnreachableVisitor.visit_import_from(node: ImportFrom) -> None
  • added: method SemanticAnalyzer.accept(node: Node) -> None
  • added: method SemanticAnalyzer.add_exports(*exps: Expression) -> None
  • added: method SemanticAnalyzer.add_func_type_variables_to_symbol_table(defn: FuncItem) -> List[SymbolTableNode]
  • added: method SemanticAnalyzer.add_local(node: Union[Var, FuncDef, OverloadedFuncDef], ctx: Context) -> None
  • added: method SemanticAnalyzer.add_module_symbol(id: str, as_id: str, module_public: bool, context: Context) -> None
  • added: method SemanticAnalyzer.add_submodules_to_parent_modules(id: str, module_public: bool) -> None
  • added: method SemanticAnalyzer.add_symbol(name: str, node: SymbolTableNode, context: Context) -> None
  • added: method SemanticAnalyzer.add_unknown_symbol(name: str, context: Context, is_import: bool=…) -> None
  • added: method SemanticAnalyzer.alias_fallback(tp: Type) -> Instance
  • added: method SemanticAnalyzer.anal_type(t: Type, allow_tuple_literal: bool=…, aliasing: bool=…) -> Type
  • added: method SemanticAnalyzer.analyze_base_classes(defn: ClassDef) -> None
  • added: method SemanticAnalyzer.analyze_class_decorator(defn: ClassDef, decorator: Expression) -> None
  • added: method SemanticAnalyzer.analyze_comp_for(expr: Union[GeneratorExpr, DictionaryComprehension]) -> None
  • added: method SemanticAnalyzer.analyze_comp_for_2(expr: Union[GeneratorExpr, DictionaryComprehension]) -> None
  • added: method SemanticAnalyzer.analyze_function(defn: FuncItem) -> None
  • added: method SemanticAnalyzer.analyze_lvalue(lval: Lvalue, nested: bool=…, add_global: bool=…, explicit_type: bool=…) -> None
  • added: method SemanticAnalyzer.analyze_member_lvalue(lval: MemberExpr) -> None
  • added: method SemanticAnalyzer.analyze_metaclass(defn: ClassDef) -> None
  • added: method SemanticAnalyzer.analyze_namedtuple_classdef(defn: ClassDef) -> bool
  • added: method SemanticAnalyzer.analyze_newtype_declaration(s: AssignmentStmt) -> Tuple[Optional[str], Optional[CallExpr]]
  • added: method SemanticAnalyzer.analyze_property_with_multi_part_definition(defn: OverloadedFuncDef) -> None
  • added: method SemanticAnalyzer.analyze_simple_literal_type(rvalue: Expression) -> Optional[Type]
  • added: method SemanticAnalyzer.analyze_try_stmt(s: TryStmt, visitor: NodeVisitor, add_global: bool=…) -> None
  • added: method SemanticAnalyzer.analyze_tuple_or_list_lvalue(lval: Union[ListExpr, TupleExpr], add_global: bool=…, explicit_type: bool=…) -> None
  • added: method SemanticAnalyzer.analyze_types(items: List[Expression]) -> List[Type]
  • added: method SemanticAnalyzer.analyze_typevar_declaration(t: Type) -> Optional[List[Tuple[str, TypeVarExpr]]]
  • added: method SemanticAnalyzer.analyze_unbound_tvar(t: Type) -> Tuple[str, TypeVarExpr]
  • added: method SemanticAnalyzer.basic_new_typeinfo(name: str, basetype_or_fallback: Instance) -> TypeInfo
  • added: method SemanticAnalyzer.bind_class_type_variables_in_symbol_table(info: TypeInfo) -> List[SymbolTableNode]
  • added: method SemanticAnalyzer.bind_class_type_vars(defn: ClassDef) -> None
  • added: method SemanticAnalyzer.bind_type_var(fullname: str, tvar_def: TypeVarDef, context: Context) -> SymbolTableNode
  • added: method SemanticAnalyzer.build_namedtuple_typeinfo(name: str, items: List[str], types: List[Type]) -> TypeInfo
  • added: method SemanticAnalyzer.build_newtype_typeinfo(name: str, old_type: Type, base_type: Instance) -> TypeInfo
  • added: method SemanticAnalyzer.build_typeddict_typeinfo(name: str, items: List[str], types: List[Type]) -> TypeInfo
  • added: method SemanticAnalyzer.builtin_type(fully_qualified_name: str) -> Instance
  • added: method SemanticAnalyzer.calculate_abstract_status(typ: TypeInfo) -> None
  • added: method SemanticAnalyzer.check_and_set_up_type_alias(s: AssignmentStmt) -> None
  • added: method SemanticAnalyzer.check_decorated_function_is_method(decorator: str, context: Context) -> None
  • added: method SemanticAnalyzer.check_fixed_args(expr: CallExpr, numargs: int, name: str) -> bool
  • added: method SemanticAnalyzer.check_for_obsolete_short_name(name: str, ctx: Context) -> None
  • added: method SemanticAnalyzer.check_function_signature(fdef: FuncItem) -> None
  • added: method SemanticAnalyzer.check_lvalue_validity(node: Union[Expression, SymbolNode], ctx: Context) -> None
  • added: method SemanticAnalyzer.check_namedtuple(node: Expression, var_name: str=…) -> Optional[TypeInfo]
  • added: method SemanticAnalyzer.check_namedtuple_classdef(defn: ClassDef) -> Tuple[List[str], List[Type]]
  • added: method SemanticAnalyzer.check_newtype_args(name: str, call: CallExpr, context: Context) -> Optional[Type]
  • added: method SemanticAnalyzer.check_no_global(n: str, ctx: Context, is_overloaded_func: bool=…) -> None
  • added: method SemanticAnalyzer.check_typeddict(node: Expression, var_name: str=…) -> Optional[TypeInfo]
  • added: method SemanticAnalyzer.check_typevar_name(call: CallExpr, name: str, context: Context) -> bool
  • added: method SemanticAnalyzer.class_type(info: TypeInfo) -> Type
  • added: method SemanticAnalyzer.clean_up_bases_and_infer_type_variables(defn: ClassDef) -> None
  • added: method SemanticAnalyzer.correct_relative_import(node: Union[ImportFrom, ImportAll]) -> str
  • added: method SemanticAnalyzer.enter() -> None
  • added: method SemanticAnalyzer.enter_class(defn: ClassDef) -> None
  • added: method SemanticAnalyzer.expr_to_analyzed_type(expr: Expression) -> Type
  • added: method SemanticAnalyzer.fail(msg: str, ctx: Context, serious: bool=…, *, blocker: bool=…) -> None
  • added: method SemanticAnalyzer.fail_blocker(msg: str, ctx: Context) -> None
  • added: method SemanticAnalyzer.fail_namedtuple_arg(message: str, context: Context) -> Tuple[List[str], List[Type], bool]
  • added: method SemanticAnalyzer.fail_typeddict_arg(message: str, context: Context) -> Tuple[List[str], List[Type], bool]
  • added: method SemanticAnalyzer.find_type_variables_in_type(type: Type) -> List[Tuple[str, TypeVarExpr]]
  • added: method SemanticAnalyzer.get_typevar_declaration(s: AssignmentStmt) -> Optional[CallExpr]
  • added: method SemanticAnalyzer.infer_type_variables(type: CallableType) -> List[Tuple[str, TypeVarExpr]]
  • added: method SemanticAnalyzer.is_base_class(t: TypeInfo, s: TypeInfo) -> bool
  • added: method SemanticAnalyzer.is_class_scope() -> bool
  • added: method SemanticAnalyzer.is_defined_type_var(tvar: str, context: Context) -> bool
  • added: method SemanticAnalyzer.is_func_scope() -> bool
  • added: method SemanticAnalyzer.is_module_scope() -> bool
  • added: method SemanticAnalyzer.is_self_member_ref(memberexpr: MemberExpr) -> bool
  • added: method SemanticAnalyzer.is_valid_del_target(s: Expression) -> bool
  • added: method SemanticAnalyzer.leave() -> None
  • added: method SemanticAnalyzer.leave_class() -> None
  • added: method SemanticAnalyzer.lookup(name: str, ctx: Context) -> SymbolTableNode
  • added: method SemanticAnalyzer.lookup_fully_qualified(name: str) -> SymbolTableNode
  • added: method SemanticAnalyzer.lookup_fully_qualified_or_none(name: str) -> Optional[SymbolTableNode]
  • added: method SemanticAnalyzer.lookup_qualified(name: str, ctx: Context) -> SymbolTableNode
  • added: method SemanticAnalyzer.make_argument(name: str, type: Type) -> Argument
  • added: method SemanticAnalyzer.name_already_defined(name: str, ctx: Context) -> None
  • added: method SemanticAnalyzer.name_not_defined(name: str, ctx: Context) -> None
  • added: method SemanticAnalyzer.named_type(qualified_name: str, args: List[Type]=…) -> Instance
  • added: method SemanticAnalyzer.named_type_or_none(qualified_name: str, args: List[Type]=…) -> Instance
  • added: method SemanticAnalyzer.next_function_tvar_id() -> int
  • added: method SemanticAnalyzer.normalize_type_alias(node: SymbolTableNode, ctx: Context) -> SymbolTableNode
  • added: method SemanticAnalyzer.note(msg: str, ctx: Context) -> None
  • added: method SemanticAnalyzer.object_type() -> Instance
  • added: method SemanticAnalyzer.parse_namedtuple_args(call: CallExpr, fullname: str) -> Tuple[List[str], List[Type], bool]
  • added: method SemanticAnalyzer.parse_namedtuple_fields_with_types(nodes: List[Expression], context: Context) -> Tuple[List[str], List[Type], bool]
  • added: method SemanticAnalyzer.parse_typeddict_args(call: CallExpr, fullname: str) -> Tuple[List[str], List[Type], bool]
  • added: method SemanticAnalyzer.parse_typeddict_fields_with_types(dict_items: List[Tuple[Expression, Expression]], context: Context) -> Tuple[List[str], List[Type], bool]
  • added: method SemanticAnalyzer.prepare_method_signature(func: FuncDef) -> None
  • added: method SemanticAnalyzer.process_import_over_existing_name(imported_id: str, existing_symbol: SymbolTableNode, module_symbol: SymbolTableNode, import_node: ImportBase) -> bool
  • added: method SemanticAnalyzer.process_namedtuple_definition(s: AssignmentStmt) -> None
  • added: method SemanticAnalyzer.process_newtype_declaration(s: AssignmentStmt) -> None
  • added: method SemanticAnalyzer.process_typeddict_definition(s: AssignmentStmt) -> None
  • added: method SemanticAnalyzer.process_typevar_declaration(s: AssignmentStmt) -> None
  • added: method SemanticAnalyzer.process_typevar_parameters(args: List[Expression], names: List[Optional[str]], kinds: List[int], has_values: bool, context: Context) -> Optional[Tuple[int, Type]]
  • added: method SemanticAnalyzer.qualified_name(n: str) -> str
  • added: method SemanticAnalyzer.set_original_def(previous: Node, new: FuncDef) -> bool
  • added: method SemanticAnalyzer.setup_class_def_analysis(defn: ClassDef) -> None
  • added: method SemanticAnalyzer.setup_type_promotion(defn: ClassDef) -> None
  • added: method SemanticAnalyzer.store_declared_types(lvalue: Lvalue, typ: Type) -> None
  • added: method SemanticAnalyzer.str_type() -> Instance
  • added: method SemanticAnalyzer.translate_dict_call(call: CallExpr) -> Optional[DictExpr]
  • added: method SemanticAnalyzer.type_var_names() -> Set[str]
  • added: method SemanticAnalyzer.unbind_class_type_vars() -> None
  • added: method SemanticAnalyzer.undefined_name_extra_info(fullname: str) -> Optional[str]
  • added: method SemanticAnalyzer.update_function_type_variables(defn: FuncDef) -> None
  • added: method SemanticAnalyzer.verify_base_classes(defn: ClassDef) -> bool
  • added: method SemanticAnalyzer.visit__promote_expr(expr: PromoteExpr) -> None
  • added: method SemanticAnalyzer.visit_assert_stmt(s: AssertStmt) -> None
  • added: method SemanticAnalyzer.visit_assignment_stmt(s: AssignmentStmt) -> None
  • added: method SemanticAnalyzer.visit_await_expr(expr: AwaitExpr) -> None
  • added: method SemanticAnalyzer.visit_backquote_expr(expr: BackquoteExpr) -> None
  • added: method SemanticAnalyzer.visit_block(b: Block) -> None
  • added: method SemanticAnalyzer.visit_block_maybe(b: Block) -> None
  • added: method SemanticAnalyzer.visit_break_stmt(s: BreakStmt) -> None
  • added: method SemanticAnalyzer.visit_call_expr(expr: CallExpr) -> None
  • added: method SemanticAnalyzer.visit_cast_expr(expr: CastExpr) -> None
  • added: method SemanticAnalyzer.visit_class_def(defn: ClassDef) -> None
  • added: method SemanticAnalyzer.visit_comparison_expr(expr: ComparisonExpr) -> None
  • added: method SemanticAnalyzer.visit_conditional_expr(expr: ConditionalExpr) -> None
  • added: method SemanticAnalyzer.visit_continue_stmt(s: ContinueStmt) -> None
  • added: method SemanticAnalyzer.visit_decorator(dec: Decorator) -> None
  • added: method SemanticAnalyzer.visit_del_stmt(s: DelStmt) -> None
  • added: method SemanticAnalyzer.visit_dict_expr(expr: DictExpr) -> None
  • added: method SemanticAnalyzer.visit_dictionary_comprehension(expr: DictionaryComprehension) -> None
  • added: method SemanticAnalyzer.visit_exec_stmt(s: ExecStmt) -> None
  • added: method SemanticAnalyzer.visit_expression_stmt(s: ExpressionStmt) -> None
  • added: method SemanticAnalyzer.visit_file(file_node: MypyFile, fnam: str, options: Options) -> None
  • added: method SemanticAnalyzer.visit_for_stmt(s: ForStmt) -> None
  • added: method SemanticAnalyzer.visit_func_def(defn: FuncDef) -> None
  • added: method SemanticAnalyzer.visit_func_expr(expr: FuncExpr) -> None
  • added: method SemanticAnalyzer.visit_generator_expr(expr: GeneratorExpr) -> None
  • added: method SemanticAnalyzer.visit_global_decl(g: GlobalDecl) -> None
  • added: method SemanticAnalyzer.visit_if_stmt(s: IfStmt) -> None
  • added: method SemanticAnalyzer.visit_import(i: Import) -> None
  • added: method SemanticAnalyzer.visit_import_all(i: ImportAll) -> None
  • added: method SemanticAnalyzer.visit_import_from(imp: ImportFrom) -> None
  • added: method SemanticAnalyzer.visit_index_expr(expr: IndexExpr) -> None
  • added: method SemanticAnalyzer.visit_list_comprehension(expr: ListComprehension) -> None
  • added: method SemanticAnalyzer.visit_list_expr(expr: ListExpr) -> None
  • added: method SemanticAnalyzer.visit_member_expr(expr: MemberExpr) -> None
  • added: method SemanticAnalyzer.visit_name_expr(expr: NameExpr) -> None
  • added: method SemanticAnalyzer.visit_nonlocal_decl(d: NonlocalDecl) -> None
  • added: method SemanticAnalyzer.visit_op_expr(expr: OpExpr) -> None
  • added: method SemanticAnalyzer.visit_operator_assignment_stmt(s: OperatorAssignmentStmt) -> None
  • added: method SemanticAnalyzer.visit_overloaded_func_def(defn: OverloadedFuncDef) -> None
  • added: method SemanticAnalyzer.visit_print_stmt(s: PrintStmt) -> None
  • added: method SemanticAnalyzer.visit_raise_stmt(s: RaiseStmt) -> None
  • added: method SemanticAnalyzer.visit_return_stmt(s: ReturnStmt) -> None
  • added: method SemanticAnalyzer.visit_reveal_type_expr(expr: RevealTypeExpr) -> None
  • added: method SemanticAnalyzer.visit_set_comprehension(expr: SetComprehension) -> None
  • added: method SemanticAnalyzer.visit_set_expr(expr: SetExpr) -> None
  • added: method SemanticAnalyzer.visit_slice_expr(expr: SliceExpr) -> None
  • added: method SemanticAnalyzer.visit_star_expr(expr: StarExpr) -> None
  • added: method SemanticAnalyzer.visit_super_expr(expr: SuperExpr) -> None
  • added: method SemanticAnalyzer.visit_try_stmt(s: TryStmt) -> None
  • added: method SemanticAnalyzer.visit_tuple_expr(expr: TupleExpr) -> None
  • added: method SemanticAnalyzer.visit_type_application(expr: TypeApplication) -> None
  • added: method SemanticAnalyzer.visit_unary_expr(expr: UnaryExpr) -> None
  • added: method SemanticAnalyzer.visit_while_stmt(s: WhileStmt) -> None
  • added: method SemanticAnalyzer.visit_with_stmt(s: WithStmt) -> None
  • added: method SemanticAnalyzer.visit_yield_expr(expr: YieldExpr) -> None
  • added: method SemanticAnalyzer.visit_yield_from_expr(e: YieldFromExpr) -> None
  • added: method ThirdPass.accept(node: Node) -> None
  • added: method ThirdPass.analyze(type: Type) -> None
  • added: method ThirdPass.builtin_type(name: str, args: List[Type]=…) -> Instance
  • added: method ThirdPass.fail(msg: str, ctx: Context, *, blocker: bool=…) -> None
  • added: method ThirdPass.fail_blocker(msg: str, ctx: Context) -> None
  • added: method ThirdPass.visit_assignment_stmt(s: AssignmentStmt) -> None
  • added: method ThirdPass.visit_block(b: Block) -> None
  • added: method ThirdPass.visit_cast_expr(e: CastExpr) -> None
  • added: method ThirdPass.visit_class_def(tdef: ClassDef) -> None
  • added: method ThirdPass.visit_decorator(dec: Decorator) -> None
  • added: method ThirdPass.visit_file(file_node: MypyFile, fnam: str, options: Options) -> None
  • added: method ThirdPass.visit_func_def(fdef: FuncDef) -> None
  • added: method ThirdPass.visit_reveal_type_expr(e: RevealTypeExpr) -> None
  • added: method ThirdPass.visit_type_application(e: TypeApplication) -> None
  • added: variable ALWAYS_FALSE
  • added: variable ALWAYS_TRUE
  • added: variable FUNCTION_BOTH_PHASES
  • added: variable FUNCTION_FIRST_PHASE_POSTPONE_SECOND
  • added: variable FUNCTION_SECOND_PHASE
  • added: variable MYPY_FALSE
  • added: variable MYPY_TRUE
  • added: variable T
  • added: variable TRUTH_VALUE_UNKNOWN
  • added: variable TYPE_PROMOTIONS
  • added: variable TYPE_PROMOTIONS_PYTHON2
  • added: variable TYPE_PROMOTIONS_PYTHON3
  • added: variable Targ
  • added: variable inverted_truth_mapping
  • added: variable obsolete_name_mapping
  • added: function argument_elide_name(name: Union[str, Tuple, None]) -> bool
  • added: function special_function_elide_names(name: str) -> bool
  • added: variable MAGIC_METHODS
  • added: variable MAGIC_METHODS_ALLOWING_KWARGS
  • added: variable MAGIC_METHODS_POS_ARGS_ONLY
  • added: function solve_constraints(vars: List[TypeVarId], constraints: List[Constraint], strict: bool=…) -> List[Type]
  • added: class HasAnyQuery(TypeQuery)
  • added: class HasAnyQuery2(HasAnyQuery)
  • added: class StatisticsVisitor(TraverserVisitor)
  • added: constructor HasAnyQuery() -> None
  • added: constructor StatisticsVisitor(inferred: bool, typemap: Dict[Expression, Type]=…, all_nodes: bool=…) -> None
  • added: function dump_type_stats(tree: MypyFile, path: str, inferred: bool=…, typemap: Dict[Expression, Type]=…) -> None
  • added: function ensure_dir_exists(dir: str) -> None
  • added: function generate_html_index(output_dir: str) -> None
  • added: function generate_html_report(tree: MypyFile, path: str, type_map: Dict[Expression, Type], output_dir: str) -> None
  • added: function is_complex(t: Type) -> bool
  • added: function is_generic(t: Type) -> bool
  • added: function is_imprecise(t: Type) -> bool
  • added: function is_imprecise2(t: Type) -> bool
  • added: function is_special_module(path: str) -> bool
  • added: method HasAnyQuery.visit_any(t: AnyType) -> bool
  • added: method HasAnyQuery.visit_instance(t: Instance) -> bool
  • added: method HasAnyQuery2.visit_callable_type(t: CallableType) -> bool
  • added: method StatisticsVisitor.log(string: str) -> None
  • added: method StatisticsVisitor.process_node(node: Expression) -> None
  • added: method StatisticsVisitor.record_line(line: int, precision: int) -> None
  • added: method StatisticsVisitor.type(t: Type) -> None
  • added: method StatisticsVisitor.visit_assignment_stmt(o: AssignmentStmt) -> None
  • added: method StatisticsVisitor.visit_call_expr(o: CallExpr) -> None
  • added: method StatisticsVisitor.visit_comparison_expr(o: ComparisonExpr) -> None
  • added: method StatisticsVisitor.visit_func_def(o: FuncDef) -> None
  • added: method StatisticsVisitor.visit_index_expr(o: IndexExpr) -> None
  • added: method StatisticsVisitor.visit_member_expr(o: MemberExpr) -> None
  • added: method StatisticsVisitor.visit_name_expr(o: NameExpr) -> None
  • added: method StatisticsVisitor.visit_op_expr(o: OpExpr) -> None
  • added: method StatisticsVisitor.visit_type_application(o: TypeApplication) -> None
  • added: method StatisticsVisitor.visit_unary_expr(o: UnaryExpr) -> None
  • added: method StatisticsVisitor.visit_yield_from_expr(o: YieldFromExpr) -> None
  • added: variable TYPE_ANY
  • added: variable TYPE_EMPTY
  • added: variable TYPE_IMPRECISE
  • added: variable TYPE_PRECISE
  • added: variable html_files
  • added: variable precision_names
  • added: class StrConv(NodeVisitor[str])
  • added: method StrConv.dump(nodes: Sequence[object], obj: mypy.nodes.Context) -> str
  • added: method StrConv.func_helper(o: mypy.nodes.FuncItem) -> List[object]
  • added: method StrConv.pretty_name(name: str, kind: int, fullname: str, is_def: bool) -> str
  • added: method StrConv.str_repr(s: str) -> str
  • added: method StrConv.visit__promote_expr(o: mypy.nodes.PromoteExpr) -> str
  • added: method StrConv.visit_assert_stmt(o: mypy.nodes.AssertStmt) -> str
  • added: method StrConv.visit_assignment_stmt(o: mypy.nodes.AssignmentStmt) -> str
  • added: method StrConv.visit_await_expr(o: mypy.nodes.AwaitExpr) -> str
  • added: method StrConv.visit_backquote_expr(o: mypy.nodes.BackquoteExpr) -> str
  • added: method StrConv.visit_block(o: mypy.nodes.Block) -> str
  • added: method StrConv.visit_break_stmt(o: mypy.nodes.BreakStmt) -> str
  • added: method StrConv.visit_bytes_expr(o: mypy.nodes.BytesExpr) -> str
  • added: method StrConv.visit_call_expr(o: mypy.nodes.CallExpr) -> str
  • added: method StrConv.visit_cast_expr(o: mypy.nodes.CastExpr) -> str
  • added: method StrConv.visit_class_def(o: mypy.nodes.ClassDef) -> str
  • added: method StrConv.visit_comparison_expr(o: mypy.nodes.ComparisonExpr) -> str
  • added: method StrConv.visit_complex_expr(o: mypy.nodes.ComplexExpr) -> str
  • added: method StrConv.visit_conditional_expr(o: mypy.nodes.ConditionalExpr) -> str
  • added: method StrConv.visit_continue_stmt(o: mypy.nodes.ContinueStmt) -> str
  • added: method StrConv.visit_decorator(o: mypy.nodes.Decorator) -> str
  • added: method StrConv.visit_del_stmt(o: mypy.nodes.DelStmt) -> str
  • added: method StrConv.visit_dict_expr(o: mypy.nodes.DictExpr) -> str
  • added: method StrConv.visit_dictionary_comprehension(o: mypy.nodes.DictionaryComprehension) -> str
  • added: method StrConv.visit_ellipsis(o: mypy.nodes.EllipsisExpr) -> str
  • added: method StrConv.visit_exec_stmt(o: mypy.nodes.ExecStmt) -> str
  • added: method StrConv.visit_expression_stmt(o: mypy.nodes.ExpressionStmt) -> str
  • added: method StrConv.visit_float_expr(o: mypy.nodes.FloatExpr) -> str
  • added: method StrConv.visit_for_stmt(o: mypy.nodes.ForStmt) -> str
  • added: method StrConv.visit_func_def(o: mypy.nodes.FuncDef) -> str
  • added: method StrConv.visit_func_expr(o: mypy.nodes.FuncExpr) -> str
  • added: method StrConv.visit_generator_expr(o: mypy.nodes.GeneratorExpr) -> str
  • added: method StrConv.visit_global_decl(o: mypy.nodes.GlobalDecl) -> str
  • added: method StrConv.visit_if_stmt(o: mypy.nodes.IfStmt) -> str
  • added: method StrConv.visit_import(o: mypy.nodes.Import) -> str
  • added: method StrConv.visit_import_all(o: mypy.nodes.ImportAll) -> str
  • added: method StrConv.visit_import_from(o: mypy.nodes.ImportFrom) -> str
  • added: method StrConv.visit_index_expr(o: mypy.nodes.IndexExpr) -> str
  • added: method StrConv.visit_int_expr(o: mypy.nodes.IntExpr) -> str
  • added: method StrConv.visit_list_comprehension(o: mypy.nodes.ListComprehension) -> str
  • added: method StrConv.visit_list_expr(o: mypy.nodes.ListExpr) -> str
  • added: method StrConv.visit_member_expr(o: mypy.nodes.MemberExpr) -> str
  • added: method StrConv.visit_mypy_file(o: mypy.nodes.MypyFile) -> str
  • added: method StrConv.visit_name_expr(o: mypy.nodes.NameExpr) -> str
  • added: method StrConv.visit_namedtuple_expr(o: mypy.nodes.NamedTupleExpr) -> str
  • added: method StrConv.visit_newtype_expr(o: mypy.nodes.NewTypeExpr) -> str
  • added: method StrConv.visit_nonlocal_decl(o: mypy.nodes.NonlocalDecl) -> str
  • added: method StrConv.visit_op_expr(o: mypy.nodes.OpExpr) -> str
  • added: method StrConv.visit_operator_assignment_stmt(o: mypy.nodes.OperatorAssignmentStmt) -> str
  • added: method StrConv.visit_overloaded_func_def(o: mypy.nodes.OverloadedFuncDef) -> str
  • added: method StrConv.visit_pass_stmt(o: mypy.nodes.PassStmt) -> str
  • added: method StrConv.visit_print_stmt(o: mypy.nodes.PrintStmt) -> str
  • added: method StrConv.visit_raise_stmt(o: mypy.nodes.RaiseStmt) -> str
  • added: method StrConv.visit_return_stmt(o: mypy.nodes.ReturnStmt) -> str
  • added: method StrConv.visit_reveal_type_expr(o: mypy.nodes.RevealTypeExpr) -> str
  • added: method StrConv.visit_set_comprehension(o: mypy.nodes.SetComprehension) -> str
  • added: method StrConv.visit_set_expr(o: mypy.nodes.SetExpr) -> str
  • added: method StrConv.visit_slice_expr(o: mypy.nodes.SliceExpr) -> str
  • added: method StrConv.visit_star_expr(o: mypy.nodes.StarExpr) -> str
  • added: method StrConv.visit_str_expr(o: mypy.nodes.StrExpr) -> str
  • added: method StrConv.visit_super_expr(o: mypy.nodes.SuperExpr) -> str
  • added: method StrConv.visit_try_stmt(o: mypy.nodes.TryStmt) -> str
  • added: method StrConv.visit_tuple_expr(o: mypy.nodes.TupleExpr) -> str
  • added: method StrConv.visit_type_alias_expr(o: mypy.nodes.TypeAliasExpr) -> str
  • added: method StrConv.visit_type_application(o: mypy.nodes.TypeApplication) -> str
  • added: method StrConv.visit_type_var_expr(o: mypy.nodes.TypeVarExpr) -> str
  • added: method StrConv.visit_typeddict_expr(o: mypy.nodes.TypedDictExpr) -> str
  • added: method StrConv.visit_unary_expr(o: mypy.nodes.UnaryExpr) -> str
  • added: method StrConv.visit_unicode_expr(o: mypy.nodes.UnicodeExpr) -> str
  • added: method StrConv.visit_var(o: mypy.nodes.Var) -> str
  • added: method StrConv.visit_while_stmt(o: mypy.nodes.WhileStmt) -> str
  • added: method StrConv.visit_with_stmt(o: mypy.nodes.WithStmt) -> str
  • added: method StrConv.visit_yield_expr(o: mypy.nodes.YieldExpr) -> str
  • added: method StrConv.visit_yield_from_expr(o: mypy.nodes.YieldFromExpr) -> str
  • added: class StubGenerator(mypy.traverser.TraverserVisitor)
  • added: constructor StubGenerator(_all_: Optional[List[str]], pyversion: Tuple[int, int]) -> None
  • added: function default_python2_interpreter() -> str
  • added: function find_classes(node: MypyFile) -> Set[str]
  • added: function find_module_path_and_all(module: str, pyversion: Tuple[int, int], no_import: bool, search_path: List[str], interpreter: str) -> Optional[Tuple[str, Optional[List[str]]]]
  • added: function find_self_initializers(fdef: FuncBase) -> List[Tuple[str, Expression]]
  • added: function generate_stub(path: str, output_dir: str, _all_: Optional[List[str]]=…, target: str=…, add_header: bool=…, module: str=…, pyversion: Tuple[int, int]=…, fast_parser: bool=…) -> None
  • added: function generate_stub_for_module(module: str, output_dir: str, quiet: bool=…, add_header: bool=…, sigs: Dict[str, str]=…, class_sigs: Dict[str, str]=…, pyversion: Tuple[int, int]=…, fast_parser: bool=…, no_import: bool=…, search_path: List[str]=…, interpreter: str=…) -> None
  • added: function get_qualified_name(o: Expression) -> str
  • added: function load_python_module_info(module: str, interpreter: str) -> Tuple[str, Optional[List[str]]]
  • added: function main() -> None
  • added: function parse_options() -> Options
  • added: function usage() -> None
  • added: function walk_packages(packages: List[str]) -> Iterator[str]
  • added: method StubGenerator.add(string: str) -> None
  • added: method StubGenerator.add_import_line(line: str) -> None
  • added: method StubGenerator.add_typing_import(name: str) -> None
  • added: method StubGenerator.get_base_types(cdef: ClassDef) -> List[str]
  • added: method StubGenerator.get_init(lvalue: str, rvalue: Expression) -> str
  • added: method StubGenerator.get_str_type_of_node(rvalue: Expression, can_infer_optional: bool=…) -> str
  • added: method StubGenerator.import_and_export_names(module_id: str, relative: int, names: Iterable[str]) -> None
  • added: method StubGenerator.is_namedtuple(expr: Expression) -> bool
  • added: method StubGenerator.is_not_in_all(name: str) -> bool
  • added: method StubGenerator.is_private_name(name: str) -> bool
  • added: method StubGenerator.is_recorded_name(name: str) -> bool
  • added: method StubGenerator.is_top_level() -> bool
  • added: method StubGenerator.output() -> str
  • added: method StubGenerator.process_namedtuple(lvalue: NameExpr, rvalue: CallExpr) -> None
  • added: method StubGenerator.record_name(name: str) -> None
  • added: method StubGenerator.visit_assignment_stmt(o: AssignmentStmt) -> None
  • added: method StubGenerator.visit_class_def(o: ClassDef) -> None
  • added: method StubGenerator.visit_decorator(o: Decorator) -> None
  • added: method StubGenerator.visit_func_def(o: FuncDef) -> None
  • added: method StubGenerator.visit_if_stmt(o: IfStmt) -> None
  • added: method StubGenerator.visit_import(o: Import) -> None
  • added: method StubGenerator.visit_import_all(o: ImportAll) -> None
  • added: method StubGenerator.visit_import_from(o: ImportFrom) -> None
  • added: method StubGenerator.visit_mypy_file(o: MypyFile) -> None
  • added: variable CLASS
  • added: variable EMPTY
  • added: variable EMPTY_CLASS
  • added: variable FUNC
  • added: variable NOT_IN_ALL
  • added: variable Options
  • added: variable VAR
  • added: function add_typing_import(output: List[str]) -> List[str]
  • added: function generate_c_function_stub(module: ModuleType, name: str, obj: object, output: List[str], self_var: str=…, sigs: Dict[str, str]=…, class_name: str=…, class_sigs: Dict[str, str]=…) -> None
  • added: function generate_c_type_stub(module: ModuleType, class_name: str, obj: type, output: List[str], sigs: Dict[str, str]=…, class_sigs: Dict[str, str]=…) -> None
  • added: function generate_stub_for_c_module(module_name: str, target: str, add_header: bool=…, sigs: Dict[str, str]=…, class_sigs: Dict[str, str]=…) -> None
  • added: function infer_method_sig(name: str) -> str
  • added: function is_c_classmethod(obj: object) -> bool
  • added: function is_c_function(obj: object) -> bool
  • added: function is_c_method(obj: object) -> bool
  • added: function is_c_type(obj: object) -> bool
  • added: function is_skipped_attribute(attr: str) -> bool
  • added: function method_name_sort_key(name: str) -> Tuple[int, str]
  • added: function build_signature(fixed: Sequence[str], optional: Sequence[str]) -> str
  • added: function find_unique_signatures(sigs: Sequence[Sig]) -> List[Sig]
  • added: function infer_sig_from_docstring(docstr: str, name: str) -> Optional[str]
  • added: function is_c_module(module: ModuleType) -> bool
  • added: function parse_all_signatures(lines: Sequence[str]) -> Tuple[List[Sig], List[Sig]]
  • added: function parse_signature(sig: str) -> Optional[Tuple[str, List[str], List[str]]]
  • added: function write_header(file: IO[str], module_name: str, pyversion: Tuple[int, int]=…) -> None
  • added: variable Sig
  • added: class SubtypeVisitor(TypeVisitor[bool])
  • added: constructor SubtypeVisitor(right: Type, type_parameter_checker: TypeParameterChecker, *, ignore_pos_arg_names: bool=…) -> None
  • added: function are_args_compatible(left: FormalArgument, right: FormalArgument, ignore_pos_arg_names: bool) -> bool
  • added: function check_type_parameter(lefta: Type, righta: Type, variance: int) -> bool
  • added: function is_callable_subtype(left: CallableType, right: CallableType, ignore_return: bool=…, ignore_pos_arg_names: bool=…) -> bool
  • added: function is_equivalent(a: Type, b: Type, type_parameter_checker: TypeParameterChecker=…, *, ignore_pos_arg_names: bool=…) -> bool
  • added: function is_more_precise(t: Type, s: Type) -> bool
  • added: function is_proper_subtype(t: Type, s: Type) -> bool
  • added: function is_subtype(left: Type, right: Type, type_parameter_checker: TypeParameterChecker=…, *, ignore_pos_arg_names: bool=…) -> bool
  • added: function is_subtype_ignoring_tvars(left: Type, right: Type) -> bool
  • added: function restrict_subtype_away(t: Type, s: Type) -> Type
  • added: function satisfies_upper_bound(a: Type, upper_bound: Type) -> bool
  • added: function unify_generic_callable(type: CallableType, target: CallableType, ignore_return: bool) -> CallableType
  • added: method SubtypeVisitor.visit_any(left: AnyType) -> bool
  • added: method SubtypeVisitor.visit_callable_type(left: CallableType) -> bool
  • added: method SubtypeVisitor.visit_deleted_type(left: DeletedType) -> bool
  • added: method SubtypeVisitor.visit_erased_type(left: ErasedType) -> bool
  • added: method SubtypeVisitor.visit_error_type(left: ErrorType) -> bool
  • added: method SubtypeVisitor.visit_instance(left: Instance) -> bool
  • added: method SubtypeVisitor.visit_none_type(left: NoneTyp) -> bool
  • added: method SubtypeVisitor.visit_overloaded(left: Overloaded) -> bool
  • added: method SubtypeVisitor.visit_partial_type(left: PartialType) -> bool
  • added: method SubtypeVisitor.visit_tuple_type(left: TupleType) -> bool
  • added: method SubtypeVisitor.visit_type_list(t: TypeList) -> bool
  • added: method SubtypeVisitor.visit_type_type(left: TypeType) -> bool
  • added: method SubtypeVisitor.visit_type_var(left: TypeVarType) -> bool
  • added: method SubtypeVisitor.visit_typeddict_type(left: TypedDictType) -> bool
  • added: method SubtypeVisitor.visit_unbound_type(left: UnboundType) -> bool
  • added: method SubtypeVisitor.visit_uninhabited_type(left: UninhabitedType) -> bool
  • added: method SubtypeVisitor.visit_union_type(left: UnionType) -> bool
  • added: method SubtypeVisitor.visit_void(left: Void) -> bool
  • added: variable TypeParameterChecker
  • added: class TraverserVisitor(NodeVisitor[None])
  • added: method TraverserVisitor.visit_assert_stmt(o: AssertStmt) -> None
  • added: method TraverserVisitor.visit_assignment_stmt(o: AssignmentStmt) -> None
  • added: method TraverserVisitor.visit_block(block: Block) -> None
  • added: method TraverserVisitor.visit_call_expr(o: CallExpr) -> None
  • added: method TraverserVisitor.visit_cast_expr(o: CastExpr) -> None
  • added: method TraverserVisitor.visit_class_def(o: ClassDef) -> None
  • added: method TraverserVisitor.visit_comparison_expr(o: ComparisonExpr) -> None
  • added: method TraverserVisitor.visit_conditional_expr(o: ConditionalExpr) -> None
  • added: method TraverserVisitor.visit_decorator(o: Decorator) -> None
  • added: method TraverserVisitor.visit_del_stmt(o: DelStmt) -> None
  • added: method TraverserVisitor.visit_dict_expr(o: DictExpr) -> None
  • added: method TraverserVisitor.visit_expression_stmt(o: ExpressionStmt) -> None
  • added: method TraverserVisitor.visit_for_stmt(o: ForStmt) -> None
  • added: method TraverserVisitor.visit_func(o: FuncItem) -> None
  • added: method TraverserVisitor.visit_func_def(o: FuncDef) -> None
  • added: method TraverserVisitor.visit_func_expr(o: FuncExpr) -> None
  • added: method TraverserVisitor.visit_generator_expr(o: GeneratorExpr) -> None
  • added: method TraverserVisitor.visit_if_stmt(o: IfStmt) -> None
  • added: method TraverserVisitor.visit_index_expr(o: IndexExpr) -> None
  • added: method TraverserVisitor.visit_list_comprehension(o: ListComprehension) -> None
  • added: method TraverserVisitor.visit_list_expr(o: ListExpr) -> None
  • added: method TraverserVisitor.visit_member_expr(o: MemberExpr) -> None
  • added: method TraverserVisitor.visit_mypy_file(o: MypyFile) -> None
  • added: method TraverserVisitor.visit_op_expr(o: OpExpr) -> None
  • added: method TraverserVisitor.visit_operator_assignment_stmt(o: OperatorAssignmentStmt) -> None
  • added: method TraverserVisitor.visit_overloaded_func_def(o: OverloadedFuncDef) -> None
  • added: method TraverserVisitor.visit_raise_stmt(o: RaiseStmt) -> None
  • added: method TraverserVisitor.visit_return_stmt(o: ReturnStmt) -> None
  • added: method TraverserVisitor.visit_reveal_type_expr(o: RevealTypeExpr) -> None
  • added: method TraverserVisitor.visit_set_expr(o: SetExpr) -> None
  • added: method TraverserVisitor.visit_slice_expr(o: SliceExpr) -> None
  • added: method TraverserVisitor.visit_try_stmt(o: TryStmt) -> None
  • added: method TraverserVisitor.visit_tuple_expr(o: TupleExpr) -> None
  • added: method TraverserVisitor.visit_type_application(o: TypeApplication) -> None
  • added: method TraverserVisitor.visit_unary_expr(o: UnaryExpr) -> None
  • added: method TraverserVisitor.visit_while_stmt(o: WhileStmt) -> None
  • added: method TraverserVisitor.visit_with_stmt(o: WithStmt) -> None
  • added: method TraverserVisitor.visit_yield_expr(o: YieldExpr) -> None
  • added: method TraverserVisitor.visit_yield_from_expr(o: YieldFromExpr) -> None
  • added: class FuncMapInitializer(TraverserVisitor)
  • added: class TransformVisitor(NodeVisitor[Node])
  • added: constructor FuncMapInitializer(transformer: TransformVisitor) -> None
  • added: constructor TransformVisitor() -> None
  • added: method FuncMapInitializer.visit_func_def(node: FuncDef) -> None
  • added: method TransformVisitor.block(block: Block) -> Block
  • added: method TransformVisitor.blocks(blocks: List[Block]) -> List[Block]
  • added: method TransformVisitor.copy_argument(argument: Argument) -> Argument
  • added: method TransformVisitor.copy_function_attributes(new: FuncItem, original: FuncItem) -> None
  • added: method TransformVisitor.copy_ref(new: RefExpr, original: RefExpr) -> None
  • added: method TransformVisitor.duplicate_assignment(node: AssignmentStmt) -> AssignmentStmt
  • added: method TransformVisitor.duplicate_generator(node: GeneratorExpr) -> GeneratorExpr
  • added: method TransformVisitor.duplicate_name(node: NameExpr) -> NameExpr
  • added: method TransformVisitor.expr(expr: Expression) -> Expression
  • added: method TransformVisitor.expressions(expressions: List[Expression]) -> List[Expression]
  • added: method TransformVisitor.mypyfile(node: MypyFile) -> MypyFile
  • added: method TransformVisitor.names(names: List[NameExpr]) -> List[NameExpr]
  • added: method TransformVisitor.node(node: Node) -> Node
  • added: method TransformVisitor.optional_block(block: Block) -> Block
  • added: method TransformVisitor.optional_expr(expr: Expression) -> Expression
  • added: method TransformVisitor.optional_expressions(expressions: List[Expression]) -> List[Expression]
  • added: method TransformVisitor.optional_names(names: List[NameExpr]) -> List[NameExpr]
  • added: method TransformVisitor.optional_type(type: Type) -> Type
  • added: method TransformVisitor.statements(statements: List[Statement]) -> List[Statement]
  • added: method TransformVisitor.stmt(stmt: Statement) -> Statement
  • added: method TransformVisitor.type(type: Type) -> Type
  • added: method TransformVisitor.types(types: List[Type]) -> List[Type]
  • added: method TransformVisitor.visit__promote_expr(node: PromoteExpr) -> PromoteExpr
  • added: method TransformVisitor.visit_assert_stmt(node: AssertStmt) -> AssertStmt
  • added: method TransformVisitor.visit_assignment_stmt(node: AssignmentStmt) -> AssignmentStmt
  • added: method TransformVisitor.visit_await_expr(node: AwaitExpr) -> AwaitExpr
  • added: method TransformVisitor.visit_backquote_expr(node: BackquoteExpr) -> BackquoteExpr
  • added: method TransformVisitor.visit_block(node: Block) -> Block
  • added: method TransformVisitor.visit_break_stmt(node: BreakStmt) -> BreakStmt
  • added: method TransformVisitor.visit_bytes_expr(node: BytesExpr) -> BytesExpr
  • added: method TransformVisitor.visit_call_expr(node: CallExpr) -> CallExpr
  • added: method TransformVisitor.visit_cast_expr(node: CastExpr) -> CastExpr
  • added: method TransformVisitor.visit_class_def(node: ClassDef) -> ClassDef
  • added: method TransformVisitor.visit_comparison_expr(node: ComparisonExpr) -> ComparisonExpr
  • added: method TransformVisitor.visit_complex_expr(node: ComplexExpr) -> ComplexExpr
  • added: method TransformVisitor.visit_conditional_expr(node: ConditionalExpr) -> ConditionalExpr
  • added: method TransformVisitor.visit_continue_stmt(node: ContinueStmt) -> ContinueStmt
  • added: method TransformVisitor.visit_decorator(node: Decorator) -> Decorator
  • added: method TransformVisitor.visit_del_stmt(node: DelStmt) -> DelStmt
  • added: method TransformVisitor.visit_dict_expr(node: DictExpr) -> DictExpr
  • added: method TransformVisitor.visit_dictionary_comprehension(node: DictionaryComprehension) -> DictionaryComprehension
  • added: method TransformVisitor.visit_ellipsis(node: EllipsisExpr) -> EllipsisExpr
  • added: method TransformVisitor.visit_exec_stmt(node: ExecStmt) -> ExecStmt
  • added: method TransformVisitor.visit_expression_stmt(node: ExpressionStmt) -> ExpressionStmt
  • added: method TransformVisitor.visit_float_expr(node: FloatExpr) -> FloatExpr
  • added: method TransformVisitor.visit_for_stmt(node: ForStmt) -> ForStmt
  • added: method TransformVisitor.visit_func_def(node: FuncDef) -> FuncDef
  • added: method TransformVisitor.visit_func_expr(node: FuncExpr) -> FuncExpr
  • added: method TransformVisitor.visit_generator_expr(node: GeneratorExpr) -> GeneratorExpr
  • added: method TransformVisitor.visit_global_decl(node: GlobalDecl) -> GlobalDecl
  • added: method TransformVisitor.visit_if_stmt(node: IfStmt) -> IfStmt
  • added: method TransformVisitor.visit_import(node: Import) -> Import
  • added: method TransformVisitor.visit_import_all(node: ImportAll) -> ImportAll
  • added: method TransformVisitor.visit_import_from(node: ImportFrom) -> ImportFrom
  • added: method TransformVisitor.visit_index_expr(node: IndexExpr) -> IndexExpr
  • added: method TransformVisitor.visit_int_expr(node: IntExpr) -> IntExpr
  • added: method TransformVisitor.visit_list_comprehension(node: ListComprehension) -> ListComprehension
  • added: method TransformVisitor.visit_list_expr(node: ListExpr) -> ListExpr
  • added: method TransformVisitor.visit_member_expr(node: MemberExpr) -> MemberExpr
  • added: method TransformVisitor.visit_mypy_file(node: MypyFile) -> MypyFile
  • added: method TransformVisitor.visit_name_expr(node: NameExpr) -> NameExpr
  • added: method TransformVisitor.visit_namedtuple_expr(node: NamedTupleExpr) -> NamedTupleExpr
  • added: method TransformVisitor.visit_newtype_expr(node: NewTypeExpr) -> NewTypeExpr
  • added: method TransformVisitor.visit_nonlocal_decl(node: NonlocalDecl) -> NonlocalDecl
  • added: method TransformVisitor.visit_op_expr(node: OpExpr) -> OpExpr
  • added: method TransformVisitor.visit_operator_assignment_stmt(node: OperatorAssignmentStmt) -> OperatorAssignmentStmt
  • added: method TransformVisitor.visit_overloaded_func_def(node: OverloadedFuncDef) -> OverloadedFuncDef
  • added: method TransformVisitor.visit_pass_stmt(node: PassStmt) -> PassStmt
  • added: method TransformVisitor.visit_print_stmt(node: PrintStmt) -> PrintStmt
  • added: method TransformVisitor.visit_raise_stmt(node: RaiseStmt) -> RaiseStmt
  • added: method TransformVisitor.visit_return_stmt(node: ReturnStmt) -> ReturnStmt
  • added: method TransformVisitor.visit_reveal_type_expr(node: RevealTypeExpr) -> RevealTypeExpr
  • added: method TransformVisitor.visit_set_comprehension(node: SetComprehension) -> SetComprehension
  • added: method TransformVisitor.visit_set_expr(node: SetExpr) -> SetExpr
  • added: method TransformVisitor.visit_slice_expr(node: SliceExpr) -> SliceExpr
  • added: method TransformVisitor.visit_star_expr(node: StarExpr) -> StarExpr
  • added: method TransformVisitor.visit_str_expr(node: StrExpr) -> StrExpr
  • added: method TransformVisitor.visit_super_expr(node: SuperExpr) -> SuperExpr
  • added: method TransformVisitor.visit_temp_node(node: TempNode) -> TempNode
  • added: method TransformVisitor.visit_try_stmt(node: TryStmt) -> TryStmt
  • added: method TransformVisitor.visit_tuple_expr(node: TupleExpr) -> TupleExpr
  • added: method TransformVisitor.visit_type_alias_expr(node: TypeAliasExpr) -> TypeAliasExpr
  • added: method TransformVisitor.visit_type_application(node: TypeApplication) -> TypeApplication
  • added: method TransformVisitor.visit_type_var_expr(node: TypeVarExpr) -> TypeVarExpr
  • added: method TransformVisitor.visit_typeddict_expr(node: TypedDictExpr) -> Node
  • added: method TransformVisitor.visit_unary_expr(node: UnaryExpr) -> UnaryExpr
  • added: method TransformVisitor.visit_unicode_expr(node: UnicodeExpr) -> UnicodeExpr
  • added: method TransformVisitor.visit_var(node: Var) -> Var
  • added: method TransformVisitor.visit_while_stmt(node: WhileStmt) -> WhileStmt
  • added: method TransformVisitor.visit_with_stmt(node: WithStmt) -> WithStmt
  • added: method TransformVisitor.visit_yield_expr(node: YieldExpr) -> YieldExpr
  • added: method TransformVisitor.visit_yield_from_expr(node: YieldFromExpr) -> YieldFromExpr
  • added: class TypeAnalyser(TypeVisitor[Type])
  • added: class TypeAnalyserPass3(TypeVisitor[None])
  • added: constructor TypeAnalyser(lookup_func: Callable[[str, Context], SymbolTableNode], lookup_fqn_func: Callable[[str], SymbolTableNode], fail_func: Callable[[str, Context], None], *, aliasing: bool=…) -> None
  • added: constructor TypeAnalyserPass3(fail_func: Callable[[str, Context], None]) -> None
  • added: function analyze_type_alias(node: Expression, lookup_func: Callable[[str, Context], SymbolTableNode], lookup_fqn_func: Callable[[str], SymbolTableNode], fail_func: Callable[[str, Context], None]) -> Type
  • added: method TypeAnalyser.anal_array(a: List[Type]) -> List[Type]
  • added: method TypeAnalyser.anal_var_defs(var_defs: List[TypeVarDef]) -> List[TypeVarDef]
  • added: method TypeAnalyser.analyze_callable_type(t: UnboundType) -> Type
  • added: method TypeAnalyser.builtin_type(fully_qualified_name: str, args: List[Type]=…) -> Instance
  • added: method TypeAnalyser.get_tvar_name(t: Type) -> Optional[str]
  • added: method TypeAnalyser.get_type_var_names(tp: Type) -> List[str]
  • added: method TypeAnalyser.replace_alias_tvars(tp: Type, vars: List[str], subs: List[Type], newline: int, newcolumn: int) -> Type
  • added: method TypeAnalyser.tuple_type(items: List[Type]) -> TupleType
  • added: method TypeAnalyser.visit_any(t: AnyType) -> Type
  • added: method TypeAnalyser.visit_callable_type(t: CallableType) -> Type
  • added: method TypeAnalyser.visit_deleted_type(t: DeletedType) -> Type
  • added: method TypeAnalyser.visit_ellipsis_type(t: EllipsisType) -> Type
  • added: method TypeAnalyser.visit_instance(t: Instance) -> Type
  • added: method TypeAnalyser.visit_none_type(t: NoneTyp) -> Type
  • added: method TypeAnalyser.visit_partial_type(t: PartialType) -> Type
  • added: method TypeAnalyser.visit_star_type(t: StarType) -> Type
  • added: method TypeAnalyser.visit_tuple_type(t: TupleType) -> Type
  • added: method TypeAnalyser.visit_type_list(t: TypeList) -> Type
  • added: method TypeAnalyser.visit_type_type(t: TypeType) -> Type
  • added: method TypeAnalyser.visit_type_var(t: TypeVarType) -> Type
  • added: method TypeAnalyser.visit_typeddict_type(t: TypedDictType) -> Type
  • added: method TypeAnalyser.visit_unbound_type(t: UnboundType) -> Type
  • added: method TypeAnalyser.visit_uninhabited_type(t: UninhabitedType) -> Type
  • added: method TypeAnalyser.visit_union_type(t: UnionType) -> Type
  • added: method TypeAnalyser.visit_void(t: Void) -> Type
  • added: method TypeAnalyserPass3.check_type_var_values(type: TypeInfo, actuals: List[Type], valids: List[Type], arg_number: int, context: Context) -> None
  • added: method TypeAnalyserPass3.visit_any(t: AnyType) -> None
  • added: method TypeAnalyserPass3.visit_callable_type(t: CallableType) -> None
  • added: method TypeAnalyserPass3.visit_deleted_type(t: DeletedType) -> None
  • added: method TypeAnalyserPass3.visit_instance(t: Instance) -> None
  • added: method TypeAnalyserPass3.visit_none_type(t: NoneTyp) -> None
  • added: method TypeAnalyserPass3.visit_partial_type(t: PartialType) -> None
  • added: method TypeAnalyserPass3.visit_star_type(t: StarType) -> None
  • added: method TypeAnalyserPass3.visit_tuple_type(t: TupleType) -> None
  • added: method TypeAnalyserPass3.visit_type_list(t: TypeList) -> None
  • added: method TypeAnalyserPass3.visit_type_type(t: TypeType) -> None
  • added: method TypeAnalyserPass3.visit_type_var(t: TypeVarType) -> None
  • added: method TypeAnalyserPass3.visit_typeddict_type(t: TypedDictType) -> None
  • added: method TypeAnalyserPass3.visit_unbound_type(t: UnboundType) -> None
  • added: method TypeAnalyserPass3.visit_uninhabited_type(t: UninhabitedType) -> None
  • added: method TypeAnalyserPass3.visit_union_type(t: UnionType) -> None
  • added: method TypeAnalyserPass3.visit_void(t: Void) -> None
  • added: variable type_constructors
  • added: class InterfaceTypeFixture(TypeFixture)
  • added: class TypeFixture
  • added: constructor InterfaceTypeFixture()
  • added: constructor TypeFixture(variance: int=…) -> None
  • added: method TypeFixture.callable(*a)
  • added: method TypeFixture.callable_default(min_args, *a)
  • added: method TypeFixture.callable_type(*a)
  • added: method TypeFixture.callable_var_arg(min_args, *a)
  • added: method TypeFixture.make_type_info(name: str, module_name: str=…, is_abstract: bool=…, mro: List[TypeInfo]=…, bases: List[Instance]=…, typevars: List[str]=…, variances: List[int]=…) -> TypeInfo
  • added: class AnyType(Type)
  • added: class CallableType(FunctionLike)
  • added: class DeletedType(Type)
  • added: class EllipsisType(Type)
  • added: class ErasedType(Type)
  • added: class ErrorType(Type)
  • added: class FunctionLike(Type)
  • added: class Instance(Type)
  • added: class NoneTyp(Type)
  • added: class Overloaded(FunctionLike)
  • added: class PartialType(Type)
  • added: class StarType(Type)
  • added: class TupleType(Type)
  • added: class Type(mypy.nodes.Context)
  • added: class TypeList(Type)
  • added: class TypeQuery(TypeVisitor[bool])
  • added: class TypeStrVisitor(TypeVisitor[str])
  • added: class TypeTranslator(TypeVisitor[Type])
  • added: class TypeType(Type)
  • added: class TypeVarDef(mypy.nodes.Context)
  • added: class TypeVarId
  • added: class TypeVarType(Type)
  • added: class TypeVisitor(Generic[T])
  • added: class TypedDictType(Type)
  • added: class UnboundType(Type)
  • added: class UninhabitedType(Type)
  • added: class UnionType(Type)
  • added: class Void(Type)
  • added: constructor AnyType(implicit: bool=…, line: int=…, column: int=…) -> None
  • added: constructor CallableType(arg_types: List[Type], arg_kinds: List[int], arg_names: List[Optional[str]], ret_type: Type, fallback: Instance, name: str=…, definition: SymbolNode=…, variables: List[TypeVarDef]=…, line: int=…, column: int=…, is_ellipsis_args: bool=…, implicit: bool=…, is_classmethod_class: bool=…, special_sig: Optional[str]=…) -> None
  • added: constructor DeletedType(source: str=…, line: int=…, column: int=…) -> None
  • added: constructor Instance(typ: mypy.nodes.TypeInfo, args: List[Type], line: int=…, column: int=…, erased: bool=…) -> None
  • added: constructor NoneTyp(is_ret_type: bool=…, line: int=…, column: int=…) -> None
  • added: constructor Overloaded(items: List[CallableType]) -> None
  • added: constructor PartialType(type: Optional[mypy.nodes.TypeInfo], var: mypy.nodes.Var, inner_types: List[Type]) -> None
  • added: constructor StarType(type: Type, line: int=…, column: int=…) -> None
  • added: constructor TupleType(items: List[Type], fallback: Instance, line: int=…, column: int=…, implicit: bool=…) -> None
  • added: constructor Type(line: int=…, column: int=…) -> None
  • added: constructor TypeList(items: List[Type], line: int=…, column: int=…) -> None
  • added: constructor TypeQuery(default: bool, strategy: int) -> None
  • added: constructor TypeType(item: Type, *, line: int=…, column: int=…) -> None
  • added: constructor TypeVarDef(name: str, id: Union[TypeVarId, int], values: Optional[List[Type]], upper_bound: Type, variance: int=…, line: int=…, column: int=…) -> None
  • added: constructor TypeVarId(raw_id: int, meta_level: int=…) -> None
  • added: constructor TypeVarType(binder: TypeVarDef, line: int=…, column: int=…) -> None
  • added: constructor TypedDictType(items: OrderedDict[str, Type], fallback: Instance, line: int=…, column: int=…) -> None
  • added: constructor UnboundType(name: str, args: List[Type]=…, line: int=…, column: int=…, optional: bool=…, is_ret_type: bool=…, empty_tuple_index: bool=…) -> None
  • added: constructor UninhabitedType(line: int=…, column: int=…) -> None
  • added: constructor UnionType(items: List[Type], line: int=…, column: int=…) -> None
  • added: constructor Void(source: str=…, line: int=…, column: int=…) -> None
  • added: field CallableType.arg_kinds
  • added: field CallableType.arg_names
  • added: field CallableType.arg_types
  • added: field CallableType.definition
  • added: field CallableType.implicit
  • added: field CallableType.is_classmethod_class
  • added: field CallableType.is_ellipsis_args
  • added: field CallableType.is_var_arg
  • added: field CallableType.min_args
  • added: field CallableType.name
  • added: field CallableType.ret_type
  • added: field CallableType.special_sig
  • added: field CallableType.variables
  • added: field DeletedType.source
  • added: field FunctionLike.can_be_false
  • added: field FunctionLike.fallback
  • added: field Instance.args
  • added: field Instance.erased
  • added: field Instance.invalid
  • added: field Instance.type
  • added: field Instance.type_ref
  • added: field NoneTyp.can_be_true
  • added: field PartialType.inner_types
  • added: field PartialType.type
  • added: field PartialType.var
  • added: field StarType.type
  • added: field TupleType.fallback
  • added: field TupleType.implicit
  • added: field TupleType.items
  • added: field Type.can_be_false
  • added: field Type.can_be_true
  • added: field Type.column
  • added: field Type.line
  • added: field TypeList.items
  • added: field TypeQuery.default
  • added: field TypeQuery.strategy
  • added: field TypeType.item
  • added: field TypeVarDef.column
  • added: field TypeVarDef.id
  • added: field TypeVarDef.line
  • added: field TypeVarDef.name
  • added: field TypeVarDef.upper_bound
  • added: field TypeVarDef.values
  • added: field TypeVarDef.variance
  • added: field TypeVarId.meta_level
  • added: field TypeVarId.next_raw_id
  • added: field TypeVarId.raw_id
  • added: field TypeVarType.id
  • added: field TypeVarType.name
  • added: field TypeVarType.upper_bound
  • added: field TypeVarType.values
  • added: field TypeVarType.variance
  • added: field TypedDictType.fallback
  • added: field TypedDictType.items
  • added: field UnboundType.args
  • added: field UnboundType.empty_tuple_index
  • added: field UnboundType.is_ret_type
  • added: field UnboundType.name
  • added: field UnboundType.optional
  • added: field UninhabitedType.can_be_false
  • added: field UninhabitedType.can_be_true
  • added: field UnionType.items
  • added: field Void.can_be_true
  • added: field Void.source
  • added: function callable_type(fdef: mypy.nodes.FuncItem, fallback: Instance, ret_type: Type=…) -> CallableType
  • added: function copy_type(t: Type) -> Type
  • added: function false_only(t: Type) -> Type
  • added: function function_type(func: mypy.nodes.FuncBase, fallback: Instance) -> FunctionLike
  • added: function get_typ_args(tp: Type) -> List[Type]
  • added: function is_named_instance(t: Type, fullname: str) -> bool
  • added: function set_typ_args(tp: Type, new_args: List[Type], line: int=…, column: int=…) -> Type
  • added: function strip_type(typ: Type) -> Type
  • added: function true_only(t: Type) -> Type
  • added: function true_or_false(t: Type) -> Type
  • added: method AnyType.accept(visitor: TypeVisitor[T]) -> T
  • added: method AnyType.serialize() -> JsonDict
  • added: method CallableType.accept(visitor: TypeVisitor[T]) -> T
  • added: method CallableType.argument_by_name(name: str) -> Optional[FormalArgument]
  • added: method CallableType.argument_by_position(position: int) -> Optional[FormalArgument]
  • added: method CallableType.copy_modified(arg_types: List[Type]=…, arg_kinds: List[int]=…, arg_names: List[str]=…, ret_type: Type=…, fallback: Instance=…, name: str=…, definition: SymbolNode=…, variables: List[TypeVarDef]=…, line: int=…, column: int=…, is_ellipsis_args: bool=…, special_sig: Optional[str]=…) -> CallableType
  • added: method CallableType.corresponding_argument(model: FormalArgument) -> Optional[FormalArgument]
  • added: method CallableType.is_concrete_type_obj() -> bool
  • added: method CallableType.is_generic() -> bool
  • added: method CallableType.is_type_obj() -> bool
  • added: method CallableType.items() -> List[CallableType]
  • added: method CallableType.max_fixed_args() -> int
  • added: method CallableType.serialize() -> JsonDict
  • added: method CallableType.type_object() -> mypy.nodes.TypeInfo
  • added: method CallableType.type_var_ids() -> List[TypeVarId]
  • added: method CallableType.with_name(name: str) -> CallableType
  • added: method DeletedType.accept(visitor: TypeVisitor[T]) -> T
  • added: method DeletedType.serialize() -> JsonDict
  • added: method EllipsisType.accept(visitor: TypeVisitor[T]) -> T
  • added: method EllipsisType.serialize() -> JsonDict
  • added: method ErasedType.accept(visitor: TypeVisitor[T]) -> T
  • added: method ErrorType.accept(visitor: TypeVisitor[T]) -> T
  • added: method FunctionLike.is_concrete_type_obj() -> bool
  • added: method FunctionLike.is_type_obj() -> bool
  • added: method FunctionLike.items() -> List[CallableType]
  • added: method FunctionLike.type_object() -> mypy.nodes.TypeInfo
  • added: method FunctionLike.with_name(name: str) -> FunctionLike
  • added: method Instance.accept(visitor: TypeVisitor[T]) -> T
  • added: method Instance.copy_modified(*, args: List[Type]) -> Instance
  • added: method Instance.serialize() -> JsonDict
  • added: method NoneTyp.accept(visitor: TypeVisitor[T]) -> T
  • added: method NoneTyp.serialize() -> JsonDict
  • added: method Overloaded.accept(visitor: TypeVisitor[T]) -> T
  • added: method Overloaded.is_type_obj() -> bool
  • added: method Overloaded.items() -> List[CallableType]
  • added: method Overloaded.name() -> str
  • added: method Overloaded.serialize() -> JsonDict
  • added: method Overloaded.type_object() -> mypy.nodes.TypeInfo
  • added: method Overloaded.with_name(name: str) -> Overloaded
  • added: method PartialType.accept(visitor: TypeVisitor[T]) -> T
  • added: method StarType.accept(visitor: TypeVisitor[T]) -> T
  • added: method TupleType.accept(visitor: TypeVisitor[T]) -> T
  • added: method TupleType.copy_modified(*, fallback: Instance=…, items: List[Type]=…) -> TupleType
  • added: method TupleType.length() -> int
  • added: method TupleType.serialize() -> JsonDict
  • added: method TupleType.slice(begin: int, stride: int, end: int) -> TupleType
  • added: method Type.accept(visitor: TypeVisitor[T]) -> T
  • added: method Type.get_column() -> int
  • added: method Type.get_line() -> int
  • added: method Type.serialize() -> JsonDict
  • added: method TypeList.accept(visitor: TypeVisitor[T]) -> T
  • added: method TypeList.serialize() -> JsonDict
  • added: method TypeQuery.query_types(types: Iterable[Type]) -> bool
  • added: method TypeQuery.visit_any(t: AnyType) -> bool
  • added: method TypeQuery.visit_callable_type(t: CallableType) -> bool
  • added: method TypeQuery.visit_deleted_type(t: DeletedType) -> bool
  • added: method TypeQuery.visit_erased_type(t: ErasedType) -> bool
  • added: method TypeQuery.visit_error_type(t: ErrorType) -> bool
  • added: method TypeQuery.visit_instance(t: Instance) -> bool
  • added: method TypeQuery.visit_none_type(t: NoneTyp) -> bool
  • added: method TypeQuery.visit_overloaded(t: Overloaded) -> bool
  • added: method TypeQuery.visit_partial_type(t: PartialType) -> bool
  • added: method TypeQuery.visit_star_type(t: StarType) -> bool
  • added: method TypeQuery.visit_tuple_type(t: TupleType) -> bool
  • added: method TypeQuery.visit_type_list(t: TypeList) -> bool
  • added: method TypeQuery.visit_type_type(t: TypeType) -> bool
  • added: method TypeQuery.visit_type_var(t: TypeVarType) -> bool
  • added: method TypeQuery.visit_typeddict_type(t: TypedDictType) -> bool
  • added: method TypeQuery.visit_unbound_type(t: UnboundType) -> bool
  • added: method TypeQuery.visit_uninhabited_type(t: UninhabitedType) -> bool
  • added: method TypeQuery.visit_union_type(t: UnionType) -> bool
  • added: method TypeQuery.visit_void(t: Void) -> bool
  • added: method TypeStrVisitor.keywords_str(a: Iterable[Tuple[str, Type]]) -> str
  • added: method TypeStrVisitor.list_str(a: List[Type]) -> str
  • added: method TypeStrVisitor.visit_any(t: AnyType) -> str
  • added: method TypeStrVisitor.visit_callable_type(t: CallableType) -> str
  • added: method TypeStrVisitor.visit_deleted_type(t: DeletedType) -> str
  • added: method TypeStrVisitor.visit_ellipsis_type(t: EllipsisType) -> str
  • added: method TypeStrVisitor.visit_erased_type(t: ErasedType) -> str
  • added: method TypeStrVisitor.visit_error_type(t: ErrorType) -> str
  • added: method TypeStrVisitor.visit_instance(t: Instance) -> str
  • added: method TypeStrVisitor.visit_none_type(t: NoneTyp) -> str
  • added: method TypeStrVisitor.visit_overloaded(t: Overloaded) -> str
  • added: method TypeStrVisitor.visit_partial_type(t: PartialType) -> str
  • added: method TypeStrVisitor.visit_star_type(t: StarType) -> str
  • added: method TypeStrVisitor.visit_tuple_type(t: TupleType) -> str
  • added: method TypeStrVisitor.visit_type_list(t: TypeList) -> str
  • added: method TypeStrVisitor.visit_type_type(t: TypeType) -> str
  • added: method TypeStrVisitor.visit_type_var(t: TypeVarType) -> str
  • added: method TypeStrVisitor.visit_typeddict_type(t: TypedDictType) -> str
  • added: method TypeStrVisitor.visit_unbound_type(t: UnboundType) -> str
  • added: method TypeStrVisitor.visit_uninhabited_type(t: UninhabitedType) -> str
  • added: method TypeStrVisitor.visit_union_type(t: UnionType) -> str
  • added: method TypeStrVisitor.visit_void(t: Void) -> str
  • added: method TypeTranslator.translate_types(types: List[Type]) -> List[Type]
  • added: method TypeTranslator.translate_variables(variables: List[TypeVarDef]) -> List[TypeVarDef]
  • added: method TypeTranslator.visit_any(t: AnyType) -> Type
  • added: method TypeTranslator.visit_callable_type(t: CallableType) -> Type
  • added: method TypeTranslator.visit_deleted_type(t: DeletedType) -> Type
  • added: method TypeTranslator.visit_ellipsis_type(t: EllipsisType) -> Type
  • added: method TypeTranslator.visit_erased_type(t: ErasedType) -> Type
  • added: method TypeTranslator.visit_error_type(t: ErrorType) -> Type
  • added: method TypeTranslator.visit_instance(t: Instance) -> Type
  • added: method TypeTranslator.visit_none_type(t: NoneTyp) -> Type
  • added: method TypeTranslator.visit_overloaded(t: Overloaded) -> Type
  • added: method TypeTranslator.visit_partial_type(t: PartialType) -> Type
  • added: method TypeTranslator.visit_star_type(t: StarType) -> Type
  • added: method TypeTranslator.visit_tuple_type(t: TupleType) -> Type
  • added: method TypeTranslator.visit_type_list(t: TypeList) -> Type
  • added: method TypeTranslator.visit_type_type(t: TypeType) -> Type
  • added: method TypeTranslator.visit_type_var(t: TypeVarType) -> Type
  • added: method TypeTranslator.visit_typeddict_type(t: TypedDictType) -> Type
  • added: method TypeTranslator.visit_unbound_type(t: UnboundType) -> Type
  • added: method TypeTranslator.visit_uninhabited_type(t: UninhabitedType) -> Type
  • added: method TypeTranslator.visit_union_type(t: UnionType) -> Type
  • added: method TypeTranslator.visit_void(t: Void) -> Type
  • added: method TypeType.accept(visitor: TypeVisitor[T]) -> T
  • added: method TypeType.serialize() -> JsonDict
  • added: method TypeVarDef.get_column() -> int
  • added: method TypeVarDef.get_line() -> int
  • added: method TypeVarDef.serialize() -> JsonDict
  • added: method TypeVarId.is_meta_var() -> bool
  • added: method TypeVarType.accept(visitor: TypeVisitor[T]) -> T
  • added: method TypeVarType.erase_to_union_or_bound() -> Type
  • added: method TypeVarType.serialize() -> JsonDict
  • added: method TypeVisitor.visit_any(t: AnyType) -> T
  • added: method TypeVisitor.visit_callable_type(t: CallableType) -> T
  • added: method TypeVisitor.visit_deleted_type(t: DeletedType) -> T
  • added: method TypeVisitor.visit_ellipsis_type(t: EllipsisType) -> T
  • added: method TypeVisitor.visit_erased_type(t: ErasedType) -> T
  • added: method TypeVisitor.visit_error_type(t: ErrorType) -> T
  • added: method TypeVisitor.visit_instance(t: Instance) -> T
  • added: method TypeVisitor.visit_none_type(t: NoneTyp) -> T
  • added: method TypeVisitor.visit_overloaded(t: Overloaded) -> T
  • added: method TypeVisitor.visit_partial_type(t: PartialType) -> T
  • added: method TypeVisitor.visit_star_type(t: StarType) -> T
  • added: method TypeVisitor.visit_tuple_type(t: TupleType) -> T
  • added: method TypeVisitor.visit_type_list(t: TypeList) -> T
  • added: method TypeVisitor.visit_type_type(t: TypeType) -> T
  • added: method TypeVisitor.visit_type_var(t: TypeVarType) -> T
  • added: method TypeVisitor.visit_typeddict_type(t: TypedDictType) -> T
  • added: method TypeVisitor.visit_unbound_type(t: UnboundType) -> T
  • added: method TypeVisitor.visit_uninhabited_type(t: UninhabitedType) -> T
  • added: method TypeVisitor.visit_union_type(t: UnionType) -> T
  • added: method TypeVisitor.visit_void(t: Void) -> T
  • added: method TypedDictType.accept(visitor: TypeVisitor[T]) -> T
  • added: method TypedDictType.as_anonymous() -> TypedDictType
  • added: method TypedDictType.copy_modified(*, fallback: Instance=…, item_types: List[Type]=…) -> TypedDictType
  • added: method TypedDictType.create_anonymous_fallback(*, value_type: Type) -> Instance
  • added: method TypedDictType.names_are_wider_than(other: TypedDictType) -> bool
  • added: method TypedDictType.serialize() -> JsonDict
  • added: method TypedDictType.zip(right: TypedDictType) -> Iterable[Tuple[str, Type, Type]]
  • added: method TypedDictType.zipall(right: TypedDictType) -> Iterable[Tuple[str, Optional[Type], Optional[Type]]]
  • added: method UnboundType.accept(visitor: TypeVisitor[T]) -> T
  • added: method UnboundType.serialize() -> JsonDict
  • added: method UninhabitedType.accept(visitor: TypeVisitor[T]) -> T
  • added: method UninhabitedType.serialize() -> JsonDict
  • added: method UnionType.accept(visitor: TypeVisitor[T]) -> T
  • added: method UnionType.has_readable_member(name: str) -> bool
  • added: method UnionType.length() -> int
  • added: method UnionType.serialize() -> JsonDict
  • added: method Void.accept(visitor: TypeVisitor[T]) -> T
  • added: method Void.serialize() -> JsonDict
  • added: method Void.with_source(source: str) -> Void
  • added: static method AnyType.deserialize(data: JsonDict) -> AnyType
  • added: static method CallableType.deserialize(data: JsonDict) -> CallableType
  • added: static method DeletedType.deserialize(data: JsonDict) -> DeletedType
  • added: static method EllipsisType.deserialize(data: JsonDict) -> EllipsisType
  • added: static method FunctionLike.deserialize(data: JsonDict) -> FunctionLike
  • added: static method Instance.deserialize(data: JsonDict) -> Instance
  • added: static method NoneTyp.deserialize(data: JsonDict) -> NoneTyp
  • added: static method Overloaded.deserialize(data: JsonDict) -> Overloaded
  • added: static method TupleType.deserialize(data: JsonDict) -> TupleType
  • added: static method Type.deserialize(data: JsonDict) -> Type
  • added: static method TypeList.deserialize(data: JsonDict) -> TypeList
  • added: static method TypeType.deserialize(data: JsonDict) -> TypeType
  • added: static method TypeVarDef.deserialize(data: JsonDict) -> TypeVarDef
  • added: static method TypeVarDef.new_unification_variable(old: TypeVarDef) -> TypeVarDef
  • added: static method TypeVarId.new(meta_level: int) -> TypeVarId
  • added: static method TypeVarType.deserialize(data: JsonDict) -> TypeVarType
  • added: static method TypedDictType.deserialize(data: JsonDict) -> TypedDictType
  • added: static method UnboundType.deserialize(data: JsonDict) -> UnboundType
  • added: static method UninhabitedType.deserialize(data: JsonDict) -> UninhabitedType
  • added: static method UnionType.deserialize(data: JsonDict) -> UnionType
  • added: static method UnionType.make_simplified_union(items: List[Type], line: int=…, column: int=…) -> Type
  • added: static method UnionType.make_union(items: List[Type], line: int=…, column: int=…) -> Type
  • added: static method Void.deserialize(data: JsonDict) -> Void
  • added: variable ALL_TYPES_STRATEGY
  • added: variable ANY_TYPE_STRATEGY
  • added: variable FormalArgument
  • added: variable JsonDict
  • added: variable T
  • added: function array_repr(a: List[T]) -> List[str]
  • added: function dump_tagged(nodes: Sequence[object], tag: str) -> str
  • added: function find_python_encoding(text: bytes, pyversion: Tuple[int, int]) -> Tuple[str, int]
  • added: function indent(s: str, n: int) -> str
  • added: function short_type(obj: object) -> str
  • added: function split_module_names(mod_name: str) -> List[str]
  • added: function try_find_python2_interpreter() -> Optional[str]
  • added: function write_junit_xml(dt: float, serious: bool, messages: List[str], path: str) -> None
  • added: variable ENCODING_RE
  • added: variable ERROR_TEMPLATE
  • added: variable FAIL_TEMPLATE
  • added: variable PASS_TEMPLATE
  • added: variable T
  • added: variable default_python2_interpreter
  • added: class NodeVisitor(Generic[T])
  • added: method NodeVisitor.visit__promote_expr(o: mypy.nodes.PromoteExpr) -> T
  • added: method NodeVisitor.visit_assert_stmt(o: mypy.nodes.AssertStmt) -> T
  • added: method NodeVisitor.visit_assignment_stmt(o: mypy.nodes.AssignmentStmt) -> T
  • added: method NodeVisitor.visit_await_expr(o: mypy.nodes.AwaitExpr) -> T
  • added: method NodeVisitor.visit_backquote_expr(o: mypy.nodes.BackquoteExpr) -> T
  • added: method NodeVisitor.visit_block(o: mypy.nodes.Block) -> T
  • added: method NodeVisitor.visit_break_stmt(o: mypy.nodes.BreakStmt) -> T
  • added: method NodeVisitor.visit_bytes_expr(o: mypy.nodes.BytesExpr) -> T
  • added: method NodeVisitor.visit_call_expr(o: mypy.nodes.CallExpr) -> T
  • added: method NodeVisitor.visit_cast_expr(o: mypy.nodes.CastExpr) -> T
  • added: method NodeVisitor.visit_class_def(o: mypy.nodes.ClassDef) -> T
  • added: method NodeVisitor.visit_comparison_expr(o: mypy.nodes.ComparisonExpr) -> T
  • added: method NodeVisitor.visit_complex_expr(o: mypy.nodes.ComplexExpr) -> T
  • added: method NodeVisitor.visit_conditional_expr(o: mypy.nodes.ConditionalExpr) -> T
  • added: method NodeVisitor.visit_continue_stmt(o: mypy.nodes.ContinueStmt) -> T
  • added: method NodeVisitor.visit_decorator(o: mypy.nodes.Decorator) -> T
  • added: method NodeVisitor.visit_del_stmt(o: mypy.nodes.DelStmt) -> T
  • added: method NodeVisitor.visit_dict_expr(o: mypy.nodes.DictExpr) -> T
  • added: method NodeVisitor.visit_dictionary_comprehension(o: mypy.nodes.DictionaryComprehension) -> T
  • added: method NodeVisitor.visit_ellipsis(o: mypy.nodes.EllipsisExpr) -> T
  • added: method NodeVisitor.visit_exec_stmt(o: mypy.nodes.ExecStmt) -> T
  • added: method NodeVisitor.visit_expression_stmt(o: mypy.nodes.ExpressionStmt) -> T
  • added: method NodeVisitor.visit_float_expr(o: mypy.nodes.FloatExpr) -> T
  • added: method NodeVisitor.visit_for_stmt(o: mypy.nodes.ForStmt) -> T
  • added: method NodeVisitor.visit_func_def(o: mypy.nodes.FuncDef) -> T
  • added: method NodeVisitor.visit_func_expr(o: mypy.nodes.FuncExpr) -> T
  • added: method NodeVisitor.visit_generator_expr(o: mypy.nodes.GeneratorExpr) -> T
  • added: method NodeVisitor.visit_global_decl(o: mypy.nodes.GlobalDecl) -> T
  • added: method NodeVisitor.visit_if_stmt(o: mypy.nodes.IfStmt) -> T
  • added: method NodeVisitor.visit_import(o: mypy.nodes.Import) -> T
  • added: method NodeVisitor.visit_import_all(o: mypy.nodes.ImportAll) -> T
  • added: method NodeVisitor.visit_import_from(o: mypy.nodes.ImportFrom) -> T
  • added: method NodeVisitor.visit_index_expr(o: mypy.nodes.IndexExpr) -> T
  • added: method NodeVisitor.visit_int_expr(o: mypy.nodes.IntExpr) -> T
  • added: method NodeVisitor.visit_list_comprehension(o: mypy.nodes.ListComprehension) -> T
  • added: method NodeVisitor.visit_list_expr(o: mypy.nodes.ListExpr) -> T
  • added: method NodeVisitor.visit_member_expr(o: mypy.nodes.MemberExpr) -> T
  • added: method NodeVisitor.visit_mypy_file(o: mypy.nodes.MypyFile) -> T
  • added: method NodeVisitor.visit_name_expr(o: mypy.nodes.NameExpr) -> T
  • added: method NodeVisitor.visit_namedtuple_expr(o: mypy.nodes.NamedTupleExpr) -> T
  • added: method NodeVisitor.visit_newtype_expr(o: mypy.nodes.NewTypeExpr) -> T
  • added: method NodeVisitor.visit_nonlocal_decl(o: mypy.nodes.NonlocalDecl) -> T
  • added: method NodeVisitor.visit_op_expr(o: mypy.nodes.OpExpr) -> T
  • added: method NodeVisitor.visit_operator_assignment_stmt(o: mypy.nodes.OperatorAssignmentStmt) -> T
  • added: method NodeVisitor.visit_overloaded_func_def(o: mypy.nodes.OverloadedFuncDef) -> T
  • added: method NodeVisitor.visit_pass_stmt(o: mypy.nodes.PassStmt) -> T
  • added: method NodeVisitor.visit_print_stmt(o: mypy.nodes.PrintStmt) -> T
  • added: method NodeVisitor.visit_raise_stmt(o: mypy.nodes.RaiseStmt) -> T
  • added: method NodeVisitor.visit_return_stmt(o: mypy.nodes.ReturnStmt) -> T
  • added: method NodeVisitor.visit_reveal_type_expr(o: mypy.nodes.RevealTypeExpr) -> T
  • added: method NodeVisitor.visit_set_comprehension(o: mypy.nodes.SetComprehension) -> T
  • added: method NodeVisitor.visit_set_expr(o: mypy.nodes.SetExpr) -> T
  • added: method NodeVisitor.visit_slice_expr(o: mypy.nodes.SliceExpr) -> T
  • added: method NodeVisitor.visit_star_expr(o: mypy.nodes.StarExpr) -> T
  • added: method NodeVisitor.visit_str_expr(o: mypy.nodes.StrExpr) -> T
  • added: method NodeVisitor.visit_super_expr(o: mypy.nodes.SuperExpr) -> T
  • added: method NodeVisitor.visit_temp_node(o: mypy.nodes.TempNode) -> T
  • added: method NodeVisitor.visit_try_stmt(o: mypy.nodes.TryStmt) -> T
  • added: method NodeVisitor.visit_tuple_expr(o: mypy.nodes.TupleExpr) -> T
  • added: method NodeVisitor.visit_type_alias_expr(o: mypy.nodes.TypeAliasExpr) -> T
  • added: method NodeVisitor.visit_type_application(o: mypy.nodes.TypeApplication) -> T
  • added: method NodeVisitor.visit_type_var_expr(o: mypy.nodes.TypeVarExpr) -> T
  • added: method NodeVisitor.visit_typeddict_expr(o: mypy.nodes.TypedDictExpr) -> T
  • added: method NodeVisitor.visit_unary_expr(o: mypy.nodes.UnaryExpr) -> T
  • added: method NodeVisitor.visit_unicode_expr(o: mypy.nodes.UnicodeExpr) -> T
  • added: method NodeVisitor.visit_var(o: mypy.nodes.Var) -> T
  • added: method NodeVisitor.visit_while_stmt(o: mypy.nodes.WhileStmt) -> T
  • added: method NodeVisitor.visit_with_stmt(o: mypy.nodes.WithStmt) -> T
  • added: method NodeVisitor.visit_yield_expr(o: mypy.nodes.YieldExpr) -> T
  • added: method NodeVisitor.visit_yield_from_expr(o: mypy.nodes.YieldFromExpr) -> T
  • added: variable T
  • added: class LazySubprocess
  • added: class Noter
  • added: class Waiter
  • added: class WaiterError(Exception)
  • added: constructor LazySubprocess(name: str, args: List[str], *, cwd: str=…, env: Dict[str, str]=…) -> None
  • added: constructor Noter(total: int) -> None
  • added: constructor Waiter(limit: int=…, *, verbosity: int=…, xfail: List[str]=…) -> None
  • added: function parse_test_stats_from_output(output: str, fail_type: Optional[str]) -> Tuple[int, int]
  • added: method LazySubprocess.read_output() -> str
  • added: method LazySubprocess.start() -> None
  • added: method LazySubprocess.status() -> Optional[int]
  • added: method LazySubprocess.wait() -> int
  • added: method Noter.clear() -> None
  • added: method Noter.message(msg: str) -> None
  • added: method Noter.start(job: int) -> None
  • added: method Noter.stop(job: int, failed: bool) -> None
  • added: method Noter.update() -> None
  • added: method Waiter.add(cmd: LazySubprocess) -> int
  • added: method Waiter.run() -> int
  • added: property LazySubprocess.elapsed_time -> float