Search bar offers the following options:
+foo bar -baz
foo*
+qname:twisted.mail.* +search
Possible fields: 'name', 'qname' (fully qualified name), 'docstring', and 'kind'. Last two fields are only applicable if "search in docstrings" is enabled.
foo~1
Results provided by Lunr.js
Finished
checkexpr
ArgInferSecondPassQuery
ExpressionChecker
HasAnyType
HasErasedComponentsQuery
HasTypeVarQuery
HasUninhabitedComponentsQuery
TooManyUnions
all_same_types
allow_fast_container_literal
any_causes_overload_ambiguity
arg_approximate_similarity
extract_refexpr_names
get_partial_instance_type
has_any_type
has_bytes_component
has_coroutine_decorator
has_erased_component
has_uninhabited_component
is_async_def
is_duplicate_mapping
is_expr_literal_type
is_non_empty_tuple
is_operator_method
merge_typevars_in_callables_by_name
replace_callable_return_type
try_getting_literal
type_info_from_type
MAX_UNIONS
OVERLAPPING_BYTES_ALLOWLIST
OVERLAPPING_TYPES_ALLOWLIST
ArgChecker
mypy.checkexpr.Finished
mypy
class Finished(Exception): (source)
View In Hierarchy
Raised if we can terminate overload argument check early (no match).