mypy.subtypes.SubtypeVisitor

class documentation

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

View In Hierarchy

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_parameters 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_type_var_tuple Undocumented
Method visit_typeddict_type Undocumented
Method visit_unbound_type Undocumented
Method visit_uninhabited_type Undocumented
Method visit_union_type Undocumented
Method visit_unpack_type Undocumented
Instance Variable options Undocumented
Instance Variable orig_right Undocumented
Instance Variable proper_subtype Undocumented
Instance Variable right Undocumented
Instance Variable subtype_context Undocumented
Method _is_subtype Undocumented
Instance Variable _subtype_kind Undocumented
@staticmethod
def build_subtype_kind(subtype_context: SubtypeContext, proper_subtype: bool) -> SubtypeKind: (source)

Undocumented

def __init__(self, right: Type, subtype_context: SubtypeContext, proper_subtype: bool): (source)

Undocumented

def visit_any(self, left: AnyType) -> bool: (source)

Undocumented

def visit_callable_type(self, left: CallableType) -> bool: (source)

Undocumented

def visit_deleted_type(self, left: DeletedType) -> bool: (source)

Undocumented

def visit_erased_type(self, left: ErasedType) -> bool: (source)

Undocumented

def visit_instance(self, left: Instance) -> bool: (source)

Undocumented

def visit_literal_type(self, left: LiteralType) -> bool: (source)

Undocumented

def visit_none_type(self, left: NoneType) -> bool: (source)

Undocumented

def visit_overloaded(self, left: Overloaded) -> bool: (source)

Undocumented

def visit_param_spec(self, left: ParamSpecType) -> bool: (source)

Undocumented

def visit_parameters(self, left: Parameters) -> bool: (source)

Undocumented

def visit_partial_type(self, left: PartialType) -> bool: (source)

Undocumented

def visit_tuple_type(self, left: TupleType) -> bool: (source)

Undocumented

def visit_type_alias_type(self, left: TypeAliasType) -> bool: (source)

Undocumented

def visit_type_type(self, left: TypeType) -> bool: (source)

Undocumented

def visit_type_var(self, left: TypeVarType) -> bool: (source)

Undocumented

def visit_type_var_tuple(self, left: TypeVarTupleType) -> bool: (source)

Undocumented

def visit_typeddict_type(self, left: TypedDictType) -> bool: (source)

Undocumented

def visit_unbound_type(self, left: UnboundType) -> bool: (source)

Undocumented

def visit_uninhabited_type(self, left: UninhabitedType) -> bool: (source)

Undocumented

def visit_union_type(self, left: UnionType) -> bool: (source)

Undocumented

def visit_unpack_type(self, left: UnpackType) -> bool: (source)

Undocumented

options = (source)

Undocumented

orig_right = (source)

Undocumented

proper_subtype = (source)

Undocumented

right = (source)

Undocumented

subtype_context = (source)

Undocumented

def _is_subtype(self, left: Type, right: Type) -> bool: (source)

Undocumented

_subtype_kind = (source)

Undocumented