Module chalk_ir::visit

Traits for visiting bits of IR.

Re-exports

pub use visitors::VisitExt;

Modules

visitors

Visitor helpers

Traits

SuperVisit	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.
Visit	Applies the given visitor to a value, producing a visited result of type Visitor::Result.
VisitResult	A "result type" that can be returned from a visitor. Visitors pick an appropriate result type depending on what sort of operation they are doing. A common choice is FindAny, which indicates that the visitor is searching for something and that the visitor should stop once it is found.
Visitor	A "visitor" recursively folds some term -- that is, some bit of IR, such as a Goal, and computes a value as a result.