mypy.join.TypeJoinVisitor

class documentation

class TypeJoinVisitor(TypeVisitor[ProperType]): (source)

View In Hierarchy

Implementation of the least upper bound algorithm. Attributes: s: The other (left) type operand.

Method __init__ Undocumented
Method default 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 instance_joiner Undocumented
Instance Variable s Undocumented
def __init__(self, s: ProperType, instance_joiner: InstanceJoiner|None = None): (source)

Undocumented

def default(self, typ: Type) -> ProperType: (source)

Undocumented

def visit_any(self, t: AnyType) -> ProperType: (source)

Undocumented

def visit_callable_type(self, t: CallableType) -> ProperType: (source)

Undocumented

def visit_deleted_type(self, t: DeletedType) -> ProperType: (source)

Undocumented

def visit_erased_type(self, t: ErasedType) -> ProperType: (source)

Undocumented

def visit_instance(self, t: Instance) -> ProperType: (source)

Undocumented

def visit_literal_type(self, t: LiteralType) -> ProperType: (source)

Undocumented

def visit_none_type(self, t: NoneType) -> ProperType: (source)

Undocumented

def visit_overloaded(self, t: Overloaded) -> ProperType: (source)

Undocumented

def visit_param_spec(self, t: ParamSpecType) -> ProperType: (source)

Undocumented

def visit_parameters(self, t: Parameters) -> ProperType: (source)

Undocumented

def visit_partial_type(self, t: PartialType) -> ProperType: (source)

Undocumented

def visit_tuple_type(self, t: TupleType) -> ProperType: (source)

Undocumented

def visit_type_alias_type(self, t: TypeAliasType) -> ProperType: (source)

Undocumented

def visit_type_type(self, t: TypeType) -> ProperType: (source)

Undocumented

def visit_type_var(self, t: TypeVarType) -> ProperType: (source)

Undocumented

def visit_type_var_tuple(self, t: TypeVarTupleType) -> ProperType: (source)

Undocumented

def visit_typeddict_type(self, t: TypedDictType) -> ProperType: (source)

Undocumented

def visit_unbound_type(self, t: UnboundType) -> ProperType: (source)

Undocumented

def visit_uninhabited_type(self, t: UninhabitedType) -> ProperType: (source)

Undocumented

def visit_union_type(self, t: UnionType) -> ProperType: (source)

Undocumented

def visit_unpack_type(self, t: UnpackType) -> UnpackType: (source)

Undocumented

instance_joiner = (source)

Undocumented

s = (source)

Undocumented