module documentation

Pattern checker. This file is conceptually part of TypeChecker.

Class PatternChecker Pattern checker.
Class PatternType Undocumented
Function get_match_arg_names Undocumented
Function get_type_range Undocumented
Function get_var Warning: this in only true for expressions captured by a match statement. Don't call it from anywhere else
Function is_uninhabited Undocumented
Constant non_sequence_match_type_names Undocumented
Constant self_match_type_names Undocumented
def get_match_arg_names(typ: TupleType) -> list[str|None]: (source)

Undocumented

def get_type_range(typ: Type) -> mypy.checker.TypeRange: (source)

Undocumented

def get_var(expr: Expression) -> Var: (source)

Warning: this in only true for expressions captured by a match statement. Don't call it from anywhere else

def is_uninhabited(typ: Type) -> bool: (source)

Undocumented

non_sequence_match_type_names: list[str] = (source)

Undocumented

Value
['builtins.str', 'builtins.bytes', 'builtins.bytearray']
self_match_type_names: list[str] = (source)

Undocumented

Value
['builtins.bool',
 'builtins.bytearray',
 'builtins.bytes',
 'builtins.dict',
 'builtins.float',
 'builtins.frozenset',
 'builtins.int',
...