Module chalk_ir::visit [−][src]
Expand description
Traits for visiting bits of IR.
Re-exports
pub use visitors::VisitExt;
Modules
Visitor helpers
Enums
An copy of the unstable std::ops::ControlFlow
for use in Chalk visitors.
Traits
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.
Applies the given visitor
to a value, producing a visited result
of type Visitor::Result
.
A “visitor” recursively folds some term – that is, some bit of IR,
such as a Goal
, and computes a value as a result.