[−][src]Trait chalk_ir::visit::Visit
Applies the given visitor
to a value, producing a visited result
of type Visitor::Result
.
Required methods
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
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
impl<T: Visit<I>, I: Interner, '_> Visit<I> for &'_ T
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<T: Visit<I>, I: Interner> Visit<I> for Vec<T>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<T: Visit<I>, I: Interner, '_> Visit<I> for &'_ [T]
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<T: Visit<I>, I: Interner> Visit<I> for Box<T>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<T: Visit<I>, I: Interner> Visit<I> for Arc<T>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<A: Visit<I>, B: Visit<I>, I: Interner> Visit<I> for (A, B)
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<A: Visit<I>, B: Visit<I>, C: Visit<I>, I: Interner> Visit<I> for (A, B, C)
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<A: Visit<I>, B: Visit<I>, C: Visit<I>, D: Visit<I>, I: Interner> Visit<I> for (A, B, C, D)
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<A: Visit<I>, B: Visit<I>, C: Visit<I>, D: Visit<I>, E: Visit<I>, I: Interner> Visit<I> for (A, B, C, D, E)
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<T: Visit<I>, I: Interner> Visit<I> for Option<T>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for bool
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for usize
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for ()
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for PhantomData<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
Implementors
impl<G: HasInterner, _I> Visit<_I> for InEnvironment<G> where
_I: Interner,
G: HasInterner<Interner = _I>,
G: Visit<_I>,
[src]
_I: Interner,
G: HasInterner<Interner = _I>,
G: Visit<_I>,
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, _I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
_I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, _I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
_I: 'i,
impl<I, T> Visit<I> for Canonical<T> where
I: Interner,
T: HasInterner<Interner = I> + Visit<I>,
[src]
I: Interner,
T: HasInterner<Interner = I> + Visit<I>,
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for AliasTy<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for ClausePriority
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for Constraint<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for DomainGoal<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for FloatTy
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for FromEnv<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for GenericArgData<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for GoalData<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for IntTy
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for Mutability
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for QuantifierKind
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for Safety
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for Scalar
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for TypeName<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for UintTy
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for WellFormed<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for WhereClause<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for AdtId<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for AliasEq<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for AnswerSubst<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for ApplicationTy<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for AssocTypeId<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for ClosureId<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for Const<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for ConstrainedSubst<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for Constraints<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for DebruijnIndex
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for DynTy<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for Environment<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for EqGoal<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for FnDefId<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for FnPointer<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for GenericArg<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for Goal<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for Goals<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for ImplId<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for Lifetime<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for LifetimeOutlives<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for Normalize<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for OpaqueTy<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for OpaqueTyId<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for PlaceholderIndex
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for ProgramClause<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for ProgramClauseImplication<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for ProgramClauses<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for ProjectionTy<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for QuantifiedWhereClauses<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for Substitution<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for TraitId<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for TraitRef<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for Ty<I>
[src]
"visiting" a type invokes the visit_ty
method on the visitor; this
usually (in turn) invokes super_visit_ty
to visit the individual
parts.
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for TypeOutlives<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Visit<I> for UniverseIndex
[src]
fn visit_with<'i, R: VisitResult>(
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
_visitor: &mut dyn Visitor<'i, I, Result = R>,
_outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<T, I: Interner> Visit<I> for Binders<T> where
T: HasInterner + Visit<I>,
[src]
T: HasInterner + Visit<I>,
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,