mypy.subtypes.ProperSubtypeVisitor

class documentation

class ProperSubtypeVisitor(TypeVisitor[bool]): (source)

Undocumented

Static Method	`build_subtype_kind`	Undocumented
Method	`__init__`	Undocumented
Method	`visit_any`	Undocumented
Method	`visit_callable_type`	Undocumented
Method	`visit_deleted_type`	Undocumented
Method	`visit_erased_type`	Undocumented
Method	`visit_instance`	Undocumented
Method	`visit_literal_type`	Undocumented
Method	`visit_none_type`	Undocumented
Method	`visit_overloaded`	Undocumented
Method	`visit_param_spec`	Undocumented
Method	`visit_partial_type`	Undocumented
Method	`visit_tuple_type`	Undocumented
Method	`visit_type_alias_type`	Undocumented
Method	`visit_type_type`	Undocumented
Method	`visit_type_var`	Undocumented
Method	`visit_typeddict_type`	Undocumented
Method	`visit_unbound_type`	Undocumented
Method	`visit_uninhabited_type`	Undocumented
Method	`visit_union_type`	Undocumented
Instance Variable	`erase_instances`	Undocumented
Instance Variable	`ignore_promotions`	Undocumented
Instance Variable	`keep_erased_types`	Undocumented
Instance Variable	`orig_right`	Undocumented
Instance Variable	`right`	Undocumented
Method	`_is_proper_subtype`	Undocumented
Instance Variable	`_subtype_kind`	Undocumented

@staticmethod
def build_subtype_kind(*, ignore_promotions=False, erase_instances=False, keep_erased_types=False): (source)

Undocumented

Parameters
ignore_promotions:`bool`	Undocumented
erase_instances:`bool`	Undocumented
keep_erased_types:`bool`	Undocumented
Returns
`SubtypeKind`	Undocumented

def __init__(self, right, *, ignore_promotions=False, erase_instances=False, keep_erased_types=False): (source)

Undocumented

Parameters
right:`Type`	Undocumented
ignore_promotions:`bool`	Undocumented
erase_instances:`bool`	Undocumented
keep_erased_types:`bool`	Undocumented

def visit_any(self, left): (source)

Undocumented

Parameters
left:`AnyType`	Undocumented
Returns
`bool`	Undocumented

def visit_callable_type(self, left): (source)

Undocumented

Parameters
left:`CallableType`	Undocumented
Returns
`bool`	Undocumented

def visit_deleted_type(self, left): (source)

Undocumented

Parameters
left:`DeletedType`	Undocumented
Returns
`bool`	Undocumented

def visit_erased_type(self, left): (source)

Undocumented

Parameters
left:`ErasedType`	Undocumented
Returns
`bool`	Undocumented

def visit_instance(self, left): (source)

Undocumented

Parameters
left:`Instance`	Undocumented
Returns
`bool`	Undocumented

def visit_literal_type(self, left): (source)

Undocumented

Parameters
left:`LiteralType`	Undocumented
Returns
`bool`	Undocumented

def visit_none_type(self, left): (source)

Undocumented

Parameters
left:`NoneType`	Undocumented
Returns
`bool`	Undocumented

def visit_overloaded(self, left): (source)

Undocumented

Parameters
left:`Overloaded`	Undocumented
Returns
`bool`	Undocumented

def visit_param_spec(self, left): (source)

Undocumented

Parameters
left:`ParamSpecType`	Undocumented
Returns
`bool`	Undocumented

def visit_partial_type(self, left): (source)

Undocumented

Parameters
left:`PartialType`	Undocumented
Returns
`bool`	Undocumented

def visit_tuple_type(self, left): (source)

Undocumented

Parameters
left:`TupleType`	Undocumented
Returns
`bool`	Undocumented

def visit_type_alias_type(self, left): (source)

Undocumented

Parameters
left:`TypeAliasType`	Undocumented
Returns
`bool`	Undocumented

def visit_type_type(self, left): (source)

Undocumented

Parameters
left:`TypeType`	Undocumented
Returns
`bool`	Undocumented

def visit_type_var(self, left): (source)

Undocumented

Parameters
left:`TypeVarType`	Undocumented
Returns
`bool`	Undocumented

def visit_typeddict_type(self, left): (source)

Undocumented

Parameters
left:`TypedDictType`	Undocumented
Returns
`bool`	Undocumented

def visit_unbound_type(self, left): (source)

Undocumented

Parameters
left:`UnboundType`	Undocumented
Returns
`bool`	Undocumented

def visit_uninhabited_type(self, left): (source)

Undocumented

Parameters
left:`UninhabitedType`	Undocumented
Returns
`bool`	Undocumented

def visit_union_type(self, left): (source)

Undocumented

Parameters
left:`UnionType`	Undocumented
Returns
`bool`	Undocumented

erase_instances = (source)

Undocumented

ignore_promotions = (source)

Undocumented

keep_erased_types = (source)

Undocumented

orig_right = (source)

Undocumented

right = (source)

Undocumented

def _is_proper_subtype(self, left, right): (source)

Undocumented

Parameters
left:`Type`	Undocumented
right:`Type`	Undocumented
Returns
`bool`	Undocumented

_subtype_kind = (source)

Undocumented