mypy.test.testtypes.JoinSuite

class documentation

class JoinSuite(Suite): (source)

View In Hierarchy

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: Type, t: Type, join: Type): (source)

Undocumented

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

Undocumented

def callable(self, *a: Type) -> CallableType: (source)

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

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: Type) -> TupleType: (source)

Undocumented

def type_callable(self, *a: Type) -> CallableType: (source)

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

def var_tuple(self, t: Type) -> Instance: (source)

Construct a variable-length tuple type

fx = (source)

Undocumented

fx_co = (source)

Undocumented

fx_contra = (source)

Undocumented