Expand description
Traits for visiting bits of IR.
Re-exports§
pub use visitors::VisitExt;
Modules§
- TypeVisitor helpers
Traits§
- For types where “visit” invokes a callback on the
visitor
, theTypeSuperVisitable
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 typeTypeVisitor::Result
. - A “visitor” recursively folds some term – that is, some bit of IR, such as a
Goal
, and computes a value as a result.