mypy.subtypes.SubtypeVisitor

class documentation

class SubtypeVisitor(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	`check_type_parameter`	Undocumented
Instance Variable	`ignore_declared_variance`	Undocumented
Instance Variable	`ignore_pos_arg_names`	Undocumented
Instance Variable	`ignore_promotions`	Undocumented
Instance Variable	`ignore_type_params`	Undocumented
Instance Variable	`orig_right`	Undocumented
Instance Variable	`right`	Undocumented
Method	`_is_subtype`	Undocumented
Instance Variable	`_subtype_kind`	Undocumented

@staticmethod
def build_subtype_kind(*, ignore_type_params=False, ignore_pos_arg_names=False, ignore_declared_variance=False, ignore_promotions=False): (source)

Undocumented

Parameters
ignore_type_params:`bool`	Undocumented
ignore_pos_arg_names:`bool`	Undocumented
ignore_declared_variance:`bool`	Undocumented
ignore_promotions:`bool`	Undocumented
Returns
`SubtypeKind`	Undocumented

def __init__(self, right, *, ignore_type_params, ignore_pos_arg_names=False, ignore_declared_variance=False, ignore_promotions=False): (source)

Undocumented

Parameters
right:`Type`	Undocumented
ignore_type_params:`bool`	Undocumented
ignore_pos_arg_names:`bool`	Undocumented
ignore_declared_variance:`bool`	Undocumented
ignore_promotions:`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

check_type_parameter = (source)

Undocumented

ignore_declared_variance = (source)

Undocumented

ignore_pos_arg_names = (source)

Undocumented

ignore_promotions = (source)

Undocumented

ignore_type_params = (source)

Undocumented

orig_right = (source)

Undocumented

right = (source)

Undocumented

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

Undocumented

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

_subtype_kind = (source)

Undocumented