mypy.type_visitor.BoolTypeQuery

class documentation

class BoolTypeQuery(SyntheticTypeVisitor[bool]): (source)

Known subclasses: mypy.checkexpr.ArgInferSecondPassQuery, mypy.checkexpr.HasAnyType, mypy.checkexpr.HasErasedComponentsQuery, mypy.checkexpr.HasTypeVarQuery, mypy.checkexpr.HasUninhabitedComponentsQuery, mypy.semanal_shared.HasPlaceholders, mypy.types.HasRecursiveType, mypy.types.HasTypeVars

View In Hierarchy

Visitor for performing recursive queries of types with a bool result. Use TypeQuery if you need non-bool results. 'strategy' is used to combine results for a series of types. It must be ANY_STRATEGY or ALL_STRATEGY. Note: This visitor keeps an internal state (tracks type aliases to avoid recursion), so it should *never* be re-used for querying different types unless you call reset() first.

Method __init__ Undocumented
Method query_types Perform a query for a sequence of types using the strategy to combine the results.
Method reset Clear mutable state (but preserve strategy).
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_parameters Undocumented
Method visit_partial_type Undocumented
Method visit_placeholder_type Undocumented
Method visit_raw_expression_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_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
Instance Variable default Undocumented
Instance Variable seen_aliases Undocumented
Instance Variable skip_alias_target Undocumented
Instance Variable strategy Undocumented
def __init__(self, strategy: int): (source)
overridden in mypy.checkexpr.ArgInferSecondPassQuery, mypy.checkexpr.HasAnyType, mypy.checkexpr.HasErasedComponentsQuery, mypy.checkexpr.HasTypeVarQuery, mypy.checkexpr.HasUninhabitedComponentsQuery, mypy.semanal_shared.HasPlaceholders, mypy.types.HasRecursiveType, mypy.types.HasTypeVars

Undocumented

def query_types(self, types: list[Type]|tuple[Type, ...]) -> bool: (source)

Perform a query for a sequence of types using the strategy to combine the results.

def reset(self): (source)

Clear mutable state (but preserve strategy). This *must* be called if you want to reuse the visitor.

def visit_any(self, t: AnyType) -> bool: (source)
overrides mypy.type_visitor.TypeVisitor.visit_any
overridden in mypy.checkexpr.HasAnyType

Undocumented

def visit_callable_argument(self, t: CallableArgument) -> bool: (source)
overrides mypy.type_visitor.SyntheticTypeVisitor.visit_callable_argument

Undocumented

def visit_callable_type(self, t: CallableType) -> bool: (source)
overrides mypy.type_visitor.TypeVisitor.visit_callable_type
overridden in mypy.checkexpr.ArgInferSecondPassQuery, mypy.checkexpr.HasAnyType

Undocumented

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

Undocumented

def visit_ellipsis_type(self, t: EllipsisType) -> bool: (source)
overrides mypy.type_visitor.SyntheticTypeVisitor.visit_ellipsis_type

Undocumented

def visit_erased_type(self, t: ErasedType) -> bool: (source)
overrides mypy.type_visitor.TypeVisitor.visit_erased_type
overridden in mypy.checkexpr.HasErasedComponentsQuery

Undocumented

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

Undocumented

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

Undocumented

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

Undocumented

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

Undocumented

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

Undocumented

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

Undocumented

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

Undocumented

def visit_placeholder_type(self, t: PlaceholderType) -> bool: (source)
overrides mypy.type_visitor.SyntheticTypeVisitor.visit_placeholder_type
overridden in mypy.semanal_shared.HasPlaceholders

Undocumented

def visit_raw_expression_type(self, t: RawExpressionType) -> bool: (source)
overrides mypy.type_visitor.SyntheticTypeVisitor.visit_raw_expression_type

Undocumented

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

Undocumented

def visit_type_alias_type(self, t: TypeAliasType) -> bool: (source)
overrides mypy.type_visitor.TypeVisitor.visit_type_alias_type
overridden in mypy.types.HasRecursiveType

Undocumented

def visit_type_list(self, t: TypeList) -> bool: (source)
overrides mypy.type_visitor.SyntheticTypeVisitor.visit_type_list

Undocumented

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

Undocumented

def visit_type_var(self, t: TypeVarType) -> bool: (source)
overrides mypy.type_visitor.TypeVisitor.visit_type_var
overridden in mypy.checkexpr.HasTypeVarQuery, mypy.types.HasTypeVars

Undocumented

def visit_type_var_tuple(self, t: TypeVarTupleType) -> bool: (source)
overrides mypy.type_visitor.TypeVisitor.visit_type_var_tuple
overridden in mypy.types.HasTypeVars

Undocumented

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

Undocumented

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

Undocumented

def visit_uninhabited_type(self, t: UninhabitedType) -> bool: (source)
overrides mypy.type_visitor.TypeVisitor.visit_uninhabited_type
overridden in mypy.checkexpr.HasUninhabitedComponentsQuery

Undocumented

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

Undocumented

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

Undocumented

default: bool = (source)

Undocumented

seen_aliases = (source)

Undocumented

skip_alias_target: bool = (source)
overridden in mypy.types.HasTypeVars

Undocumented

strategy = (source)

Undocumented