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 join 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 instance​_joiner Undocumented
Instance Variable s Undocumented
def __init__(self, s, instance_joiner=None): (source)

Undocumented

Parameters
s:ProperTypeUndocumented
instance​_joiner:Optional[InstanceJoiner]Undocumented
def default(self, typ): (source)

Undocumented

Parameters
typ:TypeUndocumented
Returns
ProperTypeUndocumented
def join(self, s, t): (source)

Undocumented

Parameters
s:TypeUndocumented
t:TypeUndocumented
Returns
ProperTypeUndocumented
def visit_any(self, t): (source)

Undocumented

Parameters
t:AnyTypeUndocumented
Returns
ProperTypeUndocumented
def visit_callable_type(self, t): (source)

Undocumented

Parameters
t:CallableTypeUndocumented
Returns
ProperTypeUndocumented
def visit_deleted_type(self, t): (source)

Undocumented

Parameters
t:DeletedTypeUndocumented
Returns
ProperTypeUndocumented
def visit_erased_type(self, t): (source)

Undocumented

Parameters
t:ErasedTypeUndocumented
Returns
ProperTypeUndocumented
def visit_instance(self, t): (source)

Undocumented

Parameters
t:InstanceUndocumented
Returns
ProperTypeUndocumented
def visit_literal_type(self, t): (source)

Undocumented

Parameters
t:LiteralTypeUndocumented
Returns
ProperTypeUndocumented
def visit_none_type(self, t): (source)

Undocumented

Parameters
t:NoneTypeUndocumented
Returns
ProperTypeUndocumented
def visit_overloaded(self, t): (source)

Undocumented

Parameters
t:OverloadedUndocumented
Returns
ProperTypeUndocumented
def visit_param_spec(self, t): (source)

Undocumented

Parameters
t:ParamSpecTypeUndocumented
Returns
ProperTypeUndocumented
def visit_partial_type(self, t): (source)

Undocumented

Parameters
t:PartialTypeUndocumented
Returns
ProperTypeUndocumented
def visit_tuple_type(self, t): (source)

Undocumented

Parameters
t:TupleTypeUndocumented
Returns
ProperTypeUndocumented
def visit_type_alias_type(self, t): (source)

Undocumented

Parameters
t:TypeAliasTypeUndocumented
Returns
ProperTypeUndocumented
def visit_type_type(self, t): (source)

Undocumented

Parameters
t:TypeTypeUndocumented
Returns
ProperTypeUndocumented
def visit_type_var(self, t): (source)

Undocumented

Parameters
t:TypeVarTypeUndocumented
Returns
ProperTypeUndocumented
def visit_typeddict_type(self, t): (source)

Undocumented

Parameters
t:TypedDictTypeUndocumented
Returns
ProperTypeUndocumented
def visit_unbound_type(self, t): (source)

Undocumented

Parameters
t:UnboundTypeUndocumented
Returns
ProperTypeUndocumented
def visit_uninhabited_type(self, t): (source)

Undocumented

Parameters
t:UninhabitedTypeUndocumented
Returns
ProperTypeUndocumented
def visit_union_type(self, t): (source)

Undocumented

Parameters
t:UnionTypeUndocumented
Returns
ProperTypeUndocumented
instance_joiner = (source)

Undocumented

s = (source)

Undocumented