Trait chalk_ir::visit::TypeVisitable

source · 
pub trait TypeVisitable<I: Interner>: Debug {
    fn visit_with<B>(
        &self,
        visitor: &mut dyn TypeVisitor<I, BreakTy = B>,
        outer_binder: DebruijnIndex
    ) -> ControlFlow<B>;
}
Expand description

Applies the given visitor to a value, producing a visited result of type TypeVisitor::Result.

Required Methods

Apply the given visitor visitor to self; binders is the number of binders that are in scope when beginning the visitor. Typically binders starts as 0, but is adjusted when we encounter Binders<T> in the IR or other similar constructs.

Implementations on Foreign Types

Implementors

“visiting” a type invokes the visit_ty method on the visitor; this usually (in turn) invokes super_visit_ty to visit the individual parts.