mypy.test.testtypes.MeetSuite

class documentation

class MeetSuite(Suite): (source)

View In Hierarchy

Undocumented

Method assert_meet Undocumented
Method assert_meet_uninhabited Undocumented
Method assert_simple_meet Undocumented
Method callable callable(a1, ..., an, r) constructs a callable with argument types a1, ... an and return type r.
Method setUp Undocumented
Method test_callables_with_dynamic Undocumented
Method test_class_subtyping Undocumented
Method test_dynamic_type Undocumented
Method test_function_types Undocumented
Method test_generic_types_and_dynamic 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_literal_type Undocumented
Method test_meet_class_types_with_shared_interfaces Undocumented
Method test_meet_interface_and_class_types Undocumented
Method test_meet_interface_types Undocumented
Method test_meet_with_generic_interfaces Undocumented
Method test_none Undocumented
Method test_simple_generics 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 tuple Undocumented
Instance Variable fx Undocumented
def assert_meet(self, s: Type, t: Type, meet: Type): (source)

Undocumented

def assert_meet_uninhabited(self, s: Type, t: Type): (source)

Undocumented

def assert_simple_meet(self, s: Type, t: Type, meet: 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_callables_with_dynamic(self): (source)

Undocumented

def test_class_subtyping(self): (source)

Undocumented

def test_dynamic_type(self): (source)

Undocumented

def test_function_types(self): (source)

Undocumented

def test_generic_types_and_dynamic(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

def test_literal_type(self): (source)

Undocumented

def test_meet_class_types_with_shared_interfaces(self): (source)

Undocumented

def test_meet_interface_and_class_types(self): (source)

Undocumented

def test_meet_interface_types(self): (source)

Undocumented

@skip
def test_meet_with_generic_interfaces(self): (source)

Undocumented

def test_none(self): (source)

Undocumented

def test_simple_generics(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 tuple(self, *a: Type) -> TupleType: (source)

Undocumented

fx = (source)

Undocumented