Struct TypePredicateVisitor 

pub struct TypePredicateVisitor<F>
where
    F: Fn(&TypeData) -> bool,
{
    pub predicate: F,
}

Visitor that checks if a type matches a specific predicate.

Fields

predicate: F

Predicate function to test against TypeData.

Implementations

impl<F> TypePredicateVisitor<F>

where F: Fn(&TypeData) -> bool,

pub const fn new(predicate: F) -> Self

Create a new TypePredicateVisitor.

Trait Implementations

impl<F> TypeVisitor for TypePredicateVisitor<F>

where F: Fn(&TypeData) -> bool,

type Output = bool

The output type produced by visiting.

fn visit_type_key( &mut self, _types: &dyn TypeDatabase, type_key: &TypeData, ) -> Self::Output

Visit a TypeData by dispatching to the appropriate method.

fn visit_intrinsic(&mut self, _kind: IntrinsicKind) -> Self::Output

Visit an intrinsic type (any, unknown, never, void, etc.).

fn visit_literal(&mut self, _value: &LiteralValue) -> Self::Output

Visit a literal type (string, number, boolean, bigint literals).

fn default_output() -> Self::Output

Default output for unimplemented variants.

fn visit_object(&mut self, _shape_id: u32) -> Self::Output

Visit an object type with properties.

fn visit_object_with_index(&mut self, _shape_id: u32) -> Self::Output

Visit an object type with index signatures.

fn visit_union(&mut self, _list_id: u32) -> Self::Output

Visit a union type (A | B | C).

fn visit_intersection(&mut self, _list_id: u32) -> Self::Output

Visit an intersection type (A & B & C).

fn visit_array(&mut self, _element_type: TypeId) -> Self::Output

Visit an array type T[].

fn visit_tuple(&mut self, _list_id: u32) -> Self::Output

Visit a tuple type [T, U, V].

fn visit_function(&mut self, _shape_id: u32) -> Self::Output

Visit a function type.

fn visit_callable(&mut self, _shape_id: u32) -> Self::Output

Visit a callable type with call/construct signatures.

fn visit_type_parameter(&mut self, _param_info: &TypeParamInfo) -> Self::Output

Visit a type parameter (generic type variable).

fn visit_bound_parameter(&mut self, _de_bruijn_index: u32) -> Self::Output

Visit a bound type parameter using De Bruijn index for alpha-equivalence.

fn visit_ref(&mut self, _symbol_ref: u32) -> Self::Output

Visit a named type reference (interface, class, type alias).

fn visit_enum(&mut self, _def_id: u32, _member_type: TypeId) -> Self::Output

Visit an enum type with nominal identity and structural member types.

fn visit_lazy(&mut self, _def_id: u32) -> Self::Output

Visit a lazy type reference using DefId.

fn visit_recursive(&mut self, _de_bruijn_index: u32) -> Self::Output

Visit a recursive type reference using De Bruijn index.

fn visit_application(&mut self, _app_id: u32) -> Self::Output

Visit a generic type application Base.

fn visit_conditional(&mut self, _cond_id: u32) -> Self::Output

Visit a conditional type T extends U ? X : Y.

fn visit_mapped(&mut self, _mapped_id: u32) -> Self::Output

Visit a mapped type { [K in Keys]: V }.

fn visit_index_access( &mut self, _object_type: TypeId, _key_type: TypeId, ) -> Self::Output

Visit an indexed access type T[K].

fn visit_template_literal(&mut self, _template_id: u32) -> Self::Output

Visit a template literal type hello${x}world.

fn visit_type_query(&mut self, _symbol_ref: u32) -> Self::Output

Visit a type query (typeof expr).

fn visit_keyof(&mut self, _type_id: TypeId) -> Self::Output

Visit a keyof type.

fn visit_readonly_type(&mut self, _inner_type: TypeId) -> Self::Output

Visit a readonly type modifier.

fn visit_unique_symbol(&mut self, _symbol_ref: u32) -> Self::Output

Visit a unique symbol type.

fn visit_infer(&mut self, _param_info: &TypeParamInfo) -> Self::Output

Visit an infer type (for type inference in conditional types).

fn visit_this_type(&mut self) -> Self::Output

Visit a this type (polymorphic this parameter).

fn visit_string_intrinsic( &mut self, _kind: StringIntrinsicKind, _type_arg: TypeId, ) -> Self::Output

Visit a string manipulation intrinsic type.

fn visit_error(&mut self) -> Self::Output

Visit an error type.

fn visit_no_infer(&mut self, _inner: TypeId) -> Self::Output

Visit a NoInfer type (TypeScript 5.4+). Traverses the inner type (NoInfer is transparent for traversal).

fn visit_module_namespace(&mut self, _symbol_ref: u32) -> Self::Output

Visit a module namespace type (import * as ns).

fn visit_type( &mut self, types: &dyn TypeDatabase, type_id: TypeId, ) -> Self::Output

Visit a type by dispatching to the appropriate method.