mypy.expandtype.ExpandTypeVisitor

class documentation

class ExpandTypeVisitor(TypeVisitor[Type]): (source)

Visitor that substitutes type variables with values.

Method	`__init__`	Undocumented
Method	`expand_types`	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	`variables`	Undocumented

def __init__(self, variables): (source)

Undocumented

Parameters
variables:`Mapping[TypeVarId, Type]`	Undocumented

def expand_types(self, types): (source)

Undocumented

Parameters
types:`Iterable[Type]`	Undocumented
Returns
`List[Type]`	Undocumented

def visit_any(self, t): (source)

Undocumented

Parameters
t:`AnyType`	Undocumented
Returns
`Type`	Undocumented

def visit_callable_type(self, t): (source)

Undocumented

Parameters
t:`CallableType`	Undocumented
Returns
`Type`	Undocumented

def visit_deleted_type(self, t): (source)

Undocumented

Parameters
t:`DeletedType`	Undocumented
Returns
`Type`	Undocumented

def visit_erased_type(self, t): (source)

Undocumented

Parameters
t:`ErasedType`	Undocumented
Returns
`Type`	Undocumented

def visit_instance(self, t): (source)

Undocumented

Parameters
t:`Instance`	Undocumented
Returns
`Type`	Undocumented

def visit_literal_type(self, t): (source)

Undocumented

Parameters
t:`LiteralType`	Undocumented
Returns
`Type`	Undocumented

def visit_none_type(self, t): (source)

Undocumented

Parameters
t:`NoneType`	Undocumented
Returns
`Type`	Undocumented

def visit_overloaded(self, t): (source)

Undocumented

Parameters
t:`Overloaded`	Undocumented
Returns
`Type`	Undocumented

def visit_param_spec(self, t): (source)

Undocumented

Parameters
t:`ParamSpecType`	Undocumented
Returns
`Type`	Undocumented

def visit_partial_type(self, t): (source)

Undocumented

Parameters
t:`PartialType`	Undocumented
Returns
`Type`	Undocumented

def visit_tuple_type(self, t): (source)

Undocumented

Parameters
t:`TupleType`	Undocumented
Returns
`Type`	Undocumented

def visit_type_alias_type(self, t): (source)

Undocumented

Parameters
t:`TypeAliasType`	Undocumented
Returns
`Type`	Undocumented

def visit_type_type(self, t): (source)

Undocumented

Parameters
t:`TypeType`	Undocumented
Returns
`Type`	Undocumented

def visit_type_var(self, t): (source)

Undocumented

Parameters
t:`TypeVarType`	Undocumented
Returns
`Type`	Undocumented

def visit_typeddict_type(self, t): (source)

Undocumented

Parameters
t:`TypedDictType`	Undocumented
Returns
`Type`	Undocumented

def visit_unbound_type(self, t): (source)

Undocumented

Parameters
t:`UnboundType`	Undocumented
Returns
`Type`	Undocumented

def visit_uninhabited_type(self, t): (source)

Undocumented

Parameters
t:`UninhabitedType`	Undocumented
Returns
`Type`	Undocumented

def visit_union_type(self, t): (source)

Undocumented

Parameters
t:`UnionType`	Undocumented
Returns
`Type`	Undocumented

variables = (source)

Undocumented