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, constraints, results): (source)

Undocumented

Parameters
vars:`List[TypeVarId]`	Undocumented
constraints:`List[Constraint]`	Undocumented
results:`List[Union[None, Type, Tuple[Type, Type]]]`	Undocumented

def setUp(self): (source)

Undocumented

def subc(self, type_var, bound): (source)

Undocumented

def supc(self, type_var, bound): (source)

Undocumented

def test_both_kinds_of_constraints(self): (source)

Undocumented

def test_both_normal_and_any_types_in_results(self): (source)

Undocumented

def test_empty_input(self): (source)

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