mypy.test.testsolve.SolveSuite

class documentation

class SolveSuite(Suite): (source)

Undocumented

Method	`assert_solve`	Undocumented
Method	`setUp`	Undocumented
Method	`subc`	Undocumented
Method	`supc`	Undocumented
Method	`test_both_kinds_of_constraints`	Undocumented
Method	`test_both_normal_and_any_types_in_results`	Undocumented
Method	`test_empty_input`	Undocumented
Method	`test_exactly_specified_result`	Undocumented
Method	`test_multiple_variables`	Undocumented
Method	`test_no_constraints_for_var`	Undocumented
Method	`test_simple_constraints_with_dynamic_type`	Undocumented
Method	`test_simple_subtype_constraints`	Undocumented
Method	`test_simple_supertype_constraints`	Undocumented
Method	`test_unsatisfiable_constraints`	Undocumented
Instance Variable	`fx`	Undocumented

def assert_solve(self, vars: list[TypeVarId], constraints: list[Constraint], results: list[(None|Type)|tuple[Type, Type]]): (source) ¶

Undocumented

Undocumented

def subc(self, type_var: TypeVarType, bound: Type) -> Constraint: (source) ¶

Undocumented

def supc(self, type_var: TypeVarType, bound: Type) -> Constraint: (source) ¶

Undocumented

def test_both_kinds_of_constraints(self): (source) ¶

Undocumented

def test_both_normal_and_any_types_in_results(self): (source) ¶

Undocumented

Undocumented

def test_exactly_specified_result(self): (source) ¶

Undocumented

def test_multiple_variables(self): (source) ¶

Undocumented

def test_no_constraints_for_var(self): (source) ¶

Undocumented

def test_simple_constraints_with_dynamic_type(self): (source) ¶

Undocumented

def test_simple_subtype_constraints(self): (source) ¶

Undocumented

def test_simple_supertype_constraints(self): (source) ¶

Undocumented

def test_unsatisfiable_constraints(self): (source) ¶

Undocumented

Undocumented