Trait chalk_ir::visit::SuperVisit

pub trait SuperVisit<I: Interner>: Visit<I> {
    fn super_visit_with<'i, R: VisitResult>(
        &self, 
        visitor: &mut dyn Visitor<'i, I, Result = R>, 
        outer_binder: DebruijnIndex
    ) -> R
    where
        I: 'i;
}

For types where "visit" invokes a callback on the visitor, the SuperVisit trait captures the recursive behavior that visits all the contents of the type.

Required methods

fn super_visit_with<'i, R: VisitResult>(
    &self,
    visitor: &mut dyn Visitor<'i, I, Result = R>,
    outer_binder: DebruijnIndex
) -> R where
    I: 'i, 

Recursively visits the type contents.

Loading content...

Implementors

impl<I> SuperVisit<I> for Ty<I> where
    I: Interner, 

"Super visit" for a type invokes te more detailed callbacks on the type

fn super_visit_with<'i, R: VisitResult>(
    &self,
    visitor: &mut dyn Visitor<'i, I, Result = R>,
    outer_binder: DebruijnIndex
) -> R where
    I: 'i, 

impl<I: Interner> SuperVisit<I> for DomainGoal<I>

fn super_visit_with<'i, R: VisitResult>(
    &self,
    visitor: &mut dyn Visitor<'i, I, Result = R>,
    outer_binder: DebruijnIndex
) -> R where
    I: 'i, 

impl<I: Interner> SuperVisit<I> for WhereClause<I>

fn super_visit_with<'i, R: VisitResult>(
    &self,
    visitor: &mut dyn Visitor<'i, I, Result = R>,
    outer_binder: DebruijnIndex
) -> R where
    I: 'i, 

impl<I: Interner> SuperVisit<I> for Const<I>

fn super_visit_with<'i, R: VisitResult>(
    &self,
    visitor: &mut dyn Visitor<'i, I, Result = R>,
    outer_binder: DebruijnIndex
) -> R where
    I: 'i, 

impl<I: Interner> SuperVisit<I> for Goal<I>

fn super_visit_with<'i, R: VisitResult>(
    &self,
    visitor: &mut dyn Visitor<'i, I, Result = R>,
    outer_binder: DebruijnIndex
) -> R where
    I: 'i, 

impl<I: Interner> SuperVisit<I> for Lifetime<I>

fn super_visit_with<'i, R: VisitResult>(
    &self,
    visitor: &mut dyn Visitor<'i, I, Result = R>,
    outer_binder: DebruijnIndex
) -> R where
    I: 'i, 

impl<I: Interner> SuperVisit<I> for ProgramClause<I>

fn super_visit_with<'i, R: VisitResult>(
    &self,
    visitor: &mut dyn Visitor<'i, I, Result = R>,
    outer_binder: DebruijnIndex
) -> R where
    I: 'i, 

Loading content...