mypy.type_visitor.TypeTranslator

class documentation

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

Known subclasses: mypy.expandtype.FreshenCallableVisitor, mypy.types.TrivialSyntheticTypeTranslator

View In Hierarchy

Identity type transformation. Subclass this and override some methods to implement a non-trivial transformation.

Method translate_types Undocumented
Method translate_variables 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
def translate_types(self, types: Iterable[Type]) -> list[Type]: (source)

Undocumented

def translate_variables(self, variables: Sequence[TypeVarLikeType]) -> Sequence[TypeVarLikeType]: (source)

Undocumented

def visit_any(self, t: AnyType) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_any
overridden in mypy.semanal.MakeAnyNonExplicit

Undocumented

def visit_callable_type(self, t: CallableType) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_callable_type
overridden in mypy.expandtype.FreshenCallableVisitor, mypy.types.InstantiateAliasVisitor

Undocumented

def visit_deleted_type(self, t: DeletedType) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_deleted_type

Undocumented

def visit_erased_type(self, t: ErasedType) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_erased_type

Undocumented

def visit_instance(self, t: Instance) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_instance

Undocumented

def visit_literal_type(self, t: LiteralType) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_literal_type

Undocumented

def visit_none_type(self, t: NoneType) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_none_type

Undocumented

def visit_overloaded(self, t: Overloaded) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_overloaded

Undocumented

def visit_param_spec(self, t: ParamSpecType) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_param_spec
overridden in mypy.types.InstantiateAliasVisitor

Undocumented

def visit_parameters(self, t: Parameters) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_parameters

Undocumented

def visit_partial_type(self, t: PartialType) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_partial_type

Undocumented

def visit_tuple_type(self, t: TupleType) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_tuple_type

Undocumented

@abstractmethod
def visit_type_alias_type(self, t: TypeAliasType) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_type_alias_type
overridden in mypy.expandtype.FreshenCallableVisitor, mypy.semanal.MakeAnyNonExplicit, mypy.typeanal.DivergingAliasDetector, mypy.types.InstantiateAliasVisitor, mypy.types.UnrollAliasVisitor

Undocumented

def visit_type_type(self, t: TypeType) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_type_type

Undocumented

def visit_type_var(self, t: TypeVarType) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_type_var
overridden in mypy.types.InstantiateAliasVisitor

Undocumented

def visit_type_var_tuple(self, t: TypeVarTupleType) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_type_var_tuple

Undocumented

def visit_typeddict_type(self, t: TypedDictType) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_typeddict_type

Undocumented

def visit_unbound_type(self, t: UnboundType) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_unbound_type

Undocumented

def visit_uninhabited_type(self, t: UninhabitedType) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_uninhabited_type

Undocumented

def visit_union_type(self, t: UnionType) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_union_type

Undocumented

def visit_unpack_type(self, t: UnpackType) -> Type: (source)
overrides mypy.type_visitor.TypeVisitor.visit_unpack_type

Undocumented