mypy.test.testtypes.JoinSuite

class documentation

class JoinSuite(Suite): (source)

Undocumented

Method	`assert_join`	Undocumented
Method	`assert_simple_join`	Undocumented
Method	`callable`	callable(a1, ..., an, r) constructs a callable with argument types a1, ... an and return type r.
Method	`setUp`	Undocumented
Method	`test_any_type`	Undocumented
Method	`test_callables_with_any`	Undocumented
Method	`test_class_subtyping`	Undocumented
Method	`test_function_types`	Undocumented
Method	`test_generic_interfaces`	Undocumented
Method	`test_generic_types_and_any`	Undocumented
Method	`test_generics_contravariant`	Undocumented
Method	`test_generics_covariant`	Undocumented
Method	`test_generics_invariant`	Undocumented
Method	`test_generics_with_inheritance`	Undocumented
Method	`test_generics_with_inheritance_and_shared_supertype`	Undocumented
Method	`test_generics_with_multiple_args`	Undocumented
Method	`test_join_class_types_with_interface_result`	Undocumented
Method	`test_join_interface_and_class_types`	Undocumented
Method	`test_join_interface_types`	Undocumented
Method	`test_literal_type`	Undocumented
Method	`test_mixed_truth_restricted_type`	Undocumented
Method	`test_mixed_truth_restricted_type_simple`	Undocumented
Method	`test_none`	Undocumented
Method	`test_other_mixed_types`	Undocumented
Method	`test_overloaded`	Undocumented
Method	`test_overloaded_with_any`	Undocumented
Method	`test_simple_generics`	Undocumented
Method	`test_simple_type_objects`	Undocumented
Method	`test_trivial_cases`	Undocumented
Method	`test_tuples`	Undocumented
Method	`test_type_type`	Undocumented
Method	`test_type_vars`	Undocumented
Method	`test_unbound_type`	Undocumented
Method	`test_var_tuples`	Undocumented
Method	`tuple`	Undocumented
Method	`type_callable`	type_callable(a1, ..., an, r) constructs a callable with argument types a1, ... an and return type r, and which represents a type.
Method	`var_tuple`	Construct a variable-length tuple type
Instance Variable	`fx`	Undocumented
Instance Variable	`fx_co`	Undocumented
Instance Variable	`fx_contra`	Undocumented

def assert_join(self, s, t, join): (source)

Undocumented

Parameters
s:`Type`	Undocumented
t:`Type`	Undocumented
join:`Type`	Undocumented

def assert_simple_join(self, s, t, join): (source)

Undocumented

Parameters
s:`Type`	Undocumented
t:`Type`	Undocumented
join:`Type`	Undocumented

def callable(self, *a): (source)

callable(a1, ..., an, r) constructs a callable with argument types a1, ... an and return type r.

Parameters
*a:`Type`	Undocumented
Returns
`CallableType`	Undocumented

def setUp(self): (source)

Undocumented

def test_any_type(self): (source)

Undocumented

def test_callables_with_any(self): (source)

Undocumented

def test_class_subtyping(self): (source)

Undocumented

def test_function_types(self): (source)

Undocumented

@skip
def test_generic_interfaces(self): (source)

Undocumented

def test_generic_types_and_any(self): (source)

Undocumented

def test_generics_contravariant(self): (source)

Undocumented

def test_generics_covariant(self): (source)

Undocumented

def test_generics_invariant(self): (source)

Undocumented

def test_generics_with_inheritance(self): (source)

Undocumented

def test_generics_with_inheritance_and_shared_supertype(self): (source)

Undocumented

def test_generics_with_multiple_args(self): (source)

Undocumented

@skip
def test_join_class_types_with_interface_result(self): (source)

Undocumented

@skip
def test_join_interface_and_class_types(self): (source)

Undocumented

@skip
def test_join_interface_types(self): (source)

Undocumented

def test_literal_type(self): (source)

Undocumented

def test_mixed_truth_restricted_type(self): (source)

Undocumented

def test_mixed_truth_restricted_type_simple(self): (source)

Undocumented

def test_none(self): (source)

Undocumented

def test_other_mixed_types(self): (source)

Undocumented

def test_overloaded(self): (source)

Undocumented

def test_overloaded_with_any(self): (source)

Undocumented

def test_simple_generics(self): (source)

Undocumented

def test_simple_type_objects(self): (source)

Undocumented

def test_trivial_cases(self): (source)

Undocumented

def test_tuples(self): (source)

Undocumented

def test_type_type(self): (source)

Undocumented

def test_type_vars(self): (source)

Undocumented

def test_unbound_type(self): (source)

Undocumented

def test_var_tuples(self): (source)

Undocumented

def tuple(self, *a): (source)

Undocumented

Parameters
*a:`Type`	Undocumented
Returns
`TupleType`	Undocumented

def type_callable(self, *a): (source)

type_callable(a1, ..., an, r) constructs a callable with argument types a1, ... an and return type r, and which represents a type.

Parameters
*a:`Type`	Undocumented
Returns
`CallableType`	Undocumented

def var_tuple(self, t): (source)

Construct a variable-length tuple type

Parameters
t:`Type`	Undocumented
Returns
`Instance`	Undocumented

fx = (source)

Undocumented

fx_co = (source)

Undocumented

fx_contra = (source)

Undocumented