mypy.test.testtypes.TypeOpsSuite

class documentation

class TypeOpsSuite(Suite): (source)

View In Hierarchy

Undocumented

Method assert​_erase Undocumented
Method assert​_expand Undocumented
Method assert​_simplified​_union Undocumented
Method callable callable(args, a1, ..., an, r) constructs a callable with argument types a1, ... an and return type r and type arguments vars.
Method set​Up Undocumented
Method test​_empty​_tuple​_always​_false Undocumented
Method test​_erase​_with​_function​_type Undocumented
Method test​_erase​_with​_generic​_type Undocumented
Method test​_erase​_with​_generic​_type​_recursive Undocumented
Method test​_erase​_with​_tuple​_type Undocumented
Method test​_erase​_with​_type​_object Undocumented
Method test​_erase​_with​_type​_type Undocumented
Method test​_erase​_with​_type​_variable Undocumented
Method test​_expand​_basic​_generic​_types Undocumented
Method test​_expand​_naked​_type​_var Undocumented
Method test​_false​_only​_of​_false​_type​_is​_idempotent Undocumented
Method test​_false​_only​_of​_instance Undocumented
Method test​_false​_only​_of​_true​_type​_is​_uninhabited Undocumented
Method test​_false​_only​_of​_union Undocumented
Method test​_false​_only​_tuple Undocumented
Method test​_is​_more​_precise Undocumented
Method test​_is​_proper​_subtype Undocumented
Method test​_is​_proper​_subtype​_and​_subtype​_literal​_types Undocumented
Method test​_is​_proper​_subtype​_contravariance Undocumented
Method test​_is​_proper​_subtype​_covariance Undocumented
Method test​_is​_proper​_subtype​_invariance Undocumented
Method test​_nonempty​_tuple​_always​_true Undocumented
Method test​_simplified​_union Undocumented
Method test​_subtype​_aliases Undocumented
Method test​_trivial​_erase Undocumented
Method test​_trivial​_expand Undocumented
Method test​_trivial​_expand​_recursive Undocumented
Method test​_true​_only​_of​_false​_type​_is​_uninhabited Undocumented
Method test​_true​_only​_of​_instance Undocumented
Method test​_true​_only​_of​_true​_type​_is​_idempotent Undocumented
Method test​_true​_only​_of​_union Undocumented
Method test​_union​_can​_be​_false​_if​_any​_false Undocumented
Method test​_union​_can​_be​_true​_if​_any​_true Undocumented
Method test​_union​_can​_not​_be​_false​_if​_none​_false Undocumented
Method test​_union​_can​_not​_be​_true​_if​_none​_true Undocumented
Method tuple Undocumented
Instance Variable fx Undocumented
Instance Variable fx​_co Undocumented
Instance Variable fx​_contra Undocumented
def assert_erase(self, orig, result): (source)

Undocumented

Parameters
orig:TypeUndocumented
result:TypeUndocumented
def assert_expand(self, orig, map_items, result): (source)

Undocumented

Parameters
orig:TypeUndocumented
map​_items:List[Tuple[TypeVarId, Type]]Undocumented
result:TypeUndocumented
def assert_simplified_union(self, original, union): (source)

Undocumented

Parameters
original:List[Type]Undocumented
union:TypeUndocumented
def callable(self, vars, *a): (source)
callable(args, a1, ..., an, r) constructs a callable with argument types a1, ... an and return type r and type arguments vars.
Parameters
vars:List[str]Undocumented
*a:TypeUndocumented
Returns
CallableTypeUndocumented
def setUp(self): (source)

Undocumented

def test_empty_tuple_always_false(self): (source)

Undocumented

def test_erase_with_function_type(self): (source)

Undocumented

def test_erase_with_generic_type(self): (source)

Undocumented

def test_erase_with_generic_type_recursive(self): (source)

Undocumented

def test_erase_with_tuple_type(self): (source)

Undocumented

def test_erase_with_type_object(self): (source)

Undocumented

def test_erase_with_type_type(self): (source)

Undocumented

def test_erase_with_type_variable(self): (source)

Undocumented

def test_expand_basic_generic_types(self): (source)

Undocumented

def test_expand_naked_type_var(self): (source)

Undocumented

def test_false_only_of_false_type_is_idempotent(self): (source)

Undocumented

def test_false_only_of_instance(self): (source)

Undocumented

def test_false_only_of_true_type_is_uninhabited(self): (source)

Undocumented

def test_false_only_of_union(self): (source)

Undocumented

def test_false_only_tuple(self): (source)

Undocumented

def test_is_more_precise(self): (source)

Undocumented

def test_is_proper_subtype(self): (source)

Undocumented

def test_is_proper_subtype_and_subtype_literal_types(self): (source)

Undocumented

def test_is_proper_subtype_contravariance(self): (source)

Undocumented

def test_is_proper_subtype_covariance(self): (source)

Undocumented

def test_is_proper_subtype_invariance(self): (source)

Undocumented

def test_nonempty_tuple_always_true(self): (source)

Undocumented

def test_simplified_union(self): (source)

Undocumented

def test_subtype_aliases(self): (source)

Undocumented

def test_trivial_erase(self): (source)

Undocumented

def test_trivial_expand(self): (source)

Undocumented

def test_trivial_expand_recursive(self): (source)

Undocumented

def test_true_only_of_false_type_is_uninhabited(self): (source)

Undocumented

def test_true_only_of_instance(self): (source)

Undocumented

def test_true_only_of_true_type_is_idempotent(self): (source)

Undocumented

def test_true_only_of_union(self): (source)

Undocumented

def test_union_can_be_false_if_any_false(self): (source)

Undocumented

def test_union_can_be_true_if_any_true(self): (source)

Undocumented

def test_union_can_not_be_false_if_none_false(self): (source)

Undocumented

def test_union_can_not_be_true_if_none_true(self): (source)

Undocumented

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

Undocumented

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

Undocumented

fx_co = (source)

Undocumented

fx_contra = (source)

Undocumented