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.

Visitor

A “visitor” recursively folds some term – that is, some bit of IR, such as a Goal, and computes a value as a result.