mypy.constraints.ConstraintBuilderVisitor

class documentation

class ConstraintBuilderVisitor(TypeVisitor[List[Constraint]]): (source)

Visitor class for inferring type constraints.

Method	`__init__`	Undocumented
Method	`infer_against_any`	Undocumented
Method	`infer_against_overloaded`	Undocumented
Method	`infer_constraints_from_protocol_members`	Infer constraints for situations where either 'template' or 'instance' is a protocol.
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	`actual`	Undocumented
Instance Variable	`direction`	Undocumented

def __init__(self, actual, direction): (source)

Undocumented

Parameters
actual:`ProperType`	Undocumented
direction:`int`	Undocumented

def infer_against_any(self, types, any_type): (source)

Undocumented

Parameters
types:`Iterable[Type]`	Undocumented
any_type:`AnyType`	Undocumented
Returns
`List[Constraint]`	Undocumented

def infer_against_overloaded(self, overloaded, template): (source)

Undocumented

Parameters
overloaded:`Overloaded`	Undocumented
template:`CallableType`	Undocumented
Returns
`List[Constraint]`	Undocumented

def infer_constraints_from_protocol_members(self, instance, template, subtype, protocol): (source)

Infer constraints for situations where either 'template' or 'instance' is a protocol.

The 'protocol' is the one of two that is an instance of protocol type, 'subtype' is the type used to bind self during inference. Currently, we just infer constrains for every protocol member type (both ways for settable members).

Parameters
instance:`Instance`	Undocumented
template:`Instance`	Undocumented
subtype:`Type`	Undocumented
protocol:`Instance`	Undocumented
Returns
`List[Constraint]`	Undocumented

def visit_any(self, template): (source)

Undocumented

Parameters
template:`AnyType`	Undocumented
Returns
`List[Constraint]`	Undocumented

def visit_callable_type(self, template): (source)

Undocumented

Parameters
template:`CallableType`	Undocumented
Returns
`List[Constraint]`	Undocumented

def visit_deleted_type(self, template): (source)

Undocumented

Parameters
template:`DeletedType`	Undocumented
Returns
`List[Constraint]`	Undocumented

def visit_erased_type(self, template): (source)

Undocumented

Parameters
template:`ErasedType`	Undocumented
Returns
`List[Constraint]`	Undocumented

def visit_instance(self, template): (source)

Undocumented

Parameters
template:`Instance`	Undocumented
Returns
`List[Constraint]`	Undocumented

def visit_literal_type(self, template): (source)

Undocumented

Parameters
template:`LiteralType`	Undocumented
Returns
`List[Constraint]`	Undocumented

def visit_none_type(self, template): (source)

Undocumented

Parameters
template:`NoneType`	Undocumented
Returns
`List[Constraint]`	Undocumented

def visit_overloaded(self, template): (source)

Undocumented

Parameters
template:`Overloaded`	Undocumented
Returns
`List[Constraint]`	Undocumented

def visit_param_spec(self, template): (source)

Undocumented

Parameters
template:`ParamSpecType`	Undocumented
Returns
`List[Constraint]`	Undocumented

def visit_partial_type(self, template): (source)

Undocumented

Parameters
template:`PartialType`	Undocumented
Returns
`List[Constraint]`	Undocumented

def visit_tuple_type(self, template): (source)

Undocumented

Parameters
template:`TupleType`	Undocumented
Returns
`List[Constraint]`	Undocumented

def visit_type_alias_type(self, template): (source)

Undocumented

Parameters
template:`TypeAliasType`	Undocumented
Returns
`List[Constraint]`	Undocumented

def visit_type_type(self, template): (source)

Undocumented

Parameters
template:`TypeType`	Undocumented
Returns
`List[Constraint]`	Undocumented

def visit_type_var(self, template): (source)

Undocumented

Parameters
template:`TypeVarType`	Undocumented
Returns
`List[Constraint]`	Undocumented

def visit_typeddict_type(self, template): (source)

Undocumented

Parameters
template:`TypedDictType`	Undocumented
Returns
`List[Constraint]`	Undocumented

def visit_unbound_type(self, template): (source)

Undocumented

Parameters
template:`UnboundType`	Undocumented
Returns
`List[Constraint]`	Undocumented

def visit_uninhabited_type(self, template): (source)

Undocumented

Parameters
template:`UninhabitedType`	Undocumented
Returns
`List[Constraint]`	Undocumented

def visit_union_type(self, template): (source)

Undocumented

Parameters
template:`UnionType`	Undocumented
Returns
`List[Constraint]`	Undocumented

actual = (source)

Undocumented

direction = (source)

Undocumented