mypy.type_visitor.TypeQuery

class documentation

class TypeQuery(SyntheticTypeVisitor[T]): (source)

View In Hierarchy

Visitor for performing queries of types.

strategy is used to combine results for a series of types, common use cases involve a boolean query using any or all.

Note: this visitor keeps an internal state (tracks type aliases to avoid recursion), so it should never be re-used for querying different types, create a new visitor instance instead.

# TODO: check that we don't have existing violations of this rule.

Method __init__ Undocumented
Method query​_types Perform a query for a list of types.
Method visit​_any Undocumented
Method visit​_callable​_argument Undocumented
Method visit​_callable​_type Undocumented
Method visit​_deleted​_type Undocumented
Method visit​_ellipsis​_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​_placeholder​_type Undocumented
Method visit​_raw​_expression​_type Undocumented
Method visit​_star​_type Undocumented
Method visit​_tuple​_type Undocumented
Method visit​_type​_alias​_type Undocumented
Method visit​_type​_list 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 seen​_aliases Undocumented
Instance Variable strategy Undocumented
def __init__(self, strategy): (source)

Undocumented

Parameters
strategy:Callable[[Iterable[T]], T]Undocumented
def query_types(self, types): (source)

Perform a query for a list of types.

Use the strategy to combine the results. Skip type aliases already visited types to avoid infinite recursion.

Parameters
types:Iterable[Type]Undocumented
Returns
TUndocumented
def visit_any(self, t): (source)

Undocumented

Parameters
t:AnyTypeUndocumented
Returns
TUndocumented
def visit_callable_argument(self, t): (source)

Undocumented

Parameters
t:CallableArgumentUndocumented
Returns
TUndocumented
def visit_callable_type(self, t): (source)

Undocumented

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

Undocumented

Parameters
t:DeletedTypeUndocumented
Returns
TUndocumented
def visit_ellipsis_type(self, t): (source)

Undocumented

Parameters
t:EllipsisTypeUndocumented
Returns
TUndocumented
def visit_erased_type(self, t): (source)

Undocumented

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

Undocumented

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

Undocumented

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

Undocumented

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

Undocumented

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

Undocumented

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

Undocumented

Parameters
t:PartialTypeUndocumented
Returns
TUndocumented
def visit_placeholder_type(self, t): (source)

Undocumented

Parameters
t:PlaceholderTypeUndocumented
Returns
TUndocumented
def visit_raw_expression_type(self, t): (source)

Undocumented

Parameters
t:RawExpressionTypeUndocumented
Returns
TUndocumented
def visit_star_type(self, t): (source)

Undocumented

Parameters
t:StarTypeUndocumented
Returns
TUndocumented
def visit_tuple_type(self, t): (source)

Undocumented

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

Undocumented

Parameters
t:TypeAliasTypeUndocumented
Returns
TUndocumented
def visit_type_list(self, t): (source)

Undocumented

Parameters
t:TypeListUndocumented
Returns
TUndocumented
def visit_type_type(self, t): (source)

Undocumented

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

Undocumented

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

Undocumented

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

Undocumented

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

Undocumented

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

Undocumented

Parameters
t:UnionTypeUndocumented
Returns
TUndocumented
seen_aliases: Set[TypeAliasType] = (source)

Undocumented

strategy = (source)

Undocumented