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 set​Up 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, t, meet): (source)

Undocumented

Parameters
s:TypeUndocumented
t:TypeUndocumented
meet:TypeUndocumented
def assert_meet_uninhabited(self, s, t): (source)

Undocumented

Parameters
s:TypeUndocumented
t:TypeUndocumented
def assert_simple_meet(self, s, t, meet): (source)

Undocumented

Parameters
s:TypeUndocumented
t:TypeUndocumented
meet:TypeUndocumented
def callable(self, *a): (source)
callable(a1, ..., an, r) constructs a callable with argument types a1, ... an and return type r.
Parameters
*a:TypeUndocumented
Returns
CallableTypeUndocumented
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): (source)

Undocumented

Parameters
*a:TypeUndocumented
Returns
TupleTypeUndocumented
fx = (source)

Undocumented