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 setUp 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_simplified_union_with_literals Undocumented
Method test_simplified_union_with_mixed_str_literals Undocumented
Method test_simplified_union_with_str_instance_literals Undocumented
Method test_simplified_union_with_str_literals Undocumented
Method test_simplify_very_large_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: Type, result: Type): (source)

Undocumented

def assert_expand(self, orig: Type, map_items: list[tuple[TypeVarId, Type]], result: Type): (source)

Undocumented

def assert_simplified_union(self, original: list[Type], union: Type): (source)

Undocumented

def callable(self, vars: list[str], *a: Type) -> CallableType: (source)

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

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_simplified_union_with_literals(self): (source)

Undocumented

def test_simplified_union_with_mixed_str_literals(self): (source)

Undocumented

def test_simplified_union_with_str_instance_literals(self): (source)

Undocumented

def test_simplified_union_with_str_literals(self): (source)

Undocumented

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

Undocumented

fx = (source)

Undocumented

fx_co = (source)

Undocumented

fx_contra = (source)

Undocumented