Expand description
Traits for visiting bits of IR.
Re-exports
pub use visitors::VisitExt;
Modules
This module contains impls of TypeVisitable
for those types that
introduce binders.
This module contains “rote and uninteresting” impls of TypeVisitable
for
various types. In general, we prefer to derive TypeVisitable
, but
sometimes that doesn’t work for whatever reason.
TypeVisitor helpers
Traits
For types where “visit” invokes a callback on the visitor
, the
TypeSuperVisitable
trait captures the recursive behavior that visits all
the contents of the type.
Applies the given visitor
to a value, producing a visited result
of type TypeVisitor::Result
.
A “visitor” recursively folds some term – that is, some bit of IR,
such as a Goal
, and computes a value as a result.